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