Stories by federicoponzi

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

Ask HN: Google won't remove my site URL from random business using it on Maps

Black Hats Manual Software Security Auditing, Cracking, Debugging (2013)

Immuni – Official Italian Covid19 tracker app

What Every Java Programmer Should See on YouTube

Linux Kernel Oops

Dictionary of Algorithms and Data Structures

Horust: A Supervisor / Init system written in Rust

The Three Virtues of a Great Programmer

How Many People Are in Space?

The Linux Kernel (2003)

Dynamically changing, partially-stateful data-flow database written in Rust

Write Free Science Books to Get Famous Website

Why one should know ed

1
2
3
4
5
6
7
8
9
10