Consulting on Adolfo Ochagavía ochagavia.nl

A real-world case of property-based verification

ochagavia.nl·6w·Lobsters, Hacker News, r/rust

From WSL to bare-metal Linux

ochagavia.nl·8w·Lobsters

Fix your tools

ochagavia.nl·12w·Lobsters, Hacker News, Hacker News

Towards interplanetary QUIC traffic

ochagavia.nl·26w·Lobsters, Hacker News, Hacker News, r/rust

Configuration files are user interfaces

ochagavia.nl·34w·Lobsters, Hacker News, r/programming

Tic-tac-toe meets Lean 4

ochagavia.nl·37w·Lobsters, Hacker News, r/programming

The high-level OS challenge

ochagavia.nl·49w·Lobsters, Hacker News

What the heck is AEAD again?

ochagavia.nl·55w·Lobsters, Hacker News, r/programming

JIT calculators finale

ochagavia.nl·58w·Lobsters, Hacker News, r/programming

Solving the JIT calculator challenge

ochagavia.nl·64w·Lobsters, Hacker News, r/rust

The JIT calculator challenge

ochagavia.nl·71w·Lobsters, Hacker News, Hacker News, r/rust

My Personal Bell Labs

ochagavia.nl·75w·Hacker News

A Small Experiment in Async Rust

ochagavia.nl·83w·Lobsters

To broadcast or not to broadcast

ochagavia.nl·91w

Using S3 as a container registry

ochagavia.nl·97w

Curiosity and sense of wonder

ochagavia.nl·101w

Download Accelerator - Async Rust Edition

ochagavia.nl·106w

The Joys of the Craft

ochagavia.nl·108w

Podcast episode about The Undercover Generalist (The Changelog)

ochagavia.nl·111w

From full-stack development to systems programming

ochagavia.nl·112w

Log in to enable infinite scrolling