2 5
Android 15's hidden Linux Terminal is a real Debian VM – and it runs Claude Code (github.com)10 17
The RAM shortage could last years (www.theverge.com)0 6
Binary Dependencies: Identifying the Hidden Packages We All Depend On (vlad.website)7 31
The world in which IPv6 was a good design (apenwarr.ca)3 37
Keep Pushing: We Get 10 More Days to Reform Section 702 (www.eff.org)34 61
Game Devs Explain the Tricks Involved with Letting You Pause a Game (kotaku.com)28 60
SI Units for Request Rate (2024) (entropicthoughts.com)10 19
Bipartisan Bill to Tighten Controls on Sensitive Chipmaking Equipment (baumgartner.house.gov)13 57
What are skiplists good for? (antithesis.com)3 23
Metatextual Literacy (www.jenn.site)9 23
Dizzying Spiral Staircase with Single Guardrail Once Led to Top of Eiffel Tower (www.smithsonianmag.com)19 23
Surely no brand is more hated by web users that Cloudflare16 39
Bypassing the kernel for 56ns cross-language IPC (github.com)28 72
Updating Gun Rocket through 10 years of Unity Engine (jackpritz.com)33 38
My first impressions on ROCm and Strix Halo (blog.marcoinacio.com)0 8
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com)27 71
Zero-Copy GPU Inference from WebAssembly on Apple Silicon (abacusnoir.com)7 15
Does your DSL little language need operator precedence? (utcc.utoronto.ca)77 163
NASA Shuts Off Instrument on Voyager 1 to Keep Spacecraft Operating (science.nasa.gov)7 42
I dug into the Postgres sources to write my own WAL receiver (medium.com)102 134
Dad brains: How fatherhood rewires the male mind (www.bbc.com)1 3
What Is Llms.txt and Does Your Business Need One? (semarkglobal.com)14 28
In the AI propaganda war, Iran is winning (www.economist.com)133 295
NIST scientists create 'any wavelength' lasers (www.nist.gov)4 15
Hardware Is Hard? (prdpx7.github.io)35 94
Optimizing Ruby Path Methods (byroot.github.io)18 145
Modern Common Lisp with FSet (fset.common-lisp.dev)9 28
PostgreSQL production incident caused by transaction ID wraparound (www.sqlservercentral.com)30 114
PgQue: Zero-Bloat Postgres Queue (github.com)5 51
Floating Point Fun on Cortex-M Processors (danielmangum.com)252 263
College instructor turns to typewriters to curb AI-written work (sentinelcolorado.com)193 298
Thoughts and feelings around Claude Design (samhenri.gold)11 40
Show HN: AI Subroutines – Run automation scripts inside your browser tab (www.rtrvr.ai)9
undefined1 6
Two $20B: OpenAI and Nvidia in a 'Reasoning Battle' (jianshiapp.com)33 47
4-bit floating point FP4 (www.johndcook.com)4 19
Headless Everything for Personal AI (interconnected.org)13 51
Young sons of U.S. marshal ride horseback from Oklahoma to New York (2018) (texascooppower.com)28
undefined204 294
Traders placed over $1B in perfectly timed bets on the Iran war (www.theguardian.com)127 69
America will come to regret its war on taxes (economist.com)22
undefined0 6
Building a Grow-Only Counter on a Sequentially Consistent KV Store (brunocalza.me)54 91
Graphs that explain the state of AI in 2026 (spectrum.ieee.org)9 86
Understanding the FFT Algorithm (2013) (jakevdp.github.io)17
undefined10 80
The USDA's gardening zones have shifted. (Interactive app and map) (2024) (apps.npr.org)89 324
The electromechanical angle computer inside the B-52 bomber's star tracker (www.righto.com)9 15
Respect to the Man Chasing AI Immortality, While Freeloading Off Our Platform (blog.mulerun.com)499 512
Anonymous request-token comparisons from Opus 4.6 and Opus 4.7 (tokens.billchambers.me)42 111
Show HN: MDV – a Markdown superset for docs, dashboards, and slides with data (github.com)37 97
Scientists discover “cleaner ants” that groom giant ants in Arizona desert (www.sciencedaily.com)83 76
Amazon won't release Fire Sticks that support sideloading anymore (arstechnica.com)121 140
Amazon is discontinuing Kindle for PC on June 30th (goodereader.com)25 100
Fuzix OS (www.fuzix.org)4 30
Sherry Turkle: "We're losing the raw human part of being with each other" (2013) (www.theguardian.com)14 17
Show HN: Solyto – a free, open-source all-in-one personal management app (solyto.app)15 105
80386 Memory Pipeline (nand2mario.github.io)10 208
Sumida Aquarium Posts 2026 Penguin Relationship Chart, with Drama and Breakups (www.sumida-aquarium.com)383 760
Migrating from DigitalOcean to Hetzner (isayeter.com)3 15
Binary Encodings for JSON and Variant (jincongho.com)362 393
Why Japan has such good railways (worksinprogress.co)31 83
Flock Condemns False Child Predator Allegations, Yet Calls Critics Terrorists (ipvm.com)27 70
A Dumb Introduction to Z3 (2025) (ar-ms.me)122 392
State of Kdenlive (kdenlive.org)231 215
The quiet disappearance of the free-range childhood (bigthink.com)4 29
Loonies for Loongsons (www.leadedsolder.com)56 61
Claude Code Opus 4.7 keeps checking on malware124 200
It's OK to compare floating-points for equality (lisyarus.github.io)8 24
Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com)104 96
America Lost the Mandate of Heaven (geohot.github.io)82 404
Michael Rabin has died (en.wikipedia.org)77 248
Amiga Graphics Archive (amiga.lychesis.net)15 135
The simple geometry behind any road (sandboxspirit.com)21
undefined61 65
It is incorrect to "normalize" // in HTTP URL paths (runxiyu.org)61 239
Category Theory Illustrated – Orders (abuseofnotation.github.io)199 93
Why is IPv6 so complicated? (github.com)42 88
Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)16 25
Making Wax Sealed Letters at Scale (waxletter.com)50 299
Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)72 138
Brunost: The Nynorsk Programming Language (lindbakk.com)0 10
Ben Lerner's Big Feelings (www.vulture.com)28 182
Towards trust in Emacs (eshelyaron.com)16 73
Casus Belli Engineering (marcosmagueta.com)1 8
Generating Hierarchical JSON Representations of Scientific Sentences Using LLMs (arxiv.org)5
undefined22 22
Coq theorem prover is now called Rocq (rocq-prover.org)