< prev1 / 10 more >

• 69US SEC preparing to scrap quarterly reporting requirement (reuters.com)
  by djoldman35 minutes ago | 16 comments
• 258Leanstral: Open-source code agent designed for Lean 4 (mistral.ai)
  by Poudlardo3 hours ago | 24 comments
• 321Meta’s renewed commitment to jemalloc (engineering.fb.com)
  by hahahacorn6 hours ago | 29 comments
• 298The “small web” is bigger than you might think (kevinboone.me)
  by speckx7 hours ago | 30 comments
• 168US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com)
  by rexroad7 hours ago | 20 comments
• 11Show HN: Trackm, a personal finance web app (trackm.net)
  by iccananea1 hour ago | 2 comments
• 309My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
  by Vaslo11 hours ago | 16 comments
• 48Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
  by mr_Fatalyst3 days ago | 11 comments
• 19Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
  by howlett3 days ago | 4 comments
• 337Why I love FreeBSD (it-notes.dragas.net)
  by enz13 hours ago | 29 comments

< prev1 / 10 more >