Apply automatic changes

feeds.md

@@ -1,4 +1,12 @@
 
+[Particularly mathematical New Years Honours 2025](https://aperiodical.com/2024/12/particularly-mathematical-new-years-honours-2025/)
+---
+
+The Aperiodical --- 12/31/2024
+
+The UK Government have announced the latest list of honours, and we’ve taken a look for the particularly mathematical entries. Here is the selection for this year – if you spot any more, let us know in the comments and we’ll add to the list. Get...
+
+
 [Angry white men](https://crookedtimber.org/2024/12/30/angry-white-men/)
 ---
 
@@ -39,14 +47,6 @@ 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,14 +103,6 @@ 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/)
 ---
 
@@ -175,14 +167,6 @@ 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/)
 ---
 
@@ -263,14 +247,6 @@ Crooked Timber --- 12/8/2024
 
 
 
-[Carnival of Maths 234](https://aperiodical.com/2024/12/carnival-of-maths-234/)
----
-
-The Aperiodical --- 12/7/2024
-
-The next issue of the Carnival of Mathematics, rounding up blog posts from the month of November 2024, is now online at Theorem of the Day. The Carnival rounds up maths blog posts from all over the internet, including some from our own Aperiodical....
-
-
 [Favorite Theorems: The Complete List](https://blog.computationalcomplexity.org/feeds/8713688788112685900/comments/default)
 ---
 
@@ -295,14 +271,6 @@ 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/)
 ---
 
@@ -343,14 +311,6 @@ Computational Complexity --- 11/25/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...
 
 
-[Arnie Koslow, 1933–2024](https://www.logicmatters.net/2024/11/24/arnie-koslow-1933-2024/)
----
-
-Blog - Logic Matters --- 11/24/2024
-
-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)
 ---
 
@@ -375,14 +335,6 @@ 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/)
 ---
 
@@ -399,14 +351,6 @@ 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/)
 ---
 
@@ -447,14 +391,6 @@ 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/)
 ---
 
@@ -655,14 +591,6 @@ 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)
 ---
 
@@ -687,14 +615,6 @@ Joel David Hamkins --- 10/14/2024
 This will be a talk at the UW Madison Logic Seminar on 22 October 2024. Abstract. The principle of covering reflection holds of a cardinal κ if for every structure B in a countable first-order language there is a structure … Continue reading →
 
 
-[Book note: Kunen, Foundations of Mathematics](https://www.logicmatters.net/2024/10/07/book-note-kunen-foundations-of-mathematics/)
----
-
-Blog - Logic Matters --- 10/7/2024
-
-Finally, here’s the last book in my ‘must-revisit’ stack! — Kenneth Kunen’s The Foundations of Mathematics (College Publications, 2009). Now, I’m going to avert my gaze from some of the philosophical asides here. Kunen writes, for example,...
-
-
 [Emil Post Anticipated (more than anticipated) Godel and Turing](https://blog.computationalcomplexity.org/feeds/8836223629403060537/comments/default)
 ---
 
@@ -798,3 +718,83 @@ 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.
+