m4lvin is a user on scholar.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
My #PhD #thesis about epistemic logic, card games, drinking logicians, gossip, binary decision diagrams, #haskell and muddy children is out: https://malv.in/phdthesis/ and I shall defend it on June 13th in #amsterdam.
@m4lvin that looks very interesting. I'm acutely aware of the current bit-rot problems of mck. Funny enough, it was also written in .hs, however, the original creator has long left the project and subsequent maintainers basically had to learn the language from scratch. I've recently departed from the epistemic fold to join the quantitative information flow gang. Dining cryptographers look even better through that lens.