Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Administered by:

Server stats:

215
active users

eupolicy.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#unfolder

0 posts0 participants0 posts today
maralorn<p>I love the episode image, </p><p><a href="https://well-typed.com/blog/2025/05/haskell-unfolder-episode-44-state-based-testing-with-quickcheck-lockstep/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">well-typed.com/blog/2025/05/ha</span><span class="invisible">skell-unfolder-episode-44-state-based-testing-with-quickcheck-lockstep/</span></a></p><p>however it is slightly overselling <span class="h-card" translate="no"><a href="https://functional.cafe/@kosmikus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>kosmikus</span></a></span> reaction. 😆</p><p>As always a very informative episode, thank you so much guys for the great channel.</p><p>Its a bit sad that you had the one episode telling us how awesome falsify is but since then every episode with property testing has been using quickcheck. 😆 </p><p><a href="https://chaos.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://chaos.social/tags/unfolder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unfolder</span></a></p>
Andres Löh<p>Tomorrow, 2024-11-20, at 1930 UTC, there'll be a new episode of the <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://functional.cafe/tags/Unfolder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Unfolder</span></a>, on concurrency and the FFI. Edsko will explain to me what exactly the difference is between "safe" and "unsafe" FFI calls and whether safe calls are actually safe ...</p><p><a href="https://www.youtube.com/watch?v=IMrBTx7aYjs&amp;list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&amp;index=36" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=IMrBTx7aYj</span><span class="invisible">s&amp;list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&amp;index=36</span></a></p>
Andres Löh<p>In our new <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://functional.cafe/tags/Unfolder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Unfolder</span></a> episode (Wednesday, 2024-10-02, live on YouTube), we will discuss <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@byorgey" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>byorgey</span></a></span> 's diagrams package.</p><p><a href="https://www.youtube.com/watch?v=iX9ShJG5L0A&amp;list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&amp;index=33" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=iX9ShJG5L0</span><span class="invisible">A&amp;list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&amp;index=33</span></a></p><p>As promised in the previous episode, we will show how to visualise the tic-tac-toe game tree in order to produce pictures similar to <a href="https://xkcd.com/832/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">xkcd.com/832/</span><span class="invisible"></span></a></p>
ExploreLive feeds
About