Elektrine lite

← Feed

asta primavera

ah@goto.boserup.eu

<p>I post unlisted so threads don't break for onlookers.<br><br>Elden Ring, LLM Kompromat, Emacs, Life, Modal Editing. I don't know anymore. Former postdoc at DIKU. I post in Danish and English with the occasional quote in German.</p>

Posts

  • View post

    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/

  • View post

    A very first post on the Effekt blog: https://effekt-lang.org/blog/recursion-schemes/

  • View post

    Lose my job to AI? I will simply lose my job to the passing of time. Get left behind.