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:
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:
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.
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.
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.
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.