cpeterso
- Karma
- 44,022
- Created
- 15 years ago
Recent Submissions
- 1. ▲ New GitHub repository settings to configure pull request access (github.com)
- 2. ▲ Your pet's microchip may now be useless after chip company goes out of business (local12.com)
- 3. ▲ GenAI Go SDK for AI (50984e11.maruel-ca.pages.dev)
- 4. ▲ A benchmark for LLM vericoding: formally verified program synthesis (arxiv.org)
- 5. ▲ Two Thinking Machines Lab Cofounders Are Leaving to Rejoin OpenAI (wired.com)