my forest
add lazy loading to images.. makes weeknotes load better
+95
-95
+2
-2
trees/loc-001I.tree
+2
-2
trees/loc-001I.tree
···
4
4
\title{Engagement Crisis in Teaching}
5
5
6
6
\figure{
7
-
\<html:img>[width]{220px}[src]{\route-asset{assets/anu0.jpeg}}{}
8
-
\<html:img>[width]{220px}[src]{\route-asset{assets/anu1.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/anu0.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/anu1.jpeg}}{}
9
9
\figcaption{A sunset and a morning photo of the same location on the [[anu]] campus, on the way to my lecture theatre}
10
10
}
11
11
+1
-1
trees/loc-001M.tree
+1
-1
trees/loc-001M.tree
···
6
6
This post could be considered a sequel to [my previous post](loc-001H) regarding the use of LLMs in education, to which I recently added [Ed Zitron's excellent article](https://www.wheresyoured.at/the-haters-gui/), but here I describe more generally the attitude I observe among students recently.
7
7
}
8
8
\figure{
9
-
\<html:img>[src]{\route-asset{assets/ftgraph.jpeg}}{}
9
+
\<html:img>[loading]{lazy}[src]{\route-asset{assets/ftgraph.jpeg}}{}
10
10
}
11
11
\p{I am avoiding mention of specific incidents to preserve anonymity, so I will by necessity speak in generalities, but of course there are still engaged, conscientious and diligent students, and not all hope is lost. \strong{If you are a student of mine reading this, I most probably consider you part of this hopeful set.}}
12
12
\p{
+2
-2
trees/loc-001O.tree
+2
-2
trees/loc-001O.tree
···
2
2
\date{2025-08-17}
3
3
\title{I'm moving to Dickson}
4
4
\figure{
5
-
\<html:img>[width]{220px}[src]{\route-asset{assets/confucius.jpeg}}{}
6
-
\<html:img>[width]{220px}[src]{\route-asset{assets/biketrack.jpeg}}{}
5
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/confucius.jpeg}}{}
6
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/biketrack.jpeg}}{}
7
7
\figcaption{Some shots of Dickson, including a statue of Confucius.}
8
8
}
9
9
\p{With the dire state of the Australian property market, it seems that my landlord has decided to pick the most inconvenient possible time for me to sell the flat that I currently live in, in the Braddon suburb of inner Canberra.}
+2
-2
trees/loc-001S.tree
+2
-2
trees/loc-001S.tree
···
3
3
\title{COMP1100 lectures done}
4
4
\author{liamoc}
5
5
\figure{
6
-
\<html:img>[width]{220px}[src]{\route-asset{assets/cockies1.jpeg}}{}
7
-
\<html:img>[width]{220px}[src]{\route-asset{assets/cockies2.jpeg}}{}
6
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/cockies1.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/cockies2.jpeg}}{}
8
8
\figcaption{The squawking cockatoos on the walk from my lecture theatre.}
9
9
}
10
10
+9
-9
trees/loc-001U.tree
+9
-9
trees/loc-001U.tree
···
3
3
\author{liamoc}
4
4
\title{IFIP WG2.1 Meeting \startverb #\stopverb83}
5
5
\figure{
6
-
\<html:img>[width]{193px}[src]{\route-asset{assets/vdc01.jpeg}}{}
7
-
\<html:img>[width]{193px}[src]{\route-asset{assets/vdc02.jpeg}}{}
8
-
\<html:img>[width]{193px}[src]{\route-asset{assets/vdc03.jpeg}}{}
6
+
\<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc01.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc02.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc03.jpeg}}{}
9
9
% \figcaption{The squawking cockatoos on the walk from my lecture theatre.}
10
10
}
11
11
\p{Last week I attended the meeting of [[wg21]] in Viana do Castelo, Portugal. I think all members and observers agreed that it was a good meeting, with (perhaps overly) abundant food and good company. Thanks in particular to [[jno]] for organising the meeting and to [[hoefner]] for serving as chair of [WG2.1](wg21) for the last six years.
···
15
15
\transclude{oconnor-2025-wg21}
16
16
\p{This was the sequel of sorts to my [prior WG2.1 talk](oconnor-2024-wg21-2) on LTL properties within finite time, which was in turn presenting work from [our EXPRESS/SOS paper](amjad-vanglabbeek-oconnor-2024) last year. The topological connection was realised thanks to [[nickwu]], also a WG2.1 member, who pointed out in [the Canberra meeting](oconnor-2024-wg21-2) that the work I was presenting had distinct notes of [domain theory](dt-001Y). The topological connection was more that of [Alpern and Schneider](alpern-schneider-1985) than [Scott](danascott), but that was the spark that drove this later work, which will hopefully be included in our forthcoming Information and Computation paper. }
17
17
\figure{
18
-
\<html:img>[width]{230px}[src]{\route-asset{assets/vdc04.jpeg}}{}
19
-
\<html:img>[width]{230px}[src]{\route-asset{assets/vdc05.jpeg}}{}
18
+
\<html:img>[loading]{lazy}[width]{230px}[src]{\route-asset{assets/vdc04.jpeg}}{}
19
+
\<html:img>[loading]{lazy}[width]{230px}[src]{\route-asset{assets/vdc05.jpeg}}{}
20
20
\figcaption{Views of Spain from the Camarido Beach.}
21
21
}
22
22
\p{The excursion of the meeting included several stops, including two interesting Viana museums, an archaelogical site on the nearby mountaintop, and a memorable trip to Camarido Beach, at the northernmost tip of Portugal, with Spanish Galicia just to the north along the road from Portugal to Santiago de Compostela.}
23
23
\figure{
24
-
\<html:img>[width]{193px}[src]{\route-asset{assets/vdc07.jpeg}}{}
25
-
\<html:img>[width]{193px}[src]{\route-asset{assets/vdc06.jpeg}}{}
26
-
\<html:img>[width]{193px}[src]{\route-asset{assets/vdc08.jpeg}}{}
24
+
\<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc07.jpeg}}{}
25
+
\<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc06.jpeg}}{}
26
+
\<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc08.jpeg}}{}
27
27
\figcaption{The climb and the Santuario church.}
28
28
}
29
29
\p{After the meeting had formally concluded, [[okmij]], [[henglein]], [[matija]], [[tsewell]], [[xnning]] and I climbed to Santuario de Santa Luzia. We took the arduous stairs rather than the funicular, as Matija's wife had forbidden him from Portuguese funiculars after the recent [Ascensor da Glória derailment](https://en.wikipedia.org/wiki/Ascensor_da_Glória_derailment), which led to me overdoing it and nearly fainting, but in recompense Matija bought me a beer at the top of the mountain which made it (mostly) worth it! }
30
30
\p{Hopefully I can make it to the next meeting in Estonia next year!}
31
31
\figure{
32
-
\<html:img>[width]{320px}[src]{\route-asset{assets/vdc09.jpeg}}{}
32
+
\<html:img>[loading]{lazy}[width]{320px}[src]{\route-asset{assets/vdc09.jpeg}}{}
33
33
}
+1
-1
trees/loc-001V.tree
+1
-1
trees/loc-001V.tree
···
3
3
\author{liamoc}
4
4
\title{The ICFP Contest has finished}
5
5
\p{While I was flying to Portugal, the [[icfpc25]] was ongoing. Despite my anxieties about exorbitant AWS bills and crippling server bugs, the contest went relatively smoothly. [[jackstodart]] helped out in parts where I was unavaiable. I did have to fix some minor bugs here and there, mostly in the first hour of the contest (although I also had to fix a tricky bug in the post-lightning round problems using the flaky WiFi at Lisbon airport), but the server ended up holding up very well, and the cost of the various AWS services I used (primarily DynamoDB and Lambda) was only a total of about $20 USD. }
6
-
\figure{\<html:img>[width]{400px}[src]{\route-asset{assets/sketch.png}}{}}
6
+
\figure{\<html:img>[loading]{lazy}[width]{400px}[src]{\route-asset{assets/sketch.png}}{}}
7
7
\p{My [task description](https://icfpcontest2025.github.io/specs/task.pdf), [post-lightning round addendum](https://icfpcontest2025.github.io/specs/addendum.pdf) and [reflective afterword](https://icfpcontest2025.github.io/afterword.pdf) were all themed around [[eco]]'s \em{The Name of the Rose}, and I put a great effort into the typesetting of these three documents. It was nice that many contestants picked up on the theming, and appreciated the typesetting. For promotional graphics, I posted images of the Seven Trumpets from the medieval Cloister Apocalypse, an illustrated manuscript of the Book of Revelation. One contestant posted AI-produced remixes of these timeless masterpieces of medieval illumination, which [had my finger hovering over the ban button](loc-001H), but I was able to separate my personal revulsion of LLMs from my role as competition organiser. Besides, [it would have been hypocritical](loc-001P). }
8
8
\p{One other "contestant" seemed to be participating simply to flame the organisers. While they were eventually banned from the Discord (thanks Alperen!), it was a big downer right at the start of the competition. This one individual aside, it seems that the contestants broadly enjoyed the competition and had fun solving it. }
9
9
\p{While it was interesting reading the [write-ups](https://icfpcontest2025.github.io/writeups.html) and seeing the various approaches to the problems, I came away from this contest with the distinct impression that the ICFP community and the ICFP \em{contest} community are, for the most part, non-overlapping. This, combined with the \em{immense} stress it puts on organisers, leads me to wonder if the ICFP contest might be better off being organised by its own community, rather than the ICFP one. I'm not sure what benefit the connection to ICFP or ACM has to the contest community, if any, and I'm fairly sure there are no benefits in the other direction. I no longer think severing the ICFP connection would be tantamount to [discontinuing the contest](loc-001E), because the contest community surely seems to have enough critical mass to be self-sustaining. Perhaps I will raise this with the ICFP steering committee.}
+6
-6
trees/loc-0020.tree
+6
-6
trees/loc-0020.tree
···
5
5
\p{When I lived in Edinburgh my "commute" consisted of a 10 minute walk through the lovely Meadows parkland to get from my apartment to the Informatics Forum. Sometimes I'd have to cross the dreaded North Bridge or the crowded Nicolson street, and I would always find myself feeling overwhelmed and stressed. But, the walk through the Meadows was always healing — or, failing that, it never added to my stress.}
6
6
\p{When I moved to Canbera, I first lived in Braddon. Like at Edinburgh, or indeed my time at [[unsw]], my commute was just a 10–15 minute walk. Yet, unlike at Edinburgh, I would often find the walk stress-inducing.}
7
7
\figure{
8
-
\<html:img>[width]{220px}[src]{\route-asset{assets/walk1.jpeg}}{}
9
-
\<html:img>[width]{220px}[src]{\route-asset{assets/walk2.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/walk1.jpeg}}{}
9
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/walk2.jpeg}}{}
10
10
\figcaption{Some shots from my new commute.}
11
11
}
12
12
\p{Since I've [moved to Dickson](loc-001O), my commutes have gotten much longer — a 40–45 minute walk from my home along a bike path through the Lyneham wetlands and other beautiful natural parkland. Similarly, the walk from my home to my church is slightly longer, but significantly quieter, following bike paths and sleepy suburban streets. This walk is \em{significantly} more mentally healing to me than the shorter commute I had before, and helps me to relieve stress rather than accumulate it. }
13
13
\figure{
14
-
\<html:img>[width]{220px}[src]{\route-asset{assets/walk3.jpeg}}{}
15
-
\<html:img>[width]{220px}[src]{\route-asset{assets/walk4.jpeg}}{}
14
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/walk3.jpeg}}{}
15
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/walk4.jpeg}}{}
16
16
\figcaption{Some parrots I met along the way.}
17
17
}
18
18
\p{The main difference is simple: The walk this time passes through mostly parkland, and, for the most part, is not along a road. The noisy cars and, annoyingly common in Canberra, roaring motorbikes of the city traffic are distant, usually inaudible, and in their place I have some stunning natural landscapes and many colourful parrots to greet on my walk to work. }
19
19
\figure{
20
-
\<html:img>[width]{220px}[src]{\route-asset{assets/sunset2.jpeg}}{}
21
-
\<html:img>[width]{220px}[src]{\route-asset{assets/sunset3.jpeg}}{}
20
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/sunset2.jpeg}}{}
21
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/sunset3.jpeg}}{}
22
22
\figcaption{Sunset over the Lyneham Wetlands.}
23
23
}
24
24
\p{I think car-centric cities are one of the worst mistakes humanity has made in terms of societal engineering. I hate cars. Please get rid of all the cars.}
+1
-1
trees/loc-0022.tree
+1
-1
trees/loc-0022.tree
···
2
2
\title{Quid est veritas?}
3
3
\p{I've been reading [[eco]]'s \em{Baudolino} recently. It's the story of a man, the eponymous Baudolino, narrating his life story to Niketas Choniates during the Fourth Crusade. Here "story" is used both in the sense of a recounting of events, but also in the sense of a storyteller, a fabulist. Baudolino isn't sure, even to himself, where reality ends and his imagination begins. He is a liar, and in lying he speaks of greater truths. }
4
4
\p{This novel (which I highly recommend, by the way) represents to a far greater degree the medieval and even classical understanding of truth and history than do contemporary definitions. The ancient Greeks knew that the Iliad or the Odyssey were stories, fabrications of Homer or of countless storytellers before him and since, yet, they referred often to events in those stories as though they actually happened (and, presumably, some of them had), and to characters in those stories as though they actually existed (and, presumably, some of them did). Herodotus, regarded as the first historian, was also prone to elaborate creative embellishment of historical events, usually to paint the Greeks as the good guys and their enemies, usually the Persians, as the bad guys. Herodotus did this openly; his audience \em{expected} embellishment and would not have been impressed by a dry recital of facts.}
5
-
\figure{\<html:img>[width]{540px}[src]{\route-asset{assets/johannes.jpeg}}{}
5
+
\figure{\<html:img>[loading]{lazy}[width]{540px}[src]{\route-asset{assets/johannes.jpeg}}{}
6
6
\figcaption{From the Waldseemüller map of 1507, the first to name America: \em{"Hic dominátur ille bonus rex et dominus qui vocatur Prester Iohannes"}.}
7
7
}
8
8
\p{Similarly, up until the late 16th century, even the most learned scholar (and [Eco](eco)'s Baudolino) would speak of the Kingdom of Prester John, a supposedly Nestorian Christian empire far to the East, or possibly South, or anywhere where European Christians had not thoroughly explored. These were fabrications, of course, or at least interpolations based on poorly communicated rumours and legends, but European Christians believed these things as firmly as they believed in the existence of elephants, or of God, or of Julius Caesar, or anything else they didn't observe first-hand. Almost their entire view of the world was based on hearsay, fabrication, and interpolation from available information, and they knew this. They believed it anyway, in a semi-firm way that isn't familiar or comfortable to modern humans. For our ancestors, belief was elastic; for us, it is binary: true or false.}
+4
-4
trees/loc-0023.tree
+4
-4
trees/loc-0023.tree
···
20
20
}
21
21
\p{We also had a small celebration of our choir and sanctuary party at Corroboree park in Ainslie.}
22
22
\figure{
23
-
\<html:img>[width]{220px}[src]{\route-asset{assets/alipate.jpeg}}{}
23
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/alipate.jpeg}}{}
24
24
\figcaption{Fr. Alipate works for over an hour at the barbeque.}
25
25
}
26
26
\p{We were blessed with a gorgeous sunset to conclude the evening.}
27
27
\figure{
28
-
\<html:img>[width]{240px}[src]{\route-asset{assets/choirsunset1.jpeg}}{}
29
-
\<html:img>[width]{240px}[src]{\route-asset{assets/choirsunset2.jpeg}}{}
30
-
\<html:img>[width]{240px}[src]{\route-asset{assets/choirsunset3.jpeg}}{}
28
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/choirsunset1.jpeg}}{}
29
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/choirsunset2.jpeg}}{}
30
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/choirsunset3.jpeg}}{}
31
31
}
+6
-6
trees/loc-0026.tree
+6
-6
trees/loc-0026.tree
···
3
3
\author{liamoc}
4
4
\title{ICFP/SPLASH 2025 is over}
5
5
\figure{
6
-
\<html:img>[width]{450px}[src]{\route-asset{assets/monk2.jpeg}}{}
7
-
\<html:img>[width]{250px}[src]{\route-asset{assets/monk1.jpeg}}{}
6
+
\<html:img>[loading]{lazy}[width]{450px}[src]{\route-asset{assets/monk2.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/monk1.jpeg}}{}
8
8
\figcaption{I was in character as Br. Alonzo of Curry for the ICFP Contest Report.}
9
9
}
10
10
\p{From the 10th to the 19th of October I was travelling, specifically to Singapore to present the results of the [[icfpc25]].
···
12
12
}
13
13
\p{ The conference was indeed massive, and it was good to catch up with many folks that I know (such as [[gckeller]], [[crizkallah]], [[zilinc]] and [[msteuwer]]), but I must say that I found few talks or papers that I actually found noteworthy or compelling. Perhaps the most interesting was the few papers and presentations I saw given by [[antonlorenzen]]. I'm sure this is more a problem with me than with the authors, all of which I'm sure have produced very good work, except of course for the [LMPL Workshop](https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025) which promotes use of [the dreaded LLMs](loc-001H) in PL research. I studiously avoided attending that, and was pleased to find some likeminded colleagues. }
14
14
\figure{
15
-
\<html:img>[width]{220px}[src]{\route-asset{assets/singapore3.jpeg}}{}
16
-
\<html:img>[width]{220px}[src]{\route-asset{assets/singapore4.jpeg}}{}
15
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/singapore3.jpeg}}{}
16
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/singapore4.jpeg}}{}
17
17
\figcaption{Some night time wanderings of Singapore.}
18
18
}
19
19
\p{While I love to eat the food in Singapore, I always find the weather almost unbearable. I try to do what locals do, and transit via underground and indoor connections between buildings, but I inevitably end up having to walk for 10–20 minutes outside and end up feeling horribly \em{wet} from a mixture of humidity and sweat. Nonetheless, I thank very much [[ilyasergey]] and the others who organised the event, and arranged for me to travel there and present.}
20
20
\figure{
21
-
\<html:img>[width]{220px}[src]{\route-asset{assets/singapore1.jpeg}}{}
22
-
\<html:img>[width]{220px}[src]{\route-asset{assets/singapore2.jpeg}}{}
21
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/singapore1.jpeg}}{}
22
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/singapore2.jpeg}}{}
23
23
}
+3
-3
trees/loc-002B.tree
+3
-3
trees/loc-002B.tree
···
3
3
\title{Gang-gang cockatoos sighted at last}
4
4
\p{I've lived in Canberra for over a year, and yet I never saw the Gang-gang Cockatoo, the ACT's faunal emblem since 1997, despite seeing parrots of all sorts on my walks around the city's various natural areas. }
5
5
\figure{
6
-
\<html:img>[width]{250px}[src]{\route-asset{assets/actparks.png}}
6
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/actparks.png}}
7
7
\figcaption{The Gang-gang Cockatoo has long been associated with Canberra.}
8
8
}
9
9
\p{Fortunately, when I was walking on the [Dickson bike path](loc-0020) today, I saw a couple on a nearby gum-tree, behaving completely oblivious to the city bustle around them. }
10
10
\figure{
11
-
\<html:img>[width]{250px}[src]{\route-asset{assets/ganggang1.jpeg}}{}
12
-
\<html:img>[width]{250px}[src]{\route-asset{assets/ganggang2.jpeg}}{}
11
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/ganggang1.jpeg}}{}
12
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/ganggang2.jpeg}}{}
13
13
}
+1
-1
trees/loc-002C.tree
+1
-1
trees/loc-002C.tree
···
3
3
\title{New furniture for retro computing lab}
4
4
\p{My collection of vintage computers are now safely situated in my [new home in Dickson](loc-001O). This week I purchased some new furniture to house some of my most prized machines. At some point I will make a database of everything I've got here in my forest, but here's a photo of some of my lab in the mean time:}
5
5
\figure{
6
-
\<html:img>[width]{450px}[src]{\route-asset{assets/lab.jpeg}}{}
6
+
\<html:img>[loading]{lazy}[width]{450px}[src]{\route-asset{assets/lab.jpeg}}{}
7
7
}
8
8
+1
-1
trees/loc-002G.tree
+1
-1
trees/loc-002G.tree
···
3
3
\title{I'm making a new programming language}
4
4
\p{I've sketched out a design and begun implementation of a programming language, called Hito. Partly, this is just a programming exercise for me, but I also think the language might fill a niche that is currently unfilled.}
5
5
\figure{
6
-
\<html:img>[width]{250px}[src]{\route-asset{assets/hito.png}}{}
6
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/hito.png}}{}
7
7
}
8
8
\p{Hito (from the Japanese pronunciation of the vaguely lambda-esque character 人, which also means "person"), is designed as a \em{embeddable}, \em{lightweight} scripting language that is \em{purely functional}. In particular, it's designed as an embeddable scripting language for situations where something like [Lua](https://www.lua.org) even would be overkill. Often, full imperative procedures feel to me too heavy, but a language for quick specification of some calculations, formulas, pipelines or filters would be ideal. An example would be mark calculation formulae for a course gradebook. That said, the language is fairly extensible, so it could in theory be used for much more complicated applications. }
9
9
\p{I've nearly finished the first prototype implementation, which is written entirely in fairly clean, modern C. Primitive operations are pluggable, just as function pointers supplied to the runtime. It uses a simple mark-and-sweep precise garbage collector and a three-stack abstract machine design for executing the code. It will be dynamically typed, with support for pattern matching and a lightweight kind of algebraic data types, and higher-order functions and closures. The syntax is fairly clean, I think, and designed to be approachable to non-FP people. I have yet to make a proper website, but there is a [code repository](https://github.com/liamoc/hito) if you want to poke around.}
+4
-4
trees/loc-002M.tree
+4
-4
trees/loc-002M.tree
···
6
6
}
7
7
\p{The first week of the [ANU](anu) [Logic Summer School](loc-001W) has concluded, including my introductory course on [[isa-0001]]. I think the course went well and students learnt a little of what makes theorem proving fun. Chelsea Edmonds will follow on from my course in week 2 with her own course on software verification. I hope I prepared the students well. We went on an excursion to the Tidbinbilla nature reserve (photos of which I have also previously shared on [[2025-W27]] and [[2025-W44]]).}
8
8
\figure{
9
-
\<html:img>[width]{250px}[src]{\route-asset{assets/lss4.jpeg}}{}
10
-
\<html:img>[width]{250px}[src]{\route-asset{assets/lss3.jpeg}}{}
11
-
\<html:img>[width]{250px}[src]{\route-asset{assets/lss2.jpeg}}{}
12
-
\<html:img>[width]{250px}[src]{\route-asset{assets/lss1.jpeg}}{}
9
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/lss4.jpeg}}{}
10
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/lss3.jpeg}}{}
11
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/lss2.jpeg}}{}
12
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/lss1.jpeg}}{}
13
13
\figcaption{Various Australian fauna seen at Tidbinbilla}
14
14
}
15
15
\p{It was a lot of fun to show some of our visiting students some of the natural landscapes so easily accessible from Canberra. I think we all had a really good day, even though it was sweltering hot. }
+1
-1
trees/loc-002Q.tree
+1
-1
trees/loc-002Q.tree
···
9
9
\quote{ Roráte cæli désuper, et nubes pluant iustum: aperiátur terra, et gérminet Salvatórem.
10
10
}
11
11
\figure{
12
-
\<html:img>[width]{350px}[src]{\route-asset{assets/allsaints.jpeg}}{}
12
+
\<html:img>[loading]{lazy}[width]{350px}[src]{\route-asset{assets/allsaints.jpeg}}{}
13
13
\figcaption{Rehearsing in a hot and humid, but charming church.}
14
14
}
15
15
\p{This muggy Sunday at [All Saints Ainslie](https://allsaintsainslie.org.au) we sang Prätorius' [Es ist ein Ros' entsprungen](https://www.youtube.com/watch?v=7RjAXOcTebI) under my direction. There was also a memorial minute of silence for the victims of the horrific Bondi shooting in Sydney last Sunday. }
+3
-3
trees/loc-002S.tree
+3
-3
trees/loc-002S.tree
···
12
12
}
13
13
\p{I got up early to attend the BCP service at [St. John's](https://www.stjohnscanberra.org/), but was disappointed to see that the service was following the APBA and not the BCP. I think the BCP is only used after January. Furthermore, even by APBA standards the Eucharistic prayer was rushed and insufficiently reverent. Oh well, it is a lovely little church:}
14
14
\figure{
15
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stjohns1.jpeg}}{}
16
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stjohns2.jpeg}}{}
17
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stjohns3.jpeg}}{}
15
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stjohns1.jpeg}}{}
16
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stjohns2.jpeg}}{}
17
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stjohns3.jpeg}}{}
18
18
\figcaption{Church of St. John the Baptist, Reid.}
19
19
}
20
20
+4
-4
trees/loc-002U.tree
+4
-4
trees/loc-002U.tree
···
10
10
Benedíctus qui venit in nómine Dómini: benedíximus vobis de domo Dómini: Deus Dóminus, et illúxit nobis, allelúia, allelúia.
11
11
}
12
12
\figure{
13
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpeters4.jpeg}}{}
14
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpeters3.jpeg}}{}
15
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpeters2.jpeg}}{}
16
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpeters.jpeg}}{}
13
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpeters4.jpeg}}{}
14
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpeters3.jpeg}}{}
15
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpeters2.jpeg}}{}
16
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpeters.jpeg}}{}
17
17
\figcaption{St Peter's Eastern Hill, Melbourne.}
18
18
}
19
19
\p{This Sunday I sang with the choir of [St. Peter's Eastern Hill](https://www.stpeters.org.au) in Melbourne. We sang the Simple Communion Service in F Major by William Harris, for which I can't find a recording online (although the [livestream link for St. Peter's](https://www.youtube.com/watch?v=LsT4HF1ND7E) isn't bad, and we sang it well). For a motet we sang Marenzio's [Tribus miraculis](https://www.youtube.com/watch?v=5DW4n-Wgcs8): }
+11
-11
trees/loc-002V.tree
+11
-11
trees/loc-002V.tree
···
4
4
\p{The clergy and lay canons at [St. Peter's Eastern Hill](https://www.stpeters.org.au), in addition to letting me [sing in their choir](loc-002U), were also kind enough to let me join them for their private divine office, and I've been joining them every day I've been here in Melbourne. I start the day with Matins and Lauds and end the day with Vespers. It's been surprisingly restorative. For one, it stops me from sleeping in later and later which often happens over time when I travel. I plan to do the same thing when I travel to Edinburgh later in the month.}
5
5
\p{I also attended some services at the lovely Catholic [St. Patrick's Cathedral](https://melbournecatholic.org/st-patricks-cathedral) across the road, although I found their service schedule disappointing compared to Sydney's St. Mary's Cathedral. The building itself is beautiful, however: }
6
6
\figure{
7
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpats2.jpeg}}{}
8
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpats1.jpeg}}{}
9
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpats3.jpeg}}{}
10
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpats4.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpats2.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpats1.jpeg}}{}
9
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpats3.jpeg}}{}
10
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpats4.jpeg}}{}
11
11
\figcaption{St Patrick's Cathedral, Melbourne}
12
12
}
13
13
\p{Also, for completeness' sake I guess, I visited briefly the Anglican [St. Paul's Cathedral](https://cathedral.org.au) near Flinders Street Station, but unlike St. Pat's it was quite overrun with tourists. Still much to appreciate in the building itself, however:}
14
14
\figure{
15
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpauls1.jpeg}}{}
16
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpauls2.jpeg}}{}
17
-
\<html:img>[width]{250px}[src]{\route-asset{assets/stpauls3.jpeg}}{}
15
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpauls1.jpeg}}{}
16
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpauls2.jpeg}}{}
17
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/stpauls3.jpeg}}{}
18
18
\figcaption{St Paul's Cathedral, Melbourne}
19
19
}
20
20
\p{I also went to the State Library of Victoria, where in addition to seeing the impressive La Trobe Reading Room I also got to have a look at a few manuscripts that were interesting to me:}
21
21
\figure{
22
-
\<html:img>[width]{250px}[src]{\route-asset{assets/melb3.jpeg}}{}
23
-
\<html:img>[width]{250px}[src]{\route-asset{assets/grad1.jpeg}}{}
24
-
\<html:img>[width]{250px}[src]{\route-asset{assets/grad2.jpeg}}{}
25
-
\<html:img>[width]{250px}[src]{\route-asset{assets/grad3.jpeg}}{}
22
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/melb3.jpeg}}{}
23
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/grad1.jpeg}}{}
24
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/grad2.jpeg}}{}
25
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/grad3.jpeg}}{}
26
26
\figcaption{Some interesting finds at the State Library.}
27
27
}
28
28
\p{The first manuscript pictured above seems to be a chant for the text \em{Levíta Lauréntius}, but it doesn't seem to resemble any of the chants from the Solesmes books. I'm not sure where this melody comes from or where it's ended up (if anywhere) in the modern graduals. The next one, in a frame, seems to be a page from a nocturnal or antiphonary, because what starts halfway down the page is \em{Centum quadraginta}, an antiphon for the memorial of the Holy Innocents. The third shot, which isn't of a chant book, seems to be a missal of some kind, with a Eucharistic canon on the left and some propers on the right, including the \em{ad te levávi} text that immediately signifies the first Sunday of Advent. }
+2
-2
trees/loc-002Z.tree
+2
-2
trees/loc-002Z.tree
···
10
10
Adoráte Deum omnes Angeli eius audívit, et lætáta est Sion: et exsultavérunt fíliæ Iudæ.
11
11
}
12
12
\figure{
13
-
\<html:img>[width]{250px}[src]{\route-asset{assets/smas1.jpeg}}{}
14
-
\<html:img>[width]{250px}[src]{\route-asset{assets/smas2.jpeg}}{}
13
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/smas1.jpeg}}{}
14
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/smas2.jpeg}}{}
15
15
\figcaption{It's good to be back at St. Michael and All Saints.}
16
16
}
17
17
\p{This Sunday I sang with two choirs: [St. Michael and All Saints](https://smas.church) for the morning mass and [Old St. Paul's](https://www.osp.org.uk/) for evensong, which included lucernarium and benediction of the Blessed Sacrament. In the morning we sang Franck's [Panis Angelicus](https://www.youtube.com/watch?v=PK3TeWqSAZk) and a simple choral mass setting whose composer I can't now recall. }
+1
-1
trees/loc-0030.tree
+1
-1
trees/loc-0030.tree
···
3
3
\title{David Byrne: Who is the Sky?}
4
4
\author{liamoc}
5
5
\figure{
6
-
\<html:img>[width]{350px}[src]{\route-asset{assets/byrne.jpg}}{}
6
+
\<html:img>[loading]{lazy}[width]{350px}[src]{\route-asset{assets/byrne.jpg}}{}
7
7
}
8
8
\p{Today in Sydney I saw David Byrne's concert tour, \em{Who is the Sky?}. The guy has incredible energy, even now that he's in his seventies. While he's not as active as he was in [Stop Making Sense](https://www.youtube.com/watch?v=8al5cSQNmME), he is still a mesmerising performer. The setlist included a surprisingly large amount of Talking Heads classics: \em{Houses in Motion} (which was simply amazing), \em{Life During Wartime}, \em{And She Was}, \em{Slippery People}, \em{This Must Be The Place}, \em{Once in a Lifetime}, \em{Burning Down the House}, \em{Heaven}, \em{Psycho Killer} and \em{Nothing but Flowers}. There were also a few solo tracks I recognised: \em{Like Humans Do}, \em{Strange Overtones} and \em{Everybody's Coming to My House}. }
9
9
\p{What stands out to me is the \em{extremely} tight choreography and use of the stage space. The entire performance was just the performers carrying all their instruments like a marching band while wearing blue jumpsuits, with various images projected on the screens behind them. Somehow, it never got old. It was an utterly captivating performance, and the music was fantastic of course.}
+2
-2
trees/weeknotes/2025-W27.tree
+2
-2
trees/weeknotes/2025-W27.tree
···
4
4
\date{2025-07-06}
5
5
\p{I decided to try out the Weeknotes idea, that I first saw from [[jonsterling]]. This was a pretty full week, ending with the somewhat devastating news that dozens of academic and professional positions will be gutted from, among others, the College of Arts and Social Sciences at the [[anu]]. I hear that Music will in particular be sorely affected. My heart goes out to all my colleagues and I hope that all of their futures are bright. }
6
6
\figure{
7
-
\<html:img>[width]{220px}[src]{\route-asset{assets/tidbin0.jpeg}}{}
8
-
\<html:img>[width]{220px}[src]{\route-asset{assets/tidbin1.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/tidbin0.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/tidbin1.jpeg}}{}
9
9
\figcaption{Some shots from the Tidbinbilla nature reserve, south of Canberra.}
10
10
}
11
11
\transclude{loc-001A}
+3
-3
trees/weeknotes/2025-W31.tree
+3
-3
trees/weeknotes/2025-W31.tree
···
4
4
\date{2025-08-03}
5
5
\p{I don't have much to include this week because of my [[COMP1100]] management taking up most of my time. I had planned to write something about the entitlement of students (in a true "get off my lawn" style) but it will have to wait for another week. }
6
6
\figure{
7
-
\<html:img>[width]{220px}[src]{\route-asset{assets/parrot0.jpeg}}{}
8
-
\<html:img>[width]{220px}[src]{\route-asset{assets/parrot1.jpeg}}{}
9
-
\<html:img>[width]{220px}[src]{\route-asset{assets/parrot2.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/parrot0.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/parrot1.jpeg}}{}
9
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/parrot2.jpeg}}{}
10
10
\figcaption{Some parrots spotted on the ANU campus.}
11
11
}
12
12
\transclude{loc-001K}
+2
-2
trees/weeknotes/2025-W32.tree
+2
-2
trees/weeknotes/2025-W32.tree
···
4
4
\date{2025-08-10}
5
5
\p{I've been overwhelmed with work lately. But my travel to Portugal for the WG2.1 meeting has now been fully organised. }
6
6
\figure{
7
-
\<html:img>[width]{220px}[src]{\route-asset{assets/haigpark.jpeg}}{}
8
-
\<html:img>[width]{220px}[src]{\route-asset{assets/kambri.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/haigpark.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{220px}[src]{\route-asset{assets/kambri.jpeg}}{}
9
9
\figcaption{Some shots around campus and Canberra.}
10
10
}
11
11
\transclude{loc-001M}
+1
-1
trees/weeknotes/2025-W40.tree
+1
-1
trees/weeknotes/2025-W40.tree
···
3
3
\author{liamoc}
4
4
\date{2025-10-05}
5
5
\p{This week was also productive, but mostly in my preparations for [[COMP1110]] and for attending the megaconference in Singapore next week.}
6
-
\figure{\<html:img>[width]{540px}[src]{\route-asset{assets/kooka.jpeg}}{}
6
+
\figure{\<html:img>[loading]{lazy}[width]{540px}[src]{\route-asset{assets/kooka.jpeg}}{}
7
7
\figcaption{A Kookaburra I spied on the walk home.}
8
8
}
9
9
\transclude{loc-0022}
+2
-2
trees/weeknotes/2025-W44.tree
+2
-2
trees/weeknotes/2025-W44.tree
···
4
4
\date{2025-11-02}
5
5
\p{This is my first week back to weeknoting in about a month, seeing as I was first travelling to Singapore for [ICFP](icfp25) and then subsequently took two weeks off to spend some time with my partner, who was visiting from Korea.}
6
6
\figure{
7
-
\<html:img>[width]{240px}[src]{\route-asset{assets/waterdragon.jpeg}}{}
8
-
\<html:img>[width]{240px}[src]{\route-asset{assets/kangaroo.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/waterdragon.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/kangaroo.jpeg}}{}
9
9
\figcaption{One of many Water Dragons seen at Manly, and one of many Kangaroos seen at Tidbinbilla.}
10
10
}
11
11
\transclude{loc-0026}
+2
-2
trees/weeknotes/2025-W45.tree
+2
-2
trees/weeknotes/2025-W45.tree
···
4
4
\date{2025-11-09}
5
5
\p{This week was mostly occupied with various administrative catchups after my two weeks of leave. }
6
6
\figure{
7
-
\<html:img>[width]{240px}[src]{\route-asset{assets/wetlands1.jpeg}}{}
8
-
\<html:img>[width]{240px}[src]{\route-asset{assets/wetlands2.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/wetlands1.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{240px}[src]{\route-asset{assets/wetlands2.jpeg}}{}
9
9
\figcaption{Some nice sunsets near the Lyneham wetlands.}
10
10
}
11
11
\transclude{loc-0028}
+2
-2
trees/weeknotes/2025-W47.tree
+2
-2
trees/weeknotes/2025-W47.tree
···
4
4
\date{2025-11-23}
5
5
\p{I'm making these weeknotes in a rush, because I'm going to SAPLING tomorrow and I have to get up super early to get to Sydney on time.}
6
6
\figure{
7
-
\<html:img>[width]{250px}[src]{\route-asset{assets/coloursunset1.jpeg}}{}
8
-
\<html:img>[width]{250px}[src]{\route-asset{assets/coloursunset2.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/coloursunset1.jpeg}}{}
8
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/coloursunset2.jpeg}}{}
9
9
\figcaption{The wonderfully frequent technicolour sunsets in Canberra.}
10
10
}
11
11
\transclude{loc-002G}
+2
-2
trees/weeknotes/2025-W48.tree
+2
-2
trees/weeknotes/2025-W48.tree
···
4
4
\date{2025-11-30}
5
5
\p{I spent much of this week preparing notes for my upcoming Logic Summer School course, [[isa-0001]].}
6
6
\figure{
7
-
\<html:img>[width]{250px}[src]{\route-asset{assets/clear1.jpeg}}%{}
8
-
\<html:img>[width]{250px}[src]{\route-asset{assets/clear2.jpeg}}{}
7
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/clear1.jpeg}}%{}
8
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/clear2.jpeg}}{}
9
9
\figcaption{Clear skies on my walk to work.}
10
10
}
11
11
\transclude{loc-002J}
+1
-1
trees/weeknotes/2025-W50.tree
+1
-1
trees/weeknotes/2025-W50.tree
···
4
4
\date{2025-12-14}
5
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-0001]]) 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
\figure{
7
-
\<html:img>[width]{350px}[src]{\route-asset{assets/cloudy.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{350px}[src]{\route-asset{assets/cloudy.jpeg}}%{}
8
8
\figcaption{A picturesque cloudy Canberra evening.}
9
9
}
10
10
\transclude{loc-002N}
+1
-1
trees/weeknotes/2025-W51.tree
+1
-1
trees/weeknotes/2025-W51.tree
···
4
4
\date{2025-12-21}
5
5
\p{This week somehow I didn't end up getting much work done, although a bunch of admin was handled. Next week I will be singing at Midnight Mass and then travelling to Sydney to spend Christmas day with my family.}
6
6
\figure{
7
-
\<html:img>[width]{350px}[src]{\route-asset{assets/morning.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{350px}[src]{\route-asset{assets/morning.jpeg}}%{}
8
8
\figcaption{A nice Canberra morning.}
9
9
}
10
10
\transclude{loc-002Q}
+1
-1
trees/weeknotes/2026-W01.tree
+1
-1
trees/weeknotes/2026-W01.tree
···
4
4
\date{2025-12-28}
5
5
\p{This new-years week was predominantly spent resting and preparing for my travel to Melbourne to avoid the dreaded Summernats festival, so I have little to report, save my church singing for the week.}
6
6
\figure{
7
-
\<html:img>[width]{350px}[src]{\route-asset{assets/moonrise.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{350px}[src]{\route-asset{assets/moonrise.jpeg}}%{}
8
8
\figcaption{A Canberra moonrise from my apartment balcony.}
9
9
}
10
10
\transclude{loc-002T}
+4
-4
trees/weeknotes/2026-W02.tree
+4
-4
trees/weeknotes/2026-W02.tree
···
4
4
\date{2025-12-28}
5
5
\p{This week I have been holidaying in Melbourne!}
6
6
\figure{
7
-
\<html:img>[width]{250px}[src]{\route-asset{assets/melb1.jpeg}}%{}
8
-
\<html:img>[width]{250px}[src]{\route-asset{assets/melb2.jpeg}}%{}
9
-
\<html:img>[width]{250px}[src]{\route-asset{assets/melb4.jpeg}}%{}
10
-
\<html:img>[width]{250px}[src]{\route-asset{assets/melb5.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/melb1.jpeg}}%{}
8
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/melb2.jpeg}}%{}
9
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/melb4.jpeg}}%{}
10
+
\<html:img>[loading]{lazy}[width]{250px}[src]{\route-asset{assets/melb5.jpeg}}%{}
11
11
\figcaption{Some sights of Melbourne.}
12
12
}
13
13
\transclude{loc-002V}
+2
-2
trees/weeknotes/2026-W03.tree
+2
-2
trees/weeknotes/2026-W03.tree
···
4
4
\date{2026-01-18}
5
5
\p{This week has mostly been spent catching up with work and preparing for my Edinburgh trip.}
6
6
\figure{
7
-
\<html:img>[width]{260px}[src]{\route-asset{assets/kooka2.jpeg}}%{}
8
-
\<html:img>[width]{260px}[src]{\route-asset{assets/lake.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/kooka2.jpeg}}%{}
8
+
\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/lake.jpeg}}%{}
9
9
\figcaption{A Kookaburra sighted on my way to work.}
10
10
}
11
11
\transclude{loc-002W}
+3
-3
trees/weeknotes/2026-W04.tree
+3
-3
trees/weeknotes/2026-W04.tree
···
4
4
\date{2026-01-25}
5
5
\p{This week was primarily spent travelling, although I have safely made it to Edinburgh. I'm here for two weeks or so, and I'm trying to maximise the amount of good church singing I do while I'm here.}
6
6
\figure{
7
-
\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh1.jpeg}}%{}
8
-
%\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh2.jpeg}}%{}
9
-
\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh3.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh1.jpeg}}%{}
8
+
%\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh2.jpeg}}%{}
9
+
\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh3.jpeg}}%{}
10
10
\figcaption{Gloomy, wet, cold, miserable, lovely Edinburgh.}
11
11
}
12
12
\transclude{loc-0030}
+2
-2
trees/weeknotes/2026-W05.tree
+2
-2
trees/weeknotes/2026-W05.tree
···
4
4
\date{2026-02-01}
5
5
\p{This week was primarily spent working in Edinburgh.}
6
6
\figure{
7
-
\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh4.jpeg}}%{}
7
+
\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh4.jpeg}}%{}
8
8
%\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh2.jpeg}}%{}
9
-
\<html:img>[width]{260px}[src]{\route-asset{assets/edinburgh5.jpeg}}%{}
9
+
\<html:img>[loading]{lazy}[width]{260px}[src]{\route-asset{assets/edinburgh5.jpeg}}%{}
10
10
\figcaption{A rare glimpse of the sun in wintry Edinburgh.}
11
11
}
12
12
\transclude{loc-0033}