[ERT: 2m8s] I am very pleased to announce that I will be a speaker at 2017’s Haskell eXchange. I will be speaking about property discovery and my involvement in the progress on this topic.
[ERT: 1m19s] Something about the way we speak about time has always bothered me. Specifically, using twelve hour clocks, AM and PM. First of all, the purpose of a system of measurement is to ease measurements and reporting. Twelve-hour time has failed that purpose.
[ERT: 1m54s] Someone recently suggested a way to make the barrier to using deprecated code even higher. He was kidding, but I looked into how to make it work. Here is the result.
[ERT: 1m8s] Last week I published a paths library. I showed it to the Haskell subreddit and learned from their reaction.
[ERT: 2m39s] Filepaths have been a pain in my neck for years. Paths are hard, overused, misused and mostly unsafe. In this post I present a newly released library that serves to make working with paths safer in the common use-case.
[ERT: 2m4s] Not very long ago, I tried to use the GHC API to do some static analysis. It turned out to be a lot more complicated than I expected. Now I was going to fix some of that.
[ERT: 1m54s] Boolean blindness has been discussed over and over and over and over again. The conclusion seems to be that always using Boolean values for decisions is a generally bad idea and that using church encoded lambda calculus instead is not much better (and impractical). Here are my two cents on the matter: Use evidence instead of Boolean values.
[ERT: 3m21s] Values of custom types usually have invariants imposed upon them. In this post I motivate and announce the validity, genvalidity and genvalidity-hspec libraries that have just come out.
[ERT: 2m7s] It may come natural to try and save money wherever we can, but I argue this may be a bad idea.
