Apply automatic changes

feeds.md

@@ -1,4 +1,36 @@
 
+[In 2025, let’s make resistance more effective](https://crookedtimber.org/2025/01/01/in-2025-lets-make-resistance-more-effective/)
+---
+
+Crooked Timber --- 1/1/2025
+
+Here’s a virtual toast to your flourishing in 2025. But more so than any other year, our wishes should not just be from person to person, but rather wishes for societies – and the society of societies, global humanity. I haven’t felt so gloomy...
+
+
+[Double Maths First Thing: Issue 11](https://aperiodical.com/2025/01/double-maths-first-thing-issue-11/)
+---
+
+The Aperiodical --- 1/1/2025
+
+Double Maths First Thing is like a tall, dark stranger with some coal and some whisky Hello! My name is Colin and I am a mathematician on a mission to spread mathematical joy into 2025 and beyond. I note that 1/1/2025 is the first day since...
+
+
+[Numerical coincidences for 2025](https://aperiodical.com/2025/01/numerical-coincidences-for-2025/)
+---
+
+The Aperiodical --- 1/1/2025
+
+There seem to be a lot of numerical coincidences bouncing around concerning the new year 2025. For example, it’s a square number: \( 2025 = 45^2 \). The last square year was \(44^2 = 1936\), and the next will be \(46^2=2116\). The other one you...
+
+
+[Vermeer revisited](https://www.logicmatters.net/2024/12/31/vermeer-revisited/)
+---
+
+Blog - Logic Matters --- 12/31/2024
+
+Let me share (almost!) one of my Christmas presents with you. Of the books I have enjoyed most during this past year, three are books on art. I have already really warmly recommended here the wonderful catalogue for the still-current exhibition Van...
+
+
 [Particularly mathematical New Years Honours 2025](https://aperiodical.com/2024/12/particularly-mathematical-new-years-honours-2025/)
 ---
 
@@ -47,6 +79,14 @@ The Aperiodical --- 12/25/2024
 Because there’s really no excuse for ho-ho-ho-CAH-TOA Hello! My name is Colin and I am a mathematician on a mission to spread mathematical joy and delight, without recourse to magical reindeer. Somewhat embarrassingly, I’ve shown up for class...
 
 
+[A Christmas card](https://www.logicmatters.net/2024/12/24/a-christmas-card-13/)
+---
+
+Blog - Logic Matters --- 12/24/2024
+
+What the Donkey Saw No room in the inn, of course,And not that much in the stable,What with the shepherds, Magi, Mary,Joseph, the heavenly host —Not to mention the babyUsing our manger as a cot.You couldn’t have squeezed another cherub inFor love...
+
+
 [Plutocrats and Authoritarian Leaders: Like Flies to Flypaper](https://crookedtimber.org/2024/12/24/plutocrats-and-authoritarian-leaders-like-flies-to-flypaper/)
 ---
 
@@ -103,6 +143,14 @@ The Aperiodical --- 12/20/2024
 A conversation about mathematics inspired by Lewis Carroll’s Game of Logic. Presented by Katie Steckles and Peter Rowlett.
 
 
+[A categorial end in sight](https://www.logicmatters.net/2024/12/19/a-categorial-end-in-sight/)
+---
+
+Blog - Logic Matters --- 12/19/2024
+
+I haven’t been posting regular updates about work on the revised version of Introducing Category Theory, not because there’s been no progress, but because there has been little of wider interest to report. But the end is at last in sight. I have...
+
+
 [Questions on the Future of Feminism from my Book Tour](https://crookedtimber.org/2024/12/19/questions-on-the-future-of-feminism-from-my-book-tour/)
 ---
 
@@ -167,6 +215,14 @@ Bartosz Ciechanowski --- 12/17/2024
 In the vastness of empty space surrounding Earth, the Moon is our closest celestial neighbor. Its face, periodically filled with light and devoured by darkness, has an ever-changing, but dependable presence in our skies. In this article, we’ll...
 
 
+[Not in Florence](https://www.logicmatters.net/2024/12/15/not-in-florence/)
+---
+
+Blog - Logic Matters --- 12/15/2024
+
+Back in the day, not so long ago, we went a number of times to Florence just before Christmas. The best time to go, with the city returned to the Florentines, with so few tourists, the shops festive, and the restaurants relaxed and pleased to see...
+
+
 [Sunday photoblogging: Robin](https://crookedtimber.org/2024/12/15/sunday-photoblogging-robin-2/)
 ---
 
@@ -207,22 +263,6 @@ Computational Complexity --- 12/11/2024
 We use grades to evaluate students and motivate them to learn. That works as long as grades remain a reasonably good measure of how well the student understands the material in a class. But Goodhart's law, "When a measure becomes a target, it...
 
 
-[Double Maths First Thing: Issue E](https://aperiodical.com/2024/12/double-maths-first-thing-issue-e/)
----
-
-The Aperiodical --- 12/11/2024
-
-Double Maths First Thing is like a colossal hedgehog overlooking Catania airport. Hello! My name is Colin and I am a mathematician on a mission to spread joy and delight in maths. One person who did that, tirelessly and relentlessly, was my dear...
-
-
-[Review: Mapmatics by Paulina Rowińska](https://aperiodical.com/2024/12/review-mapmatics-by-paulina-rowinska/)
----
-
-The Aperiodical --- 12/10/2024
-
-This is a review of the book Mapmatics: How we Navigate the World through Numbers by Paulina Rowińska. We were kindly sent a copy of the book to look at, and Elinor Flavell shares her thoughts. Do you love maps? Do you hate maps? Have you never...
-
-
 [The limits of number-crunching: Hannah Ritchie’s Not the End of the World](https://crookedtimber.org/2024/12/09/the-limits-of-number-crunching-hannah-ritchies-not-the-end-of-the-world/)
 ---
 
@@ -271,6 +311,14 @@ The n-Category Café --- 12/4/2024
 The Eighth International Conference on Applied Category Theory (https://easychair.org/cfp/ACT2025) will take place at the University of Florida on June 2-6, 2025. The conference will be preceded by the Adjoint School on May 26-30, 2025. This...
 
 
+[Yanofsky, Monoidal Category Theory — 3](https://www.logicmatters.net/2024/12/03/yanofsky-monoidal-category-theory-3/)
+---
+
+Blog - Logic Matters --- 12/3/2024
+
+Some brief comments on Chapters 2 to 4 of Yanofsky’s book, firstly on the main sections of those chapters. In Chapter 2, categories are defined, we meet lots of examples, and then different kinds of arrows are defined, along with subcategories and...
+
+
 [Sunday photoblogging: the beach at Porth Selau](https://crookedtimber.org/2024/12/01/sunday-photoblogging-the-beach-at-porth-selau/)
 ---
 
@@ -295,20 +343,20 @@ Joel David Hamkins --- 12/1/2024
 This will be a talk for the Notre Dame Logic Seminar, 3 December 2024, 2:00pm, 125 Hayes-Healey. Abstract. I shall give an account of the theory of computable surreal numbers, proving that these form a real-closed field. Which real numbers …...
 
 
-[The AI boom in electricity demand: a multiply recycled myth](https://crookedtimber.org/2024/11/30/the-ai-boom-in-electricity-demand-a-multiply-recycled-myth/)
+[We Will All Write Like AI](https://blog.computationalcomplexity.org/feeds/548168391123928103/comments/default)
 ---
 
-Crooked Timber --- 11/30/2024
+Computational Complexity --- 11/25/2024
 
-I posted this piece in RenewEconomy a couple of months ago. It didn’t convince the commenters then, and I don’t expect it to be any different here, but I’m putting it on the record anyway. AI won’t use as much electricity as we are told, and it’s...
+Will our writing all converge to a generic AI style? Let's take a quick detour into LaTeX. Back in the late '80s, before LaTeX was the standard, there was TeX—a system with no default formatting, which meant everyone had their own unique style for...
 
 
-[We Will All Write Like AI](https://blog.computationalcomplexity.org/feeds/548168391123928103/comments/default)
+[Arnie Koslow, 1933–2024](https://www.logicmatters.net/2024/11/24/arnie-koslow-1933-2024/)
 ---
 
-Computational Complexity --- 11/25/2024
+Blog - Logic Matters --- 11/24/2024
 
-Will our writing all converge to a generic AI style? Let's take a quick detour into LaTeX. Back in the late '80s, before LaTeX was the standard, there was TeX—a system with no default formatting, which meant everyone had their own unique style for...
+I was really saddened to learn yesterday of the death last month of Arnie Koslow at the age of 91. I got to know Arnie well when I returned to Cambridge where he was a regular summer visitor for quite a few years. He became a warm friend and we...
 
 
 [Axiomatic Set Theory 9: The Axiom of Choice](https://golem.ph.utexas.edu/category/2024/11/axiomatic_set_theory_9_the_axi.html)
@@ -335,6 +383,14 @@ The n-Category Café --- 11/22/2024
 Want to work on applied category theory?  Apply to the Adjoint School before December 1, 2024!
 
 
+[Yanofsky, Monoidal Category Theory — 2](https://www.logicmatters.net/2024/11/21/yanofsky-monoidal-category-theory-2/)
+---
+
+Blog - Logic Matters --- 11/21/2024
+
+I’ll offer some more comments over the next blog post or two on Chapters 1 to 4 of Monoidal Category Theory, the chapters which comprise Yanofsky’s introductory course on core category theory, before we reach the monoidal delights. Chapter 1, after...
+
+
 [Walking Ripples](https://www.fractalkitty.com/walking-ripples/)
 ---
 
@@ -351,6 +407,14 @@ Computational Complexity --- 11/20/2024
 In my last post (see here) I invited you to work on the following question:Find a \(d\) such that--There is a 2-coloring of \(R^d\) with no mono unit square.--For all 2-colorings of \(R^{d+1}\) there is a mono unit square. Actually I should have...
 
 
+[Yanofsky, Monoidal Category Theory — 1](https://www.logicmatters.net/2024/11/19/yanofsky-monoidal-category-theory-1/)
+---
+
+Blog - Logic Matters --- 11/19/2024
+
+I thought I should take a look at the just-published book by Noson Yanofsky, Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing (MIT Press, 2024). Yanofsky is on a proselytizing mission. He wants to persuade us that,...
+
+
 [Teacher](http://abuseofnotation.github.io/teacher-joke/)
 ---
 
@@ -391,6 +455,14 @@ Math ∩ Programming --- 11/15/2024
 In my little corner of the FHE world, things have been steadily heating up. For those who don’t know, my main work project right now is HEIR (Homomorphic Encryption Intermediate Representation), a compiler toolchain for fully homomorphic encryption...
 
 
+[Regrouping](https://www.logicmatters.net/2024/11/15/regrouping/)
+---
+
+Blog - Logic Matters --- 11/15/2024
+
+One of the more beautiful sights in Cambridge is the long avenue of London plane trees on Jesus Green, a delight at every time of year, equally in summer sun or on a grey autumn day with the leaves falling. It so raises the spirits every time we...
+
+
 [Attention spans for math and stories](https://www.jeremykun.com/2019/03/26/attention-spans-for-math-and-stories/)
 ---
 
@@ -591,6 +663,14 @@ Math ∩ Programming --- 10/15/2024
 Kristin Lauter and her colleagues at Facebook research recently announced a project to benchmark attacks against LWE. The announcement was on the post-quanum crypto mailing list. They state: “Our approach is motivated by the need to study more...
 
 
+[Categorial progress …](https://www.logicmatters.net/2024/10/15/categorial-progress/)
+---
+
+Blog - Logic Matters --- 10/15/2024
+
+I paperbacked my gentle introductory notes on category theory sooner than ideally I would have wished. But with routine-but-major heart surgery scheduled unexpectedly early, I thought I should at least get a beta version of the book out while I...
+
+
 [A Trip Down Memory Lane: Desc comp, Constant Round Sorting, Division Breakthrough, Derandomization.](https://blog.computationalcomplexity.org/feeds/4020901370592877578/comments/default)
 ---
 
@@ -718,83 +798,3 @@ Proses.ID --- 8/13/2024
 
 I was listening to this interview of Iain McGilchrist. He was explaining how the mechanistic metaphors that we often use in our daily lives could…
 
-
-[Waiting for God(b)ot](http://proses.id/god-b-ot/)
----
-
-Proses.ID --- 8/10/2024
-
-Story 1: Who plans better? You or LLM? I was watching this interview on Machine Learning Street Talk where Prof Subbarao Kambhapati argued that LLMs…
-
-
-[Webmentions and POSSE improvements](https://www.jeremykun.com/shortform/2024-08-07-1414/)
----
-
-Math ∩ Programming --- 8/7/2024
-
-This blog now accepts webmentions. I used webmention.io and webmention.js for live rendering. You can see an example at the end of my old Bezier Curves post. After my initial experiments with POSSE, I’ve made a few improvements to the system. Now...
-
-
-[MLIR — Defining Patterns with PDLL](https://www.jeremykun.com/2024/08/04/mlir-pdll/)
----
-
-Math ∩ Programming --- 8/4/2024
-
-Table of Contents In this article I’ll show how to use PDLL, a tool for defining MLIR patterns, which itself is built with MLIR. PDLL is intended to be a replacement for defining patterns in tablegen, though there are few public examples of its...
-
-
-[Polynomial dialect and mlir-opt tutorial upstreamed](https://www.jeremykun.com/shortform/2024-08-02-1551/)
----
-
-Math ∩ Programming --- 8/2/2024
-
-I’ve been upstreaming a bit of my compiler work to the MLIR project. Yesterday, I merged in a tutorial on mlir-opt, the main debugging tool for running passes on MLIR code. This is roughly the upstreamable parts of my first MLIR tutorial entry,...
-
-
-[Fully Homomorphic Encryption in Production Systems](https://www.jeremykun.com/fhe-in-production/)
----
-
-Math ∩ Programming --- 7/31/2024
-
-In this living document, I will list all production systems I’m aware of that use fully homomorphic encryption (FHE). For background on FHE, see my overview of the field. If you have any information about production FHE systems not in this list, or...
-
-
-[Ben Recht on Meehl's Philosophical Psychology](https://www.jeremykun.com/shortform/2024-07-27-1149/)
----
-
-Math ∩ Programming --- 7/27/2024
-
-Ben Recht, a computer science professor at UC Berkeley, recently wrapped up a 3-month series of blog posts on Paul Meehl’s “Philosophical Psychology.” Recht has a table of contents for his blog series. It loosely tracks a set of lectures that Meehl...
-
-
-[Research, retrieve, and use. Find stuff on the internet for fun](http://proses.id/holdem-retriever/)
----
-
-Proses.ID --- 7/26/2024
-
-I’m having a little celebration moment right now for my information detective skill. Allow me to share it with you. Earlier this week I saw…
-
-
-[StoryteLLM-ing](http://proses.id/storytellming/)
----
-
-Proses.ID --- 7/24/2024
-
-I needed to collect all the lessons and tactics from 122 YouTube videos on business storytelling. And I need them fast. Why though? Am I…
-
-
-[Protected: Zyte’s Three Central Questions](http://proses.id/zcq/)
----
-
-Proses.ID --- 7/23/2024
-
-There is no excerpt because this is a protected post.
-
-
-[Protected: Experimentory: an exercise in third-person storytelling](http://proses.id/experimentory/)
----
-
-Proses.ID --- 7/23/2024
-
-There is no excerpt because this is a protected post.
-