my forest
add weeknotes index
+22
-5
+1
-1
trees/loc-0016.tree
+1
-1
trees/loc-0016.tree
···
1
1
\import{gabc-macros}
2
-
\title{Reviewing and Program Committees}
2
+
\title{APLAS preliminaries}
3
3
\date{2025-07-03}
4
4
\author{liamoc}
5
5
\p{I wrote all my reviews for [APLAS 2025](aplas25) this week. APLAS was the first conference I ever attended, and I remain quite fond of the Asia-Pacific PL community. All of the papers I reviewed were interesting. I am also hopeful about our own submission: [Selene](selene), a PhD student of [Christine Rizkallah](crizkallah), has been pursuing a research agenda with several collaborators relating the uniqueness types of, say, [Cogent](cogent) with the program-logic driven approaches of, say, Separation Logic, based on a [short abstract](oconnor-linares-rizkallah-2023) I wrote and submitted with her to [VIMPL 2023](vimpl23). This work has culminated in our APLAS submission. }
+3
-3
trees/loc-0018.tree
+3
-3
trees/loc-0018.tree
···
38
38
}
39
39
\p{
40
40
These definitions are sufficient to show that #{(S, \cup ,\cdot, \emptyset, \mathbf{1}, {}^\ast)} is a Kleene algebra. Then, to extend this to an #{\omega}-algebra, one needs only the #{ {}^\omega} operator.
41
-
41
+
}
42
42
\subtree{
43
43
\taxon{Definition}
44
44
\title{The Omega Operator}
45
45
\p{
46
-
We define the #{{}^\omega} operator as follows:
46
+
We define the #{{ }^\omega } operator as follows:
47
47
##{
48
48
S^\omega \triangleq \Set{ (w, s_1, s_2) \mid \exists \text{an infinite run for}\ w\ \text{in}\ S\ \text{starting with stack}\ s_1}
49
49
}
···
57
57
\p{This means we can prove #{S \vdash (w,s_1)\ \textbf{infinite}} if we can find an infinite chain of moves in #{S} starting with stack #{s_1} that, when all combined, results in the word #{w}.}
58
58
\p{Note that while the run is infinitely long, the word #{w} need not be, due to the presence of #{\varepsilon}-moves. }
59
59
}
60
+
\p{One thing we noticed here is that it doesn't matter to the operators what the type of the stack is. Indeed, replace stacks with tapes and you'd get something describing actions on a turing machine. This gives us compelling directions to take this!}
60
61
61
62
62
-
}
+2
-1
trees/loc-0019.tree
+2
-1
trees/loc-0019.tree
···
9
9
\quote{
10
10
Suscépimus, Deus, misericórdiam tuam in médio templi tui: secúndum nomen tuum Deus, ita et laus tua in fines terræ: iustítia plena est déxtera tua.
11
11
}
12
-
\p{While we were short on numbers, the choir of [All Saints Ainslie](https://allsaintsainslie.org.au), performed the lovely [We Wait for Thy Loving-kindness, O God](https://www.youtube.com/watch?v=YDB77SDWrII) by William McKie. I performed the brief tenor solo intonations. I notice as I write this that the text is the same as the introit for this Sunday, which I wrote above.}
12
+
\p{While we were short on numbers, the choir of [All Saints Ainslie](https://allsaintsainslie.org.au) performed the lovely [We Wait for Thy Loving-kindness, O God](https://www.youtube.com/watch?v=YDB77SDWrII) by William McKie. I performed the brief tenor solo intonations. I notice as I write this that the text is the same as the introit for this Sunday, which I wrote above.}
13
13
\quote{
14
14
\poem{
15
15
\line{
···
28
28
Amen.}
29
29
}
30
30
}
31
+
\p{As my parents were visiting I didn't end up making my way down to Manuka for Evensong today.}
+15
trees/loc-001B.tree
+15
trees/loc-001B.tree
···
1
+
\title{Weeknotes}
2
+
\parent{index}
3
+
\author{liamoc}
4
+
\date{2025-07-06}
5
+
\tag{top}
6
+
7
+
\syndicate-current-tree-as-atom-feed
8
+
9
+
\put\transclude/numbered{false}
10
+
\put\transclude/metadata{true}
11
+
\put\transclude/expanded{false}
12
+
13
+
\p{This page has an [atom feed](/forest/loc-001B/atom.xml).}
14
+
15
+
\transclude{2025-W27}