logoNewsNewestAskShowJobs Built with Nuxt3
< 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 >