Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs
--------
Autogestion à toute échelle, pain et liberté.
@ahrefs @ocaml-sf Glasgow, Scotland
François Gutherz
astrofra
Male, living in France. Graduated in Fine Arts and Computer Science. Focused on interactive 3D story telling, serial Global Game Jammer and active demo maker.
www.harfang3d.com Orléans
Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Cui Chen
cu1ch3n
@hkuplg Hong Kong, China
David Binder
BinderDavid
Researcher in type theory and programming languages
University of Kent Canterbury, UK
V. Jackson
vjackson725
Ph.D. student at the University of Melbourne. I mainly work on program verification.
Julie Moronuki
argumatronic
Teacher, (type) writer, Haskell den mom.
Cofounder of @typeclasses
@joyofhaskell MONTANA
Paul D. Fernhout
pdfernhout
"The biggest challenge of the 21st century is the irony of technologies of abundance in the hands of those still thinking in terms of scarcity."
Adirondack Park, NY
Nicolas P. Rougier
rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.
@INRIA Bordeaux, France
Niini
cute-the-niini
Dream-eating witch by night. PL-weaving glitch by daylight.
<your dreams, soon>
srrrse
withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.
Berlin
PreviousNext