Below you will find pages that utilize the taxonomy term “Formal methods”
This is a bit late because I have automated something.
Skipped ehem a few weeks (I can blame one on my birthday).
This week there is a lot of functional programming (mostly Scala, a bit of Haskell) and data engineering topics. Of course, there is also the usual random stuff I find interesting as well (and other engineering topics).
A mixed bag of interesting history tidbits sprinkled with Haskell code, Scala stuff, data engineering systems and practices, and how to code with your voice.
This feels like a heavy engineering edition. A lot of Haskell, Rust, Python and Scala. There’s still a bit of everything, but this will appeal hardcore developers more than usual.
Software engineering, history, planning, data engineering. Expect a similar wide range in the future as well. You can check all my weekly readings by checking the [tag here](https://www.mostlymaths.net/search/label/ReadingsOfTheWeek, Readings) . You can also get these as a weekly newsletter by subscribing here.