Jaro Reinders
jaror@social.edu.nl
<p>PhD student at Delft University of Technology 🎓 in the <span class="h-card" translate="no"><a href="https://akademienl.social/@DelftPL" class="u-url mention">@<span>DelftPL</span></a></span> group. Trying to build correct compilers from modular building blocks 🧩 in <a href="https://social.edu.nl/tags/Agda" class="mention hashtag" rel="tag">#<span>Agda</span></a>. </p><p>I'm also a <a href="https://social.edu.nl/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> enthusiast, <a href="https://social.edu.nl/tags/GHC" class="mention hashtag" rel="tag">#<span>GHC</span></a> contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.</p><p>Other than that, I like to play <a href="https://social.edu.nl/tags/folk" class="mention hashtag" r
Posts
-
Post #4415214
@everton137@social.vivaldi.net @Fairphone@social.weho.st I also had a bad experience with the Fairbuds. For me the biggest problems were that they would occasionally shut down and the latency when watching video. Also, if I went running with one bud it would shut down every 5 minutes. Some of these issues were confirmed to be fundamental by the extremely slow Fairphone support. Now I'm much happier with the JBL Tour Pro 3. It is more expensive, but it blows the Fairbuds out of the water.
-
Post #2543705
Problem of the day: Derive a fused function equal to `dupLast . dupLast` where dupLast [] = [] dupLast [x] = [x,x] dupLast (x:xs) = x : dupLast xs Experienced functional programmers might see at a glance what the fused function looks like, but how do we derive it formally from the definition of `dupLast`? #haskell #functionalprogramming
-
Post #2350127
Is there any appetite to change tuple section notation in #haskell? Here&#39;s my proposal: https://github.com/ghc-proposals/ghc-proposals/issues/754
-
Post #1701772
The discussion on the use of AI in the Agda project last week has convinced me I need to do more to push back against its use in projects I contribute to. However, I alone do not have the power to change the policy of all projects I want to contribute to over night. Are any groups organizing against AI in open source? Do you think that could be effective? Would you join?