Stories by Smaug123

The Infinity Machine

Algorithm and Abstraction in Formal Mathematics

Exorcising Us of the Primer

Busy Beaver Challenge: Releasing bouncers: only 2833 machines to go

Braid, Anniversary Edition Podcast: Getting the Game Going

Modelling Time Travel in Fiction

Property-based testing in practice [pdf]

Claude 3 picks the correct answer in a counterfactual mugging

JPEG DCT Text Lossifizer

General Relativistic Hydrodynamics in Discrete Spacetime

Nix-direnv is a quality of life improvement

Proving that Android's, Java's and Python's sorting algorithm is broken (2015)

Automated Mathematics and the Reconfiguration of Proof and Labor

Programming Language Semantics: It's Easy As 1, 2, 3 [pdf]

Using uninitialized memory for fun and profit (2008)

The Future of Programming – Interview with Richard Eisenberg

Implementing Value Speculation in OCaml

Using prompt injection to exfil the initial (hidden) prompt

Launching Version 13.0 of Wolfram Language and Mathematica

An Epic future for SPJ

1
2
3