🦀
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
- Boston, MA
-
07:14
(UTC -05:00) - lambdageek.dev
- @[email protected]
- @lambdageek.bsky.social
fuwifur
Hi, I manually follow everyone. I'm not a bot, and I will follow you back if you follow me. Follow for follow on top!
hi
nelson jr mota
motanelson
Can find me on discord chanel cosmos os
https://youtube.com/@nelsonmota-s4u Portugal, lisbon
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Jacob Somer
jacobsomer
Data Center Technician with endless curiosity and willingness to explore beyond the existing boundaries in tech.
Amazon
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
Gleb Krasilich
GlebChili
HSE University Alumnus (Mathematics MSc '23 and BSc '21). Mathematical Logic, Type Theory, and Computer Science.
PreviousNext