PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://xitter.cf/t.co/sbwlxU3jm3

Gothenburg, Sweden
Joined October 2011
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
1
9
480
How I feel when when my advisors are talking about my research
5
104
@patrikja representing Chalmers at @icfp_conference 2024
4
121
Replying to @tritlo
@tritlo Matthi killing it at his thesis defence!
3
54
I wrote a pearl that was accepted for the Haskell symposium :) I hope to see a lot of people in Milan!
1
13
584
Replying to @tritlo
@tritlo s response to my suggestion of a corny title of a pearl I am writing
1
5
258
John Hughes gave me this banger when he cleaned his office :)
2
1
52
2,670
Luckily, it is very easy to customize your own generator that behaves as _you_ expect. It seems that you primarily disagree with the default behavior. I looked at your generators in GenValidity and they seem to by default favor larger diversity.
18
Replying to @Jose_A_Alonso
Patrik gave a presentation about this at Chalmers yesterday :) here is a recording: youtu.be/81XurNlv5cw?si=HUXM…
93