🕯️
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
- Indiana
Michael Paulino
mi6paulino
Founder VIGIA.I ©️ tracking integrated data
Michael Paulino Solutions New York City
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
Alp ₿📈🚀🌕
IDouble
🗽 Be greedy when others are fearful and be fearful when others are greedy ☕️ Full-Stack 🖥💻📱⌚️ Finance, Crypto ⛓ (Blockchain, Smart contracts etc.)
IDEX/USD Zurich, Switzerland
Marcos Benevides
schonfinkel
I'm a prototype of a much larger system. @MMagueta's nemesis.
@terrateamio Rondônia / Brazil
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Ahmed Elsaharti
ahmed-elsaharti
A Mechanical/Robotics Engineering Ph.D. student at the University of North Dakota
University of North Dakota Grand Forks, ND, USA
D. Ben Knoble
benknoble
SWE @ CapitalOne. BS/MS in CS and formal methods. Plays clarinet. Enjoys reading and writing (code, English, French). Black belt in Tang Soo Do. Eagle Scout.
CapitalOne Richmond, VA
PreviousNext