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 [
{
"id": "44745727",
"title": "Ongoing Lean formalization of the proof for Fermat's Last Theorem",
"url": "https://github.com/ImperialCollegeLondon/FLT",
"domain": "github.com",
"points": 127,
"comments": 76,
"time": "1753970381",
"time_frontpage": 1754178142,
"user": "",
"dead": false
},
{
"id": "44771808",
"title": "Lina Khan points to Figma IPO as vindication of M&A scrutiny",
"url": "https://techcrunch.com/2025/08/02/lina-khan-points-to-figma-ipo-as-vindication-for-ma-scrutiny/",
"domain": "techcrunch.com",
"points": 421,
"comments": 423,
"time": "1754170782",
"time_frontpage": 1754176407,
"user": "",
"dead": false
},
{
"id": "44772177",
"title": "HTML-in-Canvas",
"url": "https://github.com/WICG/html-in-canvas",
"domain": "github.com",
"points": 218,
"comments": 115,
"time": "1754173607",
"time_frontpage": 1754174949,
"user": "",
"dead": false
},
{
"id": "44731116",
"title": "How I do support and community",
"url": "https://pketh.org/support-community.html",
"domain": "pketh.org",
"points": 37,
"comments": 0,
"time": "1753853345",
"time_frontpage": 1754174526,
"user": "",
"dead": false
},
{
"id": "44734450",
"title": "Mezzano, an operating system written in Common Lisp",
"url": "https://github.com/froggey/Mezzano",
"domain": "github.com",
"points": 110,
"comments": 24,
"time": "1753884580",
"time_frontpage": 1754174293,
"user": "",
"dead": false
},
{
"id": "44767304",
"title": "Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder)",
"url": "https://github.com/hugoj0s3/NaturalCron",
"domain": "github.com",
"points": 40,
"comments": 14,
"time": "1754140146",
"time_frontpage": 1754173037,
"user": "",
"dead": false
},
{
"id": "44770250",
"title": "AWS deleted my 10-year account and all data without warning",
"url": "https://www.seuros.com/blog/aws-deleted-my-10-year-account-without-warning/",
"domain": "seuros.com",
"points": 196,
"comments": 144,
"time": "1754160557",
"time_frontpage": 1754171524,
"user": "",
"dead": false
},
{
"id": "44741078",
"title": "Remote hosting for your telescope",
"url": "https://www.sierra-remote.com/",
"domain": "sierra-remote.com",
"points": 149,
"comments": 43,
"time": "1753921414",
"time_frontpage": 1754170902,
"user": "",
"dead": false
},
{
"id": "44771235",
"title": "The \"cracked coder\" fetish: Epistemic arrogance in Silicon Valley",
"url": "https://maxread.substack.com/p/the-cracked-coder-fetish",
"domain": "maxread.substack.com",
"points": 37,
"comments": 8,
"time": "1754167178",
"time_frontpage": 1754170270,
"user": "",
"dead": false
},
{
"id": "44770874",
"title": "GrapheneOS Is a Cult (German)",
"url": "https://www.onli-blogging.de/2546/GrapheneOS-ist-ein-gefaehrlicher-Kult.html",
"domain": "onli-blogging.de",
"points": 14,
"comments": 10,
"time": "1754164735",
"time_frontpage": 1754168570,
"user": "",
"dead": false
},
{
"id": "44771060",
"title": "Modeling open-world cognition as on-demand synthesis of probabilistic models",
"url": "https://arxiv.org/abs/2507.12547",
"domain": "arxiv.org",
"points": 25,
"comments": 0,
"time": "1754166098",
"time_frontpage": 1754167295,
"user": "",
"dead": false
},
{
"id": "44740034",
"title": "TclSqueak – Program in Tcl the Smalltalk Way",
"url": "http://www.xdobry.de/tclsqueak/",
"domain": "xdobry.de",
"points": 27,
"comments": 2,
"time": "1753913048",
"time_frontpage": 1754167259,
"user": "",
"dead": false
},
{
"id": "44746529",
"title": "I tried living on IPv6 for a day",
"url": "https://www.xda-developers.com/the-internet-isnt-fully-ipv6-ready/",
"domain": "xda-developers.com",
"points": 105,
"comments": 161,
"time": "1753974903",
"time_frontpage": 1754163641,
"user": "",
"dead": false
},
{
"id": "44770485",
"title": "[dead]",
"url": "",
"domain": "doomsdayscenario.co",
"points": 25,
"comments": 0,
"time": "1754162083",
"time_frontpage": 1754163310,
"user": "",
"dead": true
},
{
"id": "44749387",
"title": "The Big Oops in type systems: This problem extends to FP as well",
"url": "https://danieltan.weblog.lol/2025/07/the-big-oops-in-type-systems-this-problem-extends-to-fp-as-well",
"domain": "danieltan.weblog.lol",
"points": 96,
"comments": 80,
"time": "1753991375",
"time_frontpage": 1754162621,
"user": "",
"dead": false
},
{
"id": "44767433",
"title": "Anandtech.com now redirects to its forums",
"url": "https://forums.anandtech.com/",
"domain": "forums.anandtech.com",
"points": 258,
"comments": 63,
"time": "1754141245",
"time_frontpage": 1754162319,
"user": "",
"dead": false
},
{
"id": "44732508",
"title": "Australia’s gains in wheat-farm productivity",
"url": "https://www.reuters.com/investigations/less-rain-more-wheat-how-australian-farmers-defied-climate-doom-2025-07-29/",
"domain": "reuters.com",
"points": 84,
"comments": 43,
"time": "1753870018",
"time_frontpage": 1754162246,
"user": "",
"dead": false
},
{
"id": "44746583",
"title": "PixiEditor 2.0 – A FOSS universal 2D graphics editor",
"url": "https://pixieditor.net/blog/2025/07/30/20-release/",
"domain": "pixieditor.net",
"points": 398,
"comments": 45,
"time": "1753975291",
"time_frontpage": 1754162113,
"user": "",
"dead": false
},
{
"id": "44738216",
"title": "A dive into open chat protocols",
"url": "https://wiki.alopex.li/ADiveIntoOpenChat",
"domain": "wiki.alopex.li",
"points": 108,
"comments": 25,
"time": "1753902054",
"time_frontpage": 1754162013,
"user": "",
"dead": false
},
{
"id": "44736025",
"title": "Helsinki records zero traffic deaths for full year",
"url": "https://www.helsinkitimes.fi/finland/finland-news/domestic/27539-helsinki-records-zero-traffic-deaths-for-full-year.html",
"domain": "helsinkitimes.fi",
"points": 1129,
"comments": 635,
"time": "1753891682",
"time_frontpage": 1754161817,
"user": "",
"dead": false
},
{
"id": "44695015",
"title": "Write \"Freehold\" Software",
"url": "https://deadbeef.io/freehold_software",
"domain": "deadbeef.io",
"points": 72,
"comments": 31,
"time": "1753545293",
"time_frontpage": 1754161448,
"user": "",
"dead": false
},
{
"id": "44743432",
"title": "Double-slit experiment holds up when stripped to its quantum essentials",
"url": "https://news.mit.edu/2025/famous-double-slit-experiment-holds-when-stripped-to-quantum-essentials-0728",
"domain": "news.mit.edu",
"points": 92,
"comments": 59,
"time": "1753948819",
"time_frontpage": 1754160284,
"user": "",
"dead": false
},
{
"id": "44766962",
"title": "At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019)",
"url": "https://www.apmreports.org/episode/2019/08/22/whats-wrong-how-schools-teach-reading",
"domain": "apmreports.org",
"points": 237,
"comments": 236,
"time": "1754136747",
"time_frontpage": 1754160218,
"user": "",
"dead": false
},
{
"id": "44769145",
"title": "Linear Types for Programmers (2023)",
"url": "https://twey.io/for-programmers/linear-types/",
"domain": "twey.io",
"points": 59,
"comments": 14,
"time": "1754153577",
"time_frontpage": 1754160185,
"user": "",
"dead": false
},
{
"id": "44736428",
"title": "The Garlic Bread Hack",
"url": "https://suntreeapps.com/blog/posts/garlic-bread-hack/",
"domain": "suntreeapps.com",
"points": 41,
"comments": 16,
"time": "1753893641",
"time_frontpage": 1754160051,
"user": "",
"dead": false
},
{
"id": "44757249",
"title": "Introduction to Unikernel: Building, deploying lightweight, secure applications",
"url": "https://tallysolutions.com/technology/introduction-to-unikernel-2/",
"domain": "tallysolutions.com",
"points": 22,
"comments": 8,
"time": "1754058165",
"time_frontpage": 1754159717,
"user": "",
"dead": false
},
{
"id": "44745067",
"title": "Helion begins work on Washington nuclear fusion plant",
"url": "https://www.nucnet.org/news/microsoft-backed-fusion-company-begins-work-on-washington-nuclear-fusion-plant-7-4-2025",
"domain": "nucnet.org",
"points": 83,
"comments": 69,
"time": "1753965710",
"time_frontpage": 1754159311,
"user": "",
"dead": false
},
{
"id": "44746621",
"title": "6 weeks of Claude Code",
"url": "https://blog.puzzmo.com/posts/2025/07/30/six-weeks-of-claude-code/",
"domain": "blog.puzzmo.com",
"points": 563,
"comments": 580,
"time": "1753975549",
"time_frontpage": 1754159143,
"user": "",
"dead": false
},
{
"id": "44769338",
"title": "Show HN: Wordle-style game for Fermi questions",
"url": "https://www.fermiquestions.org/",
"domain": "fermiquestions.org",
"points": 35,
"comments": 35,
"time": "1754154699",
"time_frontpage": 1754157888,
"user": "",
"dead": false
},
{
"id": "44768677",
"title": "How to reverse engineer an analog chip: the TDA7000 FM radio receiver",
"url": "https://www.righto.com/2025/08/reverse-engineering-analog-TDA7000.html",
"domain": "righto.com",
"points": 58,
"comments": 15,
"time": "1754150391",
"time_frontpage": 1754156443,
"user": "",
"dead": false
},
{
"id": "44742092",
"title": "'Communities' of extreme life seen for first time in deep ocean",
"url": "https://www.bbc.com/news/articles/c3wnqe5j99do",
"domain": "bbc.com",
"points": 27,
"comments": 6,
"time": "1753932873",
"time_frontpage": 1754156411,
"user": "",
"dead": false
},
{
"id": "44768714",
"title": "Browser extension and local backend that automatically archives YouTube videos",
"url": "https://github.com/andrewarrow/starchive",
"domain": "github.com",
"points": 211,
"comments": 119,
"time": "1754150611",
"time_frontpage": 1754155934,
"user": "",
"dead": false
},
{
"id": "44769170",
"title": "The unreasonable likelihood of being: origin of life, terraforming, and AI",
"url": "https://arxiv.org/abs/2507.18545",
"domain": "arxiv.org",
"points": 16,
"comments": 9,
"time": "1754153714",
"time_frontpage": 1754155701,
"user": "",
"dead": false
},
{
"id": "44767888",
"title": "Iceberg, the right idea – the wrong spec – Part 2 of 2: The spec",
"url": "https://www.database-doctor.com/posts/iceberg-is-wrong-2.html",
"domain": "database-doctor.com",
"points": 34,
"comments": 8,
"time": "1754144797",
"time_frontpage": 1754155374,
"user": "",
"dead": false
},
{
"id": "44769039",
"title": "Telo MT1",
"url": "https://www.telotrucks.com/",
"domain": "telotrucks.com",
"points": 616,
"comments": 595,
"time": "1754152851",
"time_frontpage": 1754154249,
"user": "",
"dead": false
},
{
"id": "44769231",
"title": "Great Question (YC W21) Is Hiring a VP of Engineering (Remote)",
"url": "https://www.ycombinator.com/companies/great-question/jobs/ONBQUqe-vp-of-engineering",
"domain": "ycombinator.com",
"points": 1,
"comments": 0,
"time": "1754154036",
"time_frontpage": 1754154052,
"user": "",
"dead": false
},
{
"id": "44768513",
"title": "Hiding secret codes in light protects against fake videos",
"url": "https://news.cornell.edu/stories/2025/07/hiding-secret-codes-light-protects-against-fake-videos",
"domain": "news.cornell.edu",
"points": 125,
"comments": 81,
"time": "1754149227",
"time_frontpage": 1754153293,
"user": "",
"dead": false
},
{
"id": "44768704",
"title": "Why Exercise Is a Miracle Drug",
"url": "https://www.derekthompson.org/p/the-sunday-morning-post-why-exercise",
"domain": "derekthompson.org",
"points": 259,
"comments": 243,
"time": "1754150536",
"time_frontpage": 1754152801,
"user": "",
"dead": false
},
{
"id": "44730544",
"title": "Online Collection of Keygen Music",
"url": "https://keygenmusic.tk",
"domain": "keygenmusic.tk",
"points": 384,
"comments": 98,
"time": "1753843990",
"time_frontpage": 1754152801,
"user": "",
"dead": false
},
{
"id": "44767488",
"title": "Character Bitmap Graphics on the Pet 2001",
"url": "https://www.masswerk.at/nowgobang/2025/character-bitmaps-on-the-pet2001",
"domain": "masswerk.at",
"points": 17,
"comments": 5,
"time": "1754141781",
"time_frontpage": 1754150813,
"user": "",
"dead": false
},
{
"id": "44768048",
"title": "VSCode extension for syntax highlighting multi-line YAML strings",
"url": "https://github.com/harrydowning/vscode-yaml-embedded-languages",
"domain": "github.com",
"points": 29,
"comments": 15,
"time": "1754146074",
"time_frontpage": 1754150648,
"user": "",
"dead": false
},
{
"id": "44767959",
"title": "The /o in Ruby regex stands for \"oh the humanity \"",
"url": "https://jpcamara.com/2025/08/02/the-o-in-ruby-regex.html",
"domain": "jpcamara.com",
"points": 183,
"comments": 42,
"time": "1754145471",
"time_frontpage": 1754149595,
"user": "",
"dead": false
},
{
"id": "44741570",
"title": "Go's race detector has a mutex blind spot",
"url": "https://doublefree.dev/go-race-mutex-blindspot/",
"domain": "doublefree.dev",
"points": 26,
"comments": 2,
"time": "1753926642",
"time_frontpage": 1754149190,
"user": "",
"dead": false
},
{
"id": "44768302",
"title": "Ana Marie Cox on the Shaky Foundation of Substack as a Business",
"url": "https://newsletter.anamariecox.com/archive/substack-did-not-see-that-coming/",
"domain": "newsletter.anamariecox.com",
"points": 29,
"comments": 48,
"time": "1754147727",
"time_frontpage": 1754149158,
"user": "",
"dead": false
},
{
"id": "44767702",
"title": "Financial lessons from my family's experience with long-term care insurance",
"url": "https://www.whitecoatinvestor.com/financial-lessons-father-long-term-care-insurance/",
"domain": "whitecoatinvestor.com",
"points": 171,
"comments": 193,
"time": "1754143228",
"time_frontpage": 1754148698,
"user": "",
"dead": false
},
{
"id": "44767947",
"title": "Unikernel Guide: Build and Deploy Lightweight, Secure Apps",
"url": "https://tallysolutions.com/technology/introduction-to-unikernel-2/",
"domain": "tallysolutions.com",
"points": 33,
"comments": 1,
"time": "1754145364",
"time_frontpage": 1754146495,
"user": "",
"dead": false
},
{
"id": "44767858",
"title": "The case for having roommates even when you can afford to live alone",
"url": "https://supernuclear.substack.com/p/the-case-for-having-roommates-even",
"domain": "supernuclear.substack.com",
"points": 84,
"comments": 111,
"time": "1754144531",
"time_frontpage": 1754146233,
"user": "",
"dead": false
},
{
"id": "44767928",
"title": "The Rubik's Cube Perfect Scramble (2024)",
"url": "https://www.solutionslookingforproblems.com/post/the-rubik-s-cube-perfect-scramble",
"domain": "solutionslookingforproblems.com",
"points": 86,
"comments": 27,
"time": "1754145118",
"time_frontpage": 1754146201,
"user": "",
"dead": false
},
{
"id": "44727871",
"title": "Palo Alto Networks closing on over $20B acquisition of CyberArk",
"url": "https://www.calcalistech.com/ctechnews/article/hksugkiwxe",
"domain": "calcalistech.com",
"points": 13,
"comments": 3,
"time": "1753820760",
"time_frontpage": 1754145587,
"user": "",
"dead": false
},
{
"id": "44767775",
"title": "Show HN: WebGPU enables local LLM in the browser – demo site with AI chat",
"url": "https://andreinwald.github.io/browser-llm/",
"domain": "andreinwald.github.io",
"points": 141,
"comments": 54,
"time": "1754143752",
"time_frontpage": 1754145391,
"user": "",
"dead": false
},
{
"id": "44767003",
"title": "6 Weeks of Claude Code",
"url": "https://blog.puzzmo.com/posts/2025/07/30/six-weeks-of-claude-code/",
"domain": "blog.puzzmo.com",
"points": 172,
"comments": 1,
"time": "1754137259",
"time_frontpage": 1754143014,
"user": "",
"dead": false
},
{
"id": "44767125",
"title": "ThinkPad designer David Hill on unreleased models",
"url": "https://www.theregister.com/2025/08/02/thinkpad_david_hill_interview/",
"domain": "theregister.com",
"points": 200,
"comments": 124,
"time": "1754138411",
"time_frontpage": 1754142982,
"user": "",
"dead": false
},
{
"id": "44767461",
"title": "Cadence Guilty, Pays $140M for Exporting Semi Design Tools to PRC Military Uni",
"url": "https://www.justice.gov/opa/pr/cadence-design-systems-agrees-plead-guilty-and-pay-over-140-million-unlawfully-exporting",
"domain": "justice.gov",
"points": 48,
"comments": 41,
"time": "1754141556",
"time_frontpage": 1754142553,
"user": "",
"dead": false
},
{
"id": "44767555",
"title": "The Art of Multiprocessor Programming 2nd Edition Book Club",
"url": "https://eatonphil.com/2025-art-of-multiprocessor-programming.html",
"domain": "eatonphil.com",
"points": 286,
"comments": 44,
"time": "1754142190",
"time_frontpage": 1754142451,
"user": "",
"dead": false
},
{
"id": "44743034",
"title": "Caches: LRU vs. Random",
"url": "https://danluu.com/2choices-eviction/",
"domain": "danluu.com",
"points": 109,
"comments": 21,
"time": "1753944302",
"time_frontpage": 1754141962,
"user": "",
"dead": false
},
{
"id": "44762859",
"title": "Tim Cook rallying Apple employees around AI efforts",
"url": "https://www.bloomberg.com/news/articles/2025-08-01/apple-ceo-tells-staff-ai-is-ours-to-grab-in-hourlong-pep-talk",
"domain": "bloomberg.com",
"points": 96,
"comments": 152,
"time": "1754085044",
"time_frontpage": 1754140402,
"user": "",
"dead": false
},
{
"id": "44766831",
"title": "New research finds that ivermectin could help control malaria transmission",
"url": "https://www.ndm.ox.ac.uk/news/new-research-supports-ivermectin-as-an-effective-strategy-to-control-malaria-transmission",
"domain": "ndm.ox.ac.uk",
"points": 47,
"comments": 57,
"time": "1754135082",
"time_frontpage": 1754138526,
"user": "",
"dead": false
},
{
"id": "44745490",
"title": "OpenAI's \"Study Mode\" and the risks of flattery",
"url": "https://resobscura.substack.com/p/openais-new-study-mode-and-the-risks",
"domain": "resobscura.substack.com",
"points": 136,
"comments": 145,
"time": "1753968914",
"time_frontpage": 1754138362,
"user": "",
"dead": false
},
{
"id": "44766508",
"title": "We may not like what we become if A.I. solves loneliness",
"url": "https://www.newyorker.com/magazine/2025/07/21/ai-is-about-to-solve-loneliness-thats-a-problem",
"domain": "newyorker.com",
"points": 494,
"comments": 1008,
"time": "1754131956",
"time_frontpage": 1754138230,
"user": "",
"dead": false
},
{
"id": "44766718",
"title": "Compressing Icelandic name declension patterns into a 3.27 kB trie",
"url": "https://alexharri.com/blog/icelandic-name-declension-trie",
"domain": "alexharri.com",
"points": 237,
"comments": 80,
"time": "1754134113",
"time_frontpage": 1754135930,
"user": "",
"dead": false
},
{
"id": "44766758",
"title": "A.I. researchers are negotiating $250M pay packages",
"url": "https://www.nytimes.com/2025/07/31/technology/ai-researchers-nba-stars.html",
"domain": "nytimes.com",
"points": 284,
"comments": 537,
"time": "1754134479",
"time_frontpage": 1754135319,
"user": "",
"dead": false
},
{
"id": "44766538",
"title": "Tell HN: Gmail tampers with incoming email body content",
"url": "",
"points": 10,
"comments": 24,
"time": "1754132257",
"time_frontpage": 1754135091,
"user": "",
"dead": false
},
{
"id": "44737759",
"title": "Microsoft Has a Surface Laptop 'Smurface Edition' for Smurfs Fans",
"url": "https://www.theverge.com/news/715741/microsoft-surface-laptop-smurface-edition",
"domain": "theverge.com",
"points": 4,
"comments": 2,
"time": "1753899697",
"time_frontpage": 1754134731,
"user": "",
"dead": false
},
{
"id": "44766326",
"title": "North Korea sent him abroad to be a secret IT worker",
"url": "https://www.bbc.com/news/articles/c15wk77zxngo",
"domain": "bbc.com",
"points": 109,
"comments": 68,
"time": "1754129926",
"time_frontpage": 1754134698,
"user": "",
"dead": false
},
{
"id": "44766313",
"title": "Tesla Found Partly Liable in 2019 Autopilot Death",
"url": "https://www.wired.com/story/tesla-liable-2019-autopilot-crash-death/",
"domain": "wired.com",
"points": 33,
"comments": 2,
"time": "1754129775",
"time_frontpage": 1754131577,
"user": "",
"dead": false
},
{
"id": "44739041",
"title": "Palo Alto Networks agrees to buy CyberArk for $25B",
"url": "https://techcrunch.com/2025/07/30/palo-alto-networks-agrees-to-buy-cyberark-for-25-billion/",
"domain": "techcrunch.com",
"points": 67,
"comments": 63,
"time": "1753906784",
"time_frontpage": 1754131125,
"user": "",
"dead": false
},
{
"id": "44765939",
"title": "EU kills Android bootloader unlock starting August 1",
"url": "https://xiaomitime.com/eu-kills-android-bootloader-unlock-starting-august-1-59449/",
"domain": "xiaomitime.com",
"points": 43,
"comments": 31,
"time": "1754125948",
"time_frontpage": 1754127869,
"user": "",
"dead": false
},
{
"id": "44726981",
"title": "Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf]",
"url": "http://www.urbanphysics.net/2025_Formation_Paper_Preprint_v1.pdf",
"domain": "urbanphysics.net",
"points": 50,
"comments": 17,
"time": "1753815128",
"time_frontpage": 1754127539,
"user": "",
"dead": false
},
{
"id": "44765981",
"title": "The First Widespread Cure for HIV Could Be in Children",
"url": "https://www.wired.com/story/the-first-widespread-cure-for-hiv-could-be-in-children/",
"domain": "wired.com",
"points": 39,
"comments": 8,
"time": "1754126442",
"time_frontpage": 1754127089,
"user": "",
"dead": false
},
{
"id": "44722594",
"title": "Ferroelectric helps break transistor limits",
"url": "https://spectrum.ieee.org/negative-capacitance-schottky-limit",
"domain": "spectrum.ieee.org",
"points": 25,
"comments": 1,
"time": "1753792790",
"time_frontpage": 1754123912,
"user": "",
"dead": false
},
{
"id": "44765600",
"title": "Microsoft is open sourcing Windows 11's UI framework",
"url": "https://www.neowin.net/news/microsoft-is-taking-steps-to-open-sourcing-windows-11-user-interface-framework/",
"domain": "neowin.net",
"points": 222,
"comments": 288,
"time": "1754121160",
"time_frontpage": 1754123456,
"user": "",
"dead": false
},
{
"id": "44765264",
"title": "Terence Tao on the suspension of UCLA grants",
"url": "https://mathstodon.xyz/@tao/114956840959338146",
"domain": "mathstodon.xyz",
"points": 274,
"comments": 301,
"time": "1754116111",
"time_frontpage": 1754121766,
"user": "",
"dead": false
},
{
"id": "44744121",
"title": "Why leather is best motorcycle protection [video]",
"url": "https://www.youtube.com/watch?v=xwuRUcAGIEU",
"domain": "youtube.com",
"points": 216,
"comments": 184,
"time": "1753956652",
"time_frontpage": 1754120311,
"user": "",
"dead": false
},
{
"id": "44765292",
"title": "This Month in Ladybird",
"url": "https://ladybird.org/newsletter/2025-07-31/",
"domain": "ladybird.org",
"points": 431,
"comments": 148,
"time": "1754116465",
"time_frontpage": 1754119895,
"user": "",
"dead": false
},
{
"id": "44721460",
"title": "Sources of Truth",
"url": "https://cutlefish.substack.com/p/tbm-369-sources-of-truth",
"domain": "cutlefish.substack.com",
"points": 10,
"comments": 0,
"time": "1753784441",
"time_frontpage": 1754116701,
"user": "",
"dead": false
},
{
"id": "44765193",
"title": "At $250M, top AI salaries dwarf the Manhattan Project and the Space Race",
"url": "https://arstechnica.com/ai/2025/08/at-250-million-top-ai-salaries-dwarf-those-of-the-manhattan-project-and-the-space-race/",
"domain": "arstechnica.com",
"points": 63,
"comments": 15,
"time": "1754114603",
"time_frontpage": 1754115761,
"user": "",
"dead": false
},
{
"id": "44720619",
"title": "Yearly Organiser",
"url": "https://neatnik.net/calendar/",
"domain": "neatnik.net",
"points": 128,
"comments": 27,
"time": "1753777390",
"time_frontpage": 1754113103,
"user": "",
"dead": false
},
{
"id": "44734791",
"title": "Show HN: Print the daily weather forecast on a thermal receipt printer",
"url": "https://github.com/chr15m/print-weather",
"domain": "github.com",
"points": 21,
"comments": 6,
"time": "1753886091",
"time_frontpage": 1754109487,
"user": "",
"dead": false
},
{
"id": "44723163",
"title": "Processing: Mattie Lubchansky Wrote and Illustrated Simplicity",
"url": "https://countercraft.substack.com/p/processing-how-mattie-lubchansky",
"domain": "countercraft.substack.com",
"points": 12,
"comments": 1,
"time": "1753795987",
"time_frontpage": 1754105866,
"user": "",
"dead": false
},
{
"id": "44764568",
"title": "Robert Wilson has died",
"url": "https://www.theartnewspaper.com/2025/08/01/robert-wilson-playwright-director-artist-obituary",
"domain": "theartnewspaper.com",
"points": 79,
"comments": 16,
"time": "1754103447",
"time_frontpage": 1754105133,
"user": "",
"dead": false
},
{
"id": "44721932",
"title": "JavaScript retro sound effects generator",
"url": "https://github.grumdrig.com/jsfxr/",
"domain": "github.grumdrig.com",
"points": 153,
"comments": 24,
"time": "1753788626",
"time_frontpage": 1754104065,
"user": "",
"dead": false
},
{
"id": "44764410",
"title": "Tesla owes small businesses millions in unpaid bills [video]",
"url": "https://www.cnn.com/2025/08/01/politics/video/inv-musk-unpaid-bills",
"domain": "cnn.com",
"points": 84,
"comments": 39,
"time": "1754101222",
"time_frontpage": 1754102994,
"user": "",
"dead": false
},
{
"id": "44764376",
"title": "Hardening mode for the compiler",
"url": "https://discourse.llvm.org/t/rfc-hardening-mode-for-the-compiler/87660",
"domain": "discourse.llvm.org",
"points": 155,
"comments": 54,
"time": "1754100725",
"time_frontpage": 1754102734,
"user": "",
"dead": false
},
{
"id": "44764479",
"title": "Peak Energy just shipped the US's first grid-scale sodium-ion battery",
"url": "https://electrek.co/2025/07/30/peak-energy-us-first-grid-scale-sodium-ion-battery/",
"domain": "electrek.co",
"points": 76,
"comments": 12,
"time": "1754102156",
"time_frontpage": 1754102601,
"user": "",
"dead": false
},
{
"id": "44735613",
"title": "The tradeoff between human and AI context",
"url": "https://softwaredoug.com/blog/2025/07/30/layers-of-ai-coding",
"domain": "softwaredoug.com",
"points": 34,
"comments": 2,
"time": "1753889860",
"time_frontpage": 1754100471,
"user": "",
"dead": false
},
{
"id": "44764077",
"title": "The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos",
"url": "https://rickovercorpus.org/",
"domain": "rickovercorpus.org",
"points": 78,
"comments": 19,
"time": "1754096397",
"time_frontpage": 1754099848,
"user": "",
"dead": false
},
{
"id": "44763949",
"title": "Meta violated privacy law, jury says in menstrual data fight",
"url": "https://www.courthousenews.com/meta-violated-privacy-law-jury-says-in-menstrual-data-fight/",
"domain": "courthousenews.com",
"points": 73,
"comments": 12,
"time": "1754095103",
"time_frontpage": 1754099391,
"user": "",
"dead": false
},
{
"id": "44763965",
"title": "Contrarian climate assessment from U.S. government draws pushback",
"url": "https://www.science.org/content/article/contrarian-climate-assessment-u-s-government-draws-swift-pushback",
"domain": "science.org",
"points": 42,
"comments": 20,
"time": "1754095238",
"time_frontpage": 1754096071,
"user": "",
"dead": false
},
{
"id": "44763831",
"title": "[dead]",
"url": "",
"domain": "twitter.com",
"points": 10,
"comments": 0,
"time": "1754093772",
"time_frontpage": 1754095643,
"user": "",
"dead": true
},
{
"id": "44722950",
"title": "Ethersync: Peer-to-peer collaborative editing of local text files",
"url": "https://github.com/ethersync/ethersync",
"domain": "github.com",
"points": 190,
"comments": 34,
"time": "1753794942",
"time_frontpage": 1754093237,
"user": "",
"dead": false
}
]