Below you will find pages that utilize the taxonomy term “Formal methods”
2022#01 Readings4 minutes read | 825 words
Happy new year!
2021#26 Readings7 minutes read | 1444 words
End of year cleanup, so a lot of goodies this time
Data pipelines with Alloy, Take 27 minutes read | 1407 words
In which I write some easy Alloy code for a data model, with change over time.
2020#13 Readings4 minutes read | 678 words
This week is Data+AI summit week.
Modelling data pipelines with Alloy9 minutes read | 1783 words
In which I write some easy Alloy code for a data model.
2020#56 Readings of the Week4 minutes read | 832 words
This is a bit late because I have automated something.
2020#39 Readings of the Week5 minutes read | 929 words
Skipped ehem a few weeks (I can blame one on my birthday).
2019#31 Readings of the Week5 minutes read | 1044 words
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).
2019#30 Readings of the Week5 minutes read | 930 words
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.
2019#29 Readings of the Week6 minutes read | 1159 words
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.
2019#18 Readings of the week2 minutes read | 355 words
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 . You can also get these as a weekly newsletter by subscribing here.