< prev1 / 10 more >

• 307US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman2 hours ago | 30 comments
• 327Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo5 hours ago | 29 comments
• 358Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn8 hours ago | 29 comments
• 260The American Healthcare Conundrum (github.com)
  by rexroad9 hours ago | 31 comments
• 328The “small web” is bigger than you might think (kevinboone.me)
  by speckx9 hours ago | 34 comments
• 329My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
  by Vaslo13 hours ago | 18 comments
• 33In space, no one can hear you kernel panic (2020) (increment.com)
  by p0u4a4 days ago | 3 comments
• 15Canopy Height Maps v2 (ai.meta.com)
  by tzury4 days ago | 2 comments
• 43Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
  by howlett3 days ago | 9 comments
• 364Why I love FreeBSD (it-notes.dragas.net)
  by enz15 hours ago | 29 comments

< prev1 / 10 more >