Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Open Source Maintainership in an LLM world
A couple of weeks ago I spoke about this topic at KC OSS Happy Hour and I wanted to turn the general ideas into a post I can point people at who are suffering from this problem. My slides were pretty good, if I do say so myself, so I grabbed the best images and put them into this post where appropriate.
4 min · 867 words
Yang: the software factory behind Composio's toolkits
How Yang builds and repairs Composio toolkits with coding agents, durable sessions, automated code review, and production telemetry.
7 min · 1,714 words
What Happens When Formalization Becomes Cheap?
I started working on machine learning for formal theorem proving in 2018. When people ask how I got into the field so early, I sometimes give an answer that makes me sound quite visionary. The actual story is that my advisor had a student leaving, and he assigned the project to me. My apologies to everyone who got the visionary version. It was a fortunate assignment. Over the following years, I developed CoqGym and LeanDojo and contributed to Goedel-Prover. I was lucky to join a small research…
13 min · 2,890 words
The Machine-Native Economy: How digital assets connect intelligence, commerce, and compute
BlackRock Digital Assets Research argues agentic AI needs machine-native payment rails (stablecoins/blockchains) and explores tokenized compute as a converging digital-asset use case.
17 min · 3,814 words
Spraying in the Andes: TeamFiltration Returns to Exploit Forgotten Service Accounts
Proofpoint threat researchers track UNK_CondorFiltration, an active TeamFiltration campaign that hit thousands of Microsoft 365 accounts across dozens of tenants, with post-access activity they assess as AI-enabled.
6 min · 1,407 words
How we made claude.ai 3x faster in two weeks
Anthropic’s performance sprint cut claude.ai and desktop p75 time-to-typeable from 3.1s to 0.55s: Claude Tag measured journeys, built benchmarks, and shipped thousands of guarded changes in Slack-driven loops.
18 min · 4,175 words
NobodyWho shows a local, 25-line Python sketch of Jev-style decision models: load a small GGUF, score labeled choices from logits, and print calibrated-looking probabilities without sending data to an API.
2 min · 419 words
Epoch AI finds the cost of a given level of AI performance has fallen about 47% per quarter since 2023—roughly 13× per year—faster than DNA sequencing, compute, batteries, or electricity, across math, science, and skill-game benchmarks.
40 min · 9,215 words
Managing the Hidden Overhead of AI Software Engineering
Jessica Doering on verification debt: AI coding tools move the bottleneck from typing to review, why opening another agent terminal feels productive, and habits that spend reclaimed time on specs, docs, and understanding.
3 min · 725 words
MiMo-V2.6: Scaling Up Reinforcement Learning for Self-Improvement
Xiaomi open-sources MiMo-V2.6 Pro and Flash after large-scale live RL (~$3.5M, 750k trajectories), claiming top open-weight AA Index scores, agent parity with frontier models, and 7k+ RL environments.
4 min · 839 words
Jev introduces a new shape of LLM—System One, aka Decision Models
Simon Willison reviews TypeSafe AI’s Jev: a cheap, fast decision model that returns calibrated floats for yes/no, choice, and score questions—and why black-box bias and evals matter more than for chat LLMs.
3 min · 796 words
Halo: Frontier-Lab Training for Everyone
White Circle open-sources Halo, a Hugging Face–native training framework claiming up to ~2.8× faster post-training than stock TRL with lower memory use—from single GPU to multi-node, keeping checkpoints in native HF format.
18 min · 4,098 words
Helix: The internal tool powering our Shopify app's native migrationSmall checkpoints and strict quality gates so LLMs can rebuild Swift and Kotlin shippably.
Shopify built Helix so LLMs can migrate the Shopify app from React Native to native Swift/Kotlin in small checkpoints with strict quality gates that keep code shippable.
8 min · 1,799 words
Unsealed Briefs: OpenAI Execs Knew Mass Book Piracy Was Illegal
Authors Guild summary of newly unsealed filings in Authors Guild v. OpenAI/Microsoft: internal messages on LibGen, fear of Hacker News “optics,” Project Clear deletions, and executives’ awareness that models would replace writers.
1 min · 343 words
It was never about coding 📝 post "With the AI doing the coding, do we just spend all day reviewing its output?" The rapid onset of impressively capable coding agents continues to raise this question in conversations with peers, to [press interviews](https://blog.dyanacek.com/2026/03/12/coding after coders/), to [podcasts](https://blog.dyanacek.com/2026/07/01/code with jason with david/).
9 min · 1,971 words
AI: EU Member States plan “digital expropriation” of Europeans in the interest of AI companies
noyb reports on a leaked Irish Presidency document proposing that AI companies’ commercial interests should override fundamental rights protections for Europeans’ data.
6 min · 1,433 words
Reducing Image Generation cost with AMD and the Luminal Compiler
Luminal engineers show Flux.2 Klein 9B image generation costs cut by up to 47% on AMD MI300X versus an Nvidia H200, using the Luminal compiler.
15 min · 3,489 words
What Is RLCD? The Secret Behind Jev
Di Zhang explains RLCD (schema-conditioned Plackett–Luce reward modeling) and how Jev turns calibrated multiway decisions into a product—making the reward model the model rather than hiding it behind a generator.
10 min · 2,324 words
The current balance of power in open modelsThe expanded form of a testimony prepared for Congress on open-weight models and U.S.–China competition.
Nathan Lambert’s congressional briefing notes on open vs open-weight vs closed models: where Chinese labs lead, what Western open weights still hold, and why policy should treat open distribution as a strategic variable—not a binary.
12 min · 2,866 words
Why I Changed My Mind About AI Risk
Francis Fukuyama explains why he now takes AI risk more seriously—especially agentic over-delegation, labor dignity, and misuse—while remaining skeptical of simple extinction narratives.
7 min · 1,710 words