| 1. | | The Homepage of Ron Goodwin (rongoodwin.co.uk) |
| 4 points by ocfnash 38 days ago | past | 1 comment |
|
| 2. | | Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org) |
| 2 points by ocfnash 4 months ago | past |
|
| 3. | | OpenAI claiming gold medal standard at IMO 2025 (github.com/aw31) |
| 21 points by ocfnash 7 months ago | past | 7 comments |
|
| 4. | | AI solves International Math Olympiad problems at silver medal level (deepmind.google) |
| 1370 points by ocfnash on July 25, 2024 | past | 525 comments |
|
| 5. | | Building geometry solvers for the IMO Grand Challenge (jesse-michael-han.github.io) |
| 2 points by ocfnash on Sept 16, 2020 | past |
|
| 6. | | The Unison language (unisonweb.org) |
| 262 points by ocfnash on Jan 10, 2020 | past | 141 comments |
|
| 7. | | Rigorous Mathematics (xenaproject.wordpress.com) |
| 3 points by ocfnash on Dec 13, 2019 | past |
|
| 8. | | Stein's Paradox: better than average estimation [pdf] (stanford.edu) |
| 2 points by ocfnash on Oct 1, 2019 | past |
|
| 9. | | Fractalize That (bit-player.org) |
| 3 points by ocfnash on Sept 27, 2019 | past |
|
| 10. | | David Spiegelhalter's Cambridge Coincidences (understandinguncertainty.org) |
| 1 point by ocfnash on Aug 2, 2019 | past |
|
| 11. | | Abraham–Minkowski Controversy (wikipedia.org) |
| 7 points by ocfnash on July 25, 2019 | past |
|
| 12. | | Vulnerabilities in Medtronic's implanted heart defibrillators (theregister.co.uk) |
| 1 point by ocfnash on March 22, 2019 | past |
|
| 13. | | Gravitational Wave Detections Will Settle Hubble Constant Conundrum (simonsfoundation.org) |
| 1 point by ocfnash on Feb 15, 2019 | past |
|
| 14. | | The Scientists Who Pee Plutonium (warisboring.com) |
| 2 points by ocfnash on Oct 15, 2018 | past |
|
| 15. | | [dupe] QED – an interactive textbook (ucla.edu) |
| 26 points by ocfnash on July 29, 2018 | past | 1 comment |
|
| 16. | | Random Points on a Sphere (Part 2) (johncarlosbaez.wordpress.com) |
| 2 points by ocfnash on July 12, 2018 | past |
|
| 17. | | Penetrating the abstract CPU model: Intel store-buffer capacity is measurable (nicknash.me) |
| 1 point by ocfnash on April 12, 2018 | past |
|
| 18. | | Tools for converting Python code to AWS Step Function JSON (github.com/bennorth) |
| 86 points by ocfnash on March 26, 2018 | past | 4 comments |
|
| 19. | | Abel Prize 2018 awarded to Robert P. Langlands [pdf] (abelprize.no) |
| 2 points by ocfnash on March 20, 2018 | past |
|
| 20. | | New Universe Simulation Makes Predictions About Cosmological Structures (simonsfoundation.org) |
| 1 point by ocfnash on Feb 1, 2018 | past |
|
| 21. | | Editors-in-chief of math journal resign over controversial paper (retractionwatch.com) |
| 2 points by ocfnash on Dec 28, 2017 | past |
|
| 22. | | Tweetable Mathematics (mathoverflow.net) |
| 2 points by ocfnash on Nov 16, 2017 | past |
|
| 23. | | Visualising International Math Olympiad Results (olivernash.org) |
| 1 point by ocfnash on Nov 2, 2017 | past |
|
| 24. | | Security Theatre at Allied Irish Banks (details) (olivernash.org) |
| 4 points by ocfnash on June 14, 2015 | past |
|
| 25. | | Security Theatre at Allied Irish Banks (github.com/ocfnash) |
| 2 points by ocfnash on June 13, 2015 | past |
|
| 26. | | Mining Strava's cycling data (ocfnash.wordpress.com) |
| 27 points by ocfnash on May 25, 2014 | past | 11 comments |
|
| 27. | | Free DNA-based iOS game for 23andMe customers. (ocfnash.wordpress.com) |
| 1 point by ocfnash on April 16, 2014 | past |
|
| 28. | | The genetic code and the unreasonable ineffectiveness of mathematics. (americanscientist.org) |
| 1 point by ocfnash on Jan 13, 2014 | past |
|
