corpus.blog
41554 blogs · [ { "id": "01a087b5-1549-7271-9db6-237d9c49069c", "title": "Let's build a compressor from scratch", "url": "https://ochagavia.nl/blog/lets-build-a-compressor-from-scratch/", "published_at": "2026-09-02T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9c59b687", "title": "That time when I failed the Microsoft interview", "url": "https://ochagavia.nl/blog/that-time-when-i-failed-the-microsoft-interview/", "published_at": "2026-07-28T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9cbbb386", "title": "Fully in-browser container builds", "url": "https://ochagavia.nl/blog/fully-in-browser-container-builds/", "published_at": "2026-05-24T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9d73c7b5", "title": "A real-world case of property-based verification", "url": "https://ochagavia.nl/blog/a-real-world-case-of-property-based-verification/", "published_at": "2026-04-05T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9d848462", "title": "From WSL to bare-metal Linux", "url": "https://ochagavia.nl/blog/from-wsl-to-bare-metal-linux/", "published_at": "2026-03-17T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9e31d3b1", "title": "Fix your tools", "url": "https://ochagavia.nl/blog/fix-your-tools/", "published_at": "2026-02-21T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9f135090", "title": "Towards interplanetary QUIC traffic", "url": "https://ochagavia.nl/blog/towards-interplanetary-quic-traffic/", "published_at": "2025-11-17T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237d9fc41a6d", "title": "Configuration files are user interfaces", "url": "https://ochagavia.nl/blog/configuration-files-are-user-interfaces/", "published_at": "2025-09-18T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237da01176d3", "title": "Tic-tac-toe meets Lean 4", "url": "https://ochagavia.nl/blog/tic-tac-toe-meets-lean-4/", "published_at": "2025-08-28T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237da03b5a1d", "title": "The high-level OS challenge", "url": "https://ochagavia.nl/blog/the-high-level-os-challenge/", "published_at": "2025-06-07T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237da04b1eb7", "title": "What the heck is AEAD again?", "url": "https://ochagavia.nl/blog/what-the-heck-is-aead-again/", "published_at": "2025-04-28T00:00:00+00:00" }, { "id": "01a087b5-1549-7271-9db6-237da07c3ec1", "title": "JIT calculators finale", "url": "https://ochagavia.nl/blog/jit-calculators-finale/", "published_at": "2025-04-05T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d765b400", "title": "Solving the JIT calculator challenge", "url": "https://ochagavia.nl/blog/solving-the-jit-calculator-challenge/", "published_at": "2025-02-22T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d7872df5", "title": "The JIT calculator challenge", "url": "https://ochagavia.nl/blog/the-jit-calculator-challenge/", "published_at": "2025-01-03T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d85c5fff", "title": "My personal Bell Labs", "url": "https://ochagavia.nl/blog/my-personal-bell-labs/", "published_at": "2024-12-07T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d939ee63", "title": "An experiment in async Rust", "url": "https://ochagavia.nl/blog/an-experiment-in-async-rust/", "published_at": "2024-10-11T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d94036ae", "title": "To broadcast or not to broadcast", "url": "https://ochagavia.nl/blog/to-broadcast-or-not-to-broadcast/", "published_at": "2024-08-19T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d9cefbac", "title": "Using S3 as a container registry", "url": "https://ochagavia.nl/blog/using-s3-as-a-container-registry/", "published_at": "2024-07-03T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d9d270cb", "title": "Curiosity and sense of wonder", "url": "https://ochagavia.nl/blog/curiosity-and-sense-of-wonder/", "published_at": "2024-06-09T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d9ecc25b", "title": "Download Accelerator - Async Rust Edition", "url": "https://ochagavia.nl/blog/download-accelerator-async-rust-edition/", "published_at": "2024-05-05T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17d9fbaf6d", "title": "The Joys of the Craft", "url": "https://ochagavia.nl/blog/the-joys-of-the-craft/", "published_at": "2024-04-19T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17da28b16f", "title": "Podcast episode about The Undercover Generalist (The Changelog)", "url": "https://ochagavia.nl/blog/podcast-episode-about-the-undercover-generalist-the-changelog/", "published_at": "2024-03-31T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17db1358c3", "title": "From full-stack development to systems programming", "url": "https://ochagavia.nl/blog/from-full-stack-development-to-systems-programming/", "published_at": "2024-03-25T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17dbb3ad8d", "title": "10 years in Open Source", "url": "https://ochagavia.nl/blog/10-years-in-open-source/", "published_at": "2024-03-13T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17dc63c1e6", "title": "A love letter to the Internet", "url": "https://ochagavia.nl/blog/a-love-letter-to-the-internet/", "published_at": "2024-02-14T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17dd161f4a", "title": "Chasing a bug in a SAT solver", "url": "https://ochagavia.nl/blog/chasing-a-bug-in-a-sat-solver/", "published_at": "2024-02-13T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17de0e638f", "title": "The undercover generalist", "url": "https://ochagavia.nl/blog/the-undercover-generalist/", "published_at": "2024-02-01T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17de193297", "title": "Azure sneakily hides cheaper option in it's UI", "url": "https://ochagavia.nl/blog/azure-sneakily-hides-cheaper-option-in-its-ui/", "published_at": "2024-01-31T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17de1e808d", "title": "RSS is dead, subscribe through email", "url": "https://ochagavia.nl/blog/rss-is-dead-subscribe-through-email/", "published_at": "2024-01-16T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17de7d4c27", "title": "Continuous benchmarking for rustls", "url": "https://ochagavia.nl/blog/continuous-benchmarking-for-rustls/", "published_at": "2024-01-05T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17de7ebe93", "title": "Someone interviewed me", "url": "https://ochagavia.nl/blog/someone-interviewed-me/", "published_at": "2023-12-10T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17df7b3daf", "title": "Becoming a contractor", "url": "https://ochagavia.nl/blog/becoming-a-contractor/", "published_at": "2023-09-01T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e05d5ede", "title": "Low latency logging in Rust", "url": "https://ochagavia.nl/blog/low-latency-logging-in-rust/", "published_at": "2023-07-30T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e08ab143", "title": "The magic of dependency resolution", "url": "https://ochagavia.nl/blog/the-magic-of-dependency-resolution/", "published_at": "2023-07-04T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e189a2dd", "title": "On being paid to learn", "url": "https://ochagavia.nl/blog/on-being-paid-to-learn/", "published_at": "2023-05-29T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e1bffd16", "title": "You are holding it wrong", "url": "https://ochagavia.nl/blog/you-are-holding-it-wrong/", "published_at": "2023-05-11T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e2508af8", "title": "Hangman over QUIC", "url": "https://ochagavia.nl/blog/hangman-over-quic/", "published_at": "2023-05-04T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e27110c4", "title": "The birth of a package manager", "url": "https://ochagavia.nl/blog/the-birth-of-a-package-manager/", "published_at": "2023-03-16T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e33a6bfe", "title": "Crafting container images without Dockerfiles", "url": "https://ochagavia.nl/blog/crafting-container-images-without-dockerfiles/", "published_at": "2023-02-06T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e3b04bd8", "title": "Chunking strings in Elixir: how difficult can it be?", "url": "https://ochagavia.nl/blog/chunking-strings-in-elixir-how-difficult-can-it-be/", "published_at": "2023-01-04T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e40148e0", "title": "Implementing the MySQL server protocol for fun and profit", "url": "https://ochagavia.nl/blog/implementing-the-mysql-server-protocol-for-fun-and-profit/", "published_at": "2022-12-20T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e4d6bcd4", "title": "How I got involved in the Rust community", "url": "https://ochagavia.nl/blog/how-i-got-involved-in-the-rust-community/", "published_at": "2022-12-09T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e5d17379", "title": "How I got into programming", "url": "https://ochagavia.nl/blog/how-i-got-into-programming/", "published_at": "2022-12-08T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e6141069", "title": "An adventure with optimization, Rust and Z3", "url": "https://ochagavia.nl/blog/an-adventure-with-optimization-rust-and-z3/", "published_at": "2019-06-05T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e63eb2a1", "title": "Rocket - A Rust game running on WASM", "url": "https://ochagavia.nl/blog/rocket-a-rust-game-running-on-wasm/", "published_at": "2017-12-03T00:00:00+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e73def2d", "title": "RFC 1857 stabilizing Rust's drop order has been accepted!", "url": "https://ochagavia.nl/blog/rfc-1857-stabilizing-rusts-drop-order-has-been-accepted/", "published_at": "2017-07-04T14:14:51+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e7c8e011", "title": "Thoughts on changing Rust's drop order", "url": "https://ochagavia.nl/blog/thoughts-on-changing-rusts-drop-order/", "published_at": "2016-12-12T14:14:51+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e80cf306", "title": "Exploring Rust's unspecified drop order", "url": "https://ochagavia.nl/blog/exploring-rusts-unspecified-drop-order/", "published_at": "2016-12-12T13:14:51+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e8824add", "title": "Enforcing drop order in Rust", "url": "https://ochagavia.nl/blog/enforcing-drop-order-in-rust/", "published_at": "2016-12-10T13:14:51+00:00" }, { "id": "01a087b5-154a-7076-9f56-7b17e910846a", "title": "Subscribe", "url": "https://ochagavia.nl/subscribe/", "published_at": null } ] posts Claim your blog
Back to wofo
Blog · corpus.blog/blogs/ochagavia.nl/posts

