< prev1 / 10 more >

• 161Typst: A Possible LaTeX Replacement (lwn.net)
  by pykello2 hours ago | 34 comments
• 14Show HN: Lingo – A linguistic database in Rust with nanosecond-level performance
  by peerlesscasual1 day ago | 3 comments
• 678Open Social (overreacted.io)
  by knowtheory18 hours ago | 59 comments
• 395SimpleFold: Folding proteins is simpler than you think (github.com)
  by kevlened16 hours ago | 25 comments
• 32Meshtastic 64 – A meshtastic radio for the Commodore 64 (64jim64.blogspot.com)
  by geerlingguy3 days ago | 3 comments
• 15Property-Based Testing of OCaml 5's Runtime System [pdf] (janmidtgaard.dk)
  by todsacerdoti3 hours ago | 0 comments
• 65Litex: The First Formal Language Learnable in 1-2 Hours (github.com)
  by litexlang2 days ago | 11 comments
• 106New math revives geometry's oldest problems (quantamagazine.org)
  by pykello11 hours ago | 4 comments
• 183Moondream 3 Preview: Frontier-level reasoning at a blazing speed (moondream.ai)
  by kristianp12 hours ago | 14 comments
• 173The Beauty of Programming (2001) (brynmawr.edu)
  by andsoitis3 days ago | 12 comments

< prev1 / 10 more >