amb
Iktomist
Currently working on music-theoretic iPhone and Android apps for the use of musicians and composers
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
Ulysses
UlyssesWu
Please attribute appropriately and **don't be evil** when using my code.
@MonarchSolutions Riverport, MA
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Fabian Linzberger
lefant
Happy hacker. I like machine learning, functional programming and startups.
Stockholm, Sweden