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 tragedy of this generation is that they desperately want to be revolutionaries but can’t find a worthy cause to channel that energy into. https://t.co/Wqpk6PdFko — Holden (@Holden114) April 23, 2024 There may be several …

I have no musical talent apart from a sometimes annoying gift for remembering lyrics, and not always the good stuff. I know all the words to a radio jingle for a car dealer in Cleveland, …

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: Bret Webster Summary Author: Bret WebsterShown above are the famed Moqui Marbles found in southern Utah. Of course, they're not marbles but rather concretions having iron (hematite) rinds. The origin of these 1/2 inch …

It’s election season in the U.S., marred only by the minor complication of a criminal trial involving one of the candidates. Trump is on the campaign trail, and he is going big on trade policy. …

Why leave a tip? You have already received whatever food or service you are going to receive. Maybe if you are a very regular customer, tipping could lead to better service in the future. But …

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 …

Matthew Cullen reports: Arizona lawmakers today repealed an abortion ban that first became law in 1864, when Abraham Lincoln was president and a half-century before women won the right to vote. The repeal narrowly passed …

I often wake up with a random song as an earworm – and now I note them down for your enjoyment. This morning it was Duality by Slipknot

The world US colleges are experiencing a wave of pro-Palestinian protests demanding Universities cut their ties to Israel, etc. Some authorities have responded with militarized police forces breaking up protests and arresting protestors, giving everyone …

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 …