Formal Land
Users following formal-land
KagXaef
mrpandat
"Premature optimization is the root of all evil."
Donald Knuth
@wizards-technologies France
Isaac Velasquez
isaacv-pl
Research Proof Engineer at Virginia Tech.
Former Doctoral Candidate in CS at the University of Minnesota.
tel∅s
tel-0s
universal teleological catalyst / Panvirtualization protocol / inframodel augur / Weaver
Weave threadcone origin
Andrei Silviu Dragnea
andreisilviudragnea
🦀 Senior Rust Software Engineer • Contractor • Freelancer | Using Rust to build highly scalable web apps
Bucharest, Romania
Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
Hugo Marques
hggmarks
I think people should stop learning languages and start learning programming already.
Recife, Brazil
Jay Lee
Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))
@ropas @KoreanTUG Seoul, Republic of Korea
Emre Balkay
EmreBlky
Sevdiğin Her ne ise Onu Bull ve Seni Öldürmesine İzin Ver.....!!!
MicroChipTecnology Körfez