Robert Krook

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

@alpha_convert Congratulations, Joe!

has security gone too far?

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.

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

I’m not superstitious, but I also don’t tempt fate you know? Like if someone told me they’re a witch, I wouldn’t believe them but i’d still be wary

@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.

@effectfully If you need a case study, something more to apply testing metjodology to, we have lispbm. Always needs more testing! Also @Rewbert may have similar interests :)

Over the years, my idea of a perfect job has shifted from developing programming languages to testing them. No one really knows how to test programming languages properly, the whole field is still in its infancy. Academia is more interested in theory and industry is more interested in shipping random nonsense. You get to work on interesting problems like: - how to generate diverse programs full of corner cases - how to automatically minimize counterexamples - how to find semantics where the devs didn’t intend to have any And best of all, not only do you get to point out to the devs where they did something wrong, you don’t even have to go and fix it. I spend so much time fixing arbitrary garbage that isn’t interesting in any way, while with test writing, it’s almost always high intellectual effort and high-impact work (even if it’s often not perceived that way). Normalize programming language tester positions.

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

FP, LLM, Agda meetup in Gothenburg. @tritlo @Rewbert @sve10362122

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

@sve10362122 @tritlo youtube.com/live/uMurx1a6Z…

@Rewbert @tritlo Link link link

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

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

@tritlo @Rewbert Great job @Rewbert

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

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/partiti…

@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!

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/partiti… HT @lindsey

@patrikja representing Chalmers at @icfp_conference 2024

@ilyasergey @icfp_conference Going :D

Who is going to @icfp_conference next week?

@tritlo Matthi killing it at his thesis defence!

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

Today was my last day as a Chalmers employee. Appropriately spent mailing out my thesis! It's been a long 6 years, with many highs and a few lows. But all good things must come to an end. All told, I'm grateful for my time there and all the friends I made. Avancez!

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

I wrote a pearl that was accepted for the Haskell symposium :) I hope to see a lot of people in Milan!