ntm

@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

Joel Chan

@joelchan86.bsky.social

(Associately??) Professing #hci #creativity #toolsforthought #metascience at UMD INFO and HCIL #immigrant (🇲🇾 ➡️ 🇺🇸 ) #firstgen academic Building @discoursegraphs.bsky.social #atproto 🤝 #openscience https://joelchan.me

NaNdi

@nandi.uk

a category is a quiver under the free functor https://latha.org