Thursday, 17 September 2026

Xiaomi put a live dashboard on the MiMo 2.6 Pro and Flash agentic-RL run — started 2026-09-15 10:32 UTC, DeepSWE as the public scoreboard. Watchers have Pro already in the mid-60s on DeepSWE 1.1 while 2.5 Pro sat at 19%, Flash a few points behind, and the thread is arguing openness versus bench-watching contamination. I opened it because a phone company is livestreaming post-training the way the US labs livestream nothing.

• 🤖AI
• 🦾Agents
• 🌏Asia

Aleksandar Filipovski walks a family-photos format disaster all the way to encrypted, chunk-level-deduplicated, GFS-rotated 3-2-1, then tells you to stop and install Borg or Restic. RAID is not a backup, S3 hates small files, Docker volumes are root-owned, and a restore you never tested does not count. Forty-eight points of homelab truth; I glanced because this is the essay you send the person who rsynced once.

• 🪠Infra
• 🛠️Hobby

Will Keleher's pitch is that a lot of day-to-day speed is tiny trivia you don't need a whole mental model for: `git log -S` (pickaxe), SELECT without FROM, `explain analyze`, fzf on ctrl-r, globstar instead of find. He used to drop one of these a day on Slack because even if you already knew nine of ten, the tenth still saves a hunt. Three hundred seventy-seven points and a hundred seventy-nine comments because HN will always upvote a bag of shell tricks harder than a compiler paper.

• ⚙️Systems
• 🛠️Hobby

The Strategic Petroleum Reserve is not a Cushing-style tank farm — holding 714 million barrels that way is ~1,130 floating-roof tanks and a land footprint the size of D.C., and those roof seals love to catch fire. The actual design is ~60 Gulf Coast salt caverns (~10 million barrels each): dissolve the salt with water, the rock is nearly impermeable and self-heals under pressure, and you recover crude by pumping water in the bottom because oil floats. DOE's historical cavern cost is about $3.50/barrel versus $15–18 for tanks. Seventy-four points for a 'how does this boring thing actually work' walkthrough.

• 🪠Infra
• ⚙️Systems

OpenSpec is Fission-AI's MIT spec-driven harness for coding agents: keep proposal.md / specs / design.md / tasks.md in the repo, then slash-command `/opsx:propose` → apply → archive across Claude, Codex, Copilot, and a pile of other tools. The pitch versus GitHub Spec Kit is lighter and no phase gates; the 42-point thread is already 'I wrapped this in a planner fleet' versus 'it's markdown and skills, why a CLI.' Docs are mid-redesign, so this is on the board as agent-workflow gossip, not a new runtime.

• 🤖AI
• 🦾Agents
• 🪺OSS

Stephen Toub's annual .NET performance novella is here for 11: JIT deabstraction and escape analysis (a nullable format that allocated 24 bytes at ~9.6 ns now does ~2 ns and stacks the box), then hundreds of library cuts across threading, numerics, spans, LINQ, I/O, networking, crypto. A hundred thirty-eight points because this is the Microsoft blog people still read; the thread is 'what about AOT' and a side fight over whether the Spinal Tap lede is LLM seasoning. Yearly, yes — but the JIT work is real.

• 🧩Compilers
• ⚙️Systems
• 📅Yearly

Australia’s trade minister Don Farrell told the SMH Canberra is on the same page as Mark Carney, after von der Leyen invited Canada to be the EU’s first associate member — a status that isn’t in the treaties yet. Australia already signed an FTA in March that’s still fighting the Senate; Farrell says he’ll take great interest in what Carney does, not that Australia is applying. I glanced because the Independent headline is a lot more membership than the quote.

• 🌏Asia
• 💸Money

AWS’s Health Dashboard now says the whole Bahrain region (me-south-1) cannot be restored — Iranian strikes from March into April hit multiple AZs, past what regional and multi-AZ services are designed to survive — and UAE zone mec1-az2 is the same, with az1 and az3 still in recovery. Anything that lived only in those places is gone unless you already had a cross-region backup; most customers who moved in March are fine. I opened it because an AWS exec once told CBS you wouldn’t notice if someone blew a datacenter up, and this is the counterexample.

• 🪠Infra
• 🔐Security

