Wesley Scholl
konjoinfinity
Front End Engineer | Mobile Engineer | Full Stack Developer | Crypto & Blockchain Consultant | IT Solutions Expert
Washington, DC
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
ljluestc
Then I recited two lines of poetry: "Were it to benefit my country I would lay down my life; What then is risk to me?"
Anastasia Davydova Lewis
asyapluggedin
south pasadena
Emre YILMAZ
delirehberi
#php #symfony #nodejs #nix #haskell #golang @eresbiotech @workouse
@eresbiotech @workouse Aydin, TR
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Robert DeLanghe
bdelanghe
@recursecenter π¨π»βπ Never-graduate. Deep-diving into @devcontainers, xstate.js, @design-tokens. Interested?Let's pair! π€π
Aura Frames Brooklyn, NY
Verity Scheel
MonoidMusician
Cellist, math major with a side of FP, type theory, PL design, and lots more.
Murat Kasimov
iokasimov
I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
ΰΉΰΈΰΈ΅ΰΈ’ΰΈΰΉΰΈ«ΰΈ‘ΰΉ
PreviousNext