my forest
weeknotes w34
+131
assets/cockies1.jpeg
assets/cockies1.jpeg
This is a binary file and will not be displayed.
assets/cockies2.jpeg
assets/cockies2.jpeg
This is a binary file and will not be displayed.
+1
trees/loc-001B.tree
+1
trees/loc-001B.tree
+8
trees/loc-001P.tree
+8
trees/loc-001P.tree
···
1
+
\date{2025-08-24}
2
+
\title{The ICFP contest is nearly upon us}
3
+
\author{liamoc}
4
+
\p{I've been putting the finishing touches on the server for the [[icfpc25]], which I am organising. With [[jackstodart]] and [[alexblack]] we will put it through a test run this week, if I can find the time.}
5
+
\p{I wrote the server in Kotlin and used AWS Lambda, AWS DynamoDB and other Amazon Web Services. The point of this approach was so that I wouldn't have to worry about scalability, but I am slightly nervous that the costs will be much higher than I expected. I guess I'll cross that bridge when I come to it.}
6
+
\p{I must say that the state of documentation for AWS is \strong{simply atrocious}. On one occasion, in desperation to find some answers to what I thought were simple queries, I turned to the dreaded bots for help. They gave me incorrect answers, of course, but I was at least able to [Kagi search](https://kagi.com/) my way to success based on their answer. Still, I feel like I need to go to confession and receive absolution for interacting at all with those infernal machines.}
7
+
\p{Another concern is that I am flying from Sydney to Portugal while the contest will be going on. I'm hoping Jack will be able to monitor things without me, but mostly I'm going on faith that nothing will explode.}
8
+
\p{I'm theming this year's contest around one of my all-time favourite novels, [[eco]]'s \em{The Name of the Rose}. Some of the folks on our Discord channel have been enjoying that.}
+5
trees/loc-001Q.tree
+5
trees/loc-001Q.tree
···
1
+
\title{Holbert status report}
2
+
\date{2025-08-24}
3
+
\author{liamoc}
4
+
\p{My honours students have been hard at work on the [next generation of Holbert](loc-000V) lately. [[miowu]] has finished implementing an engine (including pattern unification) for higher order terms, and is now investigating [[libal-miller-2021]] for implementation in Holbert-ng. Also [[joshbrown]] has been looking into E-unification modulo associativity, so that we can represent syntax and parsing rules in Holbert. Both have made excellent progress, with basic versions of their respective unification algorithms already in place and working.}
5
+
\p{I'm hoping that I will have time to work on the UI side of things again sometime in September, but we shall see!}
+35
trees/loc-001R.tree
+35
trees/loc-001R.tree
···
1
+
\import{table-macros}
2
+
\def\percent{\startverb%\stopverb
3
+
}
4
+
\parent{loc-000P}
5
+
\title{Feast of St. Bartholomew 2025}
6
+
\tag{cmc}
7
+
\date{2025-08-24}
8
+
\author{liamoc}
9
+
\quote{
10
+
MIHI autem nimis honoráti sunt amíci tui, Deus: nimis confortátus est principátus eórum.
11
+
\br
12
+
EGO autem sicut olíva fructificávi in domo Dómini, sperávi in misericórdia Dei mei: et exspectábo nomen tuum, quóniam bonum est ante conspéctum sanctórum tuórum.
13
+
\br
14
+
Inclína Dómine, aurem tuam ad me, et exáudi me: salvum fac servum tuum, Deus meus, sperántem in te: miserére mihi, Domine, quóniam ad te clamávi tota die.
15
+
}
16
+
\p{Today our choir at [All Saints Ainslie](https://allsaintsainslie.org.au) sang Anton Brucker's classic [Locus Iste](https://www.youtube.com/watch?v=udZCjXbwkzk):}
17
+
\quote{
18
+
\table{
19
+
\tr{
20
+
\td{Locus iste a Deo factus est.}
21
+
\td{This place is made by God,}
22
+
}\tr{
23
+
\td{Inaestimábile sacraméntum,}
24
+
\td{A priceless sacrament,}
25
+
}\tr{
26
+
\td{Irreprehensíbilis est.}
27
+
\td{Beyond reproach.}
28
+
}\tr{
29
+
\td{Locus iste a Deo factus est.}
30
+
\td{This place is made by God.}
31
+
}
32
+
}
33
+
}
34
+
\p{Strangely, it seems that Roman Catholics ignored the feast today, just celebrating the 21st Sunday in Ordinary Time instead. Not sure why that was happening.}
35
+
\p{I didn't go to Evensong today, because I'm so busy setting up the ICFP programming contest and arranging [my move to Dickson](loc-001O).}
+13
trees/loc-001S.tree
+13
trees/loc-001S.tree
···
1
+
\import{table-macros}
2
+
\date{2025-08-24}
3
+
\title{COMP1100 lectures done}
4
+
\author{liamoc}
5
+
\figure{
6
+
\<html:img>[width]{220px}[src]{\route-asset{assets/cockies1.jpeg}}{}
7
+
\<html:img>[width]{220px}[src]{\route-asset{assets/cockies2.jpeg}}{}
8
+
\figcaption{The squawking cockatoos on the walk from my lecture theatre.}
9
+
}
10
+
11
+
\p{I finished the first 5 weeks of teaching for [[COMP1100]] this week, which marks the point in the course where I hand over lecturing duties to [[ranaldclouston]]. Tomorrow I will be up early to invigilate the mid-term exam, which I spent the last week setting up. I think it will be sufficiently brutal to give a shock to those students [who have not sufficiently engaged](loc-001I), while still being fair and achievable for that handful of students who are attending classes and strongly engaging with the course.}
12
+
\p{I was absolutely mortified in the first lecture of my final week when only two students (out of almost 120) showed up. I later found out that my handful of regular attendees had a maths exam the same time, which lessened the impact somewhat.}
13
+
\p{I have no doubt that most of those who actually attend my lectures will do well. They are very on the ball, and they seem to enjoy my lectures. One asked what other subjects I teach, and another gave me a delicious carrot cake after my final lecture, which was a very touching gesture!}
+4
trees/news.tree
+4
trees/news.tree
+5
trees/people/alexblack.tree
+5
trees/people/alexblack.tree
+6
trees/people/dalemiller.tree
+6
trees/people/dalemiller.tree
+4
trees/people/eco.tree
+4
trees/people/eco.tree
+6
trees/people/jackstodart.tree
+6
trees/people/jackstodart.tree
+9
trees/people/ranaldclouston.tree
+9
trees/people/ranaldclouston.tree
+6
trees/people/tomerlibal.tree
+6
trees/people/tomerlibal.tree
+4
trees/places/amai.tree
+4
trees/places/amai.tree
+4
trees/places/inria.tree
+4
trees/places/inria.tree
+4
trees/places/unilux.tree
+4
trees/places/unilux.tree
+8
trees/refs/libal-miller-2021.tree
+8
trees/refs/libal-miller-2021.tree
+9
trees/weeknotes/2025-W34.tree
+9
trees/weeknotes/2025-W34.tree
···
1
+
\import{table-macros}
2
+
\title{Weeknotes 2025-W34}
3
+
\author{liamoc}
4
+
\date{2025-08-24}
5
+
\p{This week included the start of [[xinloi]]'s PhD with me and [[hoefner]], my sitting on a PhD review panel for [[tudor]] and a few productive meetings including with [[rayhana]].}
6
+
\transclude{loc-001S}
7
+
\transclude{loc-001P}
8
+
\transclude{loc-001Q}
9
+
\transclude{loc-001R}