HckrNews (First visit) All HN frontpage stories in chronological order Show HN: Tiny Hoare logic verifier using SMT 1 12 6mo +1d github.com/namin/metaprogramming/tree/master/lectures/5-smt 1Show HN: I wrote a new BitTorrent tracker in Elixir 72 382 6mo +51m github.com/Dahrkael/ExTracker 2String Interpolation in C++ Using Glaze Stencil/Mustache 1 28 6mo +3d stephenberry.github.io/glaze/stencil-mustache 3Literate programming tool for any language 66 138 6mo +34m github.com/zyedidia/Literate 4Show HN: RM2000 Tape Recorder, an audio sampler for macOS 34 63 6mo +2d rm2000.app 5Extracting memorized pieces of books from open-weight language models 105 102 6mo +3d arxiv.org/abs/2505.12546 6Estrogen: A Trip Report 202 164 6mo +7m smoothbrains.net/posts/2025-06-15-estrogen.html 7Eliza: The doll that teaches girls to code 10 19 6mo +7m elizadolls.com 8Testing a Robust Netcode with Godot 19 41 6mo +2d studios.ptilouk.net/little-brats/blog/2024-10-23_netcode.html 9Compiling LLMs into a MegaKernel: A path to low-latency inference 76 306 6mo +24m zhihaojia.medium.com/compiling-llms-into-a-megakernel-a-path-to-low-latency-inference-cf7840913c17 1016B Apple, Facebook, Google passwords leaked in largest data breach 15 27 6mo +43m cryptorank.io/news/feed/b83db-16-billion-passwords-leaked-data-breach 11Star Quakes and Monster Shock Waves 8 45 6mo +2d caltech.edu/about/news/star-quakes-and-monster-shock-waves 12In praise of “normal” engineers 113 154 6mo +21m charity.wtf/2025/06/19/in-praise-of-normal-engineers 13Juneteenth in Photos 208 223 6mo +11m texashighways.com/travel-news/the-history-of-juneteenth-in-photos 14Public/protected/private is an unnecessary feature 104 85 6mo +1d catern.com/private.html 15Why do we need DNSSEC? 199 111 6mo +49m howdnssec.works/why-do-we-need-dnssec 16Homegrown Closures for Uxn 11 101 6mo +17m krzysckh.org/b/Homegrown-closures-for-uxn.html 17Show HN: EnrichMCP – A Python ORM for Agents 33 128 6mo +10m github.com/featureform/enrichmcp 18Flowspace (YC S17) Is Hiring Software Engineers 0 1 6mo +41s flowspace.applytojob.com/apply/6oDtY2q6E9/Software-Engineer-II 19We Can Just Measure Things 60 89 6mo +2d lucumr.pocoo.org/2025/6/17/measuring 20Google is using YouTube videos to train its AI video generator 34 34 6mo +1h cnbc.com/2025/06/19/google-youtube-ai-training-veo-3.html 21June 2025 C2PA News 0 20 6mo +10m tbray.org/ongoing/When/202x/2025/06/17/More-C2PA 22Programming Considered Harmful (2001) 1 8 6mo +40m flownet.com/ron/papers/pch.html 23How OpenElections uses LLMs 53 112 6mo +2m thescoop.org/archives/2025/06/09/how-openelections-uses-llms/index.html 24Show HN: TrendFi – I built AI trading signals that self-optimize 52 35 6mo +2d trend.fi 25Geochronology supports LGM age for human tracks at White Sands, New Mexico 24 48 6mo +11m science.org/doi/10.1126/sciadv.adv4951 26The Scheme That Broke the Texas Lottery 23 47 6mo +2h newyorker.com/news/letter-from-the-southwest/the-scheme-that-broke-the-texas-lottery 27End of 10: Upgrade your old Windows 10 computer to Linux 275 274 6mo +1h endof10.org 28Posit floating point numbers: thin triangles and other tricks (2019) 35 55 6mo +10m marc-b-reynolds.github.iohttp:///math/2019/02/06/Posit1.html 29DNA floating in the air tracks wildlife, viruses, even drugs 79 120 6mo +3d sciencedaily.com/releases/2025/06/250603114822.htm 30What would a Kubernetes 2.0 look like 416 253 6mo +2h matduggan.com/what-would-a-kubernetes-2-0-look-like 31Curved-Crease Sculpture 31 182 6mo +10m erikdemaine.org/curved 32Show HN: I made an app that lets you save audio to your Cameral Roll 49 44 6mo +22h justsendrecord.com 33Finding Dead Websites 22 119 6mo +2d marginalia.nu/log/a_122_dead_websites 34Show HN: A DOS-like hobby OS written in Rust and x86 assembly 60 200 6mo +4m github.com/krustowski/rou2exOS 35US safety board wants Boeing 737 MAX engine warnings over smoke entering cockpit 1 8 6mo +25m reuters.com/world/us/ntsb-wants-action-cfm-leap-1b-engines-over-smoke-entering-cockpit-2025-06-18 36How My Reporting on the Columbia Protests Led to My Deportation 19 48 6mo +6m newyorker.com/news/the-lede/how-my-reporting-on-the-columbia-protests-led-to-my-deportation 37A Visual Guide to Genome Editors 3 49 6mo +1d asimov.press/p/a-visual-guide-to-genome-editors 38SpaceX's Starship explodes again while still on the ground 19 27 6mo +41m theregister.com/2025/06/19/spacexs_starship_explodes_again 39"The models were right": astronomers find 'missing' matter 5 21 6mo +1h esa.int/Science_Exploration/Space_Science/XMM-Newton/The_models_were_right_astronomers_find_missing_matter 40In-Memory C++ Leap in Blockchain Analysis 68 74 6mo +15h caudena.com/the-in-memory-c-leap-in-blockchain-analysis 41How Close to Black Mirror Are We? 43 63 6mo +20m howclosetoblackmirror.com 42Brain activity much lower when using AI chatbots, MIT boffins find 73 49 6mo +13m theregister.com/2025/06/18/is_ai_changing_our_brains 43Painting with Math: A Gentle Study of Raymarching (2023) 5 60 6mo +1d blog.maximeheckel.com/posts/painting-with-math-a-gentle-study-of-raymarching 44A Deep Dive into OpenAPI 16 16 6mo +47m deployhq.com/blog/unlocking-seamless-development-and-collaboration-a-deep-dive-into-openapi 45Guess I'm a rationalist now 1110 314 6mo +16m scottaaronson.blog/?p=8908 46From LLM to AI Agent: What's the Real Journey Behind AI System Development? 43 138 6mo +34m codelink.io/blog/post/ai-system-development-llm-rag-ai-workflow-agent 47Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs 131 237 6mo +16m github.com/Maciek-roboblog/Claude-Code-Usage-Monitor 48Getting Started Strudel 58 163 6mo +3d strudel.cc/workshop/getting-started 49Base44 sells to Wix for $80M cash 117 130 6mo +8m techcrunch.com/2025/06/18/6-month-old-solo-owned-vibe-coder-base44-sells-to-wix-for-80m-cash 50Liberux Nexx: An interview with Liberux about their made-in-EU OSHW Linux Phone 18 40 6mo +15m linmob.net/liberux-nexx-an-interview-with-liberux 51Law as Rhetoric, Rhetoric as Law: The Arts of Cultural and Communal Life (1985) [pdf] 0 20 6mo +2d lwionline.org/sites/default/files/2016-09/v5%20White.pdf 52Show HN: Gifty – A real-world gift hunt you play with your feet 1 8 6mo +2d gifty-en.vercel.app 533D printable 6" f/5 compact travel telescope model 46 95 6mo +2d printables.com/model/1325533-smallest-telescope-kit-for-150750 54I feel open source has turned into two worlds 48 118 6mo +2h utcc.utoronto.ca/~cks/space/blog/tech/OpenSourceTwoWorlds 55Show HN: VS Code extension to share code snippets instantly 20 26 6mo +2d snippetshare.dev 56SpaceX Starship 36 Anomaly 533 279 6mo +32m twitter.com/NASASpaceflight/status/1935548909805601020 57Writing Toy Software Is a Joy 1 17 6mo +1h blog.jsbarretto.com/post/software-is-joy 58Polyhedra Viewer 3 32 6mo +1d polyhedra.tessera.li 59The Zed Debugger Is Here 201 496 6mo +1h zed.dev/blog/debugger 60Elliptic Curves as Art 28 216 6mo +27m elliptic-curves.art 61Death to WYSIWYG! 0 11 6mo +7m ratfactor.com/htmlwarden/death-to-wysiwyg 62Toxic Proteins for Drug Discovery 0 11 6mo +1d asimov.press/p/toxic-proteins 63Dr. Demento Announces Retirement After 55-Year Radio Career 51 119 6mo +6m sopghreporter.com/2025/06/01/dr-demento-announces-retirement 64TI to invest $60B to manufacture foundational semiconductors in the U.S. 156 295 6mo +1h ti.com/about-ti/newsroom/news-releases/2025/texas-instruments-plans-to-invest-more-than--60-billion-to-manufacture-billions-of-foundational-semiconductors-in-the-us.html 65Visual History of the Latin Alphabet 83 144 6mo +1d uclab.fh-potsdam.de/arete/en 66Citizen science illuminates the nature of city lights 3 37 6mo +2d nature.com/articles/s44284-025-00239-5 67Andrej Karpathy: Software in the era of AI [video] 768 1400 6mo +45m youtube.com/watch?v=LCEmiRjPEtQ 68MCP Specification – version 2025-06-18 changes 117 195 6mo +1h modelcontextprotocol.io/specification/2025-06-18/changelog 69It's true, “we” don't care about accessibility on Linux 64 104 6mo +45m tesk.page/2025/06/18/its-true-we-dont-care-about-accessibility-on-linux 70Calling Go from Elixir with a CNode in Crystal 8 22 6mo +3h relistan.com/calling-go-from-elixir-with-a-cnode 71USDA Pomological Watercolors 12 62 6mo +2d search.nal.usda.gov/discovery/collectionDiscovery?vid=01NAL_INST:MAIN&collectionId=81279629860007426 72The Missing 11th of the Month (2015) 34 222 6mo +2h drhagen.com/blog/the-missing-11th-of-the-month 73 More... 2025.06.18