Stories by azhenley

Universal Paperclips

The piano test for program verification (2011)

We probably cannot automate the software engineer away

Flow Typing, a New Lens on Linearity

Anthropic and the Changing Nature of Work

Microsoft and CMU team up to train early career software engineers

Copy-Paste Language Models

The future of AI software is here – it's just not evenly distributed

What will the next generation of developers do when AI writes the code?

Building Git infrastructure for agent-scale development

Liquid types for the Shplait programming language

Should a software factory be lights-off?

Deep dive into Azure Maia 300 architecture

The things I wanted to make

Revisiting Soundness for Occurrence Typing, Semantically

Improving Agents by Bootstrapping Experientially-Learned Environmental Knowledge

ReviewBench: An open benchmark for AI code review

PL research is dead, the age of PL exploration is just beginning

Compiling dynamic programming languages (2018)

Stable Matching Problem

1 2 3 4 5 6 7 8 9 10