joaotav
Follow
Adi Seredinschi
adizere
\\ eng & product at informal.systems
\\ building things that last
Informal.Systems Lausanne
LaurieWired
Reverse engineer specializing in cross-platform malware analysis with a focus on mobile threats.
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
Erik Demaine
edemaine
Professor in computer science at MIT. Specialist in algorithms and data structures.
Massachusetts Institute of Technology Cambridge, Massachusetts, USA
Karl Floersch
karlfloersch
Loving Ethereum, Casper, Cryptoeconomics, blockchain, open source, mechanism design, FP, P2P and of course Meditation.
@ethereum
Carlos Roldan
whiteyhat
I like open source, games, distributed ledgers tecnologies and neural networks
SATOSHIS GAMES Alicante
Ben Frederickson
benfred
Working on open source data science tools @NVIDIA
@nvidia Vancouver, BC, Canada
ashley williams
ashleygwilliams
a mess like this is easily five to ten years ahead of its time. former @rustlang core.
@axodotdev ATX
Richard Littauer
RichardLitt
Open source maintainer, birder, sailor, poet, linguist, flâneur, etc, etc, etc.
@sustainers Ndakinna & Montpelier, Vermont
Sindre Sorhus
sindresorhus
Full-Time Open-Sourcerer. Focused on Swift & JavaScript. Makes macOS apps, CLI tools, npm packages.
PreviousNext