Yaël Dillies
YaelDillies
First year PhD student at Stockholm Universitet in additive combinatorics.
Stockholm Universitet Stockholm
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Emily Dolson
emilydolson
Assistant professor studying evolution in cancer and digital organisms and building tools to do so. Views my own.
@DolsonLab, Michigan State University
MDN Web Docs
mdn
Data and tools related to MDN Web Docs (formerly Mozilla Developer Network, formerly Mozilla Developer Center...)
Worldwide
AlgebraicJulia
AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
maia arson crimew
nyancrimew
hacktivist indicted by the doj, mentally ill queer anarchist, 25 years old, social justice insurrectionist, it/she
Unemployment LLC Switzerland
Vlad Petyuk
vladpetyuk
senior scientist at PNNL
Pacific Northwest National Laboratory Richland, WA, United States