< prev1 / 10 more >

• 6Toward automated verification of unreviewed AI-generated code (peterlavigne.com)
  by peterlavigne1 day ago | 1 comments
• 43Efficient sparse computations using linear algebra aware compilers (2025) (osti.gov)
  by matt_d4 days ago | 3 comments
• 106Font Smuggler – Copy hidden brand fonts into Google Docs (brianmoore.com)
  by lanewinfield4 days ago | 13 comments
• 120Building a Shell (healeycodes.com)
  by ingve7 hours ago | 14 comments
• 687Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo20 hours ago | 57 comments
• 8Show HN: Crust – A CLI framework for TypeScript and Bun (github.com)
  by jellyotsiro12 hours ago | 0 comments
• 4'The Secret Agent': Exploring a Vibrant, yet Violent Brazil (2025) (theasc.com)
  by tambourine_man1 hour ago | 0 comments
• 7What I Learned When I Started a Design Studio (2011) (subtraction.com)
  by colinprince3 days ago | 0 comments
• 189The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv4 days ago | 14 comments
• 103Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
  by zggf9 hours ago | 12 comments

< prev1 / 10 more >