The Curious Engineer

All blogs / Rust

Adolfo Ochagavía

ochagavia.nl/blog

RustNetworkingEngineering management / careersSoftware / engineering practice

’16’17’18’19’20’21’22’23’24’25’26
Posts
51 from 10 Dec 2016 to 23 Oct 2026
Posting
monthly (9 in the last year)
Kind
personal blog
Feed
https://ochagavia.nl/blog/index.xml

2026 8

  1. The glorious @xkcdRandom Zig builtin
  2. A container is just a process
  3. Let's build a compressor from scratch
  4. That time when I failed the Microsoft interview
  5. Fully in-browser container builds
  6. A real-world case of property-based verification
  7. From WSL to bare-metal Linux
  8. Fix your tools

2025 8

  1. Towards interplanetary QUIC traffic
  2. Configuration files are user interfaces
  3. Tic-tac-toe meets Lean 4
  4. The high-level OS challenge
  5. What the heck is AEAD again?
  6. JIT calculators finale
  7. Solving the JIT calculator challenge
  8. The JIT calculator challenge

2024 16

  1. My personal Bell Labs
  2. An experiment in async Rust
  3. To broadcast or not to broadcast
  4. Using S3 as a container registry
  5. Curiosity and sense of wonder
  6. Download Accelerator - Async Rust Edition
  7. The Joys of the Craft
  8. Podcast episode about The Undercover Generalist (The Changelog)
  9. From full-stack development to systems programming
  10. 10 years in Open Source
  11. A love letter to the Internet
  12. Chasing a bug in a SAT solver
  13. The undercover generalist
  14. Azure sneakily hides cheaper option in it's UI
  15. RSS is dead, subscribe through email
  16. Continuous benchmarking for rustls

2023 10

  1. Someone interviewed me
  2. Becoming a contractor
  3. Low latency logging in Rust
  4. The magic of dependency resolution
  5. On being paid to learn
  6. You are holding it wrong
  7. Hangman over QUIC
  8. The birth of a package manager
  9. Crafting container images without Dockerfiles
  10. Chunking strings in Elixir: how difficult can it be?

2022 3

  1. Implementing the MySQL server protocol for fun and profit
  2. How I got involved in the Rust community
  3. How I got into programming

2019 1

  1. An adventure with optimization, Rust and Z3

2017 2

  1. Rocket - A Rust game running on WASM
  2. RFC 1857 stabilizing Rust's drop order has been accepted!

2016 3

  1. Thoughts on changing Rust's drop order
  2. Exploring Rust's unspecified drop order
  3. Enforcing drop order in Rust