skylee03
Follow
Rachit Nigam
rachitnigam
Incoming EECS professor at MIT. Creator of @calyxir. Up to no good.
Massachusetts Institute of Technology
Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
Jeremy Tan Jie Rui
Parcly-Taxel
Mathematics. Computer science. My Little Pony. Furries. Everything in between. Made in Singapore.
SMRT Trains Singapore
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
Introduction to Cryptography
USC-Fall-2024-Math-587
Course materials for Fall 2024 CSCE 557/Math 587 at the University of South Carolina.
United States of America
Sy Brand
TartanLlama
C Developer Advocate at Microsoft, compiler and library dev, language enthusiast, tired person
@Microsoft Edinburgh, United Kingdom
Bockman Cheung
bockmancheung
UCLA Mathematics c/o 27, abstract nonsense enthusiast.
Learning interactive theorem provers, c , and python.
LA
David Branner
brannerchinese
Working account for half-baked work in progress. Presentable content is hosted in @DataBranner.
Luis Miguel Mejía Suárez
BalmungSan
Software developer graduated from the Universidad EAFIT (Medellín, Colombia), currently works for Xebia Functional.
Scala lover!
@47deg Medellin, Colombia
Robert Culling
SyntakticSugar
Mathematics teacher interested in type theory and functional programming 👨💻
Christchurch, New Zealand
Youzhang (Mark) Sun
Lemonsity
Learning Programming Languages,
Interested in Mathematics,
@Lodestone-Team
PreviousNext