archive

• Truco Aug 7, 2025
• Investigations in Computational Marxian economics Jun 22, 2025
• The AGI self-fulfilling prophecy Jun 20, 2025
• Abstract Algebra from scratch in Haskell Sep 17, 2022
• Meillassoux's Mathematics Oct 6, 2021
• Voluntad y sentido Aug 4, 2021

projects

• rad a live-streaming platform (Scala, Golang)
• monolog a distributed log using Serf (Go)
• ost a programming language (C++)
• qlud TypeScript codegen from GraphQL definitions (Haskell)
• grundlagen formalizing Landau's "Grundlagen der Analysis" (Rock)
• opengl-wasm OpenGL targeting Native & WebAssembly (C++)