Hackernews posts about Upsolve

  1. Agentic Memory Is Still an Unsolved Problem
    4 points by manthangupta109 12 days ago | discuss
  2. AI benchmark of unsolved math problems, solutions verifiable programmatically (epoch.ai)
    2 points by greghb 7 days ago | discuss
  3. An unsolved question in sleep science (www.autodidacts.io)
    2 points by surprisetalk 9 days ago | discuss
  4. Ask HN: What to teach my kid if AI does math and CS?
    12 points by devShark 20 days ago | 22 comments
  5. Show HN: Blockchain-Based Equity with Separated Economic and Governance Rights (zenodo.org)
    4 points by iam_pri_s 22 days ago | discuss
  6. Show HN: CloudSlash – Graph-based AWS cleaner with Terraform undo
    3 points by drskyle 22 days ago | discuss
  7. Ask HN: What parts of software testing can realistically be autonomous today?
    1 points by nishilpatel 29 days ago | 5 comments
  8. Show HN: X-Pilot – Code-Driven AI Video Generator for Online Courses (www.x-pilot.ai)
    1 points by bianheshan 14 days ago | 1 comments
  9. What's still broken in Salesforce document generation?
    1 points by hackertarzen 9 days ago | discuss
  10. Show HN: OpenHiggs, Create controllable long form Generative AI content (github.com)
    1 points by jaskirat05 12 days ago | discuss
  11. Deep dive into Turso, the “SQLite rewrite in Rust” (kerkour.com)
    191 points by unsolved73 6 days ago | 145 comments
  12. The State of Rust Cryptography in 2026 (kerkour.com)
    5 points by unsolved73 16 days ago | discuss
  13. Let's Fucking Encrypt Everything (kerkour.com)
    3 points by unsolved73 19 days ago | 1 comments
  14. “Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
    619 points by cod1r 25 days ago | 363 comments
  15. Geologists may have solved mystery of Green River's 'uphill' route (phys.org)
    165 points by defrost 1 day ago | 43 comments
  16. Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle (www.quantamagazine.org)
    59 points by tzury 8 days ago | 4 comments
  17. Show HN: Ec – a terminal Git conflict resolver inspired by IntelliJ (github.com)
    5 points by neozz about 7 hours ago | discuss
  18. DNS Explained – How Domain Names Get Resolved (www.bhusalmanish.com.np)
    4 points by okchildhood about 22 hours ago | 6 comments
  19. Native Instruments is in preliminary insolvency proceedings (community.native-instruments.com)
    3 points by bankombinator about 19 hours ago | 2 comments
  20. Predicting Math.random() in Firefox Using Z3 SMT-Solver (yurichev.com)
    3 points by thunderbong 1 day ago | discuss
  21. Show HN: PyVRP, an open-source vehicle routing problem solver (github.com)
    2 points by nawouda 11 days ago | 3 comments
  22. AI agents solve 9 of 10 web security CTF challenges in recent study (www.scworld.com)
    2 points by Bender 1 day ago | discuss
  23. Show HN: Coi – A language that compiles to WASM, beats React/Vue
    225 points by io_eric 15 days ago | 69 comments
  24. Show HN: Minimal – Open-Source Community driven Hardened Container Images (github.com)
    119 points by ritvikarya98 3 days ago | 29 comments
  25. Show HN: I built a tool to assist AI agents to know when a PR is good to go (dsifry.github.io)
    45 points by dsifry 18 days ago | 35 comments
  26. Show HN: Sandbox Agent SDK – unified API for automating coding agents (github.com)
    41 points by NathanFlurry 7 days ago | 7 comments
  27. Tell HN: Cursor agent force-pushed despite explicit "ask for permission" rules
    7 points by xinbenlv 12 days ago | 9 comments
  28. Show HN: VeilStream – Per-Branch Preview Environments (www.veilstream.com)
    6 points by joram87 about 14 hours ago | discuss
  29. Ask HN: Tech Debt War Stories
    4 points by erubini_fg about 3 hours ago | 4 comments
  30. 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
More