my forest
weeknotes
+58
-3
+1
trees/loc-001B.tree
+1
trees/loc-001B.tree
+53
trees/loc-002P.tree
+53
trees/loc-002P.tree
···
1
+
\import{table-macros}
2
+
\def\percent{\startverb%\stopverb
3
+
}
4
+
\parent{loc-000P}
5
+
\title{3rd Sunday of Advent 2025}
6
+
\tag{cmc}
7
+
\date{2025-12-14}
8
+
\author{liamoc}
9
+
\quote{ Gaudéte in Dómino semper: íterum dico, gaudéte: modéstia vestra nota sit ómnibus homínibus: Dóminus prope est. Nihil sollíciti sitis: sed omni orátione petitiónes vestræ innotéscant apud Deum.
10
+
}
11
+
\p{This "Gaudete" Sunday at [All Saints Ainslie](https://allsaintsainslie.org.au) we had fun singing [this medieval carol](https://www.youtube.com/watch?v=l1NgHonWNE0):}
12
+
\quote{
13
+
\table{
14
+
\tr{
15
+
\td{Gaudéte, gaudéte Christus est natus}
16
+
\td{Rejoice! Rejoice, Christ is born}
17
+
}\tr{
18
+
\td{ex María vírgine, Gaudéte!}
19
+
\td{of the Virgin Mary, Rejoice!}
20
+
}\tr{
21
+
\td{Tempus adest grátiæ, hoc quod optabámus,}
22
+
\td{The time of grace has come, of which we wished,}
23
+
}\tr{
24
+
\td{Carmina lætítiæ devóte reddámus!}
25
+
\td{Let us faithfully render songs of joy!}
26
+
}\tr{
27
+
\td{Deus homo factus est, nátura mirante}
28
+
\td{God has become Man, nature marvels.}
29
+
}\tr{
30
+
\td{Mundus renovátus est, a Christo regnánte}
31
+
\td{The world is renewed by the reigning Christ.}
32
+
}\tr{
33
+
\td{Ezechiélis porta clausa per tránsítur}
34
+
\td{The closed gate of Ezekiel is passed,}
35
+
}\tr{
36
+
\td{Unde lux est orta salus invenítur.}
37
+
\td{Whence light has risen, salvation is found.}
38
+
} \tr{
39
+
\td{Ergo nostra cóntio psallat iam in lústro,}
40
+
\td{Now let our assembly sing psalms to him in gladness,}
41
+
} \tr{
42
+
\td{Benedícat Dómino, salus regi nostro.}
43
+
\td{Let us bless the Lord, greetings to our King.}
44
+
}
45
+
\tr{
46
+
\td{Gaudéte, gaudéte Christus est natus}
47
+
\td{Rejoice! Rejoice, Christ is born}
48
+
}\tr{
49
+
\td{ex María vírgine, Gaudéte!}
50
+
\td{of the Virgin Mary, Rejoice!}
51
+
}
52
+
}
53
+
}
+4
-3
trees/weeknotes/2025-W50.tree
+4
-3
trees/weeknotes/2025-W50.tree
···
1
1
\import{table-macros}
2
2
\title{Weeknotes 2025-W50}
3
3
\author{liamoc}
4
-
%\date{2025-12-07}
5
-
\p{Weeknotes in progress}
4
+
\date{2025-12-14}
5
+
\p{This week felt quite productive. The [Logic Summer School](loc-001W) has now finished, and my PhD student at [[uoe]], [[rayhana]], has now embarked back to the UK. My course ([[isa-001]]) was only for the first week, so I had some time to get work done this week. [[hoefner]] and I finally finished a mammoth proof in Isabelle that matrices over a Kleene algebra are themselves a Kleene algebra, a proof that's important for [[dexterkozen]]'s completeness result for Kleene algebras. This required some novel proof engineering, and some constructions to make the proof go though that we think [Dexter](dexterkozen) may have missed in his pen-and-paper proof. I may write up my thoughts this coming week, but it's also possible that you might have to wait for a paper. [[rayhana]] and I also sketched out some future directions for our work, which is quite exciting. }
6
6
\transclude{loc-002N}
7
-
\transclude{loc-002O}
7
+
\transclude{loc-002O}
8
+
\transclude{loc-002P}