Carlos J. Rivera
cjrcoding
Working on screen, building on chain. Exploring Cardano smart contracts with Haskell and Aiken. Learning in public, one project at a time.
Los Angeles, California
/unack/
un4ckn0wl3z
Anyone can break. Few can build. Skids will never understand what it feels like to create.
Bangkok, Thailand
Niklas Deworetzki
Niklas-Deworetzki
Software developer and researcher interested in programming languages, compilers and optimization techniques.
Göteborgs Universitet Sweden
Joachim Tilsted Kristensen
jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.
The University in Oslo. 3410 Sylling, Norway.
Sebastian Selander
sebastianselander
Msc in Computer Science @ Gothenburg University.
Interested in functional programming, compilers, correctness, and extensibility!
Robert Krook
Rewbert
PhD student at Chalmers University of Technology.
Compilers, IoT, Languages, Testing
Chalmers University of Technology Gothenburg
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops
@meta-introspector New Jersey
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Sheffield, United Kingdom
Mihai Maruseac
mihaimaruseac
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
Google San Francisco
PreviousNext