model-checking
Users following model-checking
Yarik
Utishnik
- Hi, I'm Yarik
- I'm interested in science
- I'm learning programming now
-my tik-tok accaunt - https://www.tiktok.com/@yarik_1207?lang=ru-RU
Kentaro Aoki
sUI-sEEEEEE
Old-school CLI nerd doing Full-stack development with Rust.
and | High-Performance WEB (Dioxus + GSAP) | Secure systems | Linux distro |
JP/Tokyo
Noah Gift
noahgift
🚀 Founder of Pragmatic AI Labs | Building AI/ML Education for 1M+ Students | Duke EIR | AWS ML Hero
Learn production ML: https://paiml.com
Pragmatic AI Labs Spain
Jorge Luiz Gouveia Sousa
iataganCursos
Brasil. Javascript, Java, C / C ++, Clipper, Rust, Python, PHP, MySQL. SVG, WebGL. Linux (Inteligência Artificial, Eletrônica, Robótica).
@iataganCursos Brazil
LeoniePhiline
Rustacean from Berlin, Germany, with a focus on security and performance. Quadrocopter enthusiast.
Kostas
KostasSliazas
I just wasted my life. Oh, and did I forget the period? There goes another millisecond of my life.
Marcos Sandoval
marcos1394
soy un ingeniero quimico apasionado por la tecnología y contribuir en proyectos que aporten valor para las organizaciones y la sociedad
Los Mochis, Sinaloa
Dylan Bryan
d-bryan
Backend and systems engineer. I write the services and own the platform underneath. Kubernetes, Java, Python, Kafka
Barcelona, Spain
PreviousNext