Formal verification and programming languages researcher.
Highlights
- Pro
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Kaan Ozgur
KaanOzgurr
I am a student from Turkey who wants to improve in Software Development. I made some small applications for improve myself .
Istanbul
Maxim Korotkov
ProjectMutilation
AppSec engineer,
C, C++ hater,
Python Amateur
@postgrespro Sarov, Russia
Michael Paulino
mi6paulino
Founder VIGIA.I ©️ tracking integrated data
Michael Paulino Solutions New York City
Dmitry Selikhov
idimetrix
💻ALWAYS HIRING, 🌍REMOTE JOBS, 💼HR, 🚀CTO, 🏗️Software Architect, 🧑💻Technical Lead, 👨💼3X Founder. 🔗Linking companies with top tech talents. @elevanceit
@elevanceit New York
Rígille S. B. Menezes
rigille
I'm trying to learn some things and have fun :w
Mixrank Vitória, Brasil
Palash Nigam
palash25
GeneralistPolyglotDev | Previously: @percona @interviewstreet | LFX Intern @cncf | @atlanhq | @appbaseio | GSoC @coala
(f)unemployed Remote
PreviousNext