1. 23 points by kcimc 2 days | discuss
  2. “Why not just use Lean?” (lawrencecpaulson.github.io)
  3. A playable DOOM MCP app (chrisnager.com)
  4. Laguna XS.2 and M.1 (poolside.ai)