Highlights
- Pro
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Yuta Katayama
yutkat
Programmer / Editor: Neovim / Shell: zsh / Terminal: WezTerm / OS: NixOS, ArchLinux(Hyprland), Android / PC:Thinkpad, Lemur Pro, HHKB Hybrid , GameBall
Tokyo, Japan
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
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
Richard Feldman
rtfeldman
Creator of the Roc programming language. Author of Elm in Action.
Philadelphia, PA
Oliver Caldwell
Olical
Conjuring up tools that help you interact with your software.
@GowerStreet London, England