TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Christian Heimes
tiran
@python core developer, Python security team, PSF fellow, security-monger, Open Source advocate, Red Hat SecEng / IdM dev (he/him)
Views are my own.
Red Hat Hamburg, Germany
Giuseppe Romano
romanodev
Computational Design of Materials for Energy Applications
MIT Cambridge, MA
George-Bogdan Ivanov
bogsio
I love travelling and startups. Interested in Natural Language Processing, Machine Learning. Blogging at: https://keepsimple.dev.
Gran Canaria
Yaakov Gesher
jegesh
I believe that all knowledge in the world should be open-sourced
@PlanetWatchers Israel
Mark Thomas
markthethomas
Jesus follower. Principal engineer @FloQast. Author for Manning (@react-in-action). Lover of beautiful systems
@floqast, @react-in-action Los Angeles
Michael Snoyman
snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)
@fpco Israel
Randall Hunt
ranman
CTO @caylent. Formerly of Facebook, AWS, SpaceX, MongoDB, and NASA.
@caylent Los Angeles, CA
Jason Pamental
jpamental
Designer, tinkerer, typographer. Author of Responsive Typography, Invited Expert to the W3C, and 10yrs+ focused on better typography for the web.
RWT.io Rumford, RI
PreviousNext