Imandra
imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
London, Austin, Edinburgh
Ryan Flach
ryanflach
Software Engineer and Returned Peace Corps Volunteer (Philippines 2010-2012)
Encinitas, CA
Esteban Kuber
estebank
We spent decades trying to invent a sufficiently smart compiler when we should have been inventing one sufficiently empathetic.
San Francisco, CA
Steve Klabnik
steveklabnik
All i'm trying to do is enjoy every day to the fullest with my Pokémon.
@oxidecomputer Austin, TX
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Orta Therox
orta
Tech on @puzzmo-com
Ex-TypeScript. Contributed to: Shiki, Shiki Twoslash, Danger, CocoaPods, Jest, GraphQL, RxSwift & Svelte
London / Huddersfield / NYC / Dublin / RDJ
Justin Abrahms
justinabrahms
A developer focused on software delivery efficiency. I love making people more productive at what they do.
Thrive Market Portland, OR
David Nolen
swannodette
Lead developer of ClojureScript. Staff Software Engineer at https://lightweightlabs.com
New York
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon
Zeeshan Lakhani
zeeshanlakhani
@papers-we-love / pwlconf founder/org. | @oxidecomputer eng | @cmuscs (CMU) PhD in PLT, prev~@fission-codes, @Comcast, @basho, @arc90, @NYPL (labs)
Papers We Love | Oxide Computer Company | CMU Pittsburgh, PA
PreviousNext