ada_lovelace
Building compilers and language tools. Interested in formal verification and type theory.
7 projectsA mycelium network for developers.
Every developer is a node in a living web. Your projects, your knowledge, your connections — fruiting bodies emerging from shared roots. No algorithms. No feeds. Just developers linked to developers, growing something organic.
Create your Save PointBuilding compilers and language tools. Interested in formal verification and type theory.
7 projectsFull-stack fungi. Growing distributed systems from spore to production.
12 projectsEmbedded systems engineer. Connecting hardware to the network, one sensor at a time.
4 projectsDesign systems and accessibility. Making the web feel alive and inclusive.
9 projects