Hackernews posts about IMO

  1. Gemini 3 Pro solves IMO 2025 P6 with some prompting (no hints or tools involved) (old.reddit.com)
    1 points by amichail about 7 hours ago | discuss
  2. IMO-Bench – Towards Robust Mathematical Reasoning (imobench.github.io)
    1 points by stared 17 days ago | discuss
  3. Show HN: MNML – Android Launcher (Open Testing Release)
    5 points by tuxxness 26 days ago | 2 comments
  4. Ask HN: Would open-source devs accept financial compensation for AI training?
    2 points by i-con 23 days ago | 2 comments
  5. Crowdsourced Prompt Engineering
    1 points by notjunior 9 days ago | discuss
  6. The Truth Codex – A Charter for Friction-Tolerant Intelligence
    1 points by kraull 15 days ago | discuss
  7. Nano Banana can be prompt engineered for nuanced AI image generation (minimaxir.com)
    882 points by minimaxir 9 days ago | 235 comments
  8. I’m worried that they put co-pilot in Excel (simonwillison.net)
    494 points by isaacfrond 17 days ago | 334 comments
  9. Open Source Implementation of Apple's Private Compute Cloud (github.com)
    433 points by adam_gyroscope 17 days ago | 102 comments
  10. Simplify your code: Functional core, imperative shell (testing.googleblog.com)
    411 points by reqo 29 days ago | 213 comments
  11. I'm drowning in AI features I never asked for and I hate it (www.makeuseof.com)
    348 points by gnabgib 28 days ago | 226 comments
  12. Generative AI Image Editing Showdown (genai-showdown.specr.net)
    342 points by gaws 25 days ago | 77 comments
  13. Ventoy: Create bootable USB drive for ISO/WIM/IMG/VHD(x)/EFI Files (github.com)
    289 points by wilsonfiifi 23 days ago | 121 comments
  14. Fil-C: A memory-safe C implementation (lwn.net)
    283 points by chmaynard 25 days ago | 135 comments
  15. Bluetooth 6.2 – more responsive, improves security, USB comms, and testing (www.cnx-software.com)
    267 points by zdw 17 days ago | 158 comments
  16. My Impressions of the MacBook Pro M4 (michael.stapelberg.ch)
    252 points by secure 22 days ago | 397 comments
  17. iPod Socks (en.wikipedia.org)
    241 points by riffic 11 days ago | 49 comments
  18. What happened to Transmeta, the last big dotcom IPO (dfarq.homeip.net)
    235 points by onename 10 days ago | 153 comments
  19. Hyundai Paywalls Brake Pads replacement on Ioniq 5 N (www.thedrive.com)
    227 points by zdw 7 days ago | 179 comments
  20. We ran over 600 image generations to compare AI image models (latenitesoft.com)
    204 points by kalleboo 11 days ago | 103 comments
  21. GenAI Image Editing Showdown (genai-showdown.specr.net)
    201 points by rzk 28 days ago | 51 comments
  22. Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
    194 points by vermaden 15 days ago | 47 comments
  23. Incus-OS: Immutable Linux OS to run Incus as a hypervisor (linuxcontainers.org)
    185 points by _kb 17 days ago | 69 comments
  24. Some people can't see mental images (www.newyorker.com)
    183 points by petalmind 23 days ago | 368 comments
  25. Python Steering Council unanimously accepts "PEP 810, Explicit lazy imports" (discuss.python.org)
    170 points by Redoubts 19 days ago | 61 comments
  26. Immutable releases are now generally available on GitHub (github.blog)
    153 points by fastest963 22 days ago | 62 comments
  27. Skyfall-GS – Synthesizing Immersive 3D Urban Scenes from Satellite Imagery (skyfall-gs.jayinnn.dev)
    147 points by ChrisArchitect 19 days ago | 36 comments
  28. New OSM file format: 30% smaller than PBF, 5x faster to import (community.openstreetmap.org)
    145 points by raybb 29 days ago | 12 comments
  29. Run Docker containers natively in Proxmox 9.1 (OCI images) (raymii.org)
    144 points by jandeboevrie 2 days ago | 47 comments
  30. Why I'm Learning Sumerian (mindthenerd.com)
    131 points by surprisetalk 16 days ago | 85 comments
More