PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson krook.dev

Gothenburg, Sweden
Happy to report that a paper that @Augustsson and I wrote for the Haskell Symposium '26 was accepted! Since the submission deadline, the paper has been extended with yet more interesting examples, such as a network of nodes distributed on MCUs.
3
9
476
Lennart Augustsson presenting our paper at Haskell Symposium 2026 :) piped.video/watch?v=hO4nArQA…
1
2
160
Here is a link to our paper: krook.dev/papers/cloudHaskel… Lennart will present it at the Haskell Symposium in Indianapolis!
Happy to report that a paper that @Augustsson and I wrote for the Haskell Symposium '26 was accepted! Since the submission deadline, the paper has been extended with yet more interesting examples, such as a network of nodes distributed on MCUs.
1
3
105
Robert Krook retweeted
Our functional pearl got accepted! Free autocomplete for all!
1
2
13
614
How I feel when when my advisors are talking about my research
5
104
Robert Krook retweeted
has security gone too far?
118
224
12,452
519,472
I heat up my swedish-made bolognese in the work lunchroom. The (5) Italian colleagues approve. I pull out a bottle of ketchup. They go silent. I top off my food with this prima condiment. The Italians renounce our friendship. I eat my delicious lunch.
1
2
110
Not enough movies end with a redneck ramning his fighter jet into an alien spaceship
2
184
Robert Krook retweeted
Our very own @Rewbert representing Chalmers with Welcome to the Parti(oning)! The state-of-the-art for writing distributed applications in #Haskell
1
1
19
858
On Saturday I am presenting a functional pearl at the Haskell Symposium :) I had a lot of fun hacking on this together with @samhamnam_ krook.dev/papers/partitionin…
1
1
15
583
We partition Haskell programs using GHC features. It is absolutely a greasy hack, but hey, it works!
1
90
Very nice paper on compilation for #ChoreographicProgramming in #Haskell using the HasChor DSL and rewriting rules. Brings 'choreographic programming as a library' one step nearer to dedicated choreographic programming languages like Choral! krook.dev/papers/partitionin… HT @lindsey
2
1
13
747
@patrikja representing Chalmers at @icfp_conference 2024
4
121
Everything booked for my trip to #icfp24 :) looking forward to seeing many friendly faces!
7
206
I wrote a pearl that was accepted for the Haskell symposium :) I hope to see a lot of people in Milan!
1
13
584
My wife and stepdaughter keep iterating on nicknames for me, and now they call me Råish. I don't know how we ended up here!
2
3
204
Wrote up some instructions for those of you who might want to try parallel QuickCheck before it is merged: krook.dev/posts/quickercheck…
2
6
526
Put up a little website to have a footprint online krook.dev :)
5
90