🦀
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
- Boston, MA
-
17:25
(UTC -04:00) - lambdageek.dev
- @lambdageek@mastodon.social
- @lambdageek.bsky.social
Dewantoro Kunto Wibisono
dewhush
Building interfaces for humans and logic for machines.
Dew Protocols
fuwi
fuwifur
Hello, I manually follow everyone, and I check my GitHub followers daily to follow them back. I will follow you back if you follow me. My Discord is fuwifur.
im not a bot, add discord to be friends
nelson jr mota
motanelson
Get the best of git
https://youtube.com/@nelsonmotamota-e5j Portugal, lisbon
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
PreviousNext