Tim Kersey
tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@thisisartium Los Angeles, CA
Tushar Jain
tushar994
Just someone who loves to build things with code and wants to make change
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Sujit Yadav
Jitsu-13
Aspiring Java Backend Developer................
B.Tech (Mechanical Engg.) ..........
Tech-stack : JAVA | JAVASCRIPT | SQL | HIBERNATE | HTML
Chandigarh, India
Ethan Flower-01100101 01110100 01101000 01100001 01101110
ethanflower1903
Dev-Sec-Ops- Engineer
san francisco
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
Jonathan Strickland
djanatyn
very curious, trying to grow. into haskell, rust, lisp, and nix
Filament Pittsburgh, PA
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Lambda Tech Belgium
PreviousNext