• 57 Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers a day ago | 20 comments
• 11 TLOB: Dual Attention Transformer Predicts Price Trends from Order Book Data (arxiv.org)
  by wertyk 12 hours ago | discuss
• 22 Scientific Publishing: Enough Is Enough (asterainstitute.substack.com)
  by lentoutcry 15 hours ago | 5 comments
• 309 Builder.ai Collapses: $1.5B 'AI' Startup Exposed as 'Indians'? (ibtimes.co.uk)
  by healsdata 14 hours ago | 199 comments
• 363 Ask HN: Who is hiring? (June 2025)
  by whoishiring a day ago | 401 comments ask
• 3 Chinese couple charged with smuggling a biological pathogen into the U.S. (nbcnews.com)
  by shinryudbz 6 minutes ago | discuss
• 44 Gemini in Chrome (gemini.google)
  by aru 6 hours ago | 53 comments
• 82 Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)
  by gnabgib a day ago | 9 comments
• 13 Show HN: Slurm-web – open-source lightweight web UI for Slurm HPC/AI clusters (slurm-web.com)
  by rezib 12 hours ago | discuss
• 478 Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball 2 days ago | 211 comments
• 303 How Ukraine’s killer drones are beating Russian jamming (spectrum.ieee.org)
  by rbanffy 16 hours ago | 363 comments
• 52 Magic Ink: Information Software and the Graphical Interface (worrydream.com)
  by blobcode 4 days ago | 9 comments
• 620 How to post when no one is reading (jeetmehta.com)
  by j4mehta 2 days ago | 244 comments
• 30 How the Afghan Girl Was Identified by Her Iris Patterns (cl.cam.ac.uk)
  by wyuenho 8 hours ago | 2 comments
• 257 The rise of judgement over technical skill (notsocommonthoughts.com)
  by kohlhofer 2 days ago | 160 comments
• 11 Error Monads the Hard Way (articles.pragdave.me)
  by agos 5 hours ago | discuss
• 140 Younger generations less likely to have dementia, study suggests (theguardian.com)
  by robaato a day ago | 141 comments
• 188 How to Store Data on Paper? (monperrus.net)
  by mofosyne 4 days ago | 73 comments
• 266 Japanese scientists develop artificial blood compatible with all blood types (tokyoweekender.com)
  by Geekette a day ago | 56 comments
• 373 Ask HN: How do I learn robotics in 2025?
  by srijansriv 2 days ago | 95 comments ask
• 255 Show HN: A toy version of Wireshark (student project) (github.com)
  by lixiasky a day ago | 72 comments
• 18 Show HN: Ultra-lightweight chunker library with emoji support (github.com)
  by Beardier 10 hours ago | 4 comments
• 6 The Tech Recruitment Ruse That Has Avoided Trump's Crackdown on Immigration (propublica.org)
  by ultra_nick an hour ago | discuss
• 159 Ask HN: How do I learn practical electronic repair?
  by juanse 4 days ago | 100 comments ask
• 33 The initial version of the /etc./magic file used by the file(1) command (retrocomputing.stackexchange.com)
  by SeenNotHeard 11 hours ago | 13 comments
• 511 The Visual World of 'Samurai Jack' (animationobsessive.substack.com)
  by ani_obsessive 2 days ago | 88 comments
• 401 Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)
  by hoakiet98 5 days ago | 80 comments
• 111 A Complete Guide to Meta Prompting (prompthub.us)
  by saikatsg 4 days ago | 25 comments
• 27 What Happens If We Inline Everything? (sbaziotis.com)
  by abhi9u 11 hours ago | discuss
• 163 HeidiSQL Available Also for Linux (heidisql.com)
  by Daril 6 days ago | 49 comments