- Knockout Mouse
by Smaug123 on 6/24/25, 6:36 AM, with comments
- Solving Package Management via Hypergraph Dependency Resolution
by Smaug123 on 6/13/25, 10:30 PM, with comments
- Review: The Birth of Sake
by Smaug123 on 5/2/25, 3:48 PM, with comments
- Opam's Nix system dependency mechanism
by Smaug123 on 5/2/25, 2:58 PM, with comments
- An Interview with Zen Chief Architect Mike Clark
by Smaug123 on 3/24/25, 7:05 PM, with comments
- Separation of Concerns in a Bug Tracker
by Smaug123 on 3/8/25, 12:42 AM, with comments
- Bug Likelihood over Time
by Smaug123 on 1/25/25, 12:46 AM, with comments
- A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional
by Smaug123 on 1/20/25, 1:40 PM, with comments
- Five Letters on Set Theory [pdf]
by Smaug123 on 1/6/25, 10:20 PM, with comments
- Introduction to Synthetic Agda
by Smaug123 on 12/31/24, 8:44 PM, with comments
- Actual Web Rendering in Terminal
by Smaug123 on 12/26/24, 9:03 PM, with comments
- Interlock (Engineering)
by Smaug123 on 12/21/24, 3:41 PM, with comments
- How to Read Papers
by Smaug123 on 12/20/24, 10:31 AM, with comments
- 500 Million, But Not a Single One More
by Smaug123 on 11/21/24, 3:37 PM, with comments
- Exploring Effect in TypeScript: Simplifying Async and Error Handling
by Smaug123 on 11/7/24, 12:27 PM, with comments