< prev1 / 10 more >

• 403US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman4 hours ago | 35 comments
• 366Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo7 hours ago | 31 comments
• 379Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn10 hours ago | 29 comments
• 348The “small web” is bigger than you might think (kevinboone.me)
  by speckx11 hours ago | 36 comments
• 13Every layer of review makes you 10x slower (apenwarr.ca)
  by greyface-1 hour ago | 1 comments
• 283The American Healthcare Conundrum (github.com)
  by rexroad11 hours ago | 39 comments
• 340My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
  by Vaslo15 hours ago | 19 comments
• 17Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
  by aphyr45 minutes ago | 3 comments
• 44In space, no one can hear you kernel panic (2020) (increment.com)
  by p0u4a4 days ago | 4 comments
• 88Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
  by mr_Fatalyst3 days ago | 15 comments

< prev1 / 10 more >