Daniel Correia

Software Engineer

I am a software engineer, writer, tool-builder, type-system enthusiast, minimalist, and occasional gardener of small systems.

I work on developer tools and the quiet craft of keeping codebases small. My day-to-day sits somewhere between compilers, CLIs, and the internal APIs no one else wants to touch.

This is my personal space. I keep working notes here — some finished, most not — on engineering, systems, and the occasional aside.