nytpu.com

Hi! I'm Alex (a.k.a. nytpu). I'm a winged creature that does the code and maybe even other things.

Visit nytpu.com → On Hacker News Dec 2024 – Oct 2026

So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types :

So a good while ago I added a fun curl version of my site, meant for viewing in the terminal. Try running these commands!