Submissions by federicoponzi

A Stick Figure Guide to the Advanced Encryption Standard (AES)

Orbitron is “Cardware”: Useful? Send a postcard

How to build a simple system in Verdi

Is there a scenario where rm -rf -no-preserve-root is needed?

Instagram, WhatsApp and Facebook messenger down for users around the world

The Shannon Limit (2010)

Significant Incidents and Close Calls in Human Spaceflight

Tales from the lunar module guidance computer: Apollo 11 and Other Screw-UPS

Computer History Wiki

RIP Tutorial (Stack Overflow Documentation)

Producing Open Source Software (2017)

Important RFCs: Official Internet Protocols

Get Started with Dafny: Language and Program Verifier for Functional Correctness

Should I Bake?

A Single Div: a CSS drawing project

The Unix Time-Sharing System Annotated by Eric A. Brewer [pdf]

BSD for Linux Users: Intro

Regent: A Language for Implicit Dataflow Parallelism