1New GitHub repository settings to configure pull request access (opens in new tab)(github.com)2cpeterso1mo ago0
2Your pet's microchip may now be useless after chip company goes out of business (opens in new tab)(local12.com)28cpeterso1mo ago26
4A benchmark for LLM vericoding: formally verified program synthesis (opens in new tab)(arxiv.org)2cpeterso2mo ago0
5Two Thinking Machines Lab Cofounders Are Leaving to Rejoin OpenAI (opens in new tab)(wired.com)2cpeterso2mo ago0
