HN Explorer

ocfnash

↗ HN profile [ 75.0 ms ] full profile
Karma
0
Created
()
Submissions
179
  1. The Homepage of Ron Goodwin (rongoodwin.co.uk)
    4 points 1
  2. Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org)
    2 points 0
  3. OpenAI claiming gold medal standard at IMO 2025 (github.com)
    21 points 4
  4. AI solves International Math Olympiad problems at silver medal level (deepmind.google)
    1370 points 561
  5. Building geometry solvers for the IMO Grand Challenge (jesse-michael-han.github.io)
    2 points 0
  6. The Unison language (unisonweb.org)
    262 points 143
  7. Rigorous Mathematics (xenaproject.wordpress.com)
    3 points 0
  8. Stein's Paradox: better than average estimation [pdf] (statweb.stanford.edu)
    2 points 0
  9. Fractalize That (bit-player.org)
    3 points 0
  10. David Spiegelhalter's Cambridge Coincidences (understandinguncertainty.org)
    1 points 0
  11. Abraham–Minkowski Controversy (en.wikipedia.org)
    7 points 0
  12. Vulnerabilities in Medtronic's implanted heart defibrillators (theregister.co.uk)
    1 points 0
  13. Gravitational Wave Detections Will Settle Hubble Constant Conundrum (simonsfoundation.org)
    1 points 0
  14. The Scientists Who Pee Plutonium (warisboring.com)
    2 points 0
  15. QED – an interactive textbook (math.ucla.edu)
    26 points 1
  16. Random Points on a Sphere (Part 2) (johncarlosbaez.wordpress.com)
    2 points 0
  17. Penetrating the abstract CPU model: Intel store-buffer capacity is measurable (nicknash.me)
    1 points 0
  18. Tools for converting Python code to AWS Step Function JSON (github.com)
    86 points 4
  19. Abel Prize 2018 awarded to Robert P. Langlands [pdf] (abelprize.no)
    2 points 0
  20. New Universe Simulation Makes Predictions About Cosmological Structures (simonsfoundation.org)
    1 points 0
  21. Editors-in-chief of math journal resign over controversial paper (retractionwatch.com)
    2 points 0
  22. Sci-Hub domains inactive following court order (theregister.co.uk)
    1 points 0
  23. Tweetable Mathematics (mathoverflow.net)
    2 points 0
  24. Visualising International Math Olympiad Results (olivernash.org)
    1 points 0
  25. Security Theatre at Allied Irish Banks (details) (olivernash.org)
    4 points 0