Damian Nadales
dnadales
I love to solve problems through software. I love to code solutions in Haskell. I love maintainable, correct, and robust software.
Eindhoven, The Netherlands
Nicolas Trangez
NicolasT
Cloud-native product builder, former Principal Architect @scality. #Haskell'ist, music-lover and startup-minded.
.be & .uk
Joshua Barretto
zesterer
Interested in things. Usually exhausted.
None of the code I write comes out of an LLM. Any mistakes are my own.
Bristol, UK
Matthew Paras
mattwparas
Interested in programming language development, compilers, contracts, and all things Rust and Racket
San Jose, California | Chicago, Illinois
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Andrea Laretto
iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
Tallinn University of Technology Tallinn, Estonia
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
PreviousNext