Stories by ogogmad

Zeta(5) has been proven irrational (also Lean-verified)

Tao's reservations on future AI-only solutions to NS finite-time blowup problem

Eisenstein Integers

Grassmann's Law (Linguistics)

Verner's Law (Linguistics)

Grimm's Law

Simple Machine

Gap in Mochizuki's proof of ABC confirmed by Lean

Swalt Smart Case, the ultimate way to protect your mobile

Critical Perspectives on Provable Security: 15 Years of "Another Look" Papers [pdf]

Simple Machines

Why Everyone Gets the F1 Inerter Wrong – Explained Clearly [video]

Chlorpromazine

Does Syntax Matter?

Bead Sort (Gravity Sort)

OpenSUSE Kalpa

Boss of 'Black Swan' fund expects stocks to surge higher before a historic crash

Riemann Surfaces

Computability of Differential Equations

GraphCore

1 2 3 4 5 6