Hackernews posts about Solveit

  1. Review: How to Solve It by George Pólya (www.thepsmiths.com)
    1 points by jger15 22 days ago | discuss
  2. Do people still need websites, or just a public page?
    4 points by paravaib 18 days ago | 11 comments
  3. How do you reconstruct what a financial system observed at time T, years later?
    3 points by denjuro 8 days ago | 2 comments
  4. How do you track contact lens replacement?
    2 points by swetahs1 2 days ago | 2 comments
  5. Ask HN: How to overcome the limit of roles in LLM's
    2 points by weli 19 days ago | 1 comments
  6. Agent API for Claude Code / Claude Agent SDK
    2 points by waterli 14 days ago | discuss
  7. Show HN: macOS Screenshot Organizer (www.shotsnap.ai)
    2 points by libiny 17 days ago | discuss
  8. Show HN: Clawd Arena – AI Agent Competition Platform with Real-Time Battles (clawd-arena.live)
    1 points by unayung 1 day ago | discuss
  9. Launchie brings back the launchpad to macOS 26 Tahoe
    1 points by nickfthedev 29 days ago | discuss
  10. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
    619 points by cod1r 25 days ago | 363 comments
  11. Coding assistants are solving the wrong problem (www.bicameral-ai.com)
    167 points by jinhkuan about 22 hours ago | 129 comments
  12. Geologists may have solved mystery of Green River's 'uphill' route (phys.org)
    165 points by defrost 1 day ago | 43 comments
  13. Solvingn the Santa Claus concurrency puzzle with a model checker (wyounas.github.io)
    16 points by simplegeek 5 days ago | 2 comments
  14. Soviet Elektronika MK-90 Portable Computer from 1988 [video] (www.youtube.com)
    8 points by akuzi 4 days ago | discuss
  15. "Solving" Wordle from Shared Scores at 100%* Accuracy (marcoshuerta.com)
    6 points by plaguna 2 days ago | discuss
  16. Predicting Math.random() in Firefox Using Z3 SMT-Solver (yurichev.com)
    3 points by thunderbong about 23 hours ago | discuss
  17. Show HN: PyVRP, an open-source vehicle routing problem solver (github.com)
    2 points by nawouda 11 days ago | 3 comments
  18. Solving the AI Agent Dilemma: "Ask" Redefines Agent Skills Distribution (github.com)
    2 points by yeasy about 5 hours ago | 1 comments
  19. AI agents solve 9 of 10 web security CTF challenges in recent study (www.scworld.com)
    2 points by Bender 1 day ago | discuss
  20. Show HN: Coi – A language that compiles to WASM, beats React/Vue
    225 points by io_eric 14 days ago | 69 comments
  21. Launch HN: Modelence (YC S25) – App Builder with TypeScript / MongoDB Framework
    65 points by eduardpi about 11 hours ago | 36 comments
  22. Show HN: Sandbox Agent SDK – unified API for automating coding agents (github.com)
    41 points by NathanFlurry 7 days ago | 7 comments
  23. Ask HN: Is understanding code becoming "optional"?
    16 points by mikaelaast 4 days ago | 41 comments
  24. Show HN: VeilStream – Per-Branch Preview Environments (www.veilstream.com)
    6 points by joram87 about 9 hours ago | discuss
  25. Show HN: I lost 3 years of ChatGPT history overnight, so I built a backup tool
    4 points by benjushi 3 days ago | 2 comments
  26. Show HN: OpenClaw Cloud – run OpenClaw safely in the cloud, no local install (openclawcloud.me)
    4 points by stefanopochet 1 day ago | discuss
  27. Ask HN: A proposal for interviewing "AI-Augmented" Engineers
    3 points by vanbashan 1 day ago | 5 comments
  28. Ask HN: Tell me about your internal tools
    3 points by doawoo about 22 hours ago | 1 comments
  29. Show HN: ContractShield – AI contract analyser for freelancers (contractshield-production.up.railway.app)
    3 points by Judd_W 2 days ago | discuss
  30. Show HN: DNA Platform – A School for Outliers
    2 points by thaianhsoft about 17 hours ago | 5 comments
More