HckrNews (First visit) All HN frontpage stories in chronological order ⚙ A tool to verify estimates, II: a flexible proof assistant 3 69 8mo +3d terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant 1Flattening Rust’s learning curve 371 443 8mo +44m corrode.dev/blog/flattening-rusts-learning-curve 2How (memory) safe is Zig? (2021) 83 38 8mo +48m scattered-thoughts.net/writing/how-safe-is-zig 3Type-constrained code generation with language models 123 253 8mo +42m arxiv.org/abs/2504.09246 4Y Combinator says Google is a monopolist, no comment about its OpenAI ties 41 125 8mo +27m techcrunch.com/2025/05/13/y-combinator-says-google-is-a-monopolist-that-has-stunted-the-startup-ecosystem 5Coffee for people who don't like coffee 254 81 8mo +3d ostwilkens.se/blog/coffee 6Cardiac: A CARDboard Illustrative Aid to Computation [pdf] 17 38 8mo +21m cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf 7Using obscure graph theory to solve programming languages problems 28 101 8mo +1h reasonablypolymorphic.com/blog/solving-lcsa 8Garbage collection of object storage at scale 10 95 8mo +3d warpstream.com/blog/taking-out-the-trash-garbage-collection-of-object-storage-at-massive-scale 9Starcloud 302 144 8mo +51m ycombinator.com/companies/starcloud 10Build real-time knowledge graph for documents with LLM 37 177 8mo +36m cocoindex.io/blogs/knowledge-graph-for-docs 11The Battle to Bottle Palm Wine (2021) 19 17 8mo +3d atlasobscura.com/articles/palm-wine-in-united-states 12Dusk OS 112 183 8mo +20m duskos.org 13Turritopsis dohrnii: Immortal jellyfish 11 43 8mo +3d nhm.ac.uk/discover/immortal-jellyfish-secret-to-cheating-death.html 14Android and Wear OS are getting a redesign 138 60 8mo +27m blog.google/products/android/material-3-expressive-android-wearos-launch 15Programmers Will Be Replaced by People with Ideas 28 16 8mo +11m cleverthinkingsoftware.com/programmers-will-be-replaced-by-people-with-ideas 16FCC threatens EchoStar licenses for spectrum that SpaceX wants to use 4 45 8mo +53m arstechnica.com/tech-policy/2025/05/fcc-threatens-echostar-licenses-for-spectrum-that-spacex-wants-to-use 17Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit 132 186 8mo +3d space.com/space-exploration/launches-spacecraft/failed-soviet-venus-lander-kosmos-482-crashes-to-earth-after-53-years-in-orbit 18Ask HN: How do you store the knowledge gained in a day? 83 54 8mo +51m 19[dead] ? 12 8mo +11m sfstandard.com 20Why are banks still getting authentication so wrong? 366 279 8mo +5m jamal.haba.sh/its-2025-why-are-banks-still-getting-authentication-so-wrong 21OpenTelemetry protocol with Apache Arrow 18 107 8mo +55m opentelemetry.io/blog/2025/otel-arrow-phase-2 22Don't unwrap options: There are better ways (2024) 61 100 8mo +27m corrode.dev/blog/rust-option-handling-best-practices 23Mill as a direct style build tool 9 41 8mo +3d mill-build.org/blog/12-direct-style-build-tool.html 24PyPI Organizations (2023) 13 42 8mo +26m blog.pypi.org/posts/2023-04-23-introducing-pypi-organizations 25The great displacement is already well underway? 475 485 8mo +1d shawnfromportland.substack.com/p/the-great-displacement-is-already 26TheForger's Win32 API Tutorial 11 72 8mo +4h winprog.org/tutorial 27Chrome's New Embedding Model: Smaller, Faster, Same Quality 10 40 8mo +3h dejan.ai/blog/chromes-new-embedding-model 28Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) 105 226 8mo +13m github.com/HelixDB/helix-db 29Show HN: AG-UI Protocol – Bring Agents into Frontend Applications 5 34 8mo +1h github.com/ag-ui-protocol/ag-ui 30Sid Meier's Colonization 27 52 8mo +13m peyre.42web.io/Colonization/index.htm 31GOP sneaks decade-long AI regulation ban into spending bill 132 116 8mo +12m arstechnica.com/ai/2025/05/gop-sneaks-decade-long-ai-regulation-ban-into-spending-bill 32[dead] ? 22 8mo +1h gizmodo.com 33GM says new battery chemistry will enable 400-mile range EVs 32 20 8mo +55m theverge.com/news/665223/gm-lmr-ev-battery-chemistry-range-miles 34Fewer people want to work in the U.S. 21 36 8mo +36m axios.com/2025/05/13/us-jobs-foreign-workers 35Branch Privilege Injection: Exploiting branch predictor race conditions 210 414 8mo +2m comsec.ethz.ch/research/microarch/branch-privilege-injection 36It Awaits Your Experiments 76 191 8mo +54m rifters.com/crawl/?p=11511 37A Taxonomy of Bugs 21 50 8mo +51m ruby0x1.github.io/machinery_blog_archive/post/a-taxonomy-of-bugs/index.html 38OpenAI's Stargate project struggling to get off the ground, due to tariffs 168 99 8mo +27m techcrunch.com/2025/05/12/openais-stargate-project-reportedly-struggling-to-get-off-the-ground-thanks-to-tariffs 39Membrane: Media Framework for Elixir 41 160 8mo +3d membrane.stream 40Show HN: Basecoat – shadcn/UI components, no React required 74 139 8mo +4h 41Tariffs Drive Honda to Move SUV Production from Canada to U.S. 18 14 8mo +5m nytimes.com/2025/05/13/world/americas/honda-trump-tariffs-us-canada.html 42PDF to Text, a challenging problem 191 349 8mo +22m marginalia.nu/log/a_119_pdf 43Understanding Java's Asynchronous Journey 10 15 8mo +39m amritpandey.io/understanding-javas-asynchronous-journey 44Detecting if an expression is constant in C 14 47 8mo +3d nrk.neocities.org/articles/c-constexpr-macro#detecting-if-an-expression-is-constant-in-c 45Coinbase joins the S&P 500, another summit scaled on towards economic freedom 3 22 8mo +43m coinbase.com/zh-tw/blog/Coinbase-joins-the-S&P-500-another-summit-scaled-on-Coinbase-drive-towards-economic-freedom 46Remote workers more likely to start their own business 86 55 8mo +30m theregister.com/2025/05/12/remote_work_leads_to_more_startups 47Google is building its own DeX: First look at Android's Desktop Mode 399 430 8mo +10m androidauthority.com/android-desktop-mode-leak-3550321 48As US vuln-tracking falters, EU enters with its own security bug database 43 121 8mo +1h theregister.com/2025/05/13/eu_security_bug_database 49Why I'm resigning from the National Science Foundation 295 232 8mo +6m time.com/7285045/resigning-national-science-foundation-library-congress 50Ada in China (1994) 1 22 8mo +3d dl.acm.org/doi/pdf/10.1145/181476.181483 51We can no longer run Microsoft Store on 1809/LTSC 2019 57 52 8mo +1h github.com/fernvenue/microsoft-store 52In a high-stress work environment, prioritize relationships 211 339 8mo +42m wqtz.bearblog.dev/high-stress-job-relationships 53FlyLoop – AI Agent for Scheduling Meetings and Managing Your Calendar 3 18 8mo +3m 54Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses 118 211 8mo +23m 55I learned Snobol and then wrote a toy Forth 39 144 8mo +2d ratfactor.com/snobol 56How the United States Gave Up Being a Science Superpower 38 86 8mo +5m steveblank.com/2025/05/13/how-the-united-states-became-a-science-superpower-and-how-quickly-it-could-crumble 57[dead] ? 7 8mo +57m diamantinoalmeida.com 58AI Is Like a Crappy Consultant 112 96 8mo +44m lukekanies.com/writing/ai-is-like-a-crappy-consultant 59Why the Poor Vote for the Right (and Stop Demanding More Equality) 76 47 8mo +3m unibocconi.it/en/news/why-poor-vote-right-and-stop-demanding-more-equality 60Show HN: A5 29 94 8mo +2h github.com/felixpalmer/a5 61One hundred and one rules of effective living 104 114 8mo +1h mitchhorowitz.substack.com/p/101-rules-of-effective-living 62Conspiracy theorists can be deprogrammed 108 49 8mo +34m nautil.us/conspiracy-theorists-can-be-deprogrammed-1210134 63The world could run on older hardware if software optimization was a priority 783 812 8mo +1h twitter.com/ID_AA_Carmack/status/1922100771392520710 64Multiple security issues in GNU Screen 260 409 8mo +14m openwall.com/lists/oss-security/2025/05/12/1 65Why are coffee stains darker at the edges? 45 135 8mo +1d why.is/svar.php?id=5513 66Show HN: Why hanging out on Hacker News is a good use of your time? 5 15 8mo +2m parliant.ai/surveys/e31a7442-080b-4921-bfa4-457ef0b974ec 67Nextcloud cries foul over Google Play Store app rejection 230 279 8mo +1h theregister.com/2025/05/13/nextcloud_play_store_complaint 68The Microsoft unit working to thwart hackers 8 33 8mo +3d bloomberg.com/news/features/2025-05-09/microsoft-s-hacker-hunters-inside-the-secretive-mstic-unit 69Low-intensity transcranial focused ultrasound amygdala neuromodulation 3 10 8mo +13m nature.com/articles/s41380-025-03033-w 70We Fixed 2k+ Security Issues (2023) 0 4 8mo +1d sudhishkr.com/posts/20230609_how-we-fixed-2kplus-security-issues 71Ask HN: How are you acquiring your first hundred users? 347 539 8mo +24m 72Odin: A programming language made for me 209 207 8mo +30m zylinski.se/posts/a-programming-language-for-me 73Trial by Fire: The crash of Aeroflot flight 1492 58 90 8mo +1h admiralcloudberg.medium.com/trial-by-fire-the-crash-of-aeroflot-flight-1492-ee61cebcf6ec 74Anti-Personnel Computing (2023) 62 121 8mo +35m erratique.ch/writings/anti-personnel-computing 75Iceland approved 4-day workweek in 2019; six years later, predictions came true 35 50 8mo +13m farmingdale-observer.com/2025/05/10/iceland-approved-the-4-day-workweek-in-2019-nearly-6-years-later-all-the-predictions-made-have-come-true 76Offline vs. online ML pipelines 2 13 8mo +3d decodingml.substack.com/p/offline-vs-online-ml-pipelines 77Alephic Writing Style Guide 45 52 8mo +3d alephic.com/company/writing 78Persuasion methods for engineering managers 96 83 8mo +14m newsletter.manager.dev/p/5-powerful-persuasion-methods-for 79ChatGPT Blows Mapmaking 101 14 16 8mo +8m garymarcus.substack.com/p/chatgpt-blows-mapmaking-101 80Twitch star HasanAbi says he was detained, questioned by border agents 57 77 8mo +40m washingtonpost.com/immigration/2025/05/12/hasan-piker-detained-border-agents-twitch 81Texas Senate passes bill requiring solar plants to provide power at night 58 44 8mo +20m thehill.com/policy/equilibrium-sustainability/5292792-texas-senate-bill-power-cost 82Revisiting Image Maps 21 73 8mo +3d css-tricks.com/revisiting-image-maps 83Mozilla Firefox – Official GitHub repo 457 833 8mo +19m github.com/mozilla-firefox/firefox 84System lets robots identify an object's properties through handling 3 11 8mo +3d news.mit.edu/2025/system-lets-robots-identify-objects-properties-through-handling-0508 85TransMLA: Multi-head latent attention is all you need 32 121 8mo +1h arxiv.org/abs/2502.07864 86Why the 737 MAX has been such a headache for Boeing 54 39 8mo +1h jalopnik.com/1853477/boeing-737-max-incidents-aircraft-problems 8715 Years of Shader Minification 25 145 8mo +2d ctrl-alt-test.fr/2025/15-years-of-shader-minification 88I developed an AI clothing-changing tool. Would you like to take a look? 2 5 8mo +34m aioutfitgen.com 89Open Hardware Ethernet Switch project, part 1 36 273 8mo +3d serd.es/2025/05/08/Switch-project-pt1.html 90Policy of Transience 8 46 8mo +2d chiark.greenend.org.uk/~sgtatham/quasiblog/transience 91FastVLM: Efficient vision encoding for vision language models 73 365 8mo +29m github.com/apple/ml-fastvlm 92How to avoid P hacking 86 116 8mo +3d nature.com/articles/d41586-025-01246-1 93FedRAMP 20x – One Month in and Moving Fast 65 92 8mo +23m fedramp.gov/2025-04-24-fedramp-20x-one-month-in-and-moving-fast 94Has anyone coined the term “fast tech” yet? 44 76 8mo +2d chaos.social/@gsuberland/114485304658708399 95 More... 2025.05.12