jessup
John Conway’s contributions to mathforum.org (1993-2004)
John Conway – The Free Will Lectures (2009) [video]
Harris versus Buzzard (2019)
Clang and FSF's Strategy (2014)
Metacat: a computer model of analogy-making and perception (2016)
Intuitions about Cohomology
Optical Computing: A 60-Year Adventure (2010)
Ask HN: When will a technology like Lean Prover overtake LaTeX?
[Edit: Measured by it's adoption in the workflows of working mathematicians, students enrolled in math classes, etc.]I have been typing up exercises from the end of chapter one of Atiyah and MacDonald's "Introduction to Commutative Algebra" in LaTeX (via emacs plus auctex). As a commutative algebra student, I wonder if it would be fun to type these up with software like the Lean prover...
Math joke (Richard P. Stanley)
masterful understatement imo
Functional Pearl: Enumerating the Rationals [pdf]
-- E. T. Bell
Functional Pearl: Enumerating the Rationals [pdf]
David Foster Wallace (1997)
http://observer.com/1997/10/john-updike-champion-literary-ph...
Taming the Web (2001)
The Case Against Computers in K-13 Math Education (1996)
The Kruskal Count Card Trick
https://video.ias.edu/The-Practice-of-Mathematics
The video is not great, but the content. From the summary:
"In spite of forty years as a mathematician, I have difficulty describing these problems, even to myself, in a simple, cogent and concise manner that makes it clear what is wanted and why. As a possible, but only partial, remedy I thought I might undertake to explain them to a lay audience."
A lambda calculus for quantum computation
This Week's Finds in Mathematical Physics (Week 240) (2006)
A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom
To Understand Rising Inequality, Consider Janitors
>It exterminates humanity not because it's evil, but because our blood contains iron that could be better used in paper clips.
The consolation of the cingularity narrative is that it tells a story in which the world is not—yet—being destroyed by paper clip maximizers—in cingularity land, the nightmare scenario is still a ways off, and thankfully, with the help of a few Ayn Rand types, market forces can still save us.
Sideways addition
Taming the Web (2001)
Welcome to the CMU Artificial Intelligence Repository (1994)
This statement is leading me to rethink my conception of how steganography might be applied In The Real World.