Stories by ocfnash

AI solves International Math Olympiad problems at silver medal level

Building geometry solvers for the IMO Grand Challenge

The Unison language

Rigorous Mathematics

Stein's Paradox: better than average estimation [pdf]

Fractalize That

David Spiegelhalter's Cambridge Coincidences

Abraham–Minkowski Controversy

Vulnerabilities in Medtronic's implanted heart defibrillators

Gravitational Wave Detections Will Settle Hubble Constant Conundrum

The Scientists Who Pee Plutonium

QED – an interactive textbook

Random Points on a Sphere (Part 2)

Penetrating the abstract CPU model: Intel store-buffer capacity is measurable

Tools for converting Python code to AWS Step Function JSON

Abel Prize 2018 awarded to Robert P. Langlands [pdf]

New Universe Simulation Makes Predictions About Cosmological Structures

Editors-in-chief of math journal resign over controversial paper

Sci-Hub domains inactive following court order

Tweetable Mathematics