grencez.dev
2015
z3-solves-sudoku-20150129
: Solving Sudoku with Z3
spin-checks-agreement-20150407
: Finding your first deadlock and livelock with the Spin model checker
82000-digits-20150829
: Digits of 82000
tok5-20150904.c
: Token ring implemented with fork() and pipe()
pdfscan-20151104
: Fixing up Scanned PDFs
getting-by-with-git-20151107
: Getting by with Git
ssh-tutorial-20151107
: Being a Pro with SSH