< prev1 / 10 more >

• 359US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman3 hours ago | 32 comments
• 350Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo6 hours ago | 31 comments
• 368Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn9 hours ago | 29 comments
• 339The “small web” is bigger than you might think (kevinboone.me)
  by speckx10 hours ago | 35 comments
• 272The American Healthcare Conundrum (github.com)
  by rexroad10 hours ago | 35 comments
• 336My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
  by Vaslo14 hours ago | 19 comments
• 85Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
  by mr_Fatalyst3 days ago | 13 comments
• 73Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
  by rmason6 hours ago | 22 comments
• 39In space, no one can hear you kernel panic (2020) (increment.com)
  by p0u4a4 days ago | 3 comments
• 378Why I love FreeBSD (it-notes.dragas.net)
  by enz16 hours ago | 29 comments

< prev1 / 10 more >