Recent Posts

• Céu: Language for Structured Synchronous Reactive Programming
  by adamnemecekon 12/9/2025, 5:44:22 PM with 1 comment
• Symbolica 1.0 released: Symbolic mathematics in Rust
  by adamnemecekon 11/24/2025, 5:28:53 PM with 0 comments
• Ribir: Non-intrusive GUI framework for Rust/WASM
  by adamnemecekon 11/7/2025, 8:26:26 PM with 4 comments
• Shiroa: MdBook for Typst
  by adamnemecekon 11/5/2025, 5:51:56 PM with 0 comments
• Fast Forward: macOS window switcher built with Rust and GPUI
  by adamnemecekon 11/3/2025, 5:48:42 PM with 0 comments
• Nipdf: PDF Reader in Rust
  by adamnemecekon 9/15/2025, 5:08:07 PM with 1 comment
• 2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust
  by adamnemecekon 9/4/2025, 6:18:48 PM with 1 comment
• Functorio: Build Factorio factories in the Lean 4
  by adamnemecekon 8/25/2025, 5:03:51 PM with 0 comments
• GG: GUI for Jujutsu
  by adamnemecekon 8/15/2025, 5:45:35 PM with 0 comments
• Annotated History of Modern AI and Deep Learning (2022)
  by adamnemecekon 8/12/2025, 6:20:15 PM with 0 comments
• Diagrammatic algebra: On the road to category theory
  by adamnemecekon 8/4/2025, 5:24:13 PM with 0 comments
• Open source PDF reader built with Rust, Dioxus and PDFium
  by adamnemecekon 7/31/2025, 4:22:03 PM with 1 comment
• TurnFormal: Theorem Prover Written in Rust
  by adamnemecekon 7/8/2025, 4:52:08 PM with 0 comments