Joined October 2011
- Tweets 440
- Following 192
- Followers 171
- Likes 830
60 Photos and videos
Pinned Tweet
7 Feb 2024
I've been hacking on QuickCheck on the side, and our paper was accepted for publication at IFL :) I will do some more experiments for the camera-ready version, and post the paper then :)
4
13
75
5,452
Robert Krook retweeted
3 Oct 2025
has security gone too far?
118
238
12,680
519,368
1 Oct 2025
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
100
18 Oct 2024
Not enough movies end with a redneck ramning his fighter jet into an alien spaceship
2
179
5 Sep 2024
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
579
5 Sep 2024
We partition Haskell programs using GHC features. It is absolutely a greasy hack, but hey, it works!
1
85
Robert Krook retweeted
5 Sep 2024
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
710
30 Jul 2024
Everything booked for my trip to #icfp24 :) looking forward to seeing many friendly faces!
7
203
12 Jul 2024
I wrote a pearl that was accepted for the Haskell symposium :) I hope to see a lot of people in Milan!
1
13
580
5 Jul 2024
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
201
7 Jun 2024
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
523
8 May 2024
Does anyone have examples of Haskell packages that only work on a specific platform? E.g. package y that only works on Windows?
3
4
702
1 Jun 2024
I ended up writing my own little package that uses the Bluetooth adapter in your machine, and it will not work if the platform you execute it on does not have the BlueZ stack installed.
55
29 May 2024
Outer wilds is one of the best games I've played
1
161
28 May 2024
John Hughes gave me this banger when he cleaned his office :)
2
1
54
2,668
Robert Krook retweeted
13 May 2024
Thank you Wired! 🫡🫡🫡
It's spooky. It's esoteric. It's also the key to understanding the rise and relevance of functional programming. wired.trib.al/qNfcKv9
5
36
4,188