Lean
Users following leanprover
rake
0xRake
"You can only get smarter by playing a smarter opponent."
(Fundamentals of Chess, 1883)
Zurich
Atticus Kuhn
AtticusKuhn
Computer Science Student at Trinity College, Cambridge
Cambridge, United Kingdom
Garima Sikka
garimasikka
AI Systems Engineer |
Always learning & growing. Keep smiling.
|| वसुधैव कुटुम्बकम् || 🤍
Earth, Sol, MW⊙, LG, Laniakea, ΛCDM (Obs.)
Qiang (Brandon)
astrowq
I explored the secrets of the Universe, now I'm exploring the secrets of AI.
@anyin-ai @baryonsci @CausaPrimaAI Munich
Alexander Ereshkin
AlexEreh
CTF Player & Golang SWE.
50938EF2FD8506C98242F46131344F4EB6B073D7 @ keys.openpgp.org
Wildberries & Russ Voronezh, Russia
Gabriel Saldanha
DisistiNao
Science Computer Student at UFOP
Computer Network Technician at CEFET-MG
Ufop Ouro Preto, MG
Jela Miraj
JelaMiraj
Content Creator, Unity3D & programming language design enthusiast. Is Fan of SmallTalk, Lisp, Erlang, & Haskell. Also likes Python, JavaScript, Elixir, & Ruby.
West Coast, USA
Unchun Yang
ucyang
I am a software engineer who loves the free and open-source software (FOSS) ecosystem. My broad interests include AI, cybersecurity, and quantum computing.
PreviousNext