ntm

@ntm.bsky.social 🦋 • Joined 10 days ago

mathematics, computation, history of science, climate action, systems, compositionality, urbanism in Chicago, bike lanes, type theory, tea, julia-lang, atproto dev