aljce
Follow
Barry Moore II
chiroptical
Random functional programming content on https://youtube.com/chiroptical.
https://mercury.com Boston
Daniel P. Brice
friedbrice
Haskell and Typescript. Occasional Math and CS Lecturer.
Ventura, California
Vivi
okidealist
let's chat over matcha! ^_^
if IG then @lamor.fati
if eMail then IG //
nanatlier on tour
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Dylan McNamee
dylanmc
@GaloisInc emeritus, periodic visiting prof @ReedCollege, student, interested in programming and hardware design
Portland, Oregon
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Alex Striff
jfjhh
Graduate student studying condensed matter physics at Cornell University.
Cornell University Ithaca, NY
Elliot Cameron
3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Indiana
Nik
nikHowlett
Microsoft AI Platform ExP
Prev: Machine Learning Engineer
Microsoft, Georgia Tech, Capital One, Hi-Rez Studios Atlanta
