Robert Krook

PhD-student at Chalmers University, in the FP-group.

Main advisor: Koen Claessen
Co advisor: John Hughes
Co advisor: Joel Svensson

[Robert Krook @Rewbert]

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 :)

[Robert Krook @Rewbert]

How I feel when when my advisors are talking about my research

[Robert Krook @Rewbert]

@alpha_convert Congratulations, Joe!

[Matti Palli 🧙‍♂️ @tritlo]

has security gone too far?

[Robert Krook @Rewbert]

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.

[Robert Krook @Rewbert]

@tritlo "I'm not superstitious, but maybe a little stitious" - Michael Scott

[Robert Krook @Rewbert]

@sve10362122 @effectfully Yes, I've thought loads of this and have done some work in relation to this :) nothing published yet though, and it is unlikely that I'll have enough time to finish that before I defend. Let me know if you want to discuss it.

[Robert Krook @Rewbert]

@satnam6502 @tritlo @sve10362122 Had a wonderful time :)

[Robert Krook @Rewbert]

Not enough movies end with a redneck ramning his fighter jet into an alien spaceship

[Robert Krook @Rewbert]

@sve10362122 @tritlo https://t.co/9LJsA5PdRG

[Robert Krook @Rewbert]

@sve10362122 @tritlo Thanks :) I had a great time. There's a stream on ACM SIGPLANs YT if you want to watch it.

[Matti Palli 🧙‍♂️ @tritlo]

Our very own @Rewbert representing Chalmers with Welcome to the Parti(oning)! The state-of-the-art for writing distributed applications in #Haskell

[Robert Krook @Rewbert]

We partition Haskell programs using GHC features. It is absolutely a greasy hack, but hey, it works!

[Robert Krook @Rewbert]

On Saturday I am presenting a functional pearl at the Haskell Symposium :) I had a lot of fun hacking on this together with @samhamnam_

https://t.co/AOZF1BLk9n

[Robert Krook @Rewbert]

@famontesi @lindsey Thanks, I am glad you enjoyed it! I had a lot of fun hacking on this, and was absolutely amazed that it worked :) Please come chat with me if you are at ICFP!

[Fabrizio Montesi ⬣ A➔B @famontesi]

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!

https://t.co/OYFrUVBxeQ

HT @lindsey

[Robert Krook @Rewbert]

@patrikja representing Chalmers at @icfp_conference 2024

[Robert Krook @Rewbert]

@ilyasergey @icfp_conference Going :D

[Robert Krook @Rewbert]

@tritlo Matthi killing it at his thesis defence!

[Robert Krook @Rewbert]

@tritlo It will _not_ be the same without you :( I will miss having you around! Glad you won't be going far :)

[Robert Krook @Rewbert]

Everything booked for my trip to #icfp24 :) looking forward to seeing many friendly faces!