nomeata’s mind shares

Earlier this week a colleague of mine, Emilio Jesús Gallego Arias, shared a demo of something he built as an experiment, and I felt the desire to share this and add a bit of reflection.

In 2007, Martin Escardo wrote a often-read blog post about “Seemingly impossible functional programs”.

Back in March, with version 4.17.0, Lean introduced partial_fixpoint, a new way to define recursive functions.

A few months ago I explained that one reason why this blog has become more quiet is that all my work on Lean is covered elsewhere.

For many years I wished I had a setup that would allow me to work (that is, code) productively outside in the bright sun.

The setup Imagine you are living on a riverbank.

This blog has become a bit quiet since I joined the Lean FRO.

I like using one machine and setup for everything, from serious development work to hobby projects to managing my finances.

After seven years of service as member and secretary on the GHC Steering Committee, I have resigned from that role.

It was pointed out to me that I have not blogged about this, so better now than never: Since 2021 I am – together with four other hosts – producing a regular podcast about Haskell, the Haskell Interlude.

Tomorrow is going to be a new first day in a new job for me: I am joining the Lean FRO, and I’m excited.

TL;DR: Squash your PRs with one click at https://squasher.nomeata.de/.

At this year’s ICFP in Seattle I gave a talk about my rec-def Haskell library, which I have blogged about before here.

I sometimes write papers and part of paper writing is assembling the bibliography.

I submitted a Functional Pearl to this year’s ICFP and it got accepted!