< prev1 / 10 more >

• 218US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman1 hour ago | 26 comments
• 297Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo4 hours ago | 28 comments
• 339Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn7 hours ago | 29 comments
• 311The “small web” is bigger than you might think (kevinboone.me)
  by speckx8 hours ago | 32 comments
• 222US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com)
  by rexroad8 hours ago | 26 comments
• 318My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
  by Vaslo12 hours ago | 17 comments
• 22In space, no one can hear you kernel panic (increment.com)
  by p0u4a4 days ago | 2 comments
• 32Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
  by howlett3 days ago | 7 comments
• 58Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
  by mr_Fatalyst3 days ago | 11 comments
• 9Canopy Height Maps v2 (ai.meta.com)
  by tzury4 days ago | 0 comments

< prev1 / 10 more >