Miles Cranmer
MilesCranmer
Assistant Professor at University of Cambridge.
Works on AI for the physical sciences.
University of Cambridge Cambridge, UK
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
Flowductive
Flowductive
We help you stay driven with Flows -- a fun, social, and unique way to commit time to productive activity.
United States of America
Dion Timmer
diontimmer
Music producer for games like Rocket League & Beat Saber. Also doing stuff in unreal and python
Dion Timmer Michigan
LlmDl
I have been coding Java-based add-ons for multiplayer games since 2014. Some of them are quite popular.
Luigi Mangione
lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania
AppRoar Studios