Topic
Everything filed under Engineering, newest first.
RSS · JSON · All topics
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
Microsoft killed FoxPro in 2007. Anyway, here's FoxPro revived
FoxDev Studio rebuilds Visual FoxPro as a modern 64-bit runtime and IDE in Rust/WebAssembly: open old projects in place, keep .dbf data, bridge 32-bit libraries, and add FoxScript lambdas and HTTP routes.
3 min · 645 words
PlayTaurus argues guitarists should buy hardware for what it is and run community firmware on it—ESP32-class chips are cheap enough, NAM models are open, and closed pedal firmware is the last proprietary lock.
2 min · 477 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
EXPLAIN (ANALYZE, IO) in PostgreSQL 19
Franck Pachot walks through PostgreSQL 19's new EXPLAIN IO stats—prefetch depth, request size, concurrency, and waits—using Little's Law to interpret async read streams.
4 min · 1,031 words
NEC V20 CPU: A bit of pep for an XT
A deep dive into the NEC V20 CPU as a drop-in 8088 upgrade for IBM PC/XT-class machines—what it changes, how fast it feels, and why collectors still care.
11 min · 2,628 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
Building Software That Can Prove Agents WrongWhat changes when implementation becomes cheaper than verification
Rafael Câmara argues that once coding agents implement faster than they can verify, the limiting factor is application design: software must expose cheap, independent evidence that can prove an agent's change wrong—not just look right on the happy path.
2 min · 486 words
Everything Is a Stream: runtime composability over compile-time plugins
Antigma Labs stabilizes Ante v0.2.0’s Unix-inspired wire protocol—operations in, events out over stdio, sockets, or WebSockets—so agent engines stay separate from UIs while SemVer locks the streaming contract.
7 min · 1,520 words
Max Woolf shows how iterative agentic coding—prompting agents to repeatedly speed up Rust code—produced solutions faster than established libraries, with concrete methodology and caveats.
22 min · 5,140 words
Arcturus Labs compares OpenAI’s emerging decision-model direction with TypeSafe’s Jev—and asks whether a frontier lab can absorb the System One / structured-decision niche startups are building.
12 min · 2,748 words
A practitioner walkthrough of type punning pitfalls: why a pointer cast that works at -O0 can silently break at -O2, and how C versus C++ rules diverge in treacherous ways.
3 min · 585 words
How Google Agent Substrate Works: 250 Agents on 8 Pods
A technical breakdown of Google’s Agent Substrate: how it multiplexes hundreds of stateful agent sessions onto a handful of Kubernetes pods with fast suspend/resume.
11 min · 2,511 words
A file path looks like identity, but it is not: Ryan Galloway explains why treating paths as durable keys breaks pipelines, and what to use instead for content identity.
4 min · 1,016 words
The Function That Beat the Model: What We Measured When We Removed the LLMs
SPERIXLABS replaced a 1B-parameter local model that validated sensitive-data detections with a 40-line Python function, then published the four experiments showing where classical checks beat the LLM on accuracy and latency.
7 min · 1,535 words
Making portable my unportable transputer C compiler
Oscar Toledo recounts porting his 1990s transputer C compiler from 32-bit DJGPP assumptions to a modern 64-bit Mac—fixing int/pointer aliasing, FILE*, and self-hosting constraints along the way.
14 min · 3,196 words
Trail of Bits explains why SAML—the XML-based SSO protocol—is structurally fragile: XML complexity, canonicalization pitfalls, enveloped signatures, and a long history of authentication bypasses.
11 min · 2,464 words
PgDog’s Lev Kokotov on why engineers fix open problems they care about, why ownership beats closed-source support tickets, and how free-as-in-freedom Postgres sharding funds itself with enterprise SLAs.
2 min · 387 words
This Digital Radio Gets Messages to the World's Remotest LocationsIt sends encrypted signals with no satellites or relay towers required
IEEE Spectrum interviews Rhizomatica’s Peter Bloom on HERMES, an open-source HF data radio that pushes files and optional encryption over the ionosphere for remote and emergency communities.
3 min · 594 words
In Search of a Compositional Theory of Self-Stabilization
Murat Demirbas connects metastable failures to classical self-stabilization and asks what a compositional theory would need to make distributed recovery composable.
10 min · 2,248 words