Month: April 2022
Improve your storage I/O performance today
an article by Lucas Crämer and Jannik Smidt DISCLAIMER This post tries to keep the complexity manageable while making a point clear. We are not systems engineers/kernel developers, so feel free to point out any mistakes/misunderstandings. This post probably does not present anything new for people who are working in systems engineering and/or kernel development.…
TLA+ and PlusCal Appetizer
Short appetizer for TLA+ and PlusCal.