from Hacker News

adamnemecek

joined 7/23/11, 8:04 AM has 57764 karma

• Nipdf: PDF Reader in Rust

  by adamnemecek on 9/15/25, 5:08 PM, with 1 comments

• 2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust

  by adamnemecek on 9/4/25, 6:18 PM, with 0 comments

• Functorio: Build Factorio factories in the Lean 4

  by adamnemecek on 8/25/25, 5:03 PM, with 0 comments

• GG: GUI for Jujutsu

  by adamnemecek on 8/15/25, 5:45 PM, with 0 comments

• Annotated History of Modern AI and Deep Learning (2022)

  by adamnemecek on 8/12/25, 6:20 PM, with 0 comments

• Diagrammatic algebra: On the road to category theory

  by adamnemecek on 8/4/25, 5:24 PM, with 0 comments

• Open source PDF reader built with Rust, Dioxus and PDFium

  by adamnemecek on 7/31/25, 4:22 PM, with 1 comments

• TurnFormal: Theorem Prover Written in Rust

  by adamnemecek on 7/8/25, 4:52 PM, with 0 comments

• Quantum Computing without the Linear Algebra [pdf]

  by adamnemecek on 6/13/25, 4:36 PM, with 0 comments

• Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library

  by adamnemecek on 6/11/25, 3:54 PM, with 0 comments

• Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft

  by adamnemecek on 6/6/25, 4:01 PM, with 0 comments