< prev1 / 10 more >

• 41Litex: The First Formal Language Learnable in 1-2 Hours (github.com)
  by litexlang2 days ago | 7 comments
• 374SimpleFold: Folding proteins is simpler than you think (github.com)
  by kevlened13 hours ago | 25 comments
• 5Typst: A Possible LaTeX Replacement (lwn.net)
  by pykello19 minutes ago | 0 comments
• 619Open Social (overreacted.io)
  by knowtheory15 hours ago | 54 comments
• 159Moondream 3 Preview: Frontier-level reasoning at a blazing speed (moondream.ai)
  by kristianp9 hours ago | 10 comments
• 99New math revives geometry's oldest problems (quantamagazine.org)
  by pykello8 hours ago | 4 comments
• 47Why Today's Humanoids Won't Learn Dexterity (rodneybrooks.com)
  by chmaynard4 hours ago | 14 comments
• 9Meshtastic 64 – A meshtastic radio for the Commodore 64 (64jim64.blogspot.com)
  by geerlingguy3 days ago | 0 comments
• 159The Beauty of Programming (2001) (brynmawr.edu)
  by andsoitis3 days ago | 12 comments
• 79The Obsessively Complete Infocom Catalog (eblong.com)
  by exvi8 hours ago | 7 comments

< prev1 / 10 more >