Stories by Smaug123

WoofWare.PawPrint, a Deterministic .NET Runtime

Claude knows who you are

Breaking Paragraphs into Lines [pdf] (1981)

Annals of Formalized Mathematics Volume 1

Knockout Mouse

Solving Package Management via Hypergraph Dependency Resolution

Review: The Birth of Sake

Opam's Nix system dependency mechanism

An Interview with Zen Chief Architect Mike Clark

Separation of Concerns in a Bug Tracker

Bug Likelihood over Time

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional

Five Letters on Set Theory [pdf]

Introduction to Synthetic Agda

Actual Web Rendering in Terminal

Interlock (Engineering)

How to Read Papers

500 Million, But Not a Single One More

Exploring Effect in TypeScript: Simplifying Async and Error Handling

Almost Secure (2011)

1 2 3