wofo

ochagavia.nl

2026

Let's build a compressor from scratchoriginal ↗
2 Sept 2026
That time when I failed the Microsoft intervieworiginal ↗
28 Jul 2026
Fully in-browser container buildsoriginal ↗
24 May 2026
A real-world case of property-based verificationoriginal ↗
5 Apr 2026
From WSL to bare-metal Linuxoriginal ↗
17 Mar 2026
Fix your toolsoriginal ↗
21 Feb 2026

2025

Towards interplanetary QUIC trafficoriginal ↗
17 Nov 2025
Configuration files are user interfacesoriginal ↗
18 Sept 2025
Tic-tac-toe meets Lean 4original ↗
28 Aug 2025
The high-level OS challengeoriginal ↗
7 Jun 2025
What the heck is AEAD again?original ↗
28 Apr 2025
JIT calculators finaleoriginal ↗
5 Apr 2025
Solving the JIT calculator challengeoriginal ↗
22 Feb 2025
The JIT calculator challengeoriginal ↗
3 Jan 2025

2024

My personal Bell Labsoriginal ↗
7 Dec 2024
An experiment in async Rustoriginal ↗
11 Oct 2024
To broadcast or not to broadcastoriginal ↗
19 Aug 2024
Using S3 as a container registryoriginal ↗
3 Jul 2024
Curiosity and sense of wonderoriginal ↗
9 Jun 2024
Download Accelerator - Async Rust Editionoriginal ↗
5 May 2024
The Joys of the Craftoriginal ↗
19 Apr 2024
Podcast episode about The Undercover Generalist (The Changelog)original ↗
31 Mar 2024
From full-stack development to systems programmingoriginal ↗
25 Mar 2024
10 years in Open Sourceoriginal ↗
13 Mar 2024
A love letter to the Internetoriginal ↗
14 Feb 2024
Chasing a bug in a SAT solveroriginal ↗
13 Feb 2024
The undercover generalistoriginal ↗
1 Feb 2024
Azure sneakily hides cheaper option in it's UIoriginal ↗
31 Jan 2024
RSS is dead, subscribe through emailoriginal ↗
16 Jan 2024
Continuous benchmarking for rustlsoriginal ↗
5 Jan 2024

