A social knowledge network for research
@ntm.bsky.social
mathematics, computation, history of science, climate action, systems, compositionality, urbanism in Chicago, bike lanes, type theory, tea, julia-lang, atproto dev accelerationists btfo
Aaron Steven White
@aaronstevenwhite.io
computational semanticist. into modular synths and rum. https://aaronstevenwhite.io
NaNdi
@nandi.uk
a category is a quiver under the free functor https://latha.org
