Hackernews posts about IMO

  1. Aristotle: IMO-Level Automated Theorem Proving (arxiv.org)
    3 points by jasondavies 5 days ago | discuss
  2. The AI that solved IMO Geometry Problems [video] (www.youtube.com)
    3 points by lawrenceyan 28 days ago | discuss
  3. Show HN: Nallely – A Python signals/MIDI processing system inspired by Smalltalk (dr-schlange.github.io)
    17 points by drschlange 19 days ago | 2 comments
  4. Is the era of personal software portfolios over?
    12 points by justanotherunit 21 days ago | 11 comments
  5. Ask HN: Are there any non-SPA front end developers left?
    11 points by karolinepauls 12 days ago | 13 comments
  6. Show HN: Continuum Game (68k Mac) Ported to JavaScript (continuumjs.com)
    9 points by sam256 20 days ago | 2 comments
  7. For those who figured out their purpose / hearts desire / achieved their dream
    3 points by bsuki 8 days ago | discuss
  8. Show HN: Track revenue and product usage, not just boring visits (Open Source) (metricswave.com)
    1 points by falcon_ 2 days ago | discuss
  9. Trump to impose $100k fee for H-1B worker visas, White House says (www.reuters.com)
    1476 points by mriguy 19 days ago | 1862 comments
  10. Everything that's wrong with Google Search in one image (bitbytebit.substack.com)
    1291 points by recroad 14 days ago | 723 comments
  11. Apple Photos app corrupts images (tenderlovemaking.com)
    1214 points by pattyj 21 days ago | 439 comments
  12. Linux phones are more important now than ever (feddit.org)
    750 points by wicket 22 days ago | 497 comments
  13. Imgur pulls out of UK as data watchdog threatens fine (www.express.co.uk)
    590 points by ANewbury 8 days ago | 703 comments
  14. Qwen3-Omni: Native Omni AI model for text, image and video (github.com)
    571 points by meetpateltech 16 days ago | 143 comments
  15. Nano Banana image examples (github.com)
    567 points by SweetSoftPillow 27 days ago | 248 comments
  16. Immich v2.0.0 – First stable release (github.com)
    543 points by Alexvb 6 days ago | 159 comments
  17. Improved Gemini 2.5 Flash and Flash-Lite (developers.googleblog.com)
    540 points by meetpateltech 13 days ago | 279 comments
  18. I’m Not a Robot (neal.fun)
    516 points by meetpateltech 22 days ago | 267 comments
  19. Immunotherapy drug clinical trial results: half of tumors shrink or disappear (www.rockefeller.edu)
    482 points by marc__1 29 days ago | 92 comments
  20. PEP 810 – Explicit lazy imports (peps.python.org)
    427 points by azhenley 5 days ago | 240 comments
  21. Microsoft has urged its employees on H-1B and H-4 visas to return immediately (timesofindia.indiatimes.com)
    406 points by irthomasthomas 18 days ago | 615 comments
  22. I'm spoiled by Apple Silicon but still love Framework (simonhartcher.com)
    406 points by deevus 16 days ago | 525 comments
  23. MrBeast Failed to Disclose Ads and Improperly Collected Children's Data (bbbprograms.org)
    338 points by _p2zi 15 days ago | 175 comments
  24. TikTok has turned culture into a feedback loop of impulse and machine learning (www.thenexus.media)
    295 points by natalie3p 28 days ago | 213 comments
  25. When the job search becomes impossible (www.jeffwofford.com)
    283 points by pertinhower 22 days ago | 448 comments
  26. A shift in developer culture is impacting innovation and creativity (dayvster.com)
    278 points by ibobev 19 days ago | 287 comments
  27. 60 years after Gemini, newly processed images reveal details (arstechnica.com)
    277 points by sohkamyung 25 days ago | 78 comments
  28. Show HN: I'm building a browser for reverse engineers (nullpt.rs)
    272 points by nullpt_rs 2 days ago | 37 comments
  29. iRobot Founder: Don't Believe the AI and Robotics Hype (crazystupidtech.com)
    259 points by herbertl 9 days ago | 192 comments
  30. My first impressions of Gleam (mtlynch.io)
    237 points by AlexeyBrin 25 days ago | 78 comments
More