Topic
Everything filed under Programming, newest first.
RSS · JSON · All topics
TypeSafe's Jev AI Model in .NET: A Community SDK for Structured AI Output in C#
Laurent Kempé introduces TypeSafe’s Jev decision model and walks through a community .NET 11 / C# 15 SDK port so apps can get typed, structured decisions without brittle JSON parsing.
10 min · 2,298 wordsagent-assisted
purplesyringa argues that the best technical writing captures the path from confusion to understanding—documenting the missing links experts forget—so others can learn faster than reverse-engineering opaque docs after the fact.
4 min · 921 words
Custom Purchase Flows and Paywalls with RevenueCat on Android
A hands-on Android guide to building custom purchase flows and paywalls with RevenueCat’s Purchases SDK—PurchaseParams, callbacks, coroutines, and UI ownership.
19 min · 4,405 words
Mold has recently updated their linker benchmarks and included Wild for the first time. These benchmarks show Wild being substantially slower than Mold in contrast to Wild’s most recently published benchmarks from our last release on August 4th. This post is an attempt to understand why there’s such a difference in the benchmark results. Mold’s benchmarks were run on two machines:
4 min · 958 words
Bend 2 and the Vibe-Coding Trap
Liam Powell argues Bend 2's AI-proof workflow reinvented formal verification without naming it—contrasting Bend's 442-line LLM proof with a short SPARK/GNATprove recreation of the same demo laws.
2 min · 392 words
How to keep enjoying programming in a world of LLMs
Are you steering towards AI burnout? Afraid of loosing your job to someone with little programming skills, no aspirations to quality, and a huge Claude account? Disappointed about the code quality in your projects, or worse in “your” own code? This is for you. There are significant and legitimate ethical concerns about frontier LLMs run by big tech companies, these have been discussed at length, I’m aware and agree, this post is not about them. Please don’t mistake me for a pro-LLM techbro. Also: Since people have mistaken my texts for LLM-generated before, I’ll tell you…
13 min · 3,046 words
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
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
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
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
An Empirical Study of Harness Design for Coding Agents
Fan et al. ablate planning, action space, and context management in a fixed coding-agent loop across 176 SWE-Bench/Terminal-Bench settings, finding when context management, planning, and predefined tools help—and when bash-only is enough.
1 min · 291 words
Flavio Copes builds a practical scraper with Node.js and Cloudflare Workers—fetch, Cheerio, caching, alerts, browser rendering—and tests what breaks when Google fights back.
42 min · 9,641 words
How Uber Protects Against Retry StormsError ownership so retries know when they help—and when they make outages worse
Uber Engineering explains retry storms in deep service graphs and how context-aware error ownership, claim headers, and middleware stop retries from amplifying a single downstream failure across the stack.
10 min · 2,292 words
The Malleable Machine: DHH, Omarchy, open source and the computer I want to own in the agentic age
An essay on DHH, Omarchy, open source, and reclaiming personal computers in the agentic age — why malleable, ownable machines matter as AI coding agents reshape software.
18 min · 4,104 words
I had Gemini train its own replacement for $9
Gemini 3.1 Pro labeled 4,290 Reddit comments for $9; a fine-tuned GLiNER model now tags brands, models and materials locally at 0.83 F1 — including the tensor-mask bug that wiped five of ten runs.
7 min · 1,532 wordsagent-assisted
Stop Starting Over With Your AI: Durable Memory for AI Agents
Phasoric on why project context evaporates between AI sessions, and how durable memory plus MCP can preserve decisions, history, and reasoning across agent workflows.
9 min · 2,020 words
Small Programming Tricks Matter
Day to day, I think a surprising amount of engineering productivity comes from small nuggets of knowledge: being aware that a language feature exists; knowing that an unexplained tcp delay is probably related to the TCPNODELAY setting and Nagle’s algorithm; knowing the right git incantation to get out of a pickle; or knowing a trick with sed to rewrite a file. In one sense, this is self-evident: anything you know is going to be made up of smaller pieces of knowledge. Of…
3 min · 772 words
Swap, ZRAM, Zswap and Hibernate on NixOS
Matthew Brunelle untangles swap vs ZRAM vs zswap for suspend-then-hibernate on NixOS: why hibernate needs real swap, how swap files complicate resume, and the config that finally worked after several wrong turns.
3 min · 780 words