Compiler says no!

Technical notes

Recent articles

  1. Wasm for the impatient

    Wasm is a virtual machine-based binary code and module format, available as compilation target for many other languages. This article contains a succinct description from the ground up.

  2. Build, don't call

    Replace complicated function calls with builders to make your and your reviewer's life easier.

  3. Wrapping SQLite's UTF-8 strings using Rust's FFI

    Wrapping raw pointers to UTF-8 encoded text from SQLite allows offloading a lot of safety checks to the Rust compiler, but requires a lot of detailed insights into the workings of both SQLite and memory allocation.

  4. About things

    A short summary of what these pages are about.

  5. Owning Your Invariants

    Don't just leverage the type checker for correctness of business logic, the borrow checker can help, too.

  6. Quick static site deployment

    A combination of hugo and nix can be used to have an automated site deployment for free in under 40 lines of code.

  7. Tracing for the impatient

    Tracing is a flexible improvement over the traditional log crate, with great features and an async footgun.