An asynchronous GUI Rust library, based on GTK+ and futures/tokio... (more…)

Building a Graphical IDE in Elm/Purescript for an Embedded Language that Compiles to the Erlang VM...

Switching from primitive types to product types can improve confidence in correctness and compiler errors, but not without a cost.

Functional programming is beloved by developers because it allows us to efficiently produce code that is easy to work with, stable, and reliable. But what if... (more…)

A few months ago, I converted a server I’m administering to run Guix System. I wouldn’t recommend you do the same at this point (the subject of a long and tragic story yet to be told), but I did learn a lot along the way; in particular, how to get an Elm ... (more…)