Hacker News new | ask | show | jobs
by brcmthrowaway 10 hours ago
It seems Cameron Zwarich has also joined OpenAI

Is there a Lean/OpenAI connection?