🦀
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
- Boston, MA
-
23:32
(UTC -04:00) - lambdageek.dev
- @lambdageek@mastodon.social
- @lambdageek.bsky.social
Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
Jobleap.cn Japan
nelson jr mota
motanelson
https://www.facebook.com/nelson.mota.1656
You can find all time in discord , on channel , cosmos operation systems , came to find me
https://www.facebook.com/nelson.mota.1656 lisbon portugal
jpmaciel22
João Pedro Maciel, estudante de Ciência da Computação atualmente no 6°SEM
@mollusk-tech Brasil
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.
PreviousNext