Stories by mathgenius

Bullhead City, Arizona Was a Paradise. Then Came a Biblical Plague of Flies

Interactive theorem proving using LEAN [video]

The Universe Speaks in Numbers

MIT spinout offering up to $1.5M to ventures in Applied Category Theory

Quantum information in quantum cognition

Do I truly want to become a manager?

Rejections of Famous Papers (2006)

Amazon Prime Boss Named CEO of Google-Backed Quantum Computing Startup

M1F, Imperial Undergraduates, and Lean

Physics Is Pointing Inexorably to Mind

The Universe Speaks in Numbers

Making Sense of Quantum Mechanics

The Complexity of Mosaics

Interview with Edward Witten

A graphical language for quantum logic gates

How to live without free will

Twisted Graphene Became the Big Thing in Physics

Uncertainty from Heisenberg to Today [pdf]

Gerby, online tag-based view for large LaTeX documents

Quantum Information Meets Quantum Matter

22
23
24
25
26
27
28
29
30
31