👋
hello
Highlights
- Pro
Tristan Rice
d4l3k
Hi! ML+Self Driving+Security.
Maintainer for @pytorch Distributed, TorchX and TorchElastic
@pytorch @facebook Seattle/Vancouver
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
LUG @ USTC
ustclug
Linux User Group, University of Science and Technology of China(中国科学技术大学 Linux 用户协会)
Hefei, China
Catoverflow
Catoverflow
UIUC CS PhD in System, Linux fan, actively learning
@ustclug @xlab-uiuc Champaign, IL
Shivam
Shivs11
having fun @temporalio | UWaterloo CS Alum
prev @cockroachlabs, @aws, @wealthsimple, @IndexExchange, uplift, curinos Toronto, Ontario, Canada.
TigerBeetle
tigerbeetle
The financial transactions database designed for mission critical safety and performance.
United States of America
PreviousNext