🦀
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
- Boston, MA
-
08:33
(UTC -04:00) - lambdageek.dev
- @[email protected]
- @lambdageek.bsky.social
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Jacob Somer
jacobsomer
Aspiring software engineer interested in learning, building, and helping people through code
Falls Church, VA
Mohsen Rajabi
EngRajabi
Technical Lead at Mofid Securities .NET Backend Developer / Architect - Consultant
Mofid Securities Iran
Michael Bond
codemonkey85
Autistic obsessive software developer and Pokémon fan. Buy me a coffee: https://ko-fi.com/michaelbond
@Fusionww New Milford, CT 06776
Orestis Ousoultzoglou
xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.”
— Brian Beckman, Don’t fear the Monad
EMTECH SPACE S.A. Marousi, Athens, Greece
Gleb Krasilich
GlebChili
HSE University Alumnus (Mathematics MSc '23 and BSc '21). Mathematical Logic, Type Theory, and Computer Science.
Ethan Flower-01100101 01110100 01101000 01100001 01101110
ethanflower1903
Dev-Sec-Ops- Engineer
san francisco
PreviousNext