< prev1/10 more >

• 42Enabling efficient sparse computations using linear algebra aware compilers (osti.gov)
  by matt_d4 days ago | 3 comments
• 103Font 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 | 13 comments
• 5Toward automated verification of unreviewed AI-generated code (peterlavigne.com)
  by peterlavigne1 day ago | 0 comments
• 685Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo20 hours ago | 57 comments
• 6Show HN: Crust – A CLI framework for TypeScript and Bun (github.com)
  by jellyotsiro12 hours ago | 0 comments
• 7What I Learned When I Started a Design Studio (2011) (subtraction.com)
  by colinprince3 days ago | 0 comments
• 187The 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
• 1188Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
  by smitec12 hours ago | 182 comments

< prev1/10 more >