Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Better Icon and Label AlignmentAligning list icons when labels wrap to multiple lines.
There is a common design pattern that sometimes gets missed or overlooked. It’s having a list of items, each with an icon. When the text is one line, the icon is centered, but when the text has multiple lines, the icon is still centered but looks odd.
5 min · 1,127 words
The Bottleneck Moved From Writing Code to Proving It
AI made writing code cheap; the scarce work is now proving it. A practitioner essay on verification as the new bottleneck for agent systems and engineering teams.
4 min · 926 words
Writing Parquet Files Using Haskell
A practical walkthrough of generating Apache Parquet from Haskell: schema encoding, column chunks, and the tradeoffs of building interoperable analytical data files outside the JVM ecosystem.
11 min · 2,537 words
My Weird New Hobby: Wandering Around Tokyo on Google Maps
A playful Street View essay: following a 350Z across years of Tokyo captures, noticing wires, houses, and how a city changes (and doesn’t) when you wander it on Maps.
3 min · 668 words
Daniel Mangum digs into unexpected register values on Nordic's nRF54L while poking the Key Management Unit from a debugger, and explains how SoC security components can make the debugger's view of memory misleading.
11 min · 2,579 words
How did AMD Ryzen get 50% faster in two years?
Daniel Lemire compares AMD Ryzen 7 X3D chips from Zen 3 to Zen 5: Geekbench gains of ~50% came less from clock and more from wider cores, larger caches, bigger ROBs, and 512-bit SIMD.
2 min · 468 words
RoboHarm: Do Frontier Robot Policies Refuse Unsafe Instructions?
RoboHarm tests whether frontier robot policies refuse unsafe instructions: refusal vs completion rates across models, tasks like toaster/screwdriver hazards, and scoring details.
15 min · 3,413 words
Why Does an npm Math Library Need an Encrypted Loader?
SafeDep reverse-engineers a malicious npm math package: encrypted loader, trigger matrix, remote access payload, and indicators of compromise for defenders.
10 min · 2,385 words
The Lamentable Later Life of LemmingsHow a 1990s smash franchise faded after DMA Design’s early triumph
Jimmy Maher’s Digital Antiquarian traces the later Lemmings sequels and ports after the 1991 phenomenon—covering DMA Design’s struggle to turn a surprise hit into a lasting franchise, and why the later games never matched the original’s magic.
19 min · 4,454 words
Persistent Databases in the Browser with DuckDB-Wasm and OPFS
DuckDB explains how DuckDB-Wasm can open a persistent database file in the browser’s Origin Private File System (OPFS), when data reaches disk, and how that changes browser analytics apps that previously relied on Parquet-in-IndexedDB workarounds.
8 min · 1,800 words
A short, illustrated first-principles walkthrough of what Jev likely is—an LLM that returns a single token—and how that design compares to other projects doing the same thing.
9 min · 1,982 wordsagent-assisted
Human brain is two separate organs, Stanford Medicine-led research finds
Stanford Medicine–led research finds the human brain is two distinct organs—the cerebrum and the brainstem—opening new avenues for studying diseases that selectively affect the brainstem.
5 min · 1,248 words
If math is more than proof, we need to better celebrate the rest of it
Guest post by Grant Sanderson on Terence Tao’s blog argues that if mathematics is more than formal proof, the community should better celebrate exposition, intuition, and other forms of mathematical contribution.
12 min · 2,704 words
Dylan Patel's Information Machine
Substrate profiles Dylan Patel and SemiAnalysis: how a research shop became an information machine covering AI infrastructure, semiconductors, and the supply chains that power frontier models.
14 min · 3,133 words
The Right Answer Is Not a Proof: Put Verification Inside the Reasoning Loop
Cognaptus explains PRoSFI: a 7B model emits small machine-checkable reasoning steps that Lean/Z3 can verify, raising measured soundness far more than final-answer accuracy alone on ProverQA-Hard.
6 min · 1,480 words
Discover, then compile downThe great unbundling of the LLM
Seldon argues Jev's launch shows frontier LLMs will unbundle into specialized decision primitives, with durable value migrating to a discover-then-compile layer that routes settled work off expensive generation.
17 min · 3,849 words
How I Vibed a Proof of Conway's Conjecture
Dan Abramov recounts a month of multi-agent LLM+Lean work that produced a purported Lean proof of Conway's omnific-integer refinement conjecture—including burn-downs, audits, mathematician checks, ~40B tokens, and lessons on grounding AI math.
31 min · 7,227 words
Ethan Hawksley argues passkeys excel against phishing and breaches but are a poor fit for personal accounts: lockout risk, hardware-key limits, Big Tech sync bans, and fragmented third-party UX still outweigh the day-to-day threat of AiTM proxies for most individuals.
3 min · 786 words
My Thoughts on the AI Bubble and Where it's Going
Elijah Popowitz's market thesis: the 'AI bubble' is mostly an ICP mismatch—labs sell intelligence while most buyers want task completion—so expect both frontier and org-custom workhorse models.
4 min · 1,011 words
Mathematics is effectively deadNot solved, dead.
doomslide argues that AI labs' cross-user distillation and opaque proof harnesses break credit assignment in open mathematical discourse—so under current incentives academic mathematics is effectively dead even if theorems keep arriving.
20 min · 4,582 words