Sunday Selection 2021-01-31

We’re at the end of the first month of 2021, and what a month it has been, at least for those of us in the United States. Personally, I’m mainly in the mode of sitting at home patiently while waiting to be eligible for getting the COVID vaccination, which is almost certainly another couple of months away. Luckily it is currently cold and snowy in my corner of the world, so I’m not particularly incentivized to go outside. While I’m stuck at home, I’m trying to read and write more, so here we are:

Henry Rollins on Defining Success

Even though I’m not very familiar with Rollins’ artistic work, his writing always seem to strike a chord with me. Some years ago, his article on Iron and the Soul encouraged me to make regular exercise, especially weightlifting, a serious part of my life. It was something that I managed to more or less keep up over the years and my life was better for it (until COVID-19 made gyms a bad idea). Similarly, the advice and ideas he presents in this piece are not exactly new, but he phrases them in a way that makes them seem like a breath of fresh air in a world that lately seems rather stale.

And now for something completely different:

Formalizing mathematics: an introduction

This is probably not going to be of much interest if you’re not a mathematician or theoretical computer scientist, but it’s something that’s been bouncing around my head. I’ve been looking into the Lean Theorem Prover, where one can write mathematical proofs in a programming language, so that the computer can check them. Theorem provers are being increasingly used to verify properties of software, but it seems like the pure mathematics is just getting on board with how useful they can be. This article tells us why these theorem provers might be crucial for advancing the state of pure mathematics, in more ways than one.

Brad Wright’s rules for Stargates, Star Wars and Superheroes

If there’s anything I like more than computers and software, it’s science fiction (ok, and food and drink and friends and family, but that’s a matter for another blog post). Brad Wright is a writer and showrunner responsible for the Stargate TV shows and for Travellers, which I think is one of the best high-concept, low-flash science fiction shows of the last decade. In this article, he talks about some of his rules of thumbs for not just good science fiction, but good storytelling, and I think many of my readers will find themselves nodding along.

The Theory of Everything: The Origin and Fate of the Universe by Stephen Hawking

I decided to start my book reading this year with one of the slimmest ones on my bookshelf. This is a series of lectures given by Stephen Hawking on how the universe began, how it’s continuing and how it might end. But what’s perhaps more interesting, Hawking goes into depth about how we came to know about all of it through centuries of discovery (and a number of wrong turns on the way). Reading this book reminded me of how much I enjoyed pop science as a teenager. I might have to pick up Hawking’s Brief History of Time after I’m done with this one.

Stacey Abrams on 3 questions to ask yourself about everything you do

If you haven’t been living under a rock you’re probably aware of the Democrats’ win in Georgia, thanks in large part due to the organizing activities of Stacey Abrams. I didn’t know much about her until the elections, besides that she ran for Georgia governor in 2018. In this TED talk from shortly after that election, she talks about events from her life that shaped, and as the title says, 3 questions to ask about everything you do.

In the presence of gods

From Wikipedia, James Gleick in Genius: The Life and Science of Richard Feynman:

This was Richard Feynman nearing the crest of his powers. At twenty-three … there was no physicist on earth who could match his exuberant command over the native materials of theoretical science. It was not just a facility at mathematics (though it had become clear … that the mathematical machinery emerging from the Wheeler–Feynman collaboration was beyond Wheeler’s own ability). Feynman seemed to possess a frightening ease with the substance behind the equations, like Albert Einstein at the same age, like the Soviet physicist Lev Landau—but few others.

Also, last week I went to a lecture by Jon Kleinberg, Tisch University Professor of Computer Science at Cornell University and winner of a MacArthur Foundation Fellowship (also known as a Genius Award), whose early research formed a large part of Google’s success as a search engine.

Some days we are reminded that we walk among giants, that we live in the presence of gods. On those days, we are humbled and uplifted at the same time.