HckrNews (First visit) All HN frontpage stories in chronological order Ongoing Lean formalization of the proof for Fermat's Last Theorem 76 127 5mo +2d github.com/ImperialCollegeLondon/FLT 1Lina Khan points to Figma IPO as vindication of M&A scrutiny 423 421 5mo +1h techcrunch.com/2025/08/02/lina-khan-points-to-figma-ipo-as-vindication-for-ma-scrutiny 2HTML-in-Canvas 115 218 5mo +22m github.com/WICG/html-in-canvas 3How I do support and community 0 37 5mo +3d pketh.org/support-community.html 4Mezzano, an operating system written in Common Lisp 24 110 5mo +3d github.com/froggey/Mezzano 5Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder) 14 40 5mo +9h github.com/hugoj0s3/NaturalCron 6AWS deleted my 10-year account and all data without warning 144 196 5mo +3h seuros.com/blog/aws-deleted-my-10-year-account-without-warning 7Remote hosting for your telescope 43 149 5mo +2d sierra-remote.com 8The "cracked coder" fetish: Epistemic arrogance in Silicon Valley 8 37 5mo +51m maxread.substack.com/p/the-cracked-coder-fetish 9GrapheneOS Is a Cult (German) 10 14 5mo +1h onli-blogging.de/2546/GrapheneOS-ist-ein-gefaehrlicher-Kult.html 10Modeling open-world cognition as on-demand synthesis of probabilistic models 0 25 5mo +19m arxiv.org/abs/2507.12547 11TclSqueak – Program in Tcl the Smalltalk Way 2 27 5mo +2d xdobry.dehttp://www./tclsqueak 12I tried living on IPv6 for a day 161 105 5mo +2d xda-developers.com/the-internet-isnt-fully-ipv6-ready 13[dead] ? 25 5mo +20m doomsdayscenario.co 14The Big Oops in type systems: This problem extends to FP as well 80 96 5mo +1d danieltan.weblog.lol/2025/07/the-big-oops-in-type-systems-this-problem-extends-to-fp-as-well 15Anandtech.com now redirects to its forums 63 258 5mo +5h forums.anandtech.com 16Australia’s gains in wheat-farm productivity 43 84 5mo +3d reuters.com/investigations/less-rain-more-wheat-how-australian-farmers-defied-climate-doom-2025-07-29 17PixiEditor 2.0 – A FOSS universal 2D graphics editor 45 398 5mo +2d pixieditor.net/blog/2025/07/30/20-release 18A dive into open chat protocols 25 108 5mo +3d wiki.alopex.li/ADiveIntoOpenChat 19Helsinki records zero traffic deaths for full year 635 1129 5mo +3d helsinkitimes.fi/finland/finland-news/domestic/27539-helsinki-records-zero-traffic-deaths-for-full-year.html 20Write "Freehold" Software 31 72 5mo +7d deadbeef.io/freehold_software 21Double-slit experiment holds up when stripped to its quantum essentials 59 92 5mo +2d news.mit.edu/2025/famous-double-slit-experiment-holds-when-stripped-to-quantum-essentials-0728 22At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019) 236 237 5mo +6h apmreports.org/episode/2019/08/22/whats-wrong-how-schools-teach-reading 23Linear Types for Programmers (2023) 14 59 5mo +1h twey.io/for-programmers/linear-types 24The Garlic Bread Hack 16 41 5mo +3d suntreeapps.com/blog/posts/garlic-bread-hack 25Introduction to Unikernel: Building, deploying lightweight, secure applications 8 22 5mo +1d tallysolutions.com/technology/introduction-to-unikernel-2 26Helion begins work on Washington nuclear fusion plant 69 83 5mo +2d nucnet.org/news/microsoft-backed-fusion-company-begins-work-on-washington-nuclear-fusion-plant-7-4-2025 276 weeks of Claude Code 580 563 5mo +2d blog.puzzmo.com/posts/2025/07/30/six-weeks-of-claude-code 28Show HN: Wordle-style game for Fermi questions 35 35 5mo +53m fermiquestions.org 29How to reverse engineer an analog chip: the TDA7000 FM radio receiver 15 58 5mo +1h righto.com/2025/08/reverse-engineering-analog-TDA7000.html 30'Communities' of extreme life seen for first time in deep ocean 6 27 5mo +2d bbc.com/news/articles/c3wnqe5j99do 31Browser extension and local backend that automatically archives YouTube videos 119 211 5mo +1h github.com/andrewarrow/starchive 32The unreasonable likelihood of being: origin of life, terraforming, and AI 9 16 5mo +33m arxiv.org/abs/2507.18545 33Iceberg, the right idea – the wrong spec – Part 2 of 2: The spec 8 34 5mo +2h database-doctor.com/posts/iceberg-is-wrong-2.html 34Telo MT1 595 616 5mo +23m telotrucks.com 35Great Question (YC W21) Is Hiring a VP of Engineering (Remote) 0 1 5mo +16s ycombinator.com/companies/great-question/jobs/ONBQUqe-vp-of-engineering 36Hiding secret codes in light protects against fake videos 81 125 5mo +1h news.cornell.edu/stories/2025/07/hiding-secret-codes-light-protects-against-fake-videos 37Why Exercise Is a Miracle Drug 243 259 5mo +37m derekthompson.org/p/the-sunday-morning-post-why-exercise 38Online Collection of Keygen Music 98 384 5mo +3d keygenmusic.tk 39Character Bitmap Graphics on the Pet 2001 5 17 5mo +2h masswerk.at/nowgobang/2025/character-bitmaps-on-the-pet2001 40VSCode extension for syntax highlighting multi-line YAML strings 15 29 5mo +1h github.com/harrydowning/vscode-yaml-embedded-languages 41The /o in Ruby regex stands for "oh the humanity " 42 183 5mo +1h jpcamara.com/2025/08/02/the-o-in-ruby-regex.html 42Go's race detector has a mutex blind spot 2 26 5mo +2d doublefree.dev/go-race-mutex-blindspot 43Ana Marie Cox on the Shaky Foundation of Substack as a Business 48 29 5mo +23m newsletter.anamariecox.com/archive/substack-did-not-see-that-coming 44Financial lessons from my family's experience with long-term care insurance 193 171 5mo +1h whitecoatinvestor.com/financial-lessons-father-long-term-care-insurance 45Unikernel Guide: Build and Deploy Lightweight, Secure Apps 1 33 5mo +18m tallysolutions.com/technology/introduction-to-unikernel-2 46The case for having roommates even when you can afford to live alone 111 84 5mo +28m supernuclear.substack.com/p/the-case-for-having-roommates-even 47The Rubik's Cube Perfect Scramble (2024) 27 86 5mo +18m solutionslookingforproblems.com/post/the-rubik-s-cube-perfect-scramble 48Palo Alto Networks closing on over $20B acquisition of CyberArk 3 13 5mo +3d calcalistech.com/ctechnews/article/hksugkiwxe 49Show HN: WebGPU enables local LLM in the browser – demo site with AI chat 54 141 5mo +27m andreinwald.github.io/browser-llm 506 Weeks of Claude Code 1 172 5mo +1h blog.puzzmo.com/posts/2025/07/30/six-weeks-of-claude-code 51ThinkPad designer David Hill on unreleased models 124 200 5mo +1h theregister.com/2025/08/02/thinkpad_david_hill_interview 52Cadence Guilty, Pays $140M for Exporting Semi Design Tools to PRC Military Uni 41 48 5mo +16m justice.gov/opa/pr/cadence-design-systems-agrees-plead-guilty-and-pay-over-140-million-unlawfully-exporting 53The Art of Multiprocessor Programming 2nd Edition Book Club 44 286 5mo +4m eatonphil.com/2025-art-of-multiprocessor-programming.html 54Caches: LRU vs. Random 21 109 5mo +2d danluu.com/2choices-eviction 55Tim Cook rallying Apple employees around AI efforts 152 96 5mo +15h bloomberg.com/news/articles/2025-08-01/apple-ceo-tells-staff-ai-is-ours-to-grab-in-hourlong-pep-talk 56New research finds that ivermectin could help control malaria transmission 57 47 5mo +57m ndm.ox.ac.uk/news/new-research-supports-ivermectin-as-an-effective-strategy-to-control-malaria-transmission 57OpenAI's "Study Mode" and the risks of flattery 145 136 5mo +1d resobscura.substack.com/p/openais-new-study-mode-and-the-risks 58We may not like what we become if A.I. solves loneliness 1008 494 5mo +1h newyorker.com/magazine/2025/07/21/ai-is-about-to-solve-loneliness-thats-a-problem 59Compressing Icelandic name declension patterns into a 3.27 kB trie 80 237 5mo +30m alexharri.com/blog/icelandic-name-declension-trie 60A.I. researchers are negotiating $250M pay packages 537 284 5mo +14m nytimes.com/2025/07/31/technology/ai-researchers-nba-stars.html 61Tell HN: Gmail tampers with incoming email body content 24 10 5mo +47m 62Microsoft Has a Surface Laptop 'Smurface Edition' for Smurfs Fans 2 4 5mo +2d theverge.com/news/715741/microsoft-surface-laptop-smurface-edition 63North Korea sent him abroad to be a secret IT worker 68 109 5mo +1h bbc.com/news/articles/c15wk77zxngo 64Tesla Found Partly Liable in 2019 Autopilot Death 2 33 5mo +30m wired.com/story/tesla-liable-2019-autopilot-crash-death 65Palo Alto Networks agrees to buy CyberArk for $25B 63 67 5mo +2d techcrunch.com/2025/07/30/palo-alto-networks-agrees-to-buy-cyberark-for-25-billion 66EU kills Android bootloader unlock starting August 1 31 43 5mo +32m xiaomitime.com/eu-kills-android-bootloader-unlock-starting-august-1-59449 67Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf] 17 50 5mo +3d urbanphysics.nethttp://www./2025_Formation_Paper_Preprint_v1.pdf 68The First Widespread Cure for HIV Could Be in Children 8 39 5mo +10m wired.com/story/the-first-widespread-cure-for-hiv-could-be-in-children 69Ferroelectric helps break transistor limits 1 25 5mo +3d spectrum.ieee.org/negative-capacitance-schottky-limit 70Microsoft is open sourcing Windows 11's UI framework 288 222 5mo +38m neowin.net/news/microsoft-is-taking-steps-to-open-sourcing-windows-11-user-interface-framework 71Terence Tao on the suspension of UCLA grants 301 274 5mo +1h mathstodon.xyz/@tao/114956840959338146 72Why leather is best motorcycle protection [video] 184 216 5mo +1d youtube.com/watch?v=xwuRUcAGIEU 73This Month in Ladybird 148 431 5mo +57m ladybird.org/newsletter/2025-07-31 74Sources of Truth 0 10 5mo +3d cutlefish.substack.com/p/tbm-369-sources-of-truth 75At $250M, top AI salaries dwarf the Manhattan Project and the Space Race 15 63 5mo +19m arstechnica.com/ai/2025/08/at-250-million-top-ai-salaries-dwarf-those-of-the-manhattan-project-and-the-space-race 76Yearly Organiser 27 128 5mo +3d neatnik.net/calendar 77Show HN: Print the daily weather forecast on a thermal receipt printer 6 21 5mo +2d github.com/chr15m/print-weather 78Processing: Mattie Lubchansky Wrote and Illustrated Simplicity 1 12 5mo +3d countercraft.substack.com/p/processing-how-mattie-lubchansky 79Robert Wilson has died 16 79 5mo +28m theartnewspaper.com/2025/08/01/robert-wilson-playwright-director-artist-obituary 80JavaScript retro sound effects generator 24 153 5mo +3d github.grumdrig.com/jsfxr 81Tesla owes small businesses millions in unpaid bills [video] 39 84 5mo +29m cnn.com/2025/08/01/politics/video/inv-musk-unpaid-bills 82Hardening mode for the compiler 54 155 5mo +33m discourse.llvm.org/t/rfc-hardening-mode-for-the-compiler/87660 83Peak Energy just shipped the US's first grid-scale sodium-ion battery 12 76 5mo +7m electrek.co/2025/07/30/peak-energy-us-first-grid-scale-sodium-ion-battery 84The tradeoff between human and AI context 2 34 5mo +2d softwaredoug.com/blog/2025/07/30/layers-of-ai-coding 85The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos 19 78 5mo +57m rickovercorpus.org 86Meta violated privacy law, jury says in menstrual data fight 12 73 5mo +1h courthousenews.com/meta-violated-privacy-law-jury-says-in-menstrual-data-fight 87Contrarian climate assessment from U.S. government draws pushback 20 42 5mo +13m science.org/content/article/contrarian-climate-assessment-u-s-government-draws-swift-pushback 88[dead] ? 10 5mo +31m twitter.com 89Ethersync: Peer-to-peer collaborative editing of local text files 34 190 5mo +3d github.com/ethersync/ethersync 90 More... 2025.08.01