Recently added blogs

A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern …

The last time we did this it was so magnificent that I said, on the spot, “see you again in 2024,” and seven years didn’t dim my wish to see the sun wink out again. …

Plein Air is certainly the best cafe in Hyde Park. (Arguably Build Coffee is fine as well, but they are only open about 5 hours a week.) But it is also true to say that …

The reward for work and accomplishments is almost always more work. The reward for meeting and exceeding previously-determined expectations is a new and elevated standard. We’ve never really “arrived” until we retire (regarding sport/business) or …

I watched an old favorite, Laurel and Hardy’s 1933 short Me and My Pal. It’s Oliver’s wedding day and his best man, Stanley, gives him a jigsaw puzzle as a wedding gift. Oliver dismisses it …

Rope is a handy item that we can trace back tens of thousands of years. Made from twisted or braided plant fibers, combined first in strands of string or yarn and then twisted into a …

Nature is all about life - and death.As lovers of the natural world, we delight in the abundant, thriving, humming life all around us, which is at no time of the year more apparent than …

Photographer: Vincenzo RussoSummary Author: Vincenzo RussoThis photo shows the Moon and Jupiter at conjunction on January 18, 2024. Jupiter is the bright dot in the lower right corner. If you look closely, each of the …

My latest post at Substack examines the state of play in Gaza after six months of war. Fair to say, it is truly horrible. But more importantly, there is now overwhelming evidence that Israel has …

The Dunning-Kruger effect can be paraphrased in this way: “On any particular topic, people who are not experts lack the very expertise they need in order to know just how much expertise they lack.” Corey …

A lot of surfer slang consists of in-crowd jargon or outmoded antiques: grommet (an eager young surfer), hodad (a non-surfer; a poser), log (a heavy surfboard), Noah (a shark). But other terms that bubbled up …

April 15 – Cerebral, Inc. has agreed to an order that will restrict how the company can use or disclose sensitive consumer data and require it to provide consumers with a simple way to cancel …

What a week! My blog was naked and Amazon dropped the Fallout series, which was very good. Maybe a bit too good. So I mostly spend my days (and nights) binging it and some more …

The world Iran launched a drone attack on Israel. Trump's first criminal trial begins this coming week. The weather continues to be punishingly harsh. My Week My week was exhausting, mostly because I was out …

Reply to Responsibly empowering developers with AI on MDN by Steve Teixeira IntroductionFollowing the release of MDN’s AI chatbot “feature”, many developers turned to GitHub Issues to voice concerns. Most concerns revolved around the chatbot …