Stories by sn9

Ask HN: Why is Gmail so incompetent at basic search?

Mining Function Specifications (for dynamic invariants)

Review: Cræft, by Alexander Langlands

The case for sans-io (fasterthanlime) [video] [24min]

Rust's trait system is a proof engine, let's make it prove us an ABI [35min] [video]

A Peer-Reviewed Portrait of Suffering: The Engineers' Daughter

American Mathematical Society: Open Math Notes