Job Snijders
job
Freelance BGP & RPKI engineer, director at @peeringdb, director at RSSF, hacker at @openbsd
@OpenBSD @PeeringDB Amsterdam, Netherlands
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Remzi Arpaci-Dusseau
remzi-arpacidusseau
Remzi Arpaci-Dusseau is a full professor in the Computer Sciences department at the University of Wisconsin-Madison.
University of Wisconsin-Madison Madison, WI
VM Actions
vmactions
Virtual machines for Github Actions. Use FreeBSD, OpenBSD, Solaris, etc in Github Actions.
Kunshan Wang
wks
PL/VM enthusiast;
MMTk contributor;
Developing mmtk-ruby;
Mu Micro VM designer;
ANU graduate.
SergeyStaroletov
Teacher *
Research enthusiast
* Developer of complex software systems
localhost Capital of the World
A. Jesse Jiryu Davis
ajdavis
Senior Staff Engineer at MongoDB, working on replication.
No recruiters please!
@mongodb New York City
K framework
kframework
University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Anirudh Oppiliappan
icyphox
building tangled.sh — git collaboration platform built on atproto
Helsinki
Dennis Yurichev
DennisYurichev
This account is used mostly for contributing to other's projects. For mine, visit my websites.
Kyiv/Kiev, Ukraine
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
NASA Jet Propulsion Laboratory
nasa-jpl
A world leader in the robotic exploration of space
Pasadena, California, US