Hackernews posts about Solveit

  1. Show HN: I built self-hosted deployment automation tool for Windows and IIS (fdeploy.com)
    35 points by dt3ft 26 days ago | 23 comments
  2. Ask HN: What Can We Do?
    8 points by silexia 10 days ago | 6 comments
  3. Astra One Shotted Cains's Jawbone
    5 points by marcushyett 15 days ago | 5 comments
  4. Show HN: Roled – User and role management across multiple applications (github.com)
    2 points by dwji0sdf 7 days ago | 2 comments
  5. Solve@Home: An open version of OpenAI's 10k-agent approach to hard math (solveathome.org)
    2 points by Bry789123 9 days ago | discuss
  6. Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher (www.vals.ai)
    1216 points by u1hcw9nx 7 days ago | 571 comments
  7. How I find problems to solve as a staff engineer (lalitm.com)
    591 points by vanpra 28 days ago | 170 comments
  8. GPT-6 Astra Solves a WWI German Radio Cipher (www.prinzai.com)
    385 points by nsoonhui 1 day ago | 175 comments
  9. 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
  10. 'Stunning' percolation proof solves decades-old puzzle about phase transitions (www.quantamagazine.org)
    74 points by tzury 20 days ago | 29 comments
  11. 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
  12. Agents on Rails: Best model solves 35% of feature benchmark runs (rubyonrails.org)
    20 points by chalmovsky 9 days ago | 4 comments
  13. Has OpenAI model solved 80-year-old Navier-Stokes problem? (www.firstpost.com)
    20 points by bsilvereagle 12 days ago | 3 comments
  14. Authentication Is Largely Solved. Authorization Isn't (www.technometria.com)
    15 points by mooreds 11 days ago | 13 comments
  15. 17-year-old wins $250k after algorithm solves decades-old geometry puzzle (economictimes.indiatimes.com)
    12 points by bryanrasmussen 19 days ago | 1 comments
  16. Show HN: SCIP MIP solver bindings for Go, ported from russcip (github.com)
    12 points by generalist_dev 5 days ago | discuss
  17. AI may have just solved a million-dollar math problem (www.scientificamerican.com)
    10 points by lanstin 12 days ago | 8 comments
  18. Fable 5.1 Solves the Cyphral Distich (www.vals.ai)
    10 points by bashtoni 19 days ago | discuss
  19. IBM quantum computer solves classically intractable problem in 15 minutes (www.sciencedaily.com)
    9 points by taubek 18 days ago | discuss
  20. Ask HN: Coding is a solved problem. What is left for experienced engineers?
    8 points by gokuljs 27 days ago | 47 comments
  21. 3Blue1Brown: The last IMO problem AI could not solve [video] (www.youtube.com)
    8 points by Razengan 2 days ago | 1 comments
  22. I keep getting flagged for AI, but I suck at writing. How can I solve this?
    6 points by quesobob 25 days ago | 11 comments
  23. Why isn't decompilation a solved problem in the AI era?
    6 points by ferfumarma 10 days ago | 6 comments
  24. OpenAI Says It Has Solved a Millennium Prize Problem–A Holy Grail of Math (www.wsj.com)
    6 points by fortran77 12 days ago | 2 comments
  25. Racing to solve maths problems now 'pointless' (www.abc.net.au)
    6 points by elahieh 10 days ago | 1 comments
  26. Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] (raw.githubusercontent.com)
    5 points by kbr- 5 days ago | 1 comments
  27. Learning from the Soviet Collapse – Lessons from CCP Documentaries on the Fall (www.chinatalk.media)
    5 points by yubblegum about 22 hours ago | discuss
  28. Ten Mathematics Problems I Will Never Solve(1997)[pdf] (www.giancarlorota.org)
    5 points by num42 8 days ago | discuss
  29. Could Anthropic have solved Navier–Stokes? (twitter.com)
    5 points by marcelo-earth 16 days ago | discuss
  30. AI Has Solved One of Math's $1M Millennium Prize Problems (www.quantamagazine.org)
    4 points by sbulaev 12 days ago | 1 comments
More