my forest
fixes
+78
-107
assets/sunclouds.jpeg
assets/sunclouds.jpeg
This is a binary file and will not be displayed.
+1
trees/loc-0002.tree
+1
trees/loc-0002.tree
···
31
31
\subtree{
32
32
\title{Bachelors students}
33
33
\ul{
34
+
\li{[[edwinpark]]: 2026, [[anu]]. \em{A proof-assistant framework for program calculation.}}
34
35
\li{[[miowu]]: 2025-2026, [[anu]]. \em{Pattern Unification in the Next Generation of the Holbert Proof Assistant}}
35
36
\li{[[joshbrown]]: 2025-2026, [[anu]]. \em{String Unification in the Next Generation of the Holbert Proof Assistant}}
36
37
\li{[[jackb]]: 2025, [[anu]] Semester Project. \em{A File Format for Holbert Proofs.}}
+1
-106
trees/loc-0032.tree
+1
-106
trees/loc-0032.tree
···
44
44
\line{for melody of psalms, glory be to thee:}
45
45
\line{for wisdom of proverbs, glory be to thee:}
46
46
\line{experience of histories, glory be to thee:}
47
-
\quote{
48
-
\table{
49
-
\tr{
50
-
\td{
51
-
O Jesu Christ, meins Lebens Licht,
52
-
}\td{Lord Jesu Christ, my life and light,}
53
-
}\tr{
54
-
\td{
55
-
Mein Hort, mein Trost, mein Zuversicht,}
56
-
\td{My strength, my stay, my day-star bright,}
57
-
}\tr{
58
-
\td{
59
-
Auf Erden bin ich nur ein Gast, :}
60
-
\td{On earth I have no home or rest,}
61
-
}\tr{\td{
62
-
Und drückt mich sehr der Sünden Last.}
63
-
\td{By all my grievous sin oppressed.}
64
-
}}
65
-
}
66
-
\p{I cantored for the propers. For the Mass setting, we sang the [St. Anne Mass](https://www.youtube.com/watch?v=4m23f0HCCQ4&list=OLAK5uy_lR9KBwM8xDlMcafjOPICA3f7WawCwwe7U&index=18) by Sir James MacMillan.}
67
-
\p{In the evening, we began with a [Stainer anthem](https://www.youtube.com/watch?v=hYmHdJJAyeA) I'm sure I've done before but I'm not sure when, then this [Mozart Magnificat](https://www.youtube.com/watch?v=x7ienPABe_o) (for which I sang the tenor part in the brief solo quartet sections), a 'Mozart' (actually John Kitchen) Nunc Dimittis, for which no recording exists but can be heard on our [livestream](https://youtu.be/Iuxew7FwMpc?t=1843). Finally for an anthem we sang the very challenging but interesting Rutter [Hymn to the Creator of Light](https://www.youtube.com/watch?v=InI__zYVxfc):}
68
-
\quote{
69
-
\poem{
70
-
\line{Glory be to thee, O Lord, glory be to thee,}
71
-
\line{Creator of the visible light, }
72
-
\line{the sun’s ray, the flame of fire;}
73
-
\line{Creator also of the light invisible and} \line{intellectual:}
74
-
\line{that which is known of God, the light invisible.}
75
-
\line{Glory be to thee, O Lord, glory be to thee,}
76
-
\line{Creator of the light.}
77
-
\line{for writings of the law, glory be to thee:}
78
-
\line{for oracles of prophets, glory be to thee:}
79
-
\line{for melody of psalms, glory be to thee:}
80
-
\line{for wisdom of proverbs, glory be to thee:}
81
-
\line{experience of histories, glory be to thee:}
82
-
\quote{
83
-
\table{
84
-
\tr{
85
-
\td{
86
-
O Jesu Christ, meins Lebens Licht,
87
-
}\td{Lord Jesu Christ, my life and light,}
88
-
}\tr{
89
-
\td{
90
-
Mein Hort, mein Trost, mein Zuversicht,}
91
-
\td{My strength, my stay, my day-star bright,}
92
-
}\tr{
93
-
\td{
94
-
Auf Erden bin ich nur ein Gast, :}
95
-
\td{On earth I have no home or rest,}
96
-
}\tr{\td{
97
-
Und drückt mich sehr der Sünden Last.}
98
-
\td{By all my grievous sin oppressed.}
99
-
}}
100
-
}
101
-
\p{I cantored for the propers. For the Mass setting, we sang the [St. Anne Mass](https://www.youtube.com/watch?v=4m23f0HCCQ4&list=OLAK5uy_lR9KBwM8xDlMcafjOPICA3f7WawCwwe7U&index=18) by Sir James MacMillan.}
102
-
\p{In the evening, we began with a [Stainer anthem](https://www.youtube.com/watch?v=hYmHdJJAyeA) I'm sure I've done before but I'm not sure when, then this [Mozart Magnificat](https://www.youtube.com/watch?v=x7ienPABe_o) (for which I sang the tenor part in the brief solo quartet sections), a 'Mozart' (actually John Kitchen) Nunc Dimittis, for which no recording exists but can be heard on our [livestream](https://youtu.be/Iuxew7FwMpc?t=1843). Finally for an anthem we sang the very challenging but interesting Rutter [Hymn to the Creator of Light](https://www.youtube.com/watch?v=InI__zYVxfc):}
103
-
\quote{
104
-
\poem{
105
-
\line{Glory be to thee, O Lord, glory be to thee,}
106
-
\line{Creator of the visible light, }
107
-
\line{the sun’s ray, the flame of fire;}
108
-
\line{Creator also of the light invisible and} \line{intellectual:}
109
-
\line{that which is known of God, the light invisible.}
110
-
\line{Glory be to thee, O Lord, glory be to thee,}
111
-
\line{Creator of the light.}
112
-
\line{for writings of the law, glory be to thee:}
113
-
\line{for oracles of prophets, glory be to thee:}
114
-
\line{for melody of psalms, glory be to thee:}
115
-
\line{for wisdom of proverbs, glory be to thee:}
116
-
\line{experience of histories, glory be to thee:}
117
-
\quote{
118
-
\table{
119
-
\tr{
120
-
\td{
121
-
O Jesu Christ, meins Lebens Licht,
122
-
}\td{Lord Jesu Christ, my life and light,}
123
-
}\tr{
124
-
\td{
125
-
Mein Hort, mein Trost, mein Zuversicht,}
126
-
\td{My strength, my stay, my day-star bright,}
127
-
}\tr{
128
-
\td{
129
-
Auf Erden bin ich nur ein Gast, :}
130
-
\td{On earth I have no home or rest,}
131
-
}\tr{\td{
132
-
Und drückt mich sehr der Sünden Last.}
133
-
\td{By all my grievous sin oppressed.}
134
-
}}
135
-
}
136
-
\p{I cantored for the propers. For the Mass setting, we sang the [St. Anne Mass](https://www.youtube.com/watch?v=4m23f0HCCQ4&list=OLAK5uy_lR9KBwM8xDlMcafjOPICA3f7WawCwwe7U&index=18) by Sir James MacMillan.}
137
-
\p{In the evening, we began with a [Stainer anthem](https://www.youtube.com/watch?v=hYmHdJJAyeA) I'm sure I've done before but I'm not sure when, then this [Mozart Magnificat](https://www.youtube.com/watch?v=x7ienPABe_o) (for which I sang the tenor part in the brief solo quartet sections), a 'Mozart' (actually John Kitchen) Nunc Dimittis, for which no recording exists but can be heard on our [livestream](https://youtu.be/Iuxew7FwMpc?t=1843). Finally for an anthem we sang the very challenging but interesting Rutter [Hymn to the Creator of Light](https://www.youtube.com/watch?v=InI__zYVxfc):}
138
-
\quote{
139
-
\poem{
140
-
\line{Glory be to thee, O Lord, glory be to thee,}
141
-
\line{Creator of the visible light, }
142
-
\line{the sun’s ray, the flame of fire;}
143
-
\line{Creator also of the light invisible and} \line{intellectual:}
144
-
\line{that which is known of God, the light invisible.}
145
-
\line{Glory be to thee, O Lord, glory be to thee,}
146
-
\line{Creator of the light.}
147
-
\line{for writings of the law, glory be to thee:}
148
-
\line{for oracles of prophets, glory be to thee:}
149
-
\line{for melody of psalms, glory be to thee:}
150
-
\line{for wisdom of proverbs, glory be to thee:}
151
-
\line{experience of histories, glory be to thee:}
152
47
\line{a light which never sets.}
153
48
\line{God is the Lord, who hath shewed us light.\br}
154
49
\line{Light, who dost my soul enlighten;}
···
161
56
\line{As thy guest in heaven receive us. }
162
57
}
163
58
}
164
-
\p{As usual we did John Kitchen's [Divine Praises](https://youtu.be/Iuxew7FwMpc?t=3440) at the end during the Benediction, which was a magical experience when I first heard it in the congregation of OSP years ago.}
59
+
\p{As usual we did John Kitchen's [Divine Praises](https://youtu.be/Iuxew7FwMpc?t=3440) at the end during the Benediction, which was a magical experience when I first heard it in the congregation of OSP years ago.}
165
60
+30
trees/loc-003D.tree
+30
trees/loc-003D.tree
···
1
+
\date{2026-03-01}
2
+
\import{table-macros}
3
+
\def\percent{\startverb%\stopverb
4
+
}
5
+
\parent{loc-000P}
6
+
\title{Second Sunday of Lent 2026}
7
+
\tag{cmc}
8
+
\author{liamoc}
9
+
\quote{Tibi dixit cor meum, qeæsívi vultum tuum, vultum tuum Dómine requíram: ne avértas fáciem tuam a me.\br
10
+
11
+
Reminíscere miseratiónum tuárum, Dómine, et misericórdiæ tuæ, quæ a saéculo sunt: ne unquam dominéntur nobis inimíci nostri: líbera nos Deus Israel ex ómnibus angústiis nostris.
12
+
}
13
+
\p{This Sunday our director was away at [All Saints Ainslie](https://allsaintsainslie.org.au) so I directed us for the Agnus Dei from Byrd's [Mass for Four Voices](https://www.youtube.com/watch?v=oJG7H-Xa5xI), one of my favourite pieces: }
14
+
\quote{
15
+
\table{
16
+
\tr{
17
+
\td{
18
+
Agnus Dei, qui tollis peccáta mundi, miserére nobis.
19
+
}\td{Lamb of God, that taketh away the sins of the world, have mercy upon us.}
20
+
}\tr{
21
+
\td{
22
+
Agnus Dei, qui tollis peccáta mundi, miserére nobis.}
23
+
\td{Lamb of God, that taketh away the sins of the world, have mercy upon us.}
24
+
}\tr{
25
+
\td{
26
+
Agnus Dei, qui tollis peccáta mundi, dona nobis pacem.}
27
+
\td{Lamb of God, that taketh away the sins of the world, grant us peace.}
28
+
}}
29
+
}
30
+
\p{I also auditioned for the [Coro](https://www.corocanberra.com/) choir. I think I stuffed up the sight reading, but I'll hope for the best.}
+6
trees/loc-003E.tree
+6
trees/loc-003E.tree
···
1
+
\date{2026-03-01}
2
+
\import{table-macros}
3
+
\title{Teaching [[COMP1110]] begins}
4
+
\author{liamoc}
5
+
\p{I began teaching my lectures for [[COMP1110]] over the last week. To my surprise, despite being the same cohort for which I saw [soul-destroyingly low attendance last semester](loc-001I), attendance this time was surprisingly decent. Perhaps it's the higher perceived difficulty of the course, the nicer weather, or the slightly more convenient location. Whatever the cause, I'm glad to actually have sufficient students to engage in a conversational lecture. }
6
+
\p{I have a bit of a sowing-and-then-reaping issue though. I designed the course outline to include weekly lab exercises, three homework tasks, and two mid-term exams. This is all well and good, except now I have to \em{make} all of this material. I'm very overwhelmed but well supported by some good tutors including [[xinloi]], [[kaiphan]], [[carloz]] and others.}
+6
trees/loc-003F.tree
+6
trees/loc-003F.tree
···
1
+
\date{2026-03-01}
2
+
\import{table-macros}
3
+
\title{Welcome, [[kaiphan]] and [[edwinpark]]!}
4
+
\author{liamoc}
5
+
\p{I have taken on another PhD student, [[kaiphan]], who (at least to start) will conduct some investigations into incorrectness logic, along with me, [[xinloi]], and [[hoefner]]. Welcome, Kai!}
6
+
\p{[[edwinpark]], a new honours student, has also arrived from [[unimelb]] to do an honours project with me here at the ANU. We are looking at program calculational techniques such as [[ccm]]'s refinement calculus, and exploring proof-assistant-integrated program calculation techniques.}
+8
trees/news.tree
+8
trees/news.tree
···
4
4
\p{See also [Weeknotes](loc-001B)}
5
5
\table{
6
6
\tr{
7
+
\th{ 26.03.01}
8
+
\td{[[kaiphan]] starts her PhD this week, and [[edwinpark]] starts his honours project. }
9
+
}
10
+
\tr{
11
+
\th{ 26.02.20}
12
+
\td{I have accepted an invitation to serve on the PC of [[popl27]].}
13
+
}
14
+
\tr{
7
15
\th{ 26.01.16}
8
16
\td{My student [[kaiphan]] will start her PhD with me this semester.}
9
17
}
+5
trees/people/edwinpark.tree
+5
trees/people/edwinpark.tree
+8
trees/places/popl27.tree
+8
trees/places/popl27.tree
···
1
+
\import{conf-name-macros}
2
+
\title{\conf-name{POPL ’27}{54th ACM SIGPLAN Symposium on Principles of Programming Languages}}
3
+
\taxon{Conference}
4
+
\date{2027-01}
5
+
\meta{venue}{Mexico City, Mexico}
6
+
\meta{external}{https://popl27.sigplan.org/}
7
+
8
+
\p{The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.}
+1
-1
trees/sarum/sarum-26-01-23.tree
+1
-1
trees/sarum/sarum-26-01-23.tree
+12
trees/weeknotes/2026-W09.tree
+12
trees/weeknotes/2026-W09.tree
···
1
+
\import{table-macros}
2
+
\title{Weeknotes 2026-W09}
3
+
\author{liamoc}
4
+
\date{2026-03-01}
5
+
\p{This week was also very busy, with my teaching obligations starting in earnest. }
6
+
\figure{
7
+
\<html:img>[loading]{lazy}[width]{350px}[src]{\route-asset{assets/sunclouds.jpeg}}
8
+
\figcaption{The sunset after rain in Canberra. }
9
+
}
10
+
\transclude{loc-003F}
11
+
\transclude{loc-003E}
12
+
\transclude{loc-003D}