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