So over the holidays I have had something of a little bug in my brain:
transducers. It started when I was thinking of working
on an unrelated side-project, but I more or less got frustrated and asked myself “why doesn’t
Scheme have a library that is as good as Rust’s
Iterator trait?” I am a strong proponent of
Rust both at work and outside of work; however, I don’t always want to use Rust. Sometimes I’m
scripting something fairly quick-and-dirty, but largely I’m part of the Lisp Cult and I have fun
writing Scheme. This isn’t about switching languages, it’s about finding out why,
in the case of my question above.
On November 10th 2021, I was involved in a pretty large car crash. I was rear-ended by a driver in a Dodge Ram in my Saturn ION. Given the size difference of the two vehicles and how fast I was hit, I didn’t have much of a back end afterwords, and even less of a functional car. Thankfully, I came out of it with a bit of whiplash in my shoulders, and that was that. I was down a car I had driven for over a decade, but I would be okay.
The last time I did a book review, I lamented about how long it took me to get through the book. The topic of dependent types was both new and unfamiliar, and maneuvering through the exercises was long and required engaged thought. This time, I’ve approached “Bernoulli’s Fallacy: Statistical Illogic and the Crisis of Modern Science.” The book broaches subjects that are neither wholly new or unfamiliar to me, someone who practices engineering and science. It presents a fascinating perspective into the history of probability as well as a condemnation of many stastical norms, or orthodoxies. Controversial that may sound, and controversial it is! But I think it underscores some very important mistakes made in modern statistical practice, and on reflection of my own education, I think it’s worth discussing!
It’s been about half a year since I wrote my original post comparing the Librem 5 and Pinephone. The original post saw some controversy as well as quite a bit of attention on Hacker News. Surprisingly, for a market dominated by new tech every year, there remains quite a bit of interest in these two devices.
Development on both devices continues day-by-day, in small and large parts. I wanted to revisit the devices as a lot of the ecosystem has changed. Further, I think they’ve definitely both evolved in terms of what’s possible, and more importantly what’s easy.
I finally managed to finish working through “The Little Typer”. The “Little” series is a series of (semi-)introductory books published by MIT press, which typically use Scheme or Lisp as a vehicle to teach some interesting aspect of programming. In this case, “The Little Typer” aims to teach the most interesting aspects of dependently typed programming. The “Little” series has been one of my favourite series of programming books, and the books have always been a delight to work through. Having spent quite a considerable time working through the book (several weekends since around sometime last November / December or so), I figured I would write up a book review, since I have a lot to say about the book!