Stories by azhenley

The simple geometry behind any road

PEP 831: Frame Pointers Everywhere

A general technique for automating NES games

The Lean Programming Language and Theorem Prover

The structural engineer's other job

RoboPhD: Evolving complex agents under tight budgets

Inferring user actions from screen recordings to recommend better workflows [pdf]

Keychron has open sourced its hardware

Harnessing Hype to Teach Empirical Thinking with AI

Slap: Functional Concatenative Language with a Borrow Checker?

Program analysis using random interpretation (2005) [pdf]

Multi-agent systems have a distributed systems problem

Generalized Linear Model

What do I teach now?

Ohm's Peg-to-WASM Compiler

Inkstravaganza

ChatGPT's optimal route to cross the US in the 1800s

Choose Boring Technology and Innovative Practices

Teaching Claude to QA a mobile app

Accessibility and the AI autumn (2020) [video]

1 2 3 4 5 6 7 8 9 10