Smaug123

Posts

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