Below you will find pages that utilize the taxonomy term “Formal methods”
Happy new year!
End of year cleanup, so a lot of goodies this time
In which I write some easy Alloy code for a data model, with change over time.
This week is Data+AI summit week.
In which I write some easy Alloy code for a data model.
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.
