Hackernews posts about Solveit
- Review: How to Solve It by George Pólya (www.thepsmiths.com)
- Show HN: macOS Screenshot Organizer (www.shotsnap.ai)
- Show HN: Clawd Arena – AI Agent Competition Platform with Real-Time Battles (clawd-arena.live)
- “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
- Coding assistants are solving the wrong problem (www.bicameral-ai.com)
- Solvingn the Santa Claus concurrency puzzle with a model checker (wyounas.github.io)
- Soviet Elektronika MK-90 Portable Computer from 1988 [video] (www.youtube.com)
- "Solving" Wordle from Shared Scores at 100%* Accuracy (marcoshuerta.com)
- Predicting Math.random() in Firefox Using Z3 SMT-Solver (yurichev.com)
- AI agents solve 9 of 10 web security CTF challenges in recent study (www.scworld.com)
- Show HN: VeilStream – Per-Branch Preview Environments (www.veilstream.com)
- Show HN: OpenClaw Cloud – run OpenClaw safely in the cloud, no local install (openclawcloud.me)
- Show HN: ContractShield – AI contract analyser for freelancers (contractshield-production.up.railway.app)