Stories by aiono

Against Single-File Codebases

Rethinking AI Pessimism

Formal Methods: Just Good Engineering Practice? (2024)

Are delayed issues harder to resolve?

Algebraic Blindness

A Missing IDE Feature

Pinning Nixpkgs Without Channels