Documenting my progress learning HaLVM