Recent content on Luke Marzen
Encrypting the root partition of your Linux system protects your data at rest. Even if an attacker gains physical access to your drive, they cannot read your files without the passphrase. Caveats and Disclaimers This guide provides step-by-step instructions for setting up LUKS-based root partition encryption on Gentoo using ugrd, GRUB, and OpenRC. It is intended for educational and informational…
The debate over whether Software Engineering qualifies as a legitimate engineering discipline has been a persistent point of contention since the 1960s. Software Engineering degree programs have only begun being offered by universities within the last two decades. To unravel the question of whether Software Engineering is indeed a branch of engineering, we must first establish a clear definition…
Verification is a paramount and formidable challenge in software engineering. Moreover, it serves as a pivotal process that distinguishes software engineering from mere software development. Spin is a popular open-source software verification tool that has seen continuous research and development since its inception at Bell Labs in 1980. 1 Under the hood, Spin is an explicit-state model checker,…
OLBK Planck with NovelKeys KAM Superuser keycaps. What is your first thought when you see the keyboard pictured above? “How can anyone live without numbers?” “There is no way this can be practical, right?” “That keyboard could only be used for sending basic emails, not real work.” You may be wondering why on earth someone would choose to use anything less than a…
My name is Luke Marzen and I am a Software Engineer at Arm and hold a Master’s in Computer Science from Iowa State University. My research interests include Program Analysis, Compilers, High-Performance Computing (HPC), and Computer Architecture. Outside of work, I’m passionate about exploring new technologies, whether it’s tinkering with 3D printing, building mechanical keyboards, or…