Recent Posts

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