HckrNews (First visit) All HN frontpage stories in chronological order ⚙ Teaching Program Verification in Dafny at Amazon (2023) 20 58 7mo +30m dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon 1[dead] ? 30 7mo +3m reuters.com 2Conformance checking at MongoDB: Testing that our code matches our TLA+ specs 63 109 7mo +12m mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs 3Japanese scientists develop artificial blood compatible with all blood types 64 271 7mo +11m tokyoweekender.com/entertainment/tech-trends/japanese-scientists-develop-artificial-blood 4My AI skeptic friends are all nuts 2746 2236 7mo +1m fly.io/blog/youre-all-nuts 5Snowflake to buy Crunchy Data for $250M 60 156 7mo +53m wsj.com/articles/snowflake-to-buy-crunchy-data-for-250-million-233543ab 6Show HN: I build one absurd web project every month 66 281 7mo +41m absurd.website 7Typing 118 WPM broke my brain in the right ways 221 172 7mo +34m balaji-amg.surge.shhttp:///blog/typing-118-wpm-brain-rewiring 8Can I stop drone delivery companies flying over my property? 317 117 7mo +18m rte.ie/brainstorm/2025/0602/1481005-drone-delivery-companies-property-legal-rights-airspace 9Decorative Text Within HTML 5 79 7mo +2h shkspr.mobi/blog/2025/05/decorative-text-within-html 10CVE 2025 31200 31 125 7mo +3m blog.noahhw.dev/posts/cve-2025-31200 11The Unreliability of LLMs and What Lies Ahead 157 132 7mo +1h verissimo.substack.com/p/verissimo-monthly-may-2025 12Disaster awaits if we don't secure IoT now 74 71 7mo +15m spectrum.ieee.org/iot-security-root-of-trust 13Jemalloc Repositories Are Archived 3 35 7mo +4m github.com/jemalloc 14Piramidal (YC W24) Is Hiring a Senior Full Stack Engineer 0 1 7mo +26s ycombinator.com/companies/piramidal/jobs/1a1PgE9-senior-full-stack-engineer 15Taurine Revisited 6 30 7mo +8m science.org/content/blog-post/taurine-revisited 16Arcol simplifies building design with browser-based modeling 27 57 7mo +22m arcol.io 17Younger generations less likely to have dementia, study suggests 147 146 7mo +46m theguardian.com/society/2025/jun/02/younger-generations-less-likely-dementia-study 18War and Wilderness: British Soldiers in Revolutionary America 40 59 7mo +10h historytoday.com/archive/feature/war-and-wilderness-british-soldiers-revolutionary-america 19Ask HN: Who wants to be hired? (June 2025) 366 123 7mo +1h 20Ask HN: Who is hiring? (June 2025) 422 364 7mo +1h 21Show HN: Penny-1.7B Irish Penny Journal style transfer 76 147 7mo +11m huggingface.co/dleemiller/Penny-1.7B 22Mesh Edge Construction 1 44 7mo +4m maxliani.wordpress.com/2025/03/01/mesh-edge-construction 23Show HN: A toy version of Wireshark (student project) 72 261 7mo +1m github.com/lixiasky/vanta 24Intelligent Agent Technology: Open Sesame! (1993) 6 50 7mo +1d blog.gingerbeardman.com/2025/05/31/intelligent-agent-technology-open-sesame-1993 25Reducing Cargo target directory size with -Zno-embed-metadata 14 52 7mo +1h kobzol.github.io/rust/rustc/2025/06/02/reduce-cargo-target-dir-size-with-z-no-embed-metadata.html 26ThorVG: Super Lightweight Vector Graphics Engine 42 148 7mo +4h thorvg.org/about 27Cloudlflare builds OAuth with Claude and publishes all the prompts 504 824 7mo +25m github.com/cloudflare/workers-oauth-provider 28A Hidden Weakness 1 35 7mo +3m serge-sans-paille.github.io/pythran-stories/a-hidden-weakness.html 29IE6, AI, and the future of browsing the Web 5 10 7mo +6h agenticweb.substack.com/p/ai-future-web 30Bohemians at the Gate? 62 45 7mo +2d inferencemagazine.substack.com/p/bohemians-at-the-gate 31After 25 Years, Linux Format Magazine Is No More 42 79 7mo +6m omgubuntu.co.uk/2025/05/linux-format-magazine-closes 32Google DMARC Policy Changes? 9 32 7mo +53m 33Ask HN: How do I learn robotics in 2025? 98 384 7mo +31m 34Ask HN: What do you spend your money on? 101 52 7mo +43m 35The Atomic Airplane 26 78 7mo +3d whatisnuclear.com/the-story-of-the-atomic-airplane.html 36Show HN: Fast Random Library for C++17 58 52 7mo +1h github.com/DmitriBogdanov/UTL/blob/master/docs/module_random.md 37Our production Ruby on Rails stack 6 34 7mo +1h attendlist.com/blog/production-rails-stack 38Cuss: Map of profane words to a rating of sureness 66 63 7mo +2d github.com/words/cuss 39Beyond the Black Box: Interpretability of LLMs in Finance 12 67 7mo +23m arxiv.org/abs/2505.24650 40Whatever happened to cheap eReaders? 306 159 7mo +10m shkspr.mobi/blog/2025/05/whatever-happened-to-cheap-ereaders 41Pianocorder (2022) 1 9 7mo +3d pianocorder.info 42Show HN: Kan.bn – An open-source alterative to Trello 213 495 7mo +1h github.com/kanbn/kan 43TradeExpert, a trading framework that employs Mixture of Expert LLMs 134 112 7mo +21m arxiv.org/abs/2411.00782 44Awesome-ArXiv: curated tools for discovering and working with ArXiv papers 1 30 7mo +1h github.com/artnitolog/awesome-arxiv 45Computer science has one of the highest unemployment rates 124 76 7mo +17m newsweek.com/computer-science-popular-college-major-has-one-highest-unemployment-rates-2076514 46EasyTier – P2P mesh VPN written in Rust using Tokio 51 153 7mo +3d easytier.cn/en 47ReasoningGym: Reasoning Environments for RL with Verifiable Rewards 27 101 7mo +34m arxiv.org/abs/2505.24760 48Understanding Consistency in Databases: Beyond the Basics 4 16 7mo +19m medium.com/@lucas01/understanding-consistency-in-databases-beyond-the-basics-293013a50481 49Yet another tmux cheat sheet 3 57 7mo +3h tmuxai.dev/tmux-cheat-sheet 50Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience 12 47 7mo +2h 51If you are useful, it doesn't mean you are valued 352 813 7mo +30m betterthanrandom.substack.com/p/if-you-are-useful-it-doesnt-mean 52Show HN: I built an AI Agent that uses the iPhone 13 51 7mo +6h github.com/rounak/PhoneAgent 53Hip: C++ Heterogeneous-Compute Interface for Portability 12 36 7mo +2d github.com/ROCm/hip 54AI-first – We're just 6 months away from AGI 48 23 7mo +28m revontulet.dev/p/2025-ai-first 55A man who sailed round the world with a chicken (2019) 47 75 7mo +3d theguardian.com/global/2019/apr/21/why-did-the-chicken-cross-the-globe-french-sailor-guirec-soudee-monique 56Is It JavaScript? 53 55 7mo +2h blog.jim-nielsen.com/2025/is-it-javascript 57Rethinking PostgreSQL Storage 16 25 7mo +21m ubicloud.com/blog/time-to-rethink-postgresql-storage 58Revisiting Loop Recognition in C++ in Rust 11 27 7mo +3d blomqu.ist/posts/2025/loop-recognition 59Euro execs mull use of US clouds 87 62 7mo +23m theregister.com/2025/05/28/uk_execs_cloud 600.9999 ≊ 1 110 35 7mo +17m lcamtuf.substack.com/p/09999-1 61How reliable are MicroSD cards? 42 120 7mo +23m old.reddit.com/r/raspberry_pi/comments/1l0v25s/how_reliable_are_microsd_cards_well_as_it_turns 62In POSIX, you can theoretically use inode zero 36 69 7mo +1d utcc.utoronto.ca/~cks/space/blog/unix/POSIXAllowsZeroInode 63Is “The Phoenician Scheme” Wes Anderson's Most Emotional Film? 122 86 7mo +1h newyorker.com/magazine/2025/06/09/the-phoenician-scheme-movie-review 64Rolldown-Vite: a Rust-Rewrite of Rollup 12 23 7mo +1h voidzero.dev/posts/announcing-rolldown-vite 65Gabon longs to cash in on sacred hallucinogenic remedy 46 43 7mo +3d phys.org/news/2025-05-gabon-cash-sacred-hallucinogenic-remedy.html 66How to post when no one is reading 250 638 7mo +1h jeetmehta.com/posts/thrive-in-obscurity 67LFSR CPU Running Forth 15 73 7mo +1h github.com/howerj/lfsr-vhdl 68The rise of judgement over technical skill 162 264 7mo +7h notsocommonthoughts.com/blog/ai-and-judgement 69Show HN: Agno – A full-stack framework for building Multi-Agent Systems 19 75 7mo +3h github.com/agno-agi/agno 70The Zach Attack Scratch 'N Solve Puzzle Pack 6 42 7mo +3d coincidence.games/zach-attack 71Show HN: MBCompass – Android Compass App 38 61 7mo +3m github.com/MubarakNative/MBCompass 72How can AI researchers save energy? By going backward 44 63 7mo +1h quantamagazine.org/how-can-ai-researchers-save-energy-by-going-backward-20250530 73Writing your own C++ standard library part 2 71 82 7mo +1d nibblestew.blogspot.com/2025/05/writing-your-own-c-standard-library.html 74Show HN: Moon Phase Algorithms for C, Lua, Awk, JavaScript, etc. 15 69 7mo +3h github.com/oliverkwebb/moonphase 75TPDE: A Fast Adaptable Compiler Back-End Framework 15 60 7mo +1h arxiv.org/abs/2505.22610 76Exponential Functions and Euler's Formula 1 7 7mo +1h deaneyang.comhttp://www.//blog/blog/math/exponential-function/euler-formula/2025/05/29/ExponentialFunctions.html 77Not Everything Is on the Internet (2024) 4 13 7mo +46m bruh.ltd/blog/not-everything-is-on-the-internet 78Silicon Valley wants to help me make a superbaby 11 20 7mo +29m sfstandard.com/2025/06/01/silicon-valley-wants-to-help-me-make-a-superbaby-should-i-let-it 79I made a chair 138 350 7mo +1d milofultz.com/2025-05-27-i-made-a-chair.html 80The Princeton INTERCAL Compiler's source code 43 142 7mo +14m esoteric.codes/blog/published-for-the-first-time-the-original-intercal72-compiler-code 81I Miss My Fan Regulator 22 13 7mo +9m rishikeshs.com/fan-regulator 82Ru and W isotope systematics in ocean island basalts reveals core leakage 0 8 7mo +50m nature.com/articles/s41586-025-09003-0 83HeidiSQL Available Also for Linux 49 166 7mo +3d heidisql.com/forum.php?t=44068 84What works (and doesn't) selling formal methods 71 141 7mo +3d galois.com/articles/what-works-and-doesnt-selling-formal-methods 85 More... 2025.06.01