Blog on Adolfo Ochagavía ochagavia.nl

Towards interplanetary QUIC traffic

ochagavia.nl·12w·

Discuss: Lobsters, Hacker News, Hacker News, r/rust

Configuration files are user interfaces

ochagavia.nl·21w·

Discuss: Lobsters, Hacker News, r/programming

Tic-tac-toe meets Lean 4

ochagavia.nl·24w·

Discuss: Lobsters, Hacker News, r/programming

The high-level OS challenge

ochagavia.nl·36w·

Discuss: Lobsters, Hacker News

What the heck is AEAD again?

ochagavia.nl·41w·

Discuss: Lobsters, Hacker News, r/programming

JIT calculators finale

ochagavia.nl·45w·

Discuss: Lobsters, Hacker News, r/programming

Solving the JIT calculator challenge

ochagavia.nl·51w·

Discuss: Lobsters, Hacker News, r/rust

The JIT calculator challenge

ochagavia.nl·58w·

Discuss: Lobsters, Hacker News, Hacker News, r/rust

My Personal Bell Labs

ochagavia.nl·62w·

Discuss: Hacker News

A Small Experiment in Async Rust

ochagavia.nl·70w·

Discuss: Lobsters

To broadcast or not to broadcast

ochagavia.nl·77w

Using S3 as a container registry

ochagavia.nl·84w

Curiosity and sense of wonder

ochagavia.nl·87w

Download Accelerator - Async Rust Edition

ochagavia.nl·92w

The Joys of the Craft

ochagavia.nl·95w

Podcast episode about The Undercover Generalist (The Changelog)

ochagavia.nl·97w

From full-stack development to systems programming

ochagavia.nl·98w

10 years in Open Source

ochagavia.nl·100w

A love letter to the Internet

ochagavia.nl·104w

Chasing a bug in a SAT solver

ochagavia.nl·104w

Loading...Loading more...