Kirsten Henningsgard
@hen90568
gyro
@gyro747425
NaN
@NaN99236788
Curious about the world. Somewhere between personal truth and probability. 01101100 01101111 01110110 01100101 ❀️ πŸ‡²πŸ‡°πŸ‡¬πŸ‡·πŸ‡ΈπŸ‡ͺπŸ‡«πŸ‡·πŸ‡¬πŸ‡§πŸ³οΈβ€πŸŒˆ πŸ‡ΊπŸ‡¦
JosΓ© A. Alonso
@Jose_A_Alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Kart Nisom
@KartNisom
DMs open for discussion about AI, MCPs, and other tools.
Elias Judin
@elias_judin
pure maths. universal algebra // categorical topology // Galois theories. university of cape town.
Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.
Nazareno Lecis
@LecisNazareno
La passione per l'Economia e la Statistica Γ¨ seconda solo a quella per i manga πŸ’» Keep your bloody emotions away from my numbers.
Interdisciplinary Physics Team (InPhyT)
@In_Phy_T
Complex Systems Modelling Group | Computational #SocialScienceπŸ“±, #Epidemiology 🦠 , #Neuroscience 🧠, #ML #GNN πŸ€–| #JuliaLang #Python πŸ§‘β€πŸ’».
Alex Kontorovich
@AlexKontorovich
Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.
L
@llllvvuu
research engineer @HarmonicMath. we’re hiring - DM me!
Harmonic
@HarmonicMath
Building Mathematical Superintelligence
Giovanni Paolini
@GiovePaolini
Load more