John Earnest
JohnEarnest
I like building tools to enable education and creative programming.
Sedro Woolley, WA
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Gideon Farrell
gfarrell
Cofounder / CTO of @converge-io; ex-Cantab astrophysicist (MA/MSci); writes at gtf.io; builds things in Haskell (new projects at https://git.sr.ht/~gtf).
@converge-io London
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Jakub Beránek
Kobzol
I am a member of the Rust Leadership Council and the Rust compiler and infrastructure teams. I work as an open-source contributor.
Rust Project Czech Republic
Li Haoyi
lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
Tatu Ylonen
tatuylonen
Interested in cybersecurity, AI, and language. Once wrote a tool called ssh (Secure Shell), which evolved into OpenSSH and a bunch of standards.
Independent
Andrew Owen
yumaikas
Hobbies at the intersection of Lisps, Elixir and Games, professional work is elsewhere. Opinions are my own.
Alan Jeffrey
asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.
Roblox Chicago, IL
Juniper Tyree
juntyr
PhD researcher at UH with a passion for the environment and Rust. Graduate of MEng Computing at ICL and MSc Theoretical & Computational Methods at UH.
University of Helsinki Helsinki
Objective-See Foundation
objective-see
We’re a non-profit foundation focused on macOS security, driven by the mission to create free tools, grow and support a global community of students, researcher
Objective-See Foundation Hawaii, USA
François-René Rideau
fare
Cybernethics
Houyhnhnm Computing https://ngnghm.github.io
Lair of the French Resistance
Cristian Assaiante
cristianassaiante
Ph.D. Engineering in Computer Science student at Sapienza, University of Rome.
Working on compilers.
PreviousNext