< prev1 / 10 more >

• 365My AI skeptic friends are all nuts (fly.io)
  by tabletcorry1 hour ago | 112 comments
• 18Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs (mongodb.com)
  by todsacerdoti58 minutes ago | 1 comments
• 63Snowflake to buy Crunchy Data for $250M (wsj.com)
  by mfiguiere2 hours ago | 9 comments
• 220Ask HN: Who is hiring? (June 2025)
  by whoishiring7 hours ago | 186 comments
• 66Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite2 hours ago | 10 comments
• 312Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball13 hours ago | 36 comments
• 49Decorative Text Within HTML (shkspr.mobi)
  by tobr5 hours ago | 3 comments
• 3Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers44 minutes ago | 1 comments
• 69Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
  by b0a04gl2 hours ago | 29 comments
• 79CVE 2025 31200 (blog.noahhw.dev)
  by todsacerdoti3 hours ago | 10 comments

< prev1 / 10 more >