Xena
Mathematicians learning Lean by doing.
By Kevin Buzzard.
🇬🇧
More info
Updated 3 months ago
Lean in 2024
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 …
By xenaproject, 1,780 words
Quomodocumque
Math, Madison, food, the Orioles, books, my kids.
By Jordan S. Ellenberg.
🇺🇸
More info
Updated a week ago
Road trip to totality 2024
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. …
Persiflage
Galois Representations and more!
🇺🇸
More info
Updated 2 months ago
Midlife crisis
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 …
A Sunday of Liberty
But we want to be the poets of our life—first of all in the smallest, most everyday matters.
By Damian.
More info
Updated a week ago
Obiter Scripta, no. 128
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 …
By Outis Niemand, 225 words
Anecdotal Evidence
A blog about the intersection of books and life.
By Patrick Kurt.
🇺🇸
More info
Updated 2 hours ago
'And Here the Nothingness Shows Through'
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 …
By Patrick Kurp, 440 words
Dr. Roseanne Chambers – Blog
Geologist, geographer and writer in the San Francisco Bay Area.
🇺🇸
More info
Updated 2 weeks ago
Turning Back Time – Rope
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 …
By Roseanne Chambers, 1,493 words
Natural History Journal
Notes from a California Naturalist.
By Siera Nystrom.
🇺🇸
More info
Updated 2 weeks ago
Abundant Life
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 …
By Siera Nystrom, 350 words
Earth Science Picture of the Day - a service of USRA
Highlights the diverse processes and phenomena which shape our planet and our lives. EPOD will collect and archive photos, imagery, graphics, and artwork with short explanatory captions and links exemplifying features within the Earth system.
🇺🇸
More info
Updated a day ago
The Moon and Jupiter at Conjunction on January 18, 2024
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 …
Coppola Comment
Finance, economics and music.
By Frances Coppola.
🇬🇧
More info
Updated a week ago
The West must no longer tolerate Israel's human rights breaches
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 …
By Frances Coppola, 175 words
Conversable Economist
In Hume’s spirit, I will attempt to serve as an ambassador from my world of economics, and help in “finding topics of conversation fit for the entertainment of rational creatures.”.
By Timothy Taylor.
🇺🇸
More info
Updated 17 hours ago
Interview with David Dunning, of Dunning-Kruger Fame
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 …
By conversableeconomist, 1,050 words
Strong Language
A sweary blog about swearing.
More info
Updated 3 weeks ago
That’s bitchin’!
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 …
By Nancy Friedman, 1,013 words
PogoWasRight.org: Privacy News & Issues
My attempt to increase awareness of privacy news and issues.
🇺🇸
More info
Updated 20 hours ago
Proposed FTC Order Prohibits Telehealth Firm Cerebral from Using or Disclosing Sensitive Data for Advertising Purposes, Requires it to Pay $7M
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 …
LostFocus
A weblog by Dominik Schwind.
🇩🇪
More info
Updated 3 days ago
Week 15, 2024
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 …
roytang.net
Roy Tang's blog. Programmer, engineer, scientist, critic, gamer, dreamer, and kid-at-heart. Randomly amazed.
🇵🇭
More info
Updated 4 days ago
Weeknotes 2024-04-14 Spring Cleaning
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 …
Seirdy - Articles
All the long-form articles on Seirdy's Home.
By Rohan Kumar.
🇺🇸
More info
Updated a week ago
MDN’s AI Help and lucid lies
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 …