Researcher in computer science, all things effects, author of the Effekt language (effekt-lang.org), Professor at Uni Tübingen. types.pl/@effects
Tübingen, Deutschland
- Tweets 1,363
- Following 394
- Followers 901
- Likes 3,722
Pinned Tweet
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
2
11
82
20,289
I typically do not post AI generated stuff. I also do not tweet German content. Here I break these two rules:
Here's a banger song on **linear prompt search for algebraic effect handlers** 😀
suno.com/s/9qHGjRMClZZNnU21
Sorry to the non-german folks that cannot know the reference.
1
170
HOPE will take place tomorrow at ICFP (and in Paris)!
There are three talks by members (@jiribenes_) and students of the Tübingen PL Center.
Make sure to check out their great talks on Repeatedly Handling Rejection, Teaching Effect Handlers, and Graph Rewriting with Handlers!
ALT The talk on Repeatedly Handling Rejection by Sina Schäfer is 5:30 Indianapolis, 11:30 Paris time. The talk on Teaching Effect Handlers by Jiri Benes is9:00 Indianapolis, 15:00 Paris time. The talk on Graph Rewriting with Lexical Effect Handlers by Marvin Borner is 9:30 Indianapolis, 15:30 Paris time.
2
13
691
Jonathan Brachthäuser retweeted
Claude code, with no special training for theorem proving, converted zlib to Lean and proved the roundtrip correct. Minimal human guidance.
Decompress after compress always returns the original data.
github.com/kim-em/lean-zip
3
26
262
26,068
Jonathan Brachthäuser retweeted
goto makes a comeback. The goto rule might be simple but Hoare pointed out its application is complicated for human brains, but LLM-code generators don't care.
17
8
169
12,027
It has been an honor and pleasure doing my Postdoc with Martin!
Martin Odersky, EPFL professor and head of the Programming Methods Laboratory, developed the programming language Scala, which is used by thousands of companies worldwide. In 2025, he was awarded the Programming Languages Achievement Award.
go.epfl.ch/390f0f
6
354
Martin Odersky, EPFL professor and head of the Programming Methods Laboratory, developed the programming language Scala, which is used by thousands of companies worldwide. In 2025, he was awarded the Programming Languages Achievement Award.
go.epfl.ch/390f0f
22
103
5,476
Jonathan Brachthäuser retweeted
The program for the Oregon Programming Languages Summer School 2026 looks exciting: cs.uoregon.edu/research/summ…
Come or send your students!
13
62
3,559
Anybody at POPL (@poplconf) this week?
If so, please say hi to our student Alexander Phi Goetz, who is presenting his work on type system design for delimited control operators at the SRC.
It is his first conference and I am sure he would be happy if you say hi :)
1
148
Jonathan Brachthäuser retweeted
We're looking to hire an experienced editor with a taste for fancy type-systems to work on education for OxCaml!
Please share with anyone you think might be a good fit for this role. (And...retweets wouldn't hurt.)
5
28
96
23,492
Jonathan Brachthäuser retweeted
POPL'26 registration has opened!
We will have an amazing program -- join us!
popl26.sigplan.org/attending…
3
8
1,744
Jonathan Brachthäuser retweeted
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'26), co-located with POPL'26 in Rennes, France is calling for papers!
Submission deadline: Friday 24 Oct 2025
popl26.sigplan.org/home/pepm…
7
9
3,729
That's it from us for this ICFP / SPLASH 🫳🎤
If you missed our talks, you can read about them here se.cs.uni-tuebingen.de/singa…
and I'm sure the recordings will pop up on the SIGPLAN YouTube channel at some point.
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
1
14
794
The sixth and last talk of my group and collaborators will be by @jiribenes_ on the Simple Essence of Overload Resolution.
It'll be at 11:45 local time in Orchid East, so make sure to drop by.
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
1
1
6
1,568
You can find our paper here: se.cs.uni-tuebingen.de/publi…
The online demo is here: se-tuebingen.github.io/oopsl…
And if you can't attend, you have the chance to watch it live: piped.video/live/j_nXuGhMFdo…
1
2
4
1,336
Really cool talk by Taro Sekiyama on On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs.
1
2
13
906
Cool talk by Cong Ma on zero-overhead lexical handlers. They make the compromise to slow down handlers to avoid all costs for code that doesn't use handlers.
They're competitors in the same team: like our Effekt their Lexa and Biernacki et al's Helium have lexical handlers.
2
21
930
David Voigt gives the fifth talk in our series: Dynamic Wind for Effect Handlers.
In the paper we present a design of finalizers (and initializers) for effect handlers, inspired by dynamuc wind.
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
The papers cover a wide range of PL and compiler topics 🧵
1
1
13
1,598
Follow the talk online piped.video/live/1d80UBzb5g8…
You can find more information here: se.cs.uni-tuebingen.de/publi…
1
273