< prev1 / 10 more >

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

< prev1 / 10 more >