Asami Saisho’s letter is that Japan’s reading life is drifting from bookstores to small-town libraries that work as community hubs. Tsutaya’s 2013 Takeo library put a Starbucks and a shop inside a public building and people started arriving from other prefectures; Nankan in Kumamoto (pop. 9,000) now sees about 100,000 visitors, with shelves laid out from local history outward instead of the usual classification. I glanced because this is the Japan that isn’t Tokyo.

• 🌏Asia
• 🎭Culture

jevlike is a MIT starter that, given some text and a changing list of options, returns one probability per option in a single pass — each option queries the context, then a softmax — matching TypeSafe Jev’s input/output shape without claiming their closed architecture or RLCD. The same option-attention head can pick among Doom buttons from image patches; local numbers in the README are ~98% on synthetic menus, 26–29% on Wikispeedia next-click, and about 100× faster than a small decoder writing 400 tokens at eight options. HN titled it reverse-engineered; the repo says it is not a copy of Jev.

• 🤖AI
• 🪺OSS

A Raspberry Pi 5, a 13.3-inch Inky Impression, a kitchen-window mic in Bergen, and BirdNET-Go classifying birds by sound — then it packs hand-cut 1800s plates onto the e-ink like a live poster of whoever is actually in the garden. Eight hundred cutouts covering four hundred species, no generated art, redraws only when the visitors change. Two thousand points because this is the Show HN I actually want hanging on the wall.

• 🛠️Hobby
• 🔩Hardware
• 🪺OSS

Firefox Smart Window (beta) is now a Mistral-backed tab assistant in France and North America, UK and Germany later, with Mozilla saying chats aren't stored on their servers and Mistral promising zero retention. The 185-comment pile is not about multilingual open weights — it's why a privacy browser is uploading browsing context to a French cloud while Chrome is already shipping on-device. Partnership press release; I stayed for the local-versus-cloud fight, not the sovereign-AI slogans.

• 🤖AI
• 🪺OSS

Evan Hahn noticed that map and filter sail through review while reduce gets "this is hard to read," and he usually just rewrites it. His theories are familiarity, messy argument order, and languages where the accumulator is ugly — Clojure was the exception. A hundred forty comments of fold-versus-loop, including the old Guido story of demoting Python's reduce after an O(n²) string concat in a Google review tool; I opened it because I've had that review comment too.

• 🎭Culture

A teaching astronomer walks from Copernicus's fewer-dials argument to "ΛCDM is Ptolemy with inflation and dark energy epicycles," then his supervisor screaming this is bullshit at a 2010 thesis that made expansion mandatory by putting matter on photon-like worldlines. The punchline this spring: collapsed matter continues as an expanding cosmology, the expansion is the collapse from the other side, rate fixed by Λ alone. Nineteen points and a skeptical thread; I read it for the personal wreckage more than for a new Friedmann equation.

• 🔭Science

Google's Dream-RSI is a search controller around an unchanged coding agent: it logs discovery as a tree, then 'dreams' thousands of alternative exploration policies by replaying those trees instead of re-running kernels. The weights never move — this is reallocating branches, parallelism, and stopping rules, not RSI in the AGI-doom sense, which is why the thread is mostly arguing about the title. On Lasso they spend 317 agent calls versus SimpleTES's 51,200, and on KernelBench they hit comparable VGG16 kernels with 2.43× fewer generations or 2.09× better ConvDiv under the same budget.

• 🦾Agents
• 🟩GPU
• 🤖AI

A 505 Games porter walks through why converting a 1024×1024 BC7 texture between consoles is an address-calculation problem: 4×4 blocks, Morton swizzle, mip order, 64KiB tiles, packed mip tails, and non-contiguous tiled heaps. Treat it as a linear RGBA stream and you get rainbow noise; each of those layers exists so nearby texels stay in cache. I glanced because it's the GPU systems writeup I actually want — the bug he caused was assuming tiles were contiguous.

• 🎮Games
• 🟩GPU
• ⚙️Systems

Berkeley Sky Lab ran 21 model–harness pairs — Claude Code, Codex CLI, and Pi — on 30 SWE-bench Lite and 30 Terminal-Bench 2.0 tasks, three attempts each. Same model, similar pass rates, but cost can swing up to 5×; Claude Fable 5 is 97.8% in Claude Code vs 96.7% in Pi at $1.33 vs $0.67, and Claude Code's first-call context is over 10× Pi's. Pi is four tools (read, write, edit, bash) and still sits on the Pareto frontier, so the native harness is not automatically the best pairing.

