r/haskell • • 19h ago

Distributed Haskell - A Small Survey

28 Upvotes

https://www.krook.dev/posts/distributed-haskell/post.html

Hi!

I recently finished my PhD thesis, which contains a couple of pages about distributed Haskell-work. It is by no means an exhaustive survey, as the covered systems (and to what extent they are covered) are chosen by their relevance to my thesis.

I turned the chapter into a blog post, which some of you may enjoy reading.


r/haskell • • 20h ago

We built a community-maintained job board for Formal Verification (FVjobs)

Thumbnail
11 Upvotes