< prev1 / 10 more >

• 419My AI skeptic friends are all nuts (fly.io)
  by tabletcorry2 hours ago | 130 comments
• 19Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
  by todsacerdoti1 hour ago | 1 comments
• 69Snowflake to buy Crunchy Data for $250M (wsj.com)
  by mfiguiere3 hours ago | 9 comments
• 227Ask HN: Who is hiring? (June 2025)
  by whoishiring8 hours ago | 190 comments
• 5Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers1 hour ago | 1 comments
• 73Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite3 hours ago | 12 comments
• 321Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball13 hours ago | 36 comments
• 55Decorative Text Within HTML (shkspr.mobi)
  by tobr5 hours ago | 3 comments
• 79CVE 2025 31200 (blog.noahhw.dev)
  by todsacerdoti4 hours ago | 10 comments
• 477How to post when no one is reading (jeetmehta.com)
  by j4mehta19 hours ago | 77 comments

< prev1 / 10 more >