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