Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Etienne
maiste
Curious about the universe 🌳 Believe in the indie web, Open Source and distributed architectures 🦉
Ex @tarides
Tim McGilchrist
tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.
@tarides Sydney, Australia
Timo Kramer
TimoKramer
"Controlling complexity is the essence of computer programming."
—Brian Kernighan, contributer to the development of Unix
Berlin
Lukasz Kozuchowski
replomancer
Senior Software Developer @Flexiana, Differential Privacy @OpenMined, Functional Programming, Machine Learning, Clojure, Python
@OpenMined, @CodersLab, @Flexiana Warsaw, Poland
Sora Morimoto
smorimoto
@ocaml @tc39 Tokyo, Japan
Marcin Kulik
ku1ik
Software engineer, consultant, specializing in Elixir and Rust. Creator of @asciinema.
@asciinema Poland
Jochen Bartl
verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR
Slowly moving my personal stuff over to Codeberg
Somewhere near Augsburg, Germany
Abi
abbysmal
My brain is a hamster spinning rly rly fast in its wheel.
May or may not program computers.
Datadog France
Lena
lenadroid
CEO Droid AI. Ex @aws. Ex @microsoft and @MSFTResearch. Architect. Speaker. Organizer @ml4all. Board member @fsharp. Committee @kafkasummit.
AWS Seattle
PreviousNext