< prev1 / 10 more >

• 597My AI skeptic friends are all nuts (fly.io)
  by tabletcorry3 hours ago | 171 comments
• 36Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
  by todsacerdoti2 hours ago | 3 comments
• 239Ask HN: Who is hiring? (June 2025)
  by whoishiring9 hours ago | 200 comments
• 91Snowflake to buy Crunchy Data for $250M (wsj.com)
  by mfiguiere4 hours ago | 9 comments
• 96Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite4 hours ago | 15 comments
• 69Decorative Text Within HTML (shkspr.mobi)
  by tobr7 hours ago | 3 comments
• 336Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball14 hours ago | 36 comments
• 10Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers2 hours ago | 2 comments
• 494How to post when no one is reading (jeetmehta.com)
  by j4mehta20 hours ago | 78 comments
• 92Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
  by b0a04gl4 hours ago | 35 comments

< prev1 / 10 more >