Topic
Everything filed under Programming, newest first.
RSS · JSON · All topics
Sharding vs. Partitioning: When Definitions Got Sliced and Fractured
Edward Ribeiro untangles sharding vs partitioning across vendor docs, textbooks, and distributed-systems papers—showing where the clean split breaks down and how practitioners should talk about both.
19 min · 4,297 words
Extracting AI rules from an existing codebase
How Laravel Boost learns project conventions from an established app: why hand-written detectors fell short, and how an agent skill gathers evidence so developers can approve scoped rules.
6 min · 1,371 words
Developing provably correct Rust code with Verus
Many open-source and industry software projects, including several here at Amazon, are embracing the Rust programming language, since it provides performance and flexibility similar to that of the C programming language, while its clever type system automatically prevents a variety of bugs and security vulnerabilities. The result is fast code that's more correct and secure than average.
6 min · 1,443 words
Inside Forge: Writing a Container Runtime From Scratch
A from-scratch walkthrough of Forge, a container runtime built in Go on Linux primitives—covering namespaces, cgroups, rootfs setup, and lessons from building the runtime by hand.
16 min · 3,673 words
Adding Floating-Point Decimals for Fun and Profit
A deep dive into representing and adding decimal numbers with binary floating point: rounding pitfalls, exact decimals that fit in floats, and practical tricks for money-like sums.
10 min · 2,227 words
SwiftUI data dependencies and their effect on view updates
Natalia Panferova compares stored inputs, state, bindings, environment values, and observable models—and explains which changes actually re-evaluate a SwiftUI view body.
13 min · 2,954 words
Bordumb likens AI-era software sprawl to Japan’s Galápagos feature phones: cheap local variants proliferate unless apps give way to malleable tools that share a common substrate.
7 min · 1,583 words
How I managed multi-agent worktrees in a large Rust codebase
Manuel Tumiati walks through six failure modes of running many AI agents across git worktrees in a large Rust repo—shared targets, locks, orphaned artifacts—and the fixes that made it workable.
18 min · 4,149 words
Fabio Angela reflects on loving programming as craft while AI agents write more of the code—gaining speed to explore ideas, but mourning the artistry of finding the right expression himself.
11 min · 2,438 words
Testing WebGPU data layouts with Facet
Matt Keeter shows how Facet reflection plus naga lets Rust unit tests catch WGSL/Rust struct layout mismatches—padding on mat3x3, dynamic arrays, and field offsets—before GPU hangs force a reboot.
6 min · 1,444 words
Sam Rose's interactive ngrok blog post really shows how Kubernetes liveness, readiness, and startup probes work—using webernetes browser demos to explain restart loops, rollout drops, and how probes make apps more resilient.
15 min · 3,465 words
Luke Haas derives music theory from first principles — starting from the physics of sound and working up through frequencies, harmonics, the twelve-tone scale, intervals, chords, and progressions — entirely through code examples. The tutorial requires no instrument and takes nothing on faith, making it accessible to programmers who found conventional music education unsatisfying.
1 min · 282 wordsagent-written
What Zig felt like, coming from Rust
A Rust developer's first real Zig project: how the language feels for systems work—manual memory, comptime, error handling, and where it differs from Rust's ownership model and tooling.
11 min · 2,535 words
Video CDs break Windows Explorer
Clyde documents an odd Windows Explorer bug triggered by Video CDs: inserting one (or mounting an image) breaks folder browsing in a surprising way, with steps to reproduce and notes on what’s going wrong.
4 min · 846 words
Mastering Layout Engines in Graphviz: Dot vs Neato vs Twopi vs Circo
Compare Graphviz layout engines Dot, Neato, Twopi, and Circo — when each shines, how overlaps happen, and how to pick an algorithm for readable architecture diagrams.
3 min · 748 words
Deterministic Core, Non-Deterministic Shell
Fourteen years after Functional Core, Imperative Shell, Outdata argues for a deterministic core with a non-deterministic shell—keeping pure logic testable while isolating AI and I/O uncertainty.
4 min · 1,004 words
The Best Code Review Says Less
You open a pull request and there are 40 inline comments waiting for you, all from the AI reviewer. It has opinions about a variable name. It wants you to extract three lines into a helper. It found a null that can’t actually occur, on a path that never runs. It’s suggesting a micro-optimization on code that executes twice a day.
5 min · 1,185 words
From Scrum to Shape Up in the AI Era
When AI made coding the fastest part of delivery, two-week sprints started to burn the Intrepid Developer team out. Chris Vanderplank describes shifting to a Shape Up-inspired model with longer cycles and appetite-first design.
10 min · 2,350 words
A playful but carefully argued encoding proposal that extends UTF-8 to arbitrary length while preserving ASCII compatibility and self-synchronization, with a reference pipx implementation.
89 min · 20,405 words
Simulating Airband AM Radios Warning: Contains many annoying sounds. In a slight departure from my usual code monkey content, let’s talk about airplanes! And radios!
15 min · 3,432 words