Mehdi Akiki

Writing archive

Everything published under Writing, newest first. Each entry is labelled as part of an investigation, an article or reference. Short engineering notes have their own archive.

  • Published on

    Investigation · Part 2 of 10 · Types under the hood

    Does a Type Exist at Runtime? Following One Value From Source to Register

    I followed one u8 through the four stages of the Rust compiler: HIR, MIR, LLVM IR, and assembly. The type is a word, then a field, then a width, then nothing. The u8 and u32 versions of the same function compile to the same two instructions, and the one check a type does produce is the debug overflow guard.
  • Published on
    A working record-and-replay harness for agent tests: a JSON cassette of decisions and tool results, deterministic replay with zero live calls, and a readable diff when the trajectory changes.
  • Published on

    Investigation · Part 3 of 3 · Rust build times

    The Unit of Rebuild When You Split a Rust Workspace

    Measured with the same code as 1, 3 and 12 crates: splitting a Rust workspace narrows incremental rebuilds but increases total work, because generic instances are emitted once per crate.