Francesco Parolini
phreppo
Static analysis software engineer. Making software more secure (WIP)
Certora London, UK
Cédric Soulas
cedricss
Author of https://reactive.how and https://illustratedrxjs.dev
Experiments and motion graphics about programming
https://cedricsoulas.com/
Slashtype Nantes
Laurence Tratt
ltratt
Programmer, researcher. Software Development Team, King's College London
@softdevteam Somerset / London
Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
François Garillot
huitseeker
Dabbling with streams & distributed data in close proximity to ☕.
4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6 Tiohtià:ke
Shiwei Weng 翁士伟
arbipher
JHU Ph.D. Student //
Fudan B.Eng //
PL is the classics of computer science.
Johns Hopkins University Baltimore, Maryland, USA
Ulugbek Abdullaev
ulugbekna
👋 I work on VS Code & GitHub Copilot Chat. Contributor to ocaml-lsp and OCaml Platform vscode extension
Zurich
PreviousNext