forgot to push for a while

assets/music.tsv

···
 Victoria	Genitori genitoque	XVIAB p66	🟢
 Victoria	Jesu dulcis memoria	NCAB p181	🟢
 Victoria	Jesu, the very thought of Thee	OEAB p153	
+Victoria	Missa O Quam Gloriosum	Loose, Chester	🟢
 Victoria	O magnum mysterium	3rdCh p32	🟢
 Victoria	O quam gloriosum	NCAB p316	🟢
 Victoria	O vos omnes	3rdCh p36	🟢

trees/loc-0011.tree

···
 \def\percent{\startverb%\stopverb
    }
 \parent{loc-000P}
-\title{SS Peter and Paul 2025}
+\title{Feast of St. Peter and St. Paul 2025}
 \tag{cmc}
 \date{2025-06-29}
 \author{liamoc}

trees/loc-001B.tree

···
 \put\transclude/expanded{false}
 
 \p{This page has an [atom feed](/forest/loc-001B/atom.xml).}
+\transclude{2026-W07}
+\transclude{2026-W06}
 \transclude{2026-W05}
 \transclude{2026-W04}
 \transclude{2026-W03}

trees/loc-0035.tree

···
+\date{2026-02-05}
+\title{It's rude to show AI output to people.}
+\author{liamoc}
+\p{I came across [this article](https://distantprovince.by/posts/its-rude-to-show-ai-output-to-people/) by Alex Martsinovich which I thought captured very well one of the main objections I have to LLMs as a technology. It used to be that every piece of text, even down to a road sign, was written by a human somewhere with the intention of communicating something to you, the reader — what Alex calls "proof of thought". Thanks to LLMs, this fundamental property of language has been irrevocably destroyed: a massive tragedy in my view.  }

trees/loc-0036.tree

···
+\date{2026-02-08}
+\import{table-macros}
+\def\percent{\startverb%\stopverb
+   }
+\parent{loc-000P}
+\title{Fifth Sunday after Epiphany 2026}
+\tag{cmc}
+\author{liamoc}
+\quote{Veníte adorémus Deum, et procidámus ante Dóminum: plorémus ante eum, qui fecit nos: quia ipse est Dóminus Deus noster.
+}
+\p{This Sunday I once again sang at both [St. Michael and All Saints](https://smas.church) and [Old St. Paul's](https://www.osp.org.uk/), despite a cold preventing me from intoning the propers or singing at full voice. In the morning we sang Wood's [Hey You, the Middle Ball](https://www.youtube.com/watch?v=Qf202pdjMZk): }
+\quote{
+  \poem{
+    \line{O thou the central orb of righteous love,}
+    \line{Pure beam of the Most High,}
+    \line{Eternal Light of this our wintry world,}
+    \line{Thy radiance bright awakes new joy in faith,}
+    \line{Hope soars above.}
+    \line{\br}
+    \line{Come, quickly come and let thy glory shine,}
+    \line{Gilding our darksome heav'n with rays divine.}
+    \line{Thy saints with holy lustre round thee move,}
+    \line{As stars about thy throne, set in the height}
+    \line{Of God's ordaining counsel, }
+    \line{As thy sight gives measured grace to each.}
+    \line{Thy power to prove.}
+    \line{\br}
+    \line{Let thy bright beams disperse the gloom of sin,}
+    \line{Our nature all shall feel eternal day,}
+    \line{In fellowship with thee,}
+    \line{Transforming day to souls erewhile unclean,}
+    \line{now pure within.}
+    \line{\br}
+    \line{Amen.}
+  }
+}
+\p{We also sang Victoria's [Missa O Quam Gloriosum](https://www.youtube.com/watch?v=0P5gMpJtVZY) for a mass setting. In the evening, in a rare exception to the normal Evensong service, Old St. Pauls instead had an event to introduce the choir and congregation to the new Revised English Hymnal.}

trees/loc-0037.tree

···
+\taxon{Poem}
+\title{Liturgy}
+\author/literal{Irene Zimmerman}
+\import{table-macros}
+\poem{
+  \line{All the way to Elizabeth}
+\line{and in the months afterward}
+\line{she wove him, pondering,}
+\line{“This is my body, my blood!”\br}
+\line{Beneath the watching eyes}
+\line{of donkey, ox, and sheep}
+\line{she rocked him, crooning,}
+\line{“This is my body, my blood!”\br}
+\line{In the moonless desert flight}
+\line{and the Egypt-days of his growing,}
+\line{she nourished him, singing,}
+\line{“This is my body, my blood!”\br}
+\line{Under the blood-smeared cross}
+\line{she rocked his mangled bones,}
+\line{remembering him, moaning,}
+\line{“This is my body, my blood!”\br}
+\line{When darkness, stones, and tomb}
+\line{bloomed to Easter morning,}
+\line{she ran to him, shouting,}
+\line{“This is my body, my blood!”\br}
+\line{And no one thought to tell her:}
+\line{“Woman, it is not fitting}
+\line{for you to say those words.}
+\line{You don’t resemble him.”}
+}

trees/loc-0038.tree

···
+\date{2026-02-15}
+\import{table-macros}
+\def\percent{\startverb%\stopverb
+   }
+\parent{loc-000P}
+\title{Quinquagesima Sunday 2026}
+\tag{cmc}
+\author{liamoc}
+\quote{Tibi dixit cor meum, quæsívi vultum tuum, vultum tuum Dómine requíram: ne avértas fáciam tuam a me.\br
+  Esto mihi in Deum protectórem, et in locum refúgii, ut salvum me fácias: quóniam firmaméntum meum, et refúgium meum es tu: et propter nomen tuum dux mihi eris, et enútries me.
+}
+ 
+\p{This Sunday was bizarrely called the Sunday of the "Transfiguration", despite that not being the actual feast of the Transfiguration. It's because my church [All Saints Ainslie](https://allsaintsainslie.org.au) is hewing to the Revised Common Lectionary. I entitled this post Quinquagesima Sunday because that's what is listed in the Scottish Book of Common Prayer (and [[loc-0033]]). I joined the Ainslie choir for the first time in 2026. We performed Ouseley's [From the Rising of the Sun](https://www.youtube.com/watch?v=CnEFkTCOuEE): }
+\quote{\poem{
+  \line{From the rising of the sun}
+  \line{To the going down of the same,}
+  \line{My Name shall be great among the Gentiles,}
+  \line{And in ev'ry place incense shall be offer'd up unto my Name:}
+  \line{For My Name shall be great among the heathen,}
+  \line{Thus saith the Lord!}
+}
+}
+\p{I also received some CD recordings from John Kitchen at [Old St. Paul's](https://www.osp.org.uk/) while I was in Edinburgh, that I took the time to listen to recently. Calum Robertson, who plays the organ at Old St. Paul's, wrote [a beautiful anthem](https://www.youtube.com/watch?v=Eamf9BAikeo) from this moving poem by Irene Zimmerman:}
+\transclude{loc-0037}
+\p{The poem, at least to my reading, seems to clearly advocate for women's ordination, despite the author's communion opposing the same.}
+

trees/loc-0039.tree

···
+\title{Begun Notes on Linear-time Temporal Properties}
+\author{liamoc}
+\date{2026-02-15}
+\p{In my work with [[rayhana]] and [[rvg]], I've been thinking a bit about the space of linear-time temporal properties #{\Sigma^\omega}. There are a lot of results about this, some of which we're still working on proving. While the canonical account will be in our forthcoming journal paper and [Rayhana](rayhana)'s PhD thesis, I'm going to start writing [a research notebook](ltp-0001) on this topic. I've decided to do this rather than blog about our results, because it's more in the spirit of Zettelkästen (Zettelkastengeist?) — the post I had in mind ended up ballooning in size because it needed so much context. Instead, I will just fill in the notebook including our current conjectures.}
+\p{Currently, there isn't much there, just some basic definitions from [[alpern-schneider-1985]]. But I will eventually hopefully have a fairly well-developed summary of a lot of the work in this area over there.}

trees/ltp/ltp-0001.tree

···
+\taxon{Research Notebook}
+\title{Linear-time Temporal Properties}
+\author{liamoc}
+\transclude{ltp-0002}
+\transclude{ltp-0003}
+\transclude{ltp-0004}
+\transclude{ltp-0005}
+\p{The [famous paper](alpern-schneider-1985) of [[alpern]] and [[schneider]] defines a topology where the closed sets are safety properties, and the open sets are the guarantee properties. The closure operator #{\overline{X}} therefore gives the smallest safety property #{\supseteq X}, and the interior operator #{\underline{X}} gives the largest guarantee property #{\subseteq X}.  }
+\p{This space is a metric space, using the standard prefix-agreement metric that one might use for a Baire or Cantor space: }
+##{
+  \begin{array}{l}
+  d : \Sigma^\omega \times \Sigma^\omega \rightarrow \mathbb{R} \\
+  d(\sigma,\rho) = 2^{-\sup\{ i \mid \sigma_{0\dots{}i} = \rho_{0\dots{}i}\}} \\
+  \\
+  \qquad\text{where}\ 2^{-\infty} = 0
+\end{array}}
+\p{[[alpern]] and [[schneider]] then go on to prove that all properties are the intersection of \em{safety} and \em{liveness} (i.e. \em{dense} sets, #{\overline{X} = \Sigma^\omega})}

trees/ltp/ltp-0002.tree

···
+\taxon{Definition}
+\title{The space #{\Sigma^\omega}}
+\author{liamoc}
+\p{Let the set of all possible \em{states} be #{\Sigma}. Then, the set of all possible \em{behaviours} —infinite sequences of states — is #{\Sigma^\omega}. Note that we do not require that #{\Sigma} is finite.}
+\p{We shall model terminating systems, which have finite behaviours, as behaviours that infinitely repeat their final state.}

trees/ltp/ltp-0003.tree

···
+\title{Properties}
+\taxon{Definition}
+\author{liamoc}
+\p{A property, being a specification of a system, can be thought of as simply a set of behaviours, i.e. a subset of [the space #{\Sigma^\omega}](ltp-0002). A property is \em{satisfied} by a system if all behaviours exhibited by the system are contained within the set. It is \em{violated} by a system if there exists a behaviour exhibited by the system that is not contained within the set. }

trees/ltp/ltp-0004.tree

···
+\taxon{Definition}
+\author{liamoc}
+\title{Safety Properties}
+\p{A \em{safety} [property](ltp-0003) says that a bad thing does not happen. The "bad thing" in this case is some finite, observable event. In other words, safety properties are those [properties](ltp-0003) whose \em{violation} can be established by examining only a \em{finite} prefix of the behaviour.}
+\p{For example, the safety property "The state #{\mathtt{a}} is never reached" is violated by any finite prefix containing the state #{\mathtt{a}}.}

trees/ltp/ltp-0005.tree

···
+\taxon{Definition}
+\author{liamoc}
+\title{Guarantee Properties}
+\p{A \em{guarantee} [property](ltp-0003) is the complement of a [safety property](ltp-0004). A guarantee property says that a good thing happens eventually. As with safety properties, the "good thing" is some finite, observable event. In other words, guarantee properties are those [properties](ltp-0003) whose \em{satisfaction} can be established by examining only a \em{finite} prefix of the behaviour.}
+\p{For example, the guarantee property "The state #{\mathtt{a}} is eventually reached" is satisfied by any finite prefix containing the state #{\mathtt{a}}.}

trees/weeknotes/2026-W06.tree

···
+\import{table-macros}
+\title{Weeknotes 2026-W06}
+\author{liamoc}
+\date{2026-02-08}
+\p{This week was unfortunately marred by a nasty cold that took me out of most of it. Nonetheless I got some church singing done, and I had a productive meeting that generated some new ideas, which I might blog about next week.}
+\figure{
+  \<html:img>[loading]{lazy}[width]{360px}[src]{\route-asset{assets/edinburgh6.jpeg}}%{}
+  %\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh2.jpeg}}%{}
+  %\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh5.jpeg}}%{}
+ \figcaption{My spiritual home: St. Michael and All Saints, Edinburgh }
+}
+
+\transclude{loc-0035}
+\transclude{loc-0034}
+\transclude{loc-0036}

trees/weeknotes/2026-W07.tree

···
+\import{table-macros}
+\title{Weeknotes 2026-W07}
+\author{liamoc}
+\date{2026-02-08}
+\p{I returned to Canberra this week. I needed the remainder of the week to recover from my illness and the flight, but I'm feeling alright now. As much as I enjoyed being in Edinburgh again, it's great to be back in clean, sunny, quiet Canberra. }
+\figure{
+  \<html:img>[loading]{lazy}[width]{360px}[src]{\route-asset{assets/leafy.jpeg}}%{}
+  %\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh2.jpeg}}%{}
+  %\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh5.jpeg}}%{}
+ \figcaption{A Leafy Canberra Street. }
+}
+\transclude{loc-0039}
+\transclude{loc-0038}