logoNewsNewestAskShowJobs Open on GitHub
< 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 >