Jonas Chevalier
zimbatm
@numtide [@x1:~] $
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
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
Pierre Bourdon
delroth
Infrastructure security, emulator developer, reverse engineer.
Zürich, Switzerland
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Rishi Desai
therishidesai
Hacker, Bay Area Sports Fanatic, CS@Illinois, prev @anduril, Eng @saronic-technologies
Alexander Reynolds
alkasm
Robots, distributed systems, signals, cv, metaprogramming. Python, c++, go, rust.
nominal.io New York, NY
Martin Schwaighofer
mschwaig
Proving the link between source code and running systems with Nix. ❄
Johannes Kepler University Linz Linz, Austria
Michael Weiss
primeos
Matrix: @primeos:matrix.org; Note:
I have more time during weekends.
@primeos-work Germany
PreviousNext