Submissions by federicoponzi

Morse Code Timing – Morse Code World

Working through things on other OSS – .NET Blog

Why should you care about .NET GC? – TooSlowException

Same Stats, Different Graphs: Generating Datasets with Varied Appearance

TLA+ Official Wiki

The /bin/true Command and Copyright

Distributed Snapshots: Chandy-Lamport Protocol

Lateral Thinking: examples of creative solutions

Lamport Clocks

Wolf, goat and cabbage problem TLA+ modeling

TLA+ is easy if you know how to abstract

Barer Metal Space Invaders – Tayfun Kayhan

Paxos Jokes

Bare Metal Space Invaders

Experiments with eBPF: Snitchrs

One Complex Setup

Surprising Scalability of Multitenancy

A 6 minute introduction to homomorphic encryption

Incompleteness Ex Machina

Something You Know, Have, or Are (2005)

SingleStore’s Skiplist Indexes (2014)

Graph File Systems – A File Systems Geek

The Hare Programming Language

The Geomblog: A meta-proof about P=?NP

Everything you need to know about pointers in C

Comparing Vale, JavaScript, C++, and Rust

Seemingly impossible functional programs (2007)

Hungarian Notation – Microsoft Docs