2023

Someone interviewed meoriginal ↗
10 Dec 2023
Becoming a contractororiginal ↗
1 Sept 2023
Low latency logging in Rustoriginal ↗
30 Jul 2023
The magic of dependency resolutionoriginal ↗
4 Jul 2023
On being paid to learnoriginal ↗
29 May 2023
You are holding it wrongoriginal ↗
11 May 2023
Hangman over QUICoriginal ↗
4 May 2023
The birth of a package manageroriginal ↗
16 Mar 2023
Crafting container images without Dockerfilesoriginal ↗
6 Feb 2023
Chunking strings in Elixir: how difficult can it be?original ↗
4 Jan 2023

2022

Implementing the MySQL server protocol for fun and profitoriginal ↗
20 Dec 2022
How I got involved in the Rust communityoriginal ↗
9 Dec 2022
How I got into programmingoriginal ↗
8 Dec 2022

2019

An adventure with optimization, Rust and Z3original ↗
5 Jun 2019

2017

Rocket - A Rust game running on WASMoriginal ↗
3 Dec 2017
RFC 1857 stabilizing Rust's drop order has been accepted!original ↗
4 Jul 2017

2016

Thoughts on changing Rust's drop orderoriginal ↗
12 Dec 2016
Exploring Rust's unspecified drop orderoriginal ↗
12 Dec 2016
Enforcing drop order in Rustoriginal ↗
10 Dec 2016

Undated

Subscribeoriginal ↗
—