Dominic Verity
dom-verity
Category Theorist and programmer by day, bad drummer by night.
Macquarie University North Ryde, Sydney, NSW 2109, Australia
Well-typed lightbulbs
well-typed-lightbulbs
The home of OCaml programming on embedded devices.
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
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
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
PreviousNext