Shunsuke Shibayama
mtshiba
Majoring in Physics.
Interested in quantum mechanics & programming languages.
@astral-sh Tokyo, Japan
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Paul Tichonczuk
tracer99
UI Developer. Tech leader.
Contact Monkey / streamshine.me Toronto, Ontario
Alex Beamish
talexb
Freelance SW dev using Linux, Perl and SQL to build EDI processes. Currently working w/ Freshdesk, BigCommerce, and Stripe APIs, and SQL Server.
Pianoforte Systems Software Toronto, Ontario
Martin Kleppmann
ept
Distributed systems + security protocols researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn
University of Cambridge Cambridge, UK
Phillip Schanely
pschanely
Mostly working on "CrossHair": easy SMT, fuzzing, & verification for Python.
New York, NY
Sebastián Ramírez
tiangolo
Creator of FastAPI, Typer, SQLModel, Asyncer, etc. 🚀
From 🇨🇴 in 🇩🇪.
Open Source, APIs, and tools for data/ML. 🤖 Python, TypeScript, Docker, etc.
Berlin, Germany