Researcher @ Bank of Italy
Rusty Russell
rustyrussell
GPG: 15EE 8D6C AB0E 7F0C F999 BFCB D920 0E6C D1AD B8F1
Rusty Russell <rusty@rustcorp.com.au>
npub179e9tp4yqtqx4myp35283fz64gxuzmr6n3yxnktux5pnd5t03eps0el
Blockstream
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
Rust, OCaml, ZK, Formal Verification, Blockchain, BFT, Consensus,
Protocol Design, Mathematics
@Granola-Team Vancouver, BC
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
Eugene Yan
eugeneyan
I build ML, RecSys, & LLM systems @amzn, and write @ eugeneyan.com.
Amazon Seattle
Samuel Colvin
samuelcolvin
Creator of Pydantic, you should try Pydantic Logfire
@pydantic London, United Kingdom
Andi Frank
aefrank
I am a graduate researcher at UC San Diego working with the @CogRob lab on turning human cognition and reasoning into math for robots!
https://www.cogrob.org/ La Jolla, San Diego
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