hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
South Carolina Governor's School for Science and MathematicsHartsville, SC
hotdogontology's Following
- zeckyb
- godotengineWorldwide
- Paper-Proof
- aimacodeBerkeley, CA
- USC-Fall-2024-Math-587United States of America
- Quin-Darcy
- andreasabelChalmers and Gothenburg University
- dolio
- agda
- jeffrafterGitHub
- ryan-masters
- biplav-sUniversity of South Carolina
- BrownCS1951x
- jrr6
- deniskyashif
- kim-emCanberra
- alhassyCanada
- aisejohanColumbia University, Department of Mathematics
- pbelmansAntwerp and Luxembourg
- digama0Chalmers University of Technology
- johoelzlMünchen
- fpvandoornUniversity of Paris-Saclay
- ChrisHughes24Cambridgeshire
- cipher1024Bedrock Systems
- EdAyersCambridge, UK
- alexjbestLondon, UK
- adamtopaz
- gebnerMicrosoft Research
- urkudHarmonic AI
- leanprover-community
- jcommelin—
- robertylewisBrown University
- PatrickMassotParis
- CRMinges
- codehsUnited States of America
- UofSC-Spring-2023-Math-768-001United States of America