🦀
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
- Boston, MA
-
15:52
(UTC -04:00) - lambdageek.dev
- @lambdageek@mastodon.social
- @lambdageek.bsky.social
Michał Petryka
MichalPetryka
C# and C/C++ software developer, currently working on games and open source projects.
Warsaw, Poland
Ralph Squillace
squillace
Old. Components. Containers. WebAssembly and the Wasm System Interface and Wasm Component Model. Board member at the @bytecodealliance. CNCF Hyperlight project.
Microsoft Polignano a Mare, Italy
Katelyn Gadd
kg
I work on the .NET runtime and created the Jiterpreter.
Creator of JSIL and one of the creators of WebAssembly.
Sometimes I make video games
Seattle, WA
Ronen Amiel
ronami
Committer @typescript-eslint, working on dev tools @wix, loves TypeScript, parsers, and video games
@wix Tel Aviv Yafo, Israel
Brent Yorgey
byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.
Hendrix College Conway, AR, USA
Jared Roesch
jroesch
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
NVIDIA Seattle, Washington
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA