Rusty Russell
rustyrussell
GPG: 15EE 8D6C AB0E 7F0C F999 BFCB D920 0E6C D1AD B8F1
Rusty Russell <rusty@rustcorp.com.au>
npub179e9tp4yqtqx4myp35283fz64gxuzmr6n3yxnktux5pnd5t03eps0el
Blockstream
Informal Systems
informalsystems
Fostering trust in software & money. Building Quint, an executable spec language and Cycles, a clearing protocol for capital efficient finance.
Tenderly
Tenderly
Start monitoring your contracts with error tracking, detailed contract analytics and smart alerts that notify you when something happens.
Belgrade
Quantifier
Isaac-DeFrain
ZK, Rust, OCaml, Formal Verification, Blockchain, BFT, Consensus,
Protocol Design, Mathematics
@Quantifier-Tech Vancouver, BC
Vilson Vieira
automata
I create algorithms that create.
AI Engineer | AI Researcher | Founder London
Massimo Bartoletti
bitbart
I am a computer scientist at the University of Cagliari, Italy
University of Cagliari
CraftJarvis
CraftJarvis
This is the collection of our joint efforts to Craft an open-ended, multitask, generalist agent (Jarvis).
Samuele Marro
samuelemarro
Hey there! I'm a DPhil Student at Oxford University's AIMS CDT, funded by Microsoft. My research focuses on communication protocols between language models.
Oxford, UK
Samuel Colvin
samuelcolvin
The Pydantic Stack: Pydantic Validation, Pydantic AI and Pydantic Logfire
@pydantic London, United Kingdom
David Beazley
dabeaz
Author of the Python Essential Reference (Addison-Wesley), Python Cookbook (O'Reilly), and former computer science professor. Come take a class!
Dabeaz, LLC Chicago
Bas Nijholt
basnijholt
🔬 Building quantum computers at IonQ by day, crafting various open-source tools at night.
@IonQ Seattle, USA
Pezzo
pezzolabs
Pezzo is an AI development toolkit designed to streamline prompt design, version management, publishing, collaboration, troubleshooting, observability and more.
Fixie.ai
fixie-ai
Fixie is the platform for building and managing LLM powered applications
United States of America
qntm
qntm
Approximately one-third of my projects have some legitimate use. See if you can guess which ones!
PreviousNext