Topic
Everything filed under Programming, newest first.
RSS · JSON · All topics
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
AI coding has made CI a bottleneck, so we reworked ours to keep up
Linear's Mufeez Amjad explains how agent-accelerated shipping made CI the bottleneck, and how they cut PR wait time and runner cost while test suites nearly quadrupled.
8 min · 1,907 words
Python Workers are now generally available
Cloudflare announces Python Workers GA: run Python on the Workers runtime with packages and frameworks that just work, two years after the first preview.
9 min · 2,066 words
Two Years of Building with AI: An Honest Developer Review
An honest two-year look at AI-assisted development—from ChatGPT to Claude Code—what works, why every change still gets reviewed, and the de-skilling risk.
7 min · 1,632 words
Building AI Agents with Spring AI — Tool Calling, Memory, and Autonomous Workflows
A practical Java guide to Spring AI agents: tool calling, memory, and autonomous workflows that move beyond one-shot LLM calls into real multi-step agent loops.
12 min · 2,810 words
Your AI Coding Agent Can Be Attacked by the Repository It Opens
Why opening an untrusted repo with an AI coding agent is a security boundary problem—prompt injection via files, tool abuse, and practical defenses for agent workflows.
4 min · 1,028 words
A custom virtual machine for the Stars! 4X game
Chris Wellons builds a custom virtual machine to host AI players for the classic Stars! 4X game, covering bytecode design, performance, and interfacing with the original binary.
5 min · 1,116 words
Solving for faster SHA-1 collision detection
tl;dr: I discovered collision-detecting SHA-1 is slow and decided to build my own. sha1dc is a rewrite of SHA-1 with collision detection, whose code generator uses a solver to fit collision tests into SIMD lanes. It runs at 68–81% of plain SHA-1's speed where the existing crate runs at 28–29%, and can make git pack verification twice as fast.
10 min · 2,227 words
It’s an egraph that supports well-scoped alpha aware binders. I made a tool that attaches my lifting e-graph ideas arxiv youtube to an s-expression based frontend. - repo https://github.com/philzook58/lambda-microegg - wasm demo https://www.philipzucker.com/lambda-microegg/ .
15 min · 3,440 words
Farid Zakaria on dynamic derivations and nondeterministic build graphs ahead of NixCon 2026—when a build step can roll dice, and what that means for caching and reproducibility.
7 min · 1,636 words
Reversing the SH-4 fpu with the help of three AI models
Using three AI models to reverse-engineer approximate SH-4 FPU instructions (FIPR, FTRV, FSCA, FSRRA) for Dreamcast emulation accuracy.
10 min · 2,333 words
A detailed practitioner review of the V programming language covering syntax, tooling, performance claims, and where the language felt productive versus still rough around the edges.
31 min · 7,113 words
LWN covers Typst’s rapid progress as a modern typesetting system — package ecosystem, compiler work, and why more people are trying it as an alternative to LaTeX workflows.
10 min · 2,217 words
Danielle Navarro warns against dplyr::ntile() in regulatory analyses: the SQL-inspired ranking helper often fails to produce equal-sized groups or the quantile splits analysts think they are getting.
29 min · 6,556 words
Why Does AI Code Confidence Increase When Your Risk Should Too?
William Moore on the confidence trap in AI coding tools: fluency peaks on high-stakes auth/payments/migrations because they are common in training data—treat certainty as an inverse risk signal and force failure-mode reasoning.
2 min · 390 words
Trying the Software Factory Pattern
One of the interesting challenges of the AI ecosystem in 2026 is that new, effective patterns emerge faster than I can adopt them. I’ll find a handful, get back to work, and realize a month later that I’d missed four or five more. The adoption cycle for Imprint this year has been something like: - April: local development is bottlenecked on checkout and worktree model, instead create ~10 local workspaces which each have an independent checkout of every repository, and operate at the workspace level, not at the repository level, so it can generate cross-repository pull requests across…
4 min · 871 words
Comparing reflection capabilities of C++, Zig and C3
A side-by-side look at compile-time reflection in upcoming C++, Zig, and C3—how each language inspects types, enumerators, and struct members without runtime cost.
7 min · 1,568 words
aie_2.1: building it — a conversation engine where the LLM 'remembers'
Meraki builds a Python conversation engine that shows how LLMs fake memory: every turn resends the full history so the model appears to remember, with practical notes on context and design.
9 min · 2,124 words
An unofficial community project revives Amiga Unix (Amix) for 68040/68060 machines and modern accelerators, with a modern toolchain, package manager, and open grimoire of the work.
3 min · 626 words
Model Context Protocol with Spring AI, Building MCP Clients and Servers in Java
Ayush Shrivastava walks through building MCP clients and servers with Spring AI in Java: tool discovery, protocol basics, and wiring MCP into agentic Spring applications beyond a basic demo.
13 min · 2,972 words