system asta
ah@goto.boserup.eu
<p>I literally do not see replies from randos. I do not approve follow requests from big-instance dwellers with empty bios.<br><br>Elden Ring, LLM Kompromat, Emacs, Life, Modal Editing. I don't know anymore. I post in Danish and English with the occasional Brecht lyrics in German.</p>
Posts
-
Post #2162705
You! Yes, you! You should submit a paper to Dalí 2025, the 6th Workshop on Dynamic Logic - New trends and applications. The PC is chock-full of great people, so send in a short or regular paper on anything to do with dynamic logic! http://www.dali2025.cn/
-
Post #1476915
A very first post on the Effekt blog: https://effekt-lang.org/blog/recursion-schemes/
-
Post #1156287
Lose my job to AI? I will simply lose my job to the passing of time. Get left behind.