Gap in Mochizuki''s proof of ABC confirmed by Lean (twitter.com)
AI Mania Is Eviscerating Global Decision-Making (hermit-tech.com)
Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf] (www.tug.org)
Classic Amiga titles, free to download (amigafreeware.downer.tech)
Mayor Mamdani Says Landlords Can''t Use AI Images to Advertise (petapixel.com)
Judge a book by its first pages (uncovered.ink)
Hardcore IndieWeb: Run your own website 100% independently for only 0.01/day (www.neatnik.net)
Co-evolution of self-replication and function in a digital primordial soup (arxiv.org)
Ada: An AI business intelligence software from CSV and Excel(yes LLMs but more) (github.com)
From Sawdust to Paw Patrol: The Spin Master Story (With Ronnen Harary) [audio] (www.econtalk.org)
SpaceX and the myth of independent Wall St research (www.ft.com)
Speech Recognition and TTS in less than 500kb (github.com)
Typing Speed Test, but for Developers (haxxorwpm.0s.is)
I''m Making Strandfall, a Solarpunk Orienteering Larp (mssv.net)
What''s the deal with all the random weekly quota resets for agents lately? (minimaxir.com)
REO Trucks I4 4WD Pickup Truck Starts at 21,500 (reotrucks.com)
The Kimi K3 Moment (stephen.bochinski.dev)
Get alerts for good seats at 70mm IMAX showings of The Odyssey (imaxxing.io)
In Germany if you say a restaurant is just ok they send the gestapo after you (twitter.com)
Goodbye, and Thanks for All the Bikesheds (queue.acm.org)
No link between acetaminophen use during pregnancy and adverse birth outcomes (sph.unc.edu)
OpenEvidence is bribing spouses of CMI and Genentech leadership (news.ycombinator.com)
Heresy (paulgraham.com)
Young adults are poor despite every metric which suggests otherwise (xcancel.com)
If You Build It, They Will Come (www.benlandautaylor.com)
GTX 1080s: Testing a Legend (www.lttlabs.com)
Setting up your spare Mac for Claude Code to control, a step-by-step guide (ykdojo.github.io)
Fake food delivery site for the dopamine (old.reddit.com)
Frozen 2 should be Rated R (interconnected.org)
Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind (deepmind.google)
The Fermi Paradox, Percolation, and Inbreeding (reactormag.com)
Q3Edit – Edit and play Quake 3 maps in the browser (q3edit.com)
Elixir-lang.org has a new design (elixir-lang.org)
Traders are increasingly betting against SpaceX just weeks after IPO (www.ft.com)
Gleam Is Now on Tangled (tangled.org)
British runner Josh Kerr breaks world record for mile which stood for 27 years (news.sky.com)
Roko''s Dancing Basilisk (boston.conman.org)
EU ban on destruction of unsold clothes and shoes enters into application (environment.ec.europa.eu)
LG ThinQ Terms of Use (news.ycombinator.com)
Tech note: making your own V-I plots at home (lcamtuf.substack.com)
Engineering Peace (asteriskmag.com)
GPT-5.6 used a prompt to close a 30-year gap in convex optimization (old.reddit.com)
Is this the end of the once-mighty GoPro? (amateurphotographer.com)
Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help? (charlesazam.com)
Responsive Design Calculator (www.redblobgames.com)
What AI did to stackoverflow in a graph (data.stackexchange.com)
Why do AI company logos look like buttholes? (velvetshark.com)
Steam Machine: Between 12k and 15k Units Sold per week (boilingsteam.com)
Revisiting Yliluoma''s ordered dither algorithm (30fps.net)
LG monitors silently install software through Windows Update without consent (videocardz.com)
Qubes OS Security in the Public Record (arxiv.org)
The Computer at the Bottom of a Canal (negroniventurestudios.com)
Funny item co-occurrences in 3.2M Instacart orders (rogerdickey.com)
Waldi: A quiet place to write, and to be read (github.com)
Find someone in the dark – light them or light yourself? (Three.js) (github.com)
Quintile – keyboard NM grid tiling for macOS (github.com)
IKEA Complexity Index (ikea.greg.technology)
Porting nanochat to a TPU: what carries over from PyTorch, and what breaks (github.com)
In-toto: A framework to secure the integrity of software supply chains (in-toto.io)
Regressive JPEGs (maurycyz.com)
Battery packs: Let''s talk about crates, baby (smallcultfollowing.com)
Mac gaming is finally getting the overpowered upgrade it deserves (www.macworld.com)
Reviving a 15-year-old netbook with Arch Linux (parksb.github.io)
Shipping OpenStrike: A Counter-Strike-Shaped FPS on a 2004 Handheld (pocketjs.dev)
An Update on Igalia''s Layer Based SVG Engine in WebKit (Reducing Layer Overhead) (blogs.igalia.com)
Open Source is not immune to monopoly (humancode.us)
Moonstone: Modern, cross-platform Lua runtime and package manager written in Zig (moonstone.sh)
Stenchill: 3D Printable Solder Paste Stencil Generator (www.stenchill.com)
I Started a "Dirt Notebook" (pinewind.bearblog.dev)
A grumpy screed about AI in software engineering (sam.sutch.net)
Native C# CEL Implementation (www.nuget.org)
PSA about abuse of cat(1) command. Don''t abuse cats (www.abuseofcats.com)
Instrumation a PYPI library for Instruments (github.com)
DrDroid (YC W23) Is Hiring (www.ycombinator.com)
Proliferate (YC S25) Is Hiring (www.ycombinator.com)
TP-Link Kasa cameras leaked home GPS via unauthenticated UDP for 6 years (github.com)
Credit Card Points Are a Transfer from the Broke to the Comfortable (willisallstead.substack.com)
The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold (www.isomorphiclabs.com)
Vāgdhenu: A Sanskrit Chanting TTS System (prathosh.in)
Texas wins court order to suspend domain name for violating age-verification law (www.texasattorneygeneral.gov)
"Disk Not Ejected Properly": What It Means (bombich.com)
Static search trees: 40x faster than binary search (2024) (curiouscoding.nl)
Kaiser nurses say AI, workplace surveillance are making their jobs, care worse (localnewsmatters.org)
The US Grocery Slowdown Is Real (www.bain.com)
US seeks share of Korean chipmakers'' ''excess profits'' (www.koreatimes.co.kr)
Open Book Touch: open-source e-reader (www.crowdsupply.com)
Topcoat: The full full-stack framework for Rust (github.com)
Painting the sides of railroad rails white to reduce derailment (www.up.com)
Tarit – a hypervisor which is 2x faster than firecracker (github.com)
I built a digital F1 garage to learn how Formula 1 cars work (paddockpass.app)
Everybody''s Weirded Out by AI–Except the People Who Foist It on Us (newrepublic.com)
FAA lets Boeing sign off on 737 MAX, 787 airworthiness certificates again (www.cnbc.com)
Thanks HN for 15 years of support and helping me find my life''s work (news.ycombinator.com)
Lobste.rs is now running on SQLite (lobste.rs)
Meta trying to destroy whistleblower Sarah Wynn-Williams, US senator says (www.theguardian.com)
Lego building instructions through time (www.lego.com)
Flock CEO Apologizes for Calling Activists ''Terrorists'' (www.forbes.com)
Estimating the heights of New Yorkers from their scuff marks (blog.jse.li)
The Zilog Z80 has turned 50 (goliath32.com)
ICE Flight Monitor Interactive Dashboard (www.humanrightsfirst.org)
Why the People Who Could Fix It Are the First to Leave (www.hackingleadership.com)
SpaceX stock drops to a new low and loses 1T in value in a month (www.businessinsider.com)
A zoomable timeline of 4M Wikipedia events (app.everything.diena.co)
MoonBASIC: A modern BASIC for building 2D and 3D games (github.com)
Learning a few things about running SQLite (jvns.ca)
Homomorphically encrypted CIFAR-10 inference in 200ms (sofar.belfortlabs.cloud)
Designing emoji for the way we communicate today (blog.google)
Short sellers notch 8.7B profit as SpaceX shares dip to IPO price (www.reuters.com)
Frank Lloyd Wright''s First Home (www.architecturaldigest.com)
CO2 overload, detected in human blood, suggests toxic atmosphere within 50 years (link.springer.com)
Frame – the first Linux Assembly X server (isene.org)
Kimi K3, and what we can still learn from the pelican benchmark (simonwillison.net)
Simulator for a custom 8-bit discreet logic computer (msap2.mehran.dk)
Explore the Workspaces of Modern Creators (workspaces.xyz)
On-chain bond market where the issuers are AI agents (selbonds.now)
US manufacturing employment is down, but each state has its own story (fredblog.stlouisfed.org)
Claude Code: Anatomy of a Misfeature (www.olafalders.com)
Mozilla: The state of open source AI (stateofopensource.ai)
AI Meets Cryptography 2: What AI Found in OpenVM''s ZkVM (blog.zksecurity.xyz)
First atmosphere found on Earth-like planet in habitable zone of distant star (www.bbc.com)
Watch bots interact with an SSH honeypot in real time (honeypotlive.cc)
Three ways people respond to a problem (other than solving it) (improvesomething.today)
A Road to Lisp: Which Lisp (scotto.me)
More Bounce to the Ounce – By Maciej Cegłowski (mceglowski.substack.com)
PennyLane is an open-source quantum software platform for quantum (github.com)
Tannakian Reconstruction (bartoszmilewski.com)
Manufact (YC S25) Is Hiring a Developer Advocate in SF (www.ycombinator.com)
Multi-Primary Color Display Emerges as Next-Gen Color Reproduction Technology (en.ubiresearchnet.com)
VulnHunter: Capital One''s agentic AI code security tool (www.capitalone.com)
Manufact (YC S25) Is Hiring a Senior infra engineer to build the MCP cloud (www.ycombinator.com)
Minikotlin (minikotlin.run)
After wearing the Pebble Time 2 for two weeks, I''ll never buy another smartwatch (www.androidauthority.com)
Apple targets dozens of OpenAI employees with legal letters (www.ft.com)
Any AWS billing issues known? Amazon forecast of 3 billion dollars (news.ycombinator.com)
Blatant AI slop just won a 25k USD DeepMind Kaggle Grand Prize (www.kaggle.com)
Just got an AWS billing alert projecting my monthly cost at 140B (news.ycombinator.com)
SQLite Is All You Need (www.dbpro.app)
AWS: Inaccurate Estimated Billing Data - 1.7 BILLION (news.ycombinator.com)
I Owe My Life to the Commodore 64 (www.goto10retro.com)
Solving Santa Claus Puzzle (wyounas.github.io)
Camera Chase Vehicle (transistor-man.com)
Trump Media to sell instant access to ''market-moving'' social posts (www.bbc.com)
Pushinka (en.wikipedia.org)
Dexter (YC F24) Is Hiring a Founding Engineer in Berlin (news.ycombinator.com)
In Praise of Exhaustive Destructuring (antoine.vandecreme.net)
EEG shows brain can simultaneous encode two speech streams (journals.plos.org)
Starlink from 1984 (nemanjatrifunovic.substack.com)
UIUC AI Teaching Assistant (github.com)
Pebble Mega Update – July 2026 (repebble.com)
What loss.backward() actually does (oraziorillo.com)
/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/f8/ef/f8ef2bbf-1984-46d7-9fba-cb9324c82871/3917.jpg)
How Has Roman Concrete Lasted for Millennia? 1,900-Year-Old Latrine Offers Clues (www.smithsonianmag.com)
Old Icons (leancrew.com)
GrapheneOS recommended for domestic abuse victims (privacypros.com.au)
An Engineer''s Guide to USB Typе-С (2024) (www.ti.com)
The Human-in-the-Loop Is Tired (pydantic.dev)
Simulating everything, sort of: The promise and limits of world models (arstechnica.com)
Canada says bridge tolls won''t be split with U.S. until 6.4B of debt is repaid (www.cbc.ca)
Google Kills Custom Search API on Jan 1, 2027 (thenextgennexus.com)
M 3.9 Experimental Explosion – 147 Km ENE of Ponce Inlet, Florida (earthquake.usgs.gov)
Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data (github.com)
Count the Bytes, Not the FLOPs (thepragmaticquant.com)
Scaling to 1M concurrent sandboxes in seconds (modal.com)
Solod: Go can be a better C (solod.dev)
Logical Physical Clocks and Consistent Snapshots in Globally Distributed DB [pdf] (cse.buffalo.edu)
Hazel (YC W24) Is Hiring for Our Largest Government Contract (www.ycombinator.com)
The Little Book of Reinforcement Learning (github.com)
Clx – Compile Lua to Native Executables Through C20 (github.com)
My car''s OTA update broke Android Auto, and it''s a indictment of modern software (imdanielkendall.com)
Mojibake – a low-level Unicode library written in C (mojibake.zaerl.com)
ReasonGate- An explainable gate that blocks LLM prompt injection (github.com)
FIFA World Cup 2026 Data Portraits (wc26.bogachev.fr)
CVE-2026-25089: FortiSandbox unauthenticated command injection added to CISA KEV (hellorecon.com)
''Likweli'': A new monkey species discovered in the Congo Basin (news.yale.edu)
Just Do Things (ray.zo.space)
Ring-Zero: Scaling Zero RL to a Trillion Parameters for Emergent Reasoning (arxiv.org)
Libretto PR agents – Automatically fix failing playwright scripts (libretto.sh)
BambooGrid – Open-source web UI for power grid modeling and power flow (bamboo.kickstage.com)
Mathematics of Data Science (arxiv.org)
Abstracting Effects with Continuations (crowdhailer.me)
Timeline Scan – AI fixes the dates on your scanned photos (timelinescan.com)
Helium escaping from atmosphere of nearby rocky exoplanet in a habitable zone (www.science.org)
LM Studio Bionic: the AI agent for open models (lmstudio.ai)
The privacy problems hidden in your period tracker (www.bbc.com)
Kimi K3 Intelligence, Performance and Price Analysis (artificialanalysis.ai)
100 AI Music Video: Claude Fable 5 vs. GPT-5.6 Sol (www.tryai.dev)
Pseudpocalypse (dynomight.net)
As a musician, I prefer illegal downloading over Spotify (2011) (derekwebb.tumblr.com)
AttoChess, a complete, playable chess program for 16-bit x86 DOS in 278 bytes (nicholas-afk.github.io)
CD Sales Growth Outpaced Vinyl in the First Half of 2026 (consequence.net)
Kimi K3 is ranked 3rd on artificial analysis, only 2 points behind Sol (artificialanalysis.ai)
Kimi K3: Open Frontier Intelligence (www.kimi.com)
German AI consortium releases Soofi S, an open 30B model that tops benchmarks (the-decoder.com)
Optimizing Lua string literals to save 400 bytes (purplesyringa.moe)
SPCX is now Wall Street''s most shorted new stock (invezz.com)
Schema Harness Achieves 99% on Arc‑AGI‑3 Public (schema-harness.github.io)
42% of adults rely on their parents for financial support (www.cnbc.com)
Cottage Computer Programming (1984) (www.atariarchives.org)
Ratel, give agents unlimited tools and skills without context bloat (github.com)
Someone Used AI to Write an Unauthorized Biography of Me (www.nytimes.com)
Kimi K3 Is Live (www.kimi.com)
Adaptional (YC S25) Is Hiring (www.ycombinator.com)
Galois connections for composable numeric casts in Rust (github.com)
A modern port of Linux to a ten-year-old QWERTY phone (news.ycombinator.com)
Sentinel – open-source QA agent that reads your code before it clicks (blog.simbastack.com)
Immersive Linear Algebra Book with Interactive Figures (immersivemath.com)
Traceforce (YC S26) – Secure AI apps, one device at a time (news.ycombinator.com)
''We used acid to sabotage Microsoft hyperscale data centre construction'' (techwerkers.nl)
Detecting LLM-Generated Texts with "Classical" Machine Learning (blog.lyc8503.net)
56,000 lines of DOOM, in a language I made up (betlang.dev)
Photos of items from families in different countries with different incomes (www.gapminder.org)
Building scalable AI agents with modular prompt transpilation (developers.googleblog.com)
Agent-talk: Enabling coding agents to work together (github.com)
NotebookLM is now Gemini Notebook (blog.google)
Leaves – a text-UI disk usage treemap visualizer (github.com)
QBasic Gorillas (Repeeled) (gameswithtony.com)
Helicone allows users to write SQL directly to a shared ClickHouse (www.justintorre.com)
Decoy Font (www.mixfont.com)
Microsoft Comic Chat is now open source (opensource.microsoft.com)
My Homepage Has a Pulse (snehankekre.com)
How to Train a Gen AI Kick Drum Model on Your Old Linux Desktop with 6GB VRAM (www.zhinit.dev)
GC shape stenciling in Go generics (rednafi.com)
Guide to data tools landscape for developers (sinja.io)
Kimi K3 is now live (www.kimi.com)
Generative AI Is an Engineering Disaster (www.theatlantic.com)
How Our Rust-to-Zig Rewrite Is Going (rtfeldman.com)
Accidental Anonymity (macwright.com)
AI Law Tracker – one audited API for US, EU and global AI law (ai-law-tracker.com)
How to spend 15 years perfecting a product (refactoring.guru)
Goes-19 weather satellite enters Safe Hold mode (www.spaceweather.gov)
World-War-Ⅱ-era telephone line still in use in Upper Tanana Valley Alaska (2021) (www.sketchesofalaska.com)
I''ve built a words game based on binary search (hilogame.cc)
Introduction to KizunaShelf: A shelf for everything you love (mudkip.me)
Teen hackers who live streamed cyber-attack on TfL jailed (www.bbc.com)
I Built an Accent Changer App (accentchanger.com)
Sony Deletes a Bunch More Movies from the Accounts of People Who ''Bought'' Them (www.techdirt.com)
Umuganda (en.wikipedia.org)
Panel meter calculator with floating point (lcamtuf.substack.com)
British Steel taken into public ownership to protect ''vital'' UK supply (www.bbc.com)
The Act and the Outcome of Creation (www.ssp.sh)
SpaceX stock erases all its gains and slides below IPO price in intraday trading (www.latimes.com)
The LLM Critics Are Right. I Use LLMs Anyway (www.theocharis.dev)
Let''s Build PlanetScale from Scratch: Infrastructure (onatm.dev)
I resurrected an 8-year-old dead CSS library and gave it an engine (usevivace.dev)
Track your workout from the iPhone Lock Screen (musklr.com)
Ente – Opening Our Books (ente.com)
Let''s build a simple interpreter for APL – part 1 (mathspp.com)
OnePlus halts operations in USA and Europe (community.oneplus.com)
A Beautiful Theory Falls to Ugly Data (marginalrevolution.com)
Where are YC founders now? OpenAI and Anthropic, mostly (joinedanthropic.com)
In defense of not understanding your codebase (www.seangoedecke.com)
Dense Arena Interning: The Engine of Compiler Performance (aikoschurmann.com)
What''s the story behind the names of Cloudflare''s name servers? (2013) (blog.cloudflare.com)
Reynard: A real Firefox web browser for iOS 13 or later (github.com)
Teardown: A Generic 7-Port USB 3.0 Hub That Wasn''t (goughlui.com)
I also filed the corners off my MacBook (www.brt.fyi)
DJB Netstrings (cr.yp.to)
The lost joy of music piracy (www.pigeonsandplanes.com)
Stop saying that AI is just a tool and it only matters how it is used (www.frank.computer)
Rebuilding My Homelab with Compose, Ruby, IPv6, and No Kubernetes (www.petekeen.net)
The Last Picture Show: A Conversation with George Lucas (a-rabbitsfoot.com)
1,300 Beautiful Wildlife Illustrations from the 19th Century Now Restored (www.openculture.com)
My Throw Decides My Aim (thegustafson.com)
Making 768 servers look like 1 (planetscale.com)
Can LLMs Perform Deep Technical Comprehension of Computer Architecture Papers (arxiv.org)
An Interactive Map of AI (artifipedia.com)
If you want to create a button from scratch, you must first create the universe (madcampos.dev)
Open Source, Free Tier Capable Whispr Using Cloudflare AI (github.com)
Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs (dl.acm.org)
Guerrilla London Bus Ads Mock Kylie Jenner''s Meta Glasses Campaign (hyperallergic.com)
Fleet: Hierarchical Task-Based Abstraction for Megakernels on Multi-Die GPUs (arxiv.org)
High-Bandwidth Flash offers efficient storage for model weights (spectrum.ieee.org)
The Tokio/Rayon Trap and Why Async/Await Fails Concurrency (pmbanugo.me)
Bluesky Trademarks ATProto (atproto.com)
CatchCat – Pokémon Go for Cats, IRL (www.catchcat.lol)
G# – A modern .NET language with Go, Kotlin, and Swift ergonomics (davidobando.github.io)
Free Remote Desktop Without Servers (github.com)
Job queues are deceptively tricky (typesanitizer.com)
E-- – A language you dial between English and Python (github.com)
One More Letter (playonemoreletter.com)
Nul Characters in Strings in SQLite (sqlite.org)
LLM Networking with MikroTik (blog.greg.technology)
Metal-Organic Frameworks, Chemistry''s New Miracle Materials (chemistry.berkeley.edu)
The Anti-Mac User Interface (1996) (www.nngroup.com)
SQLite should have (Rust-style) editions (mort.coffee)
P2P local file transfer based on WebRTC (pairdrop.net)
Odin 2 Portal Exploded (github.com)
Tambara Equipment (bartoszmilewski.com)
Speculative Growth and the AI "Bubble" [pdf] (economics.mit.edu)
We don''t use AI in any of our design or production processes (mass-driver.com)
The End of Creativity (hugodaniel.com)
Must actively fund open source AI [pdf] (www.siegelendowment.org)
Firefox in WebAssembly (developer.puter.com)
Command Line Interface Guidelines (clig.dev)
Low-latency local LLM runner via OpenJDK Panama FFM (Java 22) (github.com)
Grok Build (github.com)
Who Is America''s Homer? (www.plough.com)
Book Prizes Don''t Work How You Think (rebeccamakkai.substack.com)
Twain Town, USA (theamericanscholar.org)
Microcosm Industries – Simulation toys and software microcosms (microcosm.industries)
SirixDB 1.0 Beta – Git-Like Versioning, Diffs, Time-Travel Queries (github.com)