Stories by tkhattra

A grounded conceptual model for ownership types in Rust

The Automation of Nonsense

Michael Rabin has died

Three Questions About Each Bug You Find (1989)

Practical Security in Production

The paradoxical efficient market hypothesis (2024)

Compact Representations for Arrays in Lua [pdf]

The evolution of Lua, continued [pdf]

What would early alternatives to C have been?

The Art of Managing Skunks

Byte Queue Limits: the unauthorized biography

Netnews: The Origin Story [pdf]

Go Is for Firmware Too

The Paradoxical Efficient Market Hypothesis

The Future of TLA+ [pdf]

Interview: John Ousterhout Reflects on "A Philosophy of Software Design" [video]

Eight Transaction Papers by Jim Gray

Bing Chat Flunks Math [pdf]

Capslock: What is your code capable of?

Al Gore and the Internet (2000)