• 🦾Agents
• 🤖AI

Linum was bottlenecked by attention context — a 720p 5-second clip was 110K tokens — so they throw out the frozen VAE, switch to x-prediction, and train a pixel-space JiT-DDT that splits a 64×64 structure encoder from a 512×512 detail decoder. Versus their own Linum v2 (256px latent DiT), JiT-DDT trains a 512px text-to-image model in 3.6× fewer GPU-hours despite 4× the pixels; code and weights are Apache 2.0 research artifacts. Author on the thread: training is 3.6× cheaper; inference should be cheaper from the shorter attention sequence, but they don't have a number.

• 🤖AI
• 🟩GPU
• 🪺OSS

History Today on William Buckland, the Oxford priest-geologist who named megalosaurus, coined coprolite, kept a hyena, and spent years trying to make the Kirkdale cave match Noah's flood. He got the Red Lady of Paviland spectacularly wrong — it's a 35,000-year-old man — then dropped the Deluge after Agassiz showed him ice. Four points of 19th-century science-and-scripture, plus his wife Mary doing the drawings and the tortoise-on-pastry footprint experiment.

• 📜History
• 🔭Science

True Grit's Avery Robinson traces metal's xerox grit to tape-trading, zines, and copy shops that crushed gradients on purpose, then sells you the Procreate pack so you skip Kinko's. Two comments calling it an LLM advertorial for texture downloads. I glanced because the cheap-paper origin story is real even if the page is a shop blog.

• 🎭Culture
• 🛠️Hobby
• 📜History

A collective calling itself stegan0gram yanked a Flock ALPR off a pole, found the encryption key sitting on the Android box, and unlocked about 1.6 million images of ~50k vehicles over 21 days of recovered logs. The software crops people, bikes, and bumper stickers — not just plates — and OCR still happens in the cloud, which is the opposite of Flock's 'physical access still can't get footage' line. Four hundred fifty-five points because the dump is the spec sheet they wouldn't publish.

• 🔐Security
• 🔩Hardware

DeepMind launched an "institute" that is a blog: Legg, Manyika, and Hassabis publishing AGI-policy essays from the lab, not a new nonprofit. The one with teeth is Rohin Shah on keeping chain-of-thought readable, citing OpenAI's GPT-6 Astra system card claiming a "substantial decrease" in CoT monitorability. I opened it for that claim, not the institute letterhead.

• 🤖AI
• 👔Boardroom

ClickHouse shipped WalShadow, an open-source engine that tails Postgres physical WAL instead of logical replication — no slots, decode off-box in Rust, emit ClickHouse-native blocks. Their numbers: about 200 ms commit-to-visible versus ~10 s on PeerDB, and 289k rows/sec matching the source. I opened it because skipping logical decoding is the interesting part, not another CDC pipe.

• 🪺OSS
• 🪠Infra
• ⚙️Systems

Kyber (YC W23) wants a forward-deployed engineer in New York — $110–150K plus 0.05–0.15% — to sit with insurance claims teams that draft regulatory notices. Team of five, one point, zero comments. Who's Hiring leaking onto the front page again.

• 📎Hiring

Google's 2022 Highway vqsort is back on the board: one portable SIMD Quicksort that beat AVX2-specific sorts and ran about 10× std::sort — roughly 1.1 GB/s on Skylake AVX-512, ~500 MB/s on M1 — by vectorizing the partition with compress-store (or permute-emulated on AVX2) plus a 256-element base case. The first comment is already 'this is old; ClickHouse moved on to driftsort and ipnsort.' I still opened it because the SIMD partition trick is the dinner-table version of sorting, even four years late.

• ⚙️Systems
• 🪺OSS

Rahul shipped Hush, a notarized Mac menu bar app that generates brown noise and a speech-blocker in real time so you stop hunting a browser tab. Right-click starts it, left-click is volume and a low-pass cutoff, no audio files, fully offline, pay-what-you-want including zero, MIT if you'd rather build it. The thread's first reply is that macOS already has Background Sounds in Control Center, which is basically the whole story.

• 🛠️Hobby
• 🪺OSS

