Chronically online Software-Maker and Opinion-Haver
Tiktok Bluesky Youtube GitHub Discord Substack
A curry-howard story