Hackernews posts about Upsolve

1. Unsolved Problem by Fields Medalist Breached by Two High School Students (www.htx.com)
   34 points by soltanov 6 days ago | 59 comments
2. 29,787 Open Ollama Servers and an Unsolved Mystery (day50.dev)
   16 points by kristopolous 20 days ago | 6 comments
3. Astra broke a yet unsolved German Army Enigma message from 1941 (mvueh-enigma-solved.carterl.chatgpt.site)
   5 points by smusamashah 3 days ago | 2 comments
4. Unsolved Historical Ciphers (dbourdeau.github.io)
   5 points by Bluestein 1 day ago | discuss
5. Astra broke a yet unsolved German Army Enigma message from 1941 (mvueh-enigma-solved.carterl.chatgpt.site)
   4 points by bananaflag 2 days ago | 1 comments
6. ChatGPT-6 Astra cracks 108-year-old unsolved WWI German code for the first time (www.tomshardware.com)
   3 points by NordStreamYacht 1 day ago | discuss
7. Vibe-Coding a Memory Tool for Agents: Confronting Unsolved Philosophical (arbustoemchamas.substack.com)
   2 points by birdculture 21 days ago | discuss
8. Famous Unsolved Math Problems as Homework(2015) (blogs.ams.org)
   1 points by nill0 13 days ago | discuss
9. Ask HN: Is September 8th AGI Day?
   3 points by rvz 12 days ago | 20 comments
10. Ask HN: Why is HN focusing a lot on human drama and not AI solving ME problem?
    2 points by aurareturn 12 days ago | 3 comments
11. Why Six Millennium Problems May Be Hard for the Same Reason
    1 points by darius88 4 days ago | 1 comments
12. Show HN: Reverse-engineered a gaming mouse's HID protocol to bring it to Linux (github.com)
    1 points by blakok4 30 days ago | discuss
13. Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher (www.vals.ai)
    1216 points by u1hcw9nx 7 days ago | 571 comments
14. How I find problems to solve as a staff engineer (lalitm.com)
    591 points by vanpra 28 days ago | 170 comments
15. GPT-6 Astra Solves a WWI German Radio Cipher (www.prinzai.com)
    385 points by nsoonhui 1 day ago | 175 comments
16. Learning to solve hard problems in RL for LLMs by never giving up (mnoukhov.github.io)
    119 points by natolambert 5 days ago | 9 comments
17. Apple detectives solved mystery of ancient tree and rewrote the history of fruit (www.scientificamerican.com)
    68 points by nkurz 4 days ago | 19 comments
18. Show HN: SCIP MIP solver bindings for Go, ported from russcip (github.com)
    12 points by generalist_dev 5 days ago | discuss
19. 3Blue1Brown: The last IMO problem AI could not solve [video] (www.youtube.com)
    8 points by Razengan 2 days ago | 1 comments
20. Joe Shipman proves marked ruler and compass solves the general quintic
    4 points by jjgreen about 10 hours ago | discuss
21. Elegant Shape of Eiffel Tower Solved Mathematically by CU-Boulder Prof (2005) (www.colorado.edu)
    4 points by floweronthehill 1 day ago | discuss
22. The last IMO problem AI could not solve [video] (www.youtube.com)
    4 points by pykello 2 days ago | discuss
23. Repology.org domain appears to be on registrar hold (resolves to 127.0.0.1) (github.com)
    4 points by GalaxySnail 6 days ago | discuss
24. Show HN: A poetry site for developers – solve a code puzzle to post (developerpoetry.com)
    3 points by attels33 about 7 hours ago | discuss
25. The last IMO problem AI could not solve [video] (www.youtube.com)
    3 points by ColinWright 1 day ago | discuss
26. Fable 5.1 vs. Astra for coding: Fable 2X more expensive per task but solves more (aistack.imec-int.com)
    2 points by mindwraps 2 days ago | 4 comments
27. Germany's green developers hit a wall: Insolvencies, tighter credit (www.briefs.co)
    2 points by leonidasrup about 9 hours ago | discuss
28. A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables (github.com)
    2 points by khalilovshamil3 1 day ago | discuss
29. Visualizing the ABA Problem: What Crossbeam-Epoch Solves (sofiabelen.github.io)
    2 points by iphonecorridor 1 day ago | discuss
30. A Wordle solver that shows you why each guess narrows the field (turnword.com)
    1 points by mwaci about 2 hours ago | discuss