# research group (blogs) — RSS Amplifier Recent posts from the 3 feeds in the RSS Amplifier directory that cover research group. Page: Feed: --- ## [DFG Heisenberg post-mortem, part 2](https://dilfridge.blogspot.com/2026/08/dfg-heisenberg-post-mortem-part-2.html) _2026-08-17 · Andreas · the dilfridge blog_ This post contains remaining parts of my DFG Heisenberg grant final report, by now long submitted and accepted by the DFG. I hope it will be of use, in particular to future DFG grant candidates. The text also somewhat explains why I'm fed up with academia, Regensburg, and physics right now (in no particular order and to varying degrees). The first part of the report can be found in a previous post… ## [Call for lightning talks: Haskell Symposium 2026](https://decomposition.al/blog/2026/07/21/call-for-lightning-talks-haskell-symposium-2026/) _2026-07-21 · Lindsey Kuper · decomposition ∘ al_ This year, I have the honor of serving as the program chair for the Haskell Symposium, co-located with the 2026 International Conference on Functional Programming, or ICFP to its friends1, on August 28-29 in Indianapolis, Indiana! The Haskell Symposium has existed in some form or another since 1995, and I’m proud to be part of this long tradition, now in its thirtieth iteration this year (wow!).… ## [DFG Heisenberg project post-mortem](https://dilfridge.blogspot.com/2026/07/dfg-heisenberg-project-post-mortem.html) _2026-07-20 · Andreas · the dilfridge blog_ This post is an excerpt from the formally non-public part of my DFG Heisenberg grant final report (about half of the actually interesting part). I hope it will help people do better. Some personal information has been redacted. The backstory In 2018, when I first submitted a Heisenberg program proposal, funding was declined. One referee report was full of misinformation and misinterpretations, the… ## [“Carol’s Causal Conundrum” is out!](https://decomposition.al/blog/2026/04/09/carols-causal-conundrum-is-out/) _2026-04-09 · Lindsey Kuper · decomposition ∘ al_ The newest zine from my research group, “Carol’s Causal Conundrum”, is out today! You can read it online, or print your own free copies to read offline ! This zine is an introduction to causally ordered message delivery , a fundamental abstraction for distributed programming. It’s the result of a six-month collaboration between my student collaborator, Ayush Manocha, and me. In the zine, we talk… ## [A magic dwells in each beginning](https://dilfridge.blogspot.com/2026/03/a-magic-dwells-in-each-beginning.html) _2026-03-06 · Andreas · the dilfridge blog_ "A magic dwells in each beginning" / "Und jedem Anfang wohnt ein Zauber inne" - this famous line of the poem "Stufen", written by Hermann Hesse over 80 years ago, comes to my mind when posting a bittersweet update here. After over 16 years of independent research and teaching at the physics department of Universität Regensburg, my Heisenberg grant and with that my last university employment… ## [Und jedem Anfang wohnt ein Zauber inne](https://dilfridge.blogspot.com/2026/03/und-jedem-anfang-wohnt-ein-zauber-inne.html) _2026-03-06 · Andreas · the dilfridge blog_ „Und jedem Anfang wohnt ein Zauber inne“ – an diese berühmte Zeile aus dem Gedicht „Stufen“, von Hermann Hesse vor über 80 Jahren verfasst, muß ich denken, wenn ich hier ein bittersüßes Update poste. Nach über 16 Jahren unabhängiger Forschung und Lehre an der Fakultät Physik der Universität Regensburg läuft meine Heisenberg-Stelle und damit mein letzter befristeter Hochschulvertrag aus. Zu den… ## [Interpreters everywhere!](https://decomposition.al/blog/2025/12/30/interpreters-everywhere/) _2025-12-30 · Lindsey Kuper · decomposition ∘ al_ Last month, I was thrilled to have the chance to give a colloquium talk, “Interpreters everywhere!”, at the Indiana University Computer Science Colloquium! This talk wouldn’t exist if it weren’t for my amazing students. In fact, some parts of it are directly ripped off from talks that my students Gan Shen and Jonathan Castello have given previously on our work: check out Gan’s talk on HasChor from… ## [Where “simulation” came from](https://decomposition.al/blog/2025/11/20/where-simulation-came-from/) _2025-11-20 · Lindsey Kuper · decomposition ∘ al_ When did computer scientists start to talk about “simulation” between programs? As of a couple of months ago, the earliest paper I had seen on this topic was Robin Milner’s widely cited IJCAI 1971 paper, “An algebraic definition of simulation between programs” . (That’s the official publisher’s version, but this tech report version seems to have more readable typesetting.) 1 Recently, though, I… ## [I took the “Crusty Interpreter” class!](https://decomposition.al/blog/2025/11/17/i-took-the-crusty-interpreter-class/) _2025-11-17 · Lindsey Kuper · decomposition ∘ al_ Last week, I cleared everything else off my schedule to take the “Crusty Interpreter” course, an immersive 5-day “write an interpreter in Rust” course taught by Dave Beazley. I have a long history with Rust, but the language has moved on considerably from what I used to know. Worse, I’d barely written code in any language in years, except for a bit of Haskell for courses I teach and the occasional… ## [“CRDT Emulation, Simulation, and Representation Independence” will appear at ICFP 2025](https://decomposition.al/blog/2025/06/29/crdt-emulation-simulation-and-representation-independence-will-appear-at-icfp-2025/) _2025-06-29 · Lindsey Kuper · decomposition ∘ al_ My research group has a new paper, “CRDT Emulation, Simulation, and Representation Independence”, appearing at ICFP this year! This project was headed up by my PhD student Nathan Liittschwager, with help from another PhD student in my group, Jonathan Castello, and our collaborator Stelios Tsampas. You can read our preprint (warts and all, but soon to be improved, thanks to feedback from the ICFP… ## [AI Summaries & Audio Briefings (Sponsored)](https://crawlproof.com/a/UapT8KIbaYg3) _2025-06-29 · **Sponsored**_ Read AI summaries and listen to concise audio briefings for the latest stories. ## [Alan Jeffrey](https://decomposition.al/blog/2024/12/31/alan-jeffrey/) _2024-12-31 · Lindsey Kuper · decomposition ∘ al_ I want to wrap up 2024 by talking about my friend Alan Jeffrey, who we lost this year. ## [“Communicating Chorrectly with a Choreography” is out!](https://decomposition.al/blog/2024/12/05/communicating-chorrectly-with-a-choreography-is-out/) _2024-12-05 · Lindsey Kuper · decomposition ∘ al_ It’s finally done! 🎉 I am so excited to announce “Communicating Chorrectly with a Choreography”, the first zine from my research group. You can read it online, or print your own free copies to read offline ! Making research zines has been a dream of mine for a long time. Back in 2019, I experimented with zine creation as an optional assignment in my undergrad distributed systems class . In 2021,… ## [Ready-to-boot, fresh & experimental Gentoo QCOW2 disk images](https://dilfridge.blogspot.com/2024/11/ready-to-boot-fresh-experimental-gentoo.html) _2024-11-09 · Andreas · the dilfridge blog_ Recently I've been experimenting with Catalyst , the tool that generates stages and iso files for Gentoo's Release Engineering team . The first, still very experimental result is now available for download - a bootable hard disk image in QEmu's qcow2 format that immediately drops you into a fully working Gentoo environment. Feel free to download it and try it out, either this first upload or any… ## [When is causal broadcast not enough for causal memory?](https://decomposition.al/blog/2024/09/22/when-is-causal-broadcast-not-enough-for-causal-memory/) _2024-09-22 · Lindsey Kuper · decomposition ∘ al_ While getting ready to teach my grad distributed systems course this fall , I found myself once again flipping through Cheriton and Skeen’s rather scathing 1993 article “Understanding the limitations of causally and totally ordered communication” . 1 One of Cheriton and Skeen’s complaints about causally ordered communication is that it does not enforce the ordering constraints that they care… ## [Rating scientific (or not so much) conferences](https://dilfridge.blogspot.com/2024/09/rating-scientific-or-not-so-much.html) _2024-09-18 · Andreas · the dilfridge blog_ If you work in research, nowadays you can be sure to get swamped with "conference invitation" e-mails. A large part of these is, in effect, spam - attempts to get you (or your funders) to pay for meetings of highly questionable scientific worth. So, let's introduce a rating scale for scientific (or not) conferences, from 0 to 10. All examples have really happened. 0 - Trash You ask a friend who is…