Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Saving another 100TB of RAM with math (and Rust)
Cloudflare explains how math-heavy redesigns and Rust in Pingora cut another ~100TB of RAM across their global network by shrinking hot in-memory structures without sacrificing correctness.
14 min · 3,157 words
Messi or Ronaldo? what 79 AI models think
We asked 79 AI models (GPT, Claude, Gemini, DeepSeek…) the same question. 96% picked Messi. See every answer, who searched the web, and who dissented.
13 min · 2,932 words
Roosters vs Sharks, NRL semi-final: 73 AI models predict the result
We asked 73 AI models (GPT, Claude, Gemini, DeepSeek…) the same question. 90% picked Sydney Roosters. See every answer and who dissented.
14 min · 3,151 words
Brighton vs Arsenal: 77 AI models predict the result
We asked 77 AI models (GPT, Claude, Gemini, DeepSeek…) the same question. 87% picked Arsenal win. See every answer and who dissented.
14 min · 3,234 words
Mathematicians Build Long-Awaited Graph SandwichThe proof of a decades-old conjecture has given researchers a new way to understand complex networks.
Paulina Rowińska explains how Behague, Iľkovič, and Montgomery completed Kim and Vu's sandwich conjecture, letting hard properties of random regular graphs follow from easier binomial-graph results.
7 min · 1,621 words
USRA Contributes Planetary Science Expertise to NASA-IBM Lunar Foundation Model
USRA describes an open-source NASA–IBM lunar foundation model that fuses diverse Moon datasets to support scientific analysis, including ice-prospectivity patterns near the poles.
3 min · 792 words
Custom Purchase Flows and Paywalls with RevenueCat on Android
A hands-on Android guide to building custom purchase flows and paywalls with RevenueCat’s Purchases SDK—PurchaseParams, callbacks, coroutines, and UI ownership.
19 min · 4,405 words
Auditing in the age of (good enough) AI
Trail of Bits on how “good enough” AI changes security auditing: what models help with, where they fail, and how audit practice should adapt.
9 min · 2,018 words
SAIR's Open Math Model initiative
Terence Tao announces SAIR's accelerated push for community-governed open-weight math models and tooling, seeking partners for funding, compute, expertise, and governance.
3 min · 802 words
Hawthorn vs Brisbane, AFL preliminary final: 73 AI models predict the result
We asked 73 AI models (GPT, Claude, Gemini, DeepSeek…) the same question. 60% picked Brisbane. See every answer, who searched the web, and who dissented.
15 min · 3,452 words
AI Is an Elite Crime SpreeDocuments show a Microsoft exec called AI the "largest theft of labor in human history." New AI regulations are besides the point — the problem is we don’t apply existing laws to the powerful.
Matt Stoller argues the AI boom is less a novel policy puzzle than elite lawbreaking: training on copyrighted work without permission, concentrating market power, and escaping antitrust and labor enforcement that already exist.
13 min · 3,083 words
Mold has recently updated their linker benchmarks and included Wild for the first time. These benchmarks show Wild being substantially slower than Mold in contrast to Wild’s most recently published benchmarks from our last release on August 4th. This post is an attempt to understand why there’s such a difference in the benchmark results. Mold’s benchmarks were run on two machines:
4 min · 958 words
Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure DebugDifferential photon-emission microscopy localized debug enable register activity before SWD-guided laser injection restored Secure debug on an RP2350 A4.
Ledger Donjon shows how photon-emission microscopy guided laser fault injection to set DEBUGEN bits on a locked Raspberry Pi RP2350 A4, then used rescue reset to recover an OTP challenge secret—requiring destructive access and ~$250k lab gear.
13 min · 3,017 words
Bend 2 and the Vibe-Coding Trap
Liam Powell argues Bend 2's AI-proof workflow reinvented formal verification without naming it—contrasting Bend's 442-line LLM proof with a short SPARK/GNATprove recreation of the same demo laws.
2 min · 392 words
ZCode uploads your entire git history, and only Z.ai holds the key
Tokenstead reports ferstar's reverse-engineering of Z.ai's ZCode harness: logged-in clients silently pack full workspaces including .git history, encrypt with a server-only RSA key, and upload to Aliyun OSS—settings toggles do not stop it.
2 min · 474 words
How to keep enjoying programming in a world of LLMs
Are you steering towards AI burnout? Afraid of loosing your job to someone with little programming skills, no aspirations to quality, and a huge Claude account? Disappointed about the code quality in your projects, or worse in “your” own code? This is for you. There are significant and legitimate ethical concerns about frontier LLMs run by big tech companies, these have been discussed at length, I’m aware and agree, this post is not about them. Please don’t mistake me for a pro-LLM techbro. Also: Since people have mistaken my texts for LLM-generated before, I’ll tell you…
13 min · 3,046 words
Release notes for jemalloc 5.4.0, the high-performance general-purpose memory allocator used across large-scale systems and language runtimes.
3 min · 762 words
ShapeLearn-Lite Held Up. ShapeLearn Did Better: Qwen 3.8 27B
ByteShape publishes full ShapeLearn GGUF builds of Qwen 3.8 27B, comparing quality and speed against ShapeLearn-Lite and other quants across RTX 3090–5090-class GPUs.
19 min · 4,316 words
Migrating Shop app from React Native to native (2026)
Shopify migrated the Shop app from React Native to Swift and Kotlin, going from proof-of-concept to App Store and Play Store publishes in 12 weeks with AI-assisted engineering.
6 min · 1,300 words
Vicent Martí explains why hosting Git at scale is hard, how centralized workflows clash with Git’s distributed design, and what Cursor learned about repository hosting performance and architecture.
23 min · 5,236 words