< prev1 / 10 more >

• 251Ask HN: Who is hiring? (June 2025)
  by whoishiring10 hours ago | 207 comments
• 105Snowflake to buy Crunchy Data for $250M (wsj.com)
  by mfiguiere5 hours ago | 11 comments
• 42Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
  by todsacerdoti3 hours ago | 3 comments
• 113Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite5 hours ago | 17 comments
• 344Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball15 hours ago | 37 comments
• 663My AI skeptic friends are all nuts (fly.io)
  by tabletcorry4 hours ago | 187 comments
• 14Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers3 hours ago | 2 comments
• 498How to post when no one is reading (jeetmehta.com)
  by j4mehta21 hours ago | 79 comments
• 75Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
  by Geekette3 hours ago | 8 comments
• 98Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
  by b0a04gl5 hours ago | 37 comments

< prev1 / 10 more >