Highlights
- Pro
Andrew Miller
amiller
Distributed systems, applied cryptography, programming languages
teleport midwest
Dimitri Sabadie
hadronized
Do not make more tools than existing problems.
GPG ID: A94386A8A6252ECB
GPG key: https://strongly-typed-thoughts.net/media/uploads/pubkey.asc
@datadog France
John Ericson
Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.
@ObsidianSystems New York
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
Mara Bos
m-ou-se
Rust leadership council member, former Rust library team lead, Author of Rust Atomics and Locks, Director of RustNL, Founder of Fusion Engineering and Hexcat
Hexcat, RustNL Delft, Netherlands
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Justin Le
mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD
@Anduril Orange, CA
Troy Neubauer
TroyNeubauer
Experienced Rust, C++, and Java Sotware Engineer. Rust + SDR enthusiast, built Empire Serialization library
Costa Mesa, California
PreviousNext