yc
Axiomat – Agents that cannot hallucinate
Formally verified data queries
新项目,适合观察早期产品方向。
Formally verified data queries
新项目,适合观察早期产品方向。
SE3 Labs - Real-World RL Environments for Robot Models
yc · 22:17 11-09
Volaren – Your Personal Investing Agent
yc · 21:30 11-09
Nodus Compute | Get more AI from the GPUs that already exist
yc · 20:30 11-09
Redoubt: Commercial insurance for small businesses, placed by software, serviced by a person
yc · 19:00 11-09
Boxes.dev - Move your AI coding to the cloud
yc · 18:00 11-09
ArchGen Labs | Building skyscrapers for semiconductor chips
yc · 17:00 11-09