Sunday, April 6, 2025
Saturday, April 5, 2025
Sunday, March 30, 2025
Sunday, March 23, 2025
Tuesday, March 18, 2025
The Talented Mrs. Mandelbaum by Margalit Fox (2024)
Saturday, March 15, 2025
The Lindy Effect of public Internet Information and Object Permanence
The short and shrinking lifetime of trending ideas and technology is nowhere more evident than Internet blogs, web sites, AI companies, and memes. I discovered that jwz published a pair of scripts to make your URLs a little more permanent. One rewrite URLs to use archive.org and the other crawls your wordpress blog to rewrite all links to point at archive.org.
archive.org is the prime target for takedowns; in fact, the Lindy's Law link above was taken down! Luckily, other preservation sites are filling the gap for wayback machine functionality. There are many web sites like archive.ph, stillio, perma.cc, mementoweb, and archivebox that can fill the gaps, but the longevity of these archive sites is also questionable.
Friday, March 14, 2025
Die Haarteppichknüpfer von Andreas Eschbach (2021)
Sunday, March 9, 2025
The Technological Republic by Alex Karp (2025)
Saturday, March 8, 2025
Friday, March 7, 2025
Saturday, March 1, 2025
Midnight in Moscow by John J Sullivan (2024)
Wednesday, February 26, 2025
Sunday, February 23, 2025
New Foundland The Long Haul (2021)
Neal Stephenson's dialog and some plotting shine in this fantasy story Radio Play. I don't like swords and sorcery fantasy but this dramatic audio presentation is fun. 4/5 Stars.
Excerpt from the Third and Last Volume of "Tribes of the Pacific Coast" by Neal Stephenson (2008)
On Liberty by John Stuart Mill (1859)
Saturday, February 22, 2025
Wednesday, February 19, 2025
First they came for the Copy Editors. . .
First they came for the Socialists, and I did not speak out--
Because I was not a Socialist.
Then they came for the Trade Unionists, and I did not speak out--
Because I was not a Trade Unionist.
Then they came for the Jews, and I did not speak out--
Because I was not a Jew.
Then they came for me--and there was no one left to speak for me.
However, Niemöller likely used the word "Communists" in the original oration.
Monday, February 17, 2025
Travel
So when I came across this (long) gem of travel tips from the founder of Wired magazine, I read it with much interest. Kevin Kelly breaks travel down into "rest and relaxation" (R&R), engagement and experience (E&E), and business travel. He gives many small bits of advice for each type of travel with wisdom gained from his own hard-won "quantity time" traveling and thoughtful introspections. If you enjoy traveling, check out the article.I want not only to see the sites when I travel, but also smell the diesel fumes, taste authentic street food, and hear the "flavor" of local dialects. But more than that I want to feel and viscerally experience the attitudes, values, opinions, and sensibilities of the locals, to "get into their heads." I love to experience the culture, not just observe it.
Sunday, February 16, 2025
Saturday, February 15, 2025
Trusted Execution Environments and Byzantine Fault Algorithms
Thursday, February 13, 2025
The Lessons of History by Will & Arielle Durant (1997)
Tuesday, February 11, 2025
Saturday, February 8, 2025
Lawvere's Fixed-point Theorem blows my mind
Lawvere's fixed-point theorem explains why self-reference is unavoidable in any system that allows for functions to be applied to themselves. It provides a mathematical way to understand the idea of "I" in self-reference.
Think of it like this:
- A statement that refers to itself.
- A program that reads and modifies its own code.
- A formula that says, "If proving me means I'm true, then I'm proved."
These kinds of self-referential structures often seem paradoxical or nonsensical. Lawvere's theorem helps us understand why these paradoxes arise.
The Core Idea: Russell's Paradox and Self-Reference
Imagine a set that contains descriptions of everything. Now, try to define the set of all things that don't describe themselves. Here's the problem:
- If the description includes itself, then it shouldn't be in the set.
- If it doesn't include itself, then it should be in the set.
This is Russell's paradox. The same kind of paradox appears in many areas of logic, mathematics, and even computer science.
Cartesian Closed Categories: The Setting for Lawvere's Theorem
Lawvere's theorem applies in a structure called a Cartesian closed category (CCC). Here's what that means:
- Multiplication of objects (taking products).
- A special object (terminal object) that acts like a "unit."
- Exponentials: For any objects X and Y, you can form an object Y^X, which represents all possible maps from X to Y.
In standard set theory, Y^X represents all functions X → Y. In category theory, exponentials serve the same purpose, but in a more general setting.
There is also an evaluation map:
ev:(YX)×X→Ywhich takes a function from X to Y and applies it to an input X. This evaluation behaves in a universal way, meaning it can describe every function application in the category.
Category theorists use this abstract approach because they prefer not to "look inside" objects. It's like how a strict vegan insists on keeping their lifestyle separate from certain foods—they avoid breaking the rules even when it might be convenient.
How Lawvere's Theorem Works
Lawvere's theorem uses exponentials to model self-reference. Here's how:
Suppose we have an object X in a CCC and a function
f:X→XXThis means each element of X is assigned a function from X to X.
Now, combine f with the evaluation map to define:
δ:X→XThis δ is called the diagonal map or self-application map.
Lawvere's theorem states that if δ acts like a fixed-point operator (meaning there exists an x such that δ(x) = x), then there must be an element x such that f(x) maps x to itself.
In simpler terms:
- The object X contains a self-referential element.
- This element must describe itself in the way f defines.
- Self-reference is forced by the structure of the system.
Why This Matters: Gödel, Tarski, and Halting Problems
In set theory, this theorem explains diagonal arguments, like those used in:
- Gödel's incompleteness theorem: "This statement is unprovable."
- Tarski's undefinability theorem: "Truth cannot be defined within the same system."
The key idea is that once functions themselves become objects (via exponentials), self-reference becomes inevitable.
For example:
- Gödel's theorem builds a function from X to X^X that represents "provability" inside the system.
- Tarski's theorem does the same for "truth" inside the system.
- The Halting problem constructs a function that tries to analyze its own ability to decide halting.
Each case involves embedding a system inside itself, forcing it to evaluate its own rules. This always leads to contradictions or limitations.
The Big Picture
Lawvere's theorem tells us that any system capable of defining functions from objects to themselves will eventually run into paradoxes. You cannot build a system that fully captures its own behavior without creating a self-referential feedback loop.
If you try to define something like "this program decides if another program halts," you're inherently creating an arrow X → X^X, which lets the system analyze itself. That's exactly how Gödel's and Tarski's results work.
In the end, Lawvere's theorem formalizes why self-reference is inescapable. It proves that if you have a system rich enough to describe itself, paradoxes aren't just possible—they're guaranteed.
Tuesday, February 4, 2025
If I betray these words by Wendy Dean and Simon Talbot (2023)
Through these narratives, we witness firsthand the detrimental impact of prioritizing shareholder value over patient well-being. The most valuable aspect of the book lies in the authors' insightful recommendations for how physicians can effectively navigate these challenging circumstances to ensure high-quality care for their patients.
Overall, this book is a thought-provoking examination of the intersection between medicine and corporate interests, offering both inspiration and practical guidance for healthcare professionals. 4/5 Stars.
Saturday, February 1, 2025
Die Kinder der Finsternis von Wolf von Niebelschütz (1959)
Saturday, January 25, 2025
Die Fahrt von Sibylle Berg (2009)
Bergs Buch entführt uns auf eine Reise um die Welt und legt den Fokus auf benachteiligte Menschen, die nach dem Sinn des Lebens suchen und darum kämpfen, ihre Lebensumstände zu verbessern. Als jemand, der Geschichten aus dem wahren Leben besonders schätzt, empfand ich Bergs Schreibstil als äußerst fesselnd. Jede Vignette zog mich tief in die Welt der Charaktere hinein.
Allerdings ist der gesamte Ton des Buches recht düster. Im Gegensatz zu Micheners Werk, das seine Auseinandersetzung mit sozialen Problemen durch Momente der Hoffnung ausgleicht, präsentiert Berg eine durchweg pessimistische Perspektive. Obwohl die Beobachtungsgabe und der Erzählstil des Autors beeindruckend sind, empfand ich den ständigen Fokus auf Leid und die scheinbare Aussichtslosigkeit, dauerhaftes Glück zu finden, als belastend.
Trotz der Schwere seiner Themen regt das Buch zum Nachdenken an und ist handwerklich gut geschrieben. Wenn Sie anspruchsvolle Lektüre schätzen, die einen ungeschönten Blick auf globale Ungleichheiten und menschliche Probleme wirft, werden Sie Bergs Werk vermutlich fesselnd finden. Wenn Sie jedoch eine aufbauende Geschichte suchen, ist dieses Buch möglicherweise keine geeignete Wahl.
Ich bewundere Bergs schriftstellerisches Talent und die Intensität seiner Erzählweise. Dennoch hinterließ die unnachgiebige Trostlosigkeit des Buches bei mir einen bedrückenden Eindruck. 3 von 5 Sternen.
Saturday, January 18, 2025
The Pope at War by David I Kertzer (2024)
Drawing on new materials from the Vatican released in 2022, the author addresses myths about Pope Pius XII. The book details how Pius XII supported the Axis powers and helped send all of the Italian Jews to death camps. It also notes his lack of support for Polish Catholics and other Catholic clergy in countries occupied by Germany during WWII. I found the book depressing. 3/5 Stars.