Logic, languages and systems
-
IMDEA Software
- Madrid
- https://software.imdea.org/~aliaksandr.hryzlou/
- https://orcid.org/0000-0001-6188-0417
nelson jr mota
motanelson
Get the best of git
https://youtube.com/@nelsonmotamota-e5j Portugal, lisbon
Emily 💞
emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
Piotr Paradziński
dancewithheart
blockchain, compilers, types, formal methods
(previously @lemastero)
Serge S. Gulin
GulinSS
The road to yourself has no return tickets. We are no longer young, but we are still angry.
Shraddha Barke
shraddhabarke
Senior Researcher at RiSE (Microsoft Research)
Microsoft Research Seattle
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
DU Yu
duyu09
DU Yu (杜宇; ĐỖ Vũ), B.Eng. in Software Engineering, QLU; M.Eng. candidate in Computer Science & Technology, LZJTU. Research focus: TSF / ML / Data Mining / NLP.
Lanzhou Jiaotong University / Qilu University of Technology (蘭州交通大學/齊魯工業大學; ĐH Giao Thông Lan Châu / ĐH Công Nghiệp Tề Lỗ) Jinan, Shandong Province, P.R.China / Lanzhou, Gansu Province, P.R.China (中國山東省濟南市/中國甘肅省蘭州市; TP.Tế Nam, Tỉnh Sơn Đông, TQ / TP.Lan Châu, Tỉnh Cam Túc, TQ)
lane
lane-core
systems design, formal verification, (homotopy) type theory, and categorical nonsense
san francisco
Novus Nota
novusnota
Amateur Tree-sitter-sitter.
UX and DX aficionado.
Monad deez docs.
If only you knew the power of the Dart side...
Remote
Shiva Gyawali
exceptionSPG
Software Cybersecurity | System Security | DevSecOps | LLMs in Cybersecurity | YouTube Content Creator
21world
jelspace
Who not work will not Eat ][Basic Income(free money and all time free) monetization][ vs ][Employment(exchange your time for money) monetization][
PreviousNext