Tanner Duve
tannerduve
Lean formalizations and other functional programming stuff. Formal verification engineer working on @nexus-xyz zkVM
Nexus San Francisco
typeØ(wl)female
MostWrong
people will have agi before they have electricity thats stable all day - tszzl
your BigMAC address
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
Elisabeth Stenholm
elisabethstenholm
👩💻 Software developer | λ Functional programming enthusiast | 👩🎓 PhD in Homotopy Type Theory
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Chris Henson
chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
Eduardo García Maleta
egmaleta
long-term cs student | building fine | fp/haskell/ocaml enjoyer | 😔
@INMYTEAM-CORP Havana, Cuba
Xe Iaso
Xe
Hacker, Nephelemancer, kastermakfa - username pronounced as /zi/
@TecharoHQ & @tigrisdata Canada
Workflow Sauce
workflowsauce
Notes to self, and hopefully joy and peace for others. Here to grease the gears!
RGBCube
RGBCube
May include trace amounts of functional programming.
Doofenshmirtz Evil Inc. Istanbul
Victoria
VictoriqueMoe
Software architect working in cybersecurity. i do stuff on the side
United Kingdom
Omar Shehata
OmarShehata
Graphics programmer working on maps. Past: CesiumJS. Used to make flash games in a past life.
Ithaca, NY
Giacomo Cavalieri
giacomocavalieri
I love functional programming and learning new things ✨
@gleam-lang core team member 💕
Italy
Fay Carsons
FayCarsons
Generative artist, full-stack dev, and musician living in Richmond, Virginia
Virginia
PreviousNext