my forest
add weeknote about the zulip
+11
-1
+1
-1
trees/loc-0018.tree
+1
-1
trees/loc-0018.tree
···
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
}
50
-
The above definition feels informal, so we will define momentarily a judgment or predicate #{S \vdash (w,s_1)\ \textbf{infinite} }, which means the same thing:}
50
+
The guard in the above set comprehension feels informal, so we will define momentarily a judgment or predicate #{S \vdash (w,s_1)\ \textbf{infinite} }, which means the same thing:}
51
51
##{
52
52
S^\omega \triangleq \Set{ (w, s_1, s_2) \mid S \vdash (w,s_1)\ \textbf{infinite}}
53
53
}
+9
trees/loc-001A.tree
+9
trees/loc-001A.tree
···
1
+
\date{2025-07-03}
2
+
\title{The AusPL Zulip}
3
+
\author{liamoc}
4
+
\p{
5
+
Following the near-death of Aussie PL last decade I think we’ve gotten in the habit of thinking that Aussie PL is this tiny embattled community with only essential activities, but thinking about the environment in Scotland and comparing it, I don’t think there is actually much truth to that. Scotland has events like [SPLV](http://spli.scot/splv/); we have (e.g.) the [logic summer school](https://comp.anu.edu.au/lss/). Scotland has the [SPL seminar](http://spli.scot/spls/); We have [SAPLING](https://comp.anu.edu.au/sapling/index.html). SPLI applies for large CDT grants, we apply for large CoE grants (and both get rejected :). What’s missing is the network of folks in various places, who can advertise seminars when people are visiting, who can arrange visits and cross-institutional collaboration etc.
6
+
}
7
+
\p{This network started in Scotland with the [SPLS Zulip](https://spls.zulipchat.com), which eventually evolved into the more formal organisation, the [Scottish Programming Languages Institute](https://spli.scot). I think it would be nice to foster that kind of active cross-institutional community that has worked well in Scotland, and Zulip is a huge part of why the SPLI exists now.}
8
+
\p{To this end, I have started the [AusPL Zulip](https://auspl.zulipchat.com), specifically targeting researchers and students in programming languages, formal methods, software engineering, and related areas in Australian institutions (and surrounding countries). Please consider signing up!}
9
+
\p{\strong{[Join Here!](https://auspl.zulipchat.com/join/3ger2ugmoikiyzoaomenfwjc/)}}
+1
trees/weeknotes/2025-W27.tree
+1
trees/weeknotes/2025-W27.tree
···
2
2
\author{liamoc}
3
3
\date{2025-07-06}
4
4
\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. }
5
+
\transclude{loc-001A}
5
6
\transclude{loc-0014}
6
7
\transclude{loc-0015}
7
8
\transclude{loc-0016}