Articles by azhenley
1

Software engineering is the tipping point [video] (youtube.com)

58

Haskell Foundation 2026 Update (haskell.org)

1

Customizing an LLM for Enterprise Software Engineering (arxiv.org)

2

Academia, startups, big tech, and back again (austinhenley.com)

1

Fastconstmap: A faster map from strings to integers in Python (twitter.com/lemire)

2

MCP Is Not Enough (mukulsingh105.github.io)

1

The room where it happens (certiv.ai)

1

Resilience Engineering Papers (github.com/lorin)

34

7 lines of code, 3 minutes: Implement a programming language (2010) (might.net)

8

[flagged] 2026 is the year you stop reading code (iunknown.com)

2

Model-Harness-Fit (nicolasbustamante.com)

1

On Fundraising (natetucker.com)

164

For thirty years I programmed with Phish on, every day (christophermeiklejohn.com)

1

Intelligence Buying Intelligence (stevekrouse.com)

1

Treat Agent Output Like Compiler Output (skiplabs.io)

1

Virtual Scrolling (nicbarker.com)

2

Illegal vs. Unwanted States (buttondown.com/hillelwayne)

3

PEP 661: Sentinel values, has been accepted 5 years later (python.org)

1

Illegal vs. Unwanted States (buttondown.com/hillelwayne)

1

The Normal Work of Creating Reliability (surfingcomplexity.blog)

1

PuzzleScript (puzzlescript.net)

3

Cognitive debt: The hidden risk in AI-driven software development (getdx.com)

2

Opt-In Isn't a Guardrail (christophermeiklejohn.com)

1

C# that looks like Go (makarchie.com)

1

Productivity gains with an AI-based IDE at Google (arxiv.org)

1

Output Isn't Design (twitter.com/karrisaarinen)

17

The simple geometry behind any road (sandboxspirit.com)

2

PEP 831: Frame Pointers Everywhere (python.org)

2

A general technique for automating NES games (tom7.org)

2

The Lean Programming Language and Theorem Prover (leodemoura.github.io)

2

The structural engineer's other job (christophermeiklejohn.com)

2

RoboPhD: Evolving complex agents under tight budgets (arxiv.org)

2

Inferring user actions from screen recordings to recommend better workflows [pdf] (yanlitao.github.io)

5

Keychron has open sourced its hardware (github.com/keychron)

3

Harnessing Hype to Teach Empirical Thinking with AI (arxiv.org)

1

Slap: Functional Concatenative Language with a Borrow Checker? (taylor.town)

2

Program analysis using random interpretation (2005) [pdf] (sigplan.org)

2

Multi-agent systems have a distributed systems problem (christophermeiklejohn.com)

2

Generalized Linear Model (wikipedia.org)

2

What do I teach now? (prithvi081099.github.io)

8

Ohm's Peg-to-WASM Compiler (ohmjs.org)

2

Inkstravaganza (inkandswitch.com)

2

ChatGPT's optimal route to cross the US in the 1800s (twitter.com/austinzhenley)

2

Choose Boring Technology and Innovative Practices (buttondown.com/hillelwayne)

29

Teaching Claude to QA a mobile app (christophermeiklejohn.com)

1

Accessibility and the AI autumn (2020) [video] (youtube.com)

1

Proof SDK: Editor, collab server, provenance model, and agent HTTP bridge (github.com/everyinc)

2

Game Modding with GenAI: A Case Study of Stardew Valley Character Maker (arxiv.org)

2

PEP 827: Type Manipulation (python.org)

4

Re-engineering our flow state (twitter.com/wattenberger)

1

jc: CLI tool that converts the output of popular command-line tools to JSON (kellyjonbrazil.github.io)

1

How to Recalculate a Spreadsheet (2020) (lord.io)

2

Coding agents wrote a chess engine in pure TeX (mathieuacher.com)

2

Proposal for Union Types in C# (github.com/dotnet)

1

Xkcd: The General Problem (xkcd.com)

2

Drink the Radioactive Gatorade (essaysbyandy.substack.com)

1

Cambridge Battlecode: Code bots that compete in a turn-based strategy game (battlecode.cam)

47

MonoGame: A .NET framework for making cross-platform games (github.com/monogame)

2

Grow Fast and Overload Things (surfingcomplexity.blog)

1

Some Words on WigglyPaint (beyondloom.com)

1

A Dual-LLM Policy for Reducing Noise in Agentic Program Repair (arxiv.org)

2

What every CS major should know (might.net)

13

Guido van Rossum Interviews Thomas Wouters (Python Core Dev) (gvanrossum.github.io)

1

ACM's Expression of Concern on a 2024 paper (acm.org)

1

Coding Agents Wrote a Chess Engine in Pure TeX (mathieuacher.com)

1

Edge Case Poisoning (buttondown.com/hillelwayne)

1

QED in Context: An Observation Study of Proof Assistant Users [pdf] (andrewhead.info)

60

Racket v9.1 (racket-lang.org)

4

Compiler Education Deserves a Revolution (thunderseethe.dev)

4

Claude for Government (claude.com)

5

Some silly Z3 scripts I wrote (hillelwayne.com)

1

Ohm v18 (ohmjs.org)

1

Metabolism (Architecture) (wikipedia.org)

1

Code City: A visualization of large codebases that you can explore (wettel.github.io)

2

PEP 747 – Annotating Type Forms (python.org)

2

PEP 814 – Add frozendict built-in type (python.org)

2

Lots of AI SRE, no AI incident management (twitter.com/norootcause)

2

Generative Agents: Interactive Simulacra of Human Behavior (2023) [pdf] (acm.org)

105

Nobody knows how the whole system works (surfingcomplexity.blog)

2

Rewriting Pycparser with the Help of an LLM (thegreenplace.net)

3

AgentBuilder: Scaffolds for Prototyping User Experiences of Interface Agents (arxiv.org)

2

Ashby taught us we have to fight fire with fire (surfingcomplexity.blog)

3

Because Coordination Is Expensive (surfingcomplexity.blog)

1

What's New in Python 3.15 (python.org)

2

Fighter Mafia (wikipedia.org)

5

Building a JavaScript runtime in one month (themackabu.dev)

0

Creating a Domain Specific Language with Roslyn (themacaque.com)

2

Intro to Genomics for Engineers (learngenomics.dev)

1

Another Way to Rate Incidents (surfingcomplexity.blog)

8

Simulating the Ladybug Clock Puzzle (austinhenley.com)

1

Microsoft killing tech debt with agents [audio] (podcasts.apple.com)

4

Fast Client-Side Search with Rust and WebAssembly (visualstudio.com)

53

My Gripes with Prolog (buttondown.com/hillelwayne)

1

Coding on a Phone: What I Learned Building Software on Mobile (rahulpandita.me)

1

Workflow Description Language (WDL) 1.3 (openwdl.org)

1

Agent Native Architectures (every.to/guides)

5

The coolest feature in Python 3.14 (savannah.dev)

1

Wrapping up my third time at Microsoft (den.dev)

2

Coming Up with Startup Ideas (khakidrew.substack.com)

3

The most influential game design articles (reddit.com)