https://luke.marzen.me/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/articles/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/tags/encryption/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/tags/gentoo/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/tags/linux/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/root-partition-encryption-on-gentoo-luks-ugrd-grub-and-openrc/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/tags/ 2025-09-21T00:00:00+00:00 https://luke.marzen.me/tags/engineering/ 2024-02-03T00:00:00+00:00 https://luke.marzen.me/is-software-engineering-real-engineering/ 2024-02-03T00:00:00+00:00 https://luke.marzen.me/tags/formal-methods/ 2024-01-18T00:00:00+00:00 https://luke.marzen.me/tags/promela/ 2024-01-18T00:00:00+00:00 https://luke.marzen.me/tags/spin/ 2024-01-18T00:00:00+00:00 https://luke.marzen.me/spin-reducing-state-space/ 2024-01-18T00:00:00+00:00 https://luke.marzen.me/tags/verification/ 2024-01-18T00:00:00+00:00 https://luke.marzen.me/keyboard-minimalism/ 2023-12-13T00:00:00+00:00 https://luke.marzen.me/tags/keyboards/ 2023-12-13T00:00:00+00:00 https://luke.marzen.me/tags/minimalism/ 2023-12-13T00:00:00+00:00 https://luke.marzen.me/about/ https://luke.marzen.me/archives/ https://luke.marzen.me/categories/ https://luke.marzen.me/projects/ https://luke.marzen.me/search/