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

    Article · Through the layers

    Why a Rust Future Is Not Send Across .await

    A Rust future is Send only when every stored state is safe to move across threads. Trace captures and locals across await to fix spawn errors.
  • Published on

    Investigation · Part 3 of 20 · When the benchmark lies

    When the Compiler Computes the Answer Before the Benchmark Runs

    On my laptop, summing the numbers below one thousand takes 0.81 ns, and below one billion also 0.81 ns. black_box hid the value of n, but LLVM replaced the loop with a formula. I show the assembly, the IR, the LLVM pass, and a benchmark that really grows with n.
  • Published on

    Article · Interrupted execution

    Designing Data Synchronization for Partial Failure

    A synchronization run rarely fails as one clean unit. Define progress, safe retries, checkpoints, and recovery so partial success becomes an ordinary state.
  • Published on

    Article · Through the layers

    Zero-Copy Does Not Mean Zero Memory Access: Aho-Corasick Streaming in Rust

    Zero-copy scanning still reads every inspected byte. It removes a second materialization in memory. I use streaming Aho-Corasick to explain automaton state, chunk boundaries, DFA dependency chains, prefilters, and honest performance measurement.