Juncheng Yang
1a1a11a
Assistant Professor at Harvard University, building modern data systems
Harvard University Cambridge
Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
CNRS, ENS de Lyon, UCBL, LIP Lyon, France
Enhanced for MySQL
enhancedformysql
An organization focused on high-performance MySQL technology, including data structures, algorithms, and logical reasoning.
China
Matt Stancliff
mattsta
This is code I've freed.
This is not all my code.
You can hire me to create solutions for you in the form of process improvements and l33t code hax.
@carrierdb
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Ibraheem Ahmed
ibraheemdev
Software developer interested in building fast, concurrent, and robust systems.
@astral-sh Toronto, Canada
Felicitas Pojtinger
pojntfx
Developer building digital infrastructure ✨ | #linux #kubernetes #virtualization #wasm #gnome
@loopholelabs Vancouver, BC
All Your Codebase
allyourcodebase
...are belong to Ziguanas, but we'd also be delighted to give them back!
Khashayar Fereidani
fereidani
Software Engineering M.Sc.,
Security Researcher,
Full Stack Developer,
Systems-Oriented Engineer,
Rust & Golang Enthusiast,
Optimization Freak.
/dev/null
Pedro Faria
pedropark99
Economist and Senior Data Engineer that loves #rstats 📊📈
dsm-firmenich Belo Horizonte
Jean-Philippe Aumasson
veorq
Cryptography - Books https://nostarch.com/seriouscrypto & https://www.crypto-dictionary.com
@taurusgroup Switzerland
PreviousNext