0 3
OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf] (philarchive.org)1 4
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)1 18
Linux desktop market share has hit over 10% in North America (old.reddit.com)4 16
Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific (www.science.org)17 37
The teenage hitmen recruited to kill across Europe (www.bbc.com)1 9
The Theater of Sport: Bill Buford Revisits Among the Thugs (www.theparisreview.org)42 62
Plug-in solar is coming. Plug-in batteries should follow (www.regen.co.uk)7
undefined1 20
MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)1 10
When random.bytes() runs but doesn't work (insider.btcpp.dev)2 9
Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators (costperprompt.com)4 28
Atom is better than RSS, in ways that matter (chrismorgan.info)15 52
Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (github.com)1 14
Four Time Scales for Technology Development and Deployment (rodneybrooks.com)16 18
Why Is Europe Burning? (www.newyorker.com)41 58
China begins producing advanced chipmaking deep-ultraviolet lithography machines (www.reuters.com)1 11
Art Invented Humanity (aeon.co)7 31
ASRock BC-250: Building the Budget Steam Machine (plug-world.com)4 11
AI opens new era in cognitive studies of wild primates (news.emory.edu)1 8
A Uiua Type System (2025) (www.uiua.org)4 6
The Greenhouse and the Lens: Two Modes of Agentic AI Work (www.brethorsting.com)0 6
Moore's Law for Everything (2021) (moores.samaltman.com)2 10
Kobuk the Destroyer – Tales from the Wild, Unseen World of Test Engineering (wwnorton.com)2 8
Persistent State Machines: LLM Attention with INT4 In-Memory Cells (zenodo.org)0 5
Walsh: Multi-agent research pipeline with risk manager that can veto trades (github.com)22 88
Go 1.27 Interactive Tour (victoriametrics.com)8 23
We accidentally built an LLVM compiler for Jax (iza.ac)5 16
Designing Icons (m3.material.io)6 43
RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2 (www.rfc-editor.org)25 32
A stray commit buried multiple levels deep cost me months (www.droppedasbaby.com)0 9
Show HN: Legionlinuxtui – Control Lenovo legion laptops in the terminal (github.com)42 135
Anime User Interfaces (animeuserinterface.tumblr.com)19 52
Unraveling the mysteries of habit formation (www.kyoto-u.ac.jp)24 48
Zitron: "Everyone Has Been Sold a Lie" on AI (www.youtube.com)3 9
Beltrunner: Game Design Postmortem (blog.gingerbeardman.com)200 224
AI financial advice is surprisingly good, especially if you ask right questions (mitsloan.mit.edu)61 99
YC founder asks desperate job seekers to tattoo themselves for an interview (sfstandard.com)114 227
Seedance 2.5 (seed.bytedance.com)12 14
The 14 Steps it takes to open my office door with a new phone (shub.club)10 34
Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets (trufflesecurity.com)143 215
The Silicon Valley Founder Meat Grinder (zaksa.zip)33 249
Diátaxis (diataxis.fr)0 4
I made Squirrel game with Flutter and Flame (danvilela.com)1 10
Show HN: Cockpit for you Claude Code agents in Rust (episko.dev)43 50
Cookware Got Worse on Purpose: Who Owns Pyrex and All-Clad Now (www.worseonpurpose.com)105 105
Just because a game is on disc doesn't mean it will work in the future (arstechnica.com)26 27
Get ready to flee, Americans in ten countries warned (www.dailymail.com)60 86
CISA Alert: Water Sector PLC Targeting (censys.com)6 77
But can your calculator run Linux? (raymii.org)28 35
Fermi Paradox (en.wikipedia.org)13
undefined159 457
How Google helped destroy adoption of RSS feeds (2023) (openrss.org)1 13
Signal Structure of the Starlink Ku-Band Downlink (2023) [pdf] (radionavlab.ae.utexas.edu)185 261
Google has abandoned Google News? (elgan.com)43 62
Top amputation surgeon had own legs removed due to fetish. Were patients safe? (www.theguardian.com)9 61
Nyctography: A substituton cypher by Lewis Carroll (en.wikipedia.org)74 56
Oil companies report sky-high profits thanks to wartime crude prices (www.npr.org)45 129
Postmortem for Kernel Soundness Bug #14576 (leodemoura.github.io)56 94
Tell HN: I hate your fuzzy search47 31
Franken.domains: Stitched-Together Domains, Because Every .com Is Taken (franken.domains)108 237
NetBSD 11.0 (blog.netbsd.org)66 119
Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga (www.seriouseats.com)10 68
Glyphs 4 – the leading Mac font editor (glyphsapp.com)23
undefined6 14
Twelve Years Without a VPN (khessin.de)93 86
BMW Is Showing Commercials on Their Car's Dash Screens as a Treat (www.theautopian.com)2 13
Floundering A.I. 'Nostradamus' Hedge Fund Is Rescued by Rival (www.nytimes.com)6 8
Toast IDE Gets Markdown Spell Checking (github.com)4 10
Assessment of open AI math results (twitter.com)8 54
Kaisel – Routes as Values. Dart 3 Native Router for Flutter (kaisel.dev)47 23
I Fired My AI Assitant (chreke.com)7 5
DNS propagation checker that shows the results as a box of 24 donuts (donutdns.com)82 169
A directory of people who love RSS (andrewshell.org)7 28
Register deprivation: spills and runtime under forced register scarcity (rjp.io)60 33
Ask HN: Any tips for a college freshman enrolled in computer science?42 65
Pgtestdb's template cloning approach to testing is fast (brandur.org)2 9
Crystal Wars – turn-based strategy on a fresh Voronoi map every match (play.crystalwars.io)74 65
Scope of Hacks on U.S. Water Supply Widens as Evidence Points to Iran (www.nytimes.com)143 317
Cursor removed cost information from the usage page and CSV export (forum.cursor.com)24 88
Explorative modeling: Train on the best of K guesses (alexiglad.github.io)3 16
Indexing the Data Lake for Online Point Queries (engineering.atspotify.com)122 85
GitHub has alternatives, but no replacement (lalitm.com)117 129
On the non-use of AI in my writing process (www.antipope.org)62 53
Study uncovers lost 'golden age' of languages (news.yale.edu)92 211
The Art of 64-bit Assembly (nostarch.com)1 18
Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)72 35
How to Spot AI Writing (www.economist.com)156 281
A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention (www.michaelgeist.ca)37 107
Linux on ESP32 (github.com)8 31
Astro Loop (pubdeer.com)98 61
Google kills Earth AI generator after one day (twitter.com)11 43
Morten Linderud resigning from Arch Linux development team (lists.archlinux.org)5
undefined10
undefined177 262
RipGrep musl binaries occasionally segfault during very-large searches (github.com)7 34
The First Idempotency Key (hatchet.run)3 9
John Bell and the most obscure journal in physics (physicsworld.com)29 120
Manual: •.,:;…!?· (type.today)104 73
EU will mandate labels on authentic-looking AI content starting August 2 (www.engadget.com)4 23
AWS Secrets Manager Terraform: Least-Privilege Access (blog.victorsilva.com.uy)68 88
How to Do Great Work (2023) (paulgraham.com)2 9
OpenAI's work on Git for large repositories (openai-git-upstream.openai.chatgpt.site)38 96
Solid Queue 1.6.0 now supports fiber workers (github.com)267 250
AI doesn't generate working products, that's still your job (weeraman.com)119 235
RamenHaus (ramen.haus)12
undefined5 82
G'mic 4.0: Squaring the Pixel, Easier (gmic.eu)289 422
Ten advances in mathematics and theoretical computer science (openai.com)2 11
When Internal Memory Fails: A No-Solder Wii U Recovery (smolnero.com)78 35
A migrant surge tests Spain's open policies (economist.com)59 206
The tiny holdout building in the middle of Macy’s is back in view (ephemeralnewyork.wordpress.com)167 189
Ten Ways NAS Is Getting Enshitified (nascompares.com)2 9
History remembers two Robert McNamaras (indevelopmentmag.com)65 45
What liberal arts education is for (2024) (innig.net)58 36
Firefighter arson a long-standing issue – expert (www.firerescue1.com)11 68
Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide (rocm.blogs.amd.com)1 3
What Is MiniMax H3? Everything You Need to Know About the Hailuo 3.0 Video Model (minimaxh3.art)67 87
A week in Matrix (piegames.de)160 234
BMW Spider-Man in-car advertising (consumerrights.wiki)85 161
The development pipeline is a production system (sundry.jerryorr.com)2 8
Printing floating point numbers in binary (www.johndcook.com)1 7
Archaeopteryx: A Ruby MIDI Generator [video] (www.infoq.com)67 258
Flint: A Visualization Language for the AI Era (microsoft.github.io)253 247
Software for One (www.ajwaxman.com)233 373
How to Exist (www.raptitude.com)34 58
Nano Banana 2 removed from Google Earth (www.digitaldigging.org)62 85
Long Range Wi-Fi – Pushing 2.4 GHz Wi-Fi to the limits (2019) (www.phidgets.com)9 14
Anime Professions (github.com)