Skip to content
Oliver Nash
Oliver is a mathematician by training, with a doctorate in geometry. He spent ten years working in finance, and a few years at a tech startup. These days he’s involved in formalising mathematics with the Mathlib project. He lives in Dublin, Ireland.
Latest from Oliver Nash
10/21/2021
About ten years ago, we designed and made an Arduino shield implementing “core memory,” a technology that was sixty years...
When you buy through links on our site, we may earn an affiliate commission.
Cookie Settings