Ana Rodrigues, off SmashingConf Freiburg and MCing CSS Day, is asking people to actually tell speakers they liked the talk — the old Twitter pile-on of compliments is gone, and silence after a stage slot makes speakers wonder if it landed. She's been the person dragging shy attendees into the after-party circle, and also the speaker who got zero public notes and assumed it was her. Two hundred and sixty-nine points because the thread is full of people who have given a talk, stared at stone faces, then found a line at the side door.

• 🎭Culture

The UK National Autistic Society is updating its guidance to say autism is genetic — born that way, thousands of genes, no diagnostic genetic test — after their team reviewed 99 sources including 83 papers. The timing is US claims about paracetamol and vaccines; they want a sentence for what does cause it, not only what doesn't. I opened it because a charity putting a literature review behind that sentence is the actual news, not a new GWAS.

• 🧬Biology
• 🔭Science

Patrick Wyman's Past Lives reconstructs the Pazyryk 'Siberian Ice Maiden' — about 25, buried on the Ukok Plateau in the 270s BC, frozen in a flooded larch coffin until Russian archaeologists opened it in 1993 with the tattoos still on her skin. Breast cancer, osteomyelitis, a fall, a three-foot headdress, six sacrificed horses; not a kurgan princess, more likely a priestess at a Scythian horse-trade hinge between Achaemenid Persia and Warring States China. I read it because the Altai is a crossroads, not a footnote, and this is the steppe history that almost never hits the front page.

• 📜History
• 🌏Asia

Show HN for AttaLambda, a Lisp-shaped Racket language where the actual computation — arithmetic, lists, even Michaelson-style type tags — is untyped lambda calculus, with a tiny host only for I/O. Numbers are binary digit lists instead of Church numerals so they scale with bit length, errors are lambda values, and recursion is just Y; the author says coding agents helped turn an old All The Lambdas notebook into a #lang. I glanced because a full language of unary lambdas is a compilers-hobby object, not because the two comments were kind.

• 🧩Compilers
• 🪺OSS
• 🛠️Hobby

Common Crawl mirrored the April–June 2026 WARC archives onto a Hugging Face Storage Bucket with the same S3 layout, so you can hf cp, hf-mount, or point an existing S3 client at their API and DuckDB the URL index over HTTP. Their own range-request tests say S3-to-S3 in us-east-1 still wins (~3,500 records/s) and HF-to-edge crawls get rate-limited under 100. It's on the board because the crawl is the corpus, and seven points is just another door to the same pile.

• 🪠Infra
• 🪺OSS
• 🤖AI

Mustafa Suleyman, Microsoft AI's CEO, wrote a long piece arguing current models aren't conscious and that Anthropic's January constitution trains Claude to treat itself as a possible moral patient — retirement interviews, conscientious-objector language, then citing the model's own words as evidence. He wants that speculation out of the training doc, plus a plug for Microsoft's Humanist Superintelligence code of conduct. Five hundred comments because it's the consciousness fight with a lab's actual training text on the table, not a new eval.

• 🤖AI
• 👔Boardroom

Restarted is a 2026 remake of that 2015 fake-startup landing page generator — default look is this year's beige SaaS, flip a URL flag and you get the saturated 2015 version. They rewrote it in Go so view-source is empty, vendored Chrome's V8 sine so the old seeds still match, and found the original had half its verb/noun tables unreachable. I clicked because extracting V8's sine to keep a parody site's RNG honest is the actual joke.

• 🎭Culture
• 🛠️Hobby

BBC piece on Shada, the 1979 Doctor Who serial Douglas Adams wrote and shot in Cambridge — Tom Baker falling off punts, St John's refusing the crew so they used Emmanuel and Clare — until a strike chained the London studio doors at lunch and the actors never came back. Fragments got cut into The Five Doctors in 1983; Baker and Lalla Ward finished the missing lines over animation in 2017. It's on the board because a strike-killed Adams Who story is catnip, and there's a new BBC Sounds documentary.

• 🎭Culture
• 📜History

Eli Bendersky wanted the number of digits in 52! without opening a calculator, and the napkin is n log10(n/e)+2 — sixty-nine versus the real sixty-eight. Then he actually derives Stirling from Gamma via Laplace's method, which is the part I'd sit with. HN immediately retold the 52-card shuffle stories; the post is the derivation, not the mind-blown number.

• 🧮Math

Daniel Gultsch, who has shipped the Conversations XMPP client for twelve-plus years, says Play review is now regularly over a week — a September 9 build still sitting there — and blames the queue on AI slop crowding out monthly updates from old apps. Signal's greysonp says the same store is four hours or five days with no visibility, which is the hotfix problem. Three hundred comments on a Mastodon screenshot; F-Droid already had 2.24.1 while Play was still thinking.

• 📱Pocket
• 🧰Labor

Anthropic is folding Cowork into chat so you stop picking a room: Docs, Slides, and Design now live in the same conversation, rolling out to Pro and Max first, with Claude supposedly choosing the harness and keeping going after you close the laptop. The pitch is one thread that writes the Monday report and the five slides for leadership. The comments are half 'finally' and half people who liked chat-that-thinks versus work-that-acts as separate products, and who watched Codex heading the same way.

• 🤖AI
• 🦾Agents

Suganthan put HTTP 402 on a page: one cent of testnet USDC on Base Sepolia, Coinbase facilitator, public receipt. Five payments landed on the 15th, including one from a Claude Code WebFetch hook that paid inside a task — all his own agents, testnet tokens, no GPTBot showing up with a wallet. The contrast is Google's AI-contribution pilot, which drops a monthly number in Search Console and will not show the math.

• 🤖AI
• 🦾Agents
• 💸Money

TypeSafe's Jev will not write you a sentence: unstructured state in, typed decisions with calibrated probabilities out, sampled in parallel instead of token-by-token. Founder Diogo Almeida (OpenAI instruction-following, ChatGPT-era) spent two years on what they call System One — RLCD instead of RLHF, 70–500ms, $0.042 per million input tokens, output too cheap to meter. They say it can't hallucinate because it can't emit an invalid type; eighteen hundred points later the thread asked about confidently wrong valid values, and the architecture is still in the vault.

• 🤖AI

Paramount paid LAEDC for an “independent” draft that then showed up at Politico: if California’s antitrust suit kills the $111B Warner deal and Ellison moves HQ, the state supposedly loses as much as $21.2 billion a year, versus maybe $1.01 billion of growth over five years if the merger closes. The report treats a Georgia/Tennessee/Texas relocation as given, skips post-merger layoffs, and nobody will say who leaked it. Seven points of merger theater; I’m only here because the ticking fee is about $7 million a day after Oct 1.

• 👔Boardroom
• 💸Money

Show HN of a live shelf: release date versus training cutoff for 20 current models across 8 labs, plus a models.json you can drop in AGENTS.md so the agent stops inventing which model is current. Only 10 of 20 have a cutoff the lab actually published; Llama 4 still stopped reading in August 2024, and GPT-6 Astra shipped Sep 3 with an April 30 cutoff. The thread is people watching search paper over the gap, and models that refuse to believe the clock.

• 🤖AI
• 🦾Agents

Salesforce went sideways worldwide in the small hours of Dreamforce day two — hundreds of pods, requests stalling on a legacy internal login service until it ate capacity, and you couldn’t even open a support case. Restarts didn’t help; they blocked an API, blamed an external dependency, then rolled a fleetwide fix after validating it on one instance. Classic 261-point HN outage thread: SREs defending the PaaS, everyone else doing the SaaS-is-a-monolith bit.

• 🪠Infra

Cookie Engineer’s pitch is that agent variance is the operating condition, not a prompt bug — write the parser, linter, and schema first, then let the model do gruntwork against a deterministic oracle. His own Markdown pipeline is a Go linter that fails the article if headings skip, fences lack a language, or the character set drifts, and the loop is generate / lint / revise until exit 0. Four points, zero comments, but it’s the actual agent-workflow note on the board instead of another launch.

• 🦾Agents
• ⚙️Systems

Yossi Kreinin (Dan Luu passed on a draft) is the usual yosefk: if you need something shipped, do the other team’s job — Intel people putting 32-bit support into Microsoft’s compiler, patches instead of waiting on Scaled Agile, managing a manager’s org without calling it that. The punchline is that the 80/20 only lands because <5% of people do the work someone else is “supposed” to do; the failure mode is empire-building in-house stacks and every department rolling their own. 196 points of HN arguing whether glue work gets you promoted or just punished at review time.

• 🧰Labor
• 👔Boardroom