https://sunhick.github.io/posts/welcome/ 2025-04-05T12:00:00-07:00 https://sunhick.github.io/posts/yubikey-5c-modules/ 2026-04-10T12:00:00-07:00 https://sunhick.github.io/posts/gpg-keys-and-yubikey/ 2026-04-10T14:00:00-07:00 https://sunhick.github.io/posts/advanced-yubikey-5c/ 2026-04-10T16:00:00-07:00 https://sunhick.github.io/posts/advanced-gpg/ 2026-04-10T18:00:00-07:00 https://sunhick.github.io/posts/linux-kernel-xorg-gnome-from-scratch/ 2026-04-11T10:00:00-07:00 https://sunhick.github.io/posts/linux-boot-to-desktop-integration/ 2026-04-11T14:00:00-07:00 https://sunhick.github.io/posts/tla-plus-and-pluscal/ 2026-04-12T13:47:01-07:00 https://sunhick.github.io/posts/yubikey-pins-credentials-reference/ 2026-04-12T10:00:00-07:00 https://sunhick.github.io/posts/property-based-testing/ 2026-04-12T14:00:00-07:00 https://sunhick.github.io/posts/tla-plus-intermediate/ 2026-04-24T10:00:00-07:00 https://sunhick.github.io/posts/tla-plus-data-structures/ 2026-04-25T13:21:58-07:00 https://sunhick.github.io/posts/emacs-keybindings/ 2026-05-29T22:07:49-07:00 https://sunhick.github.io/posts/git-internals/ 2026-05-03T10:00:00-07:00 https://sunhick.github.io/posts/advanced-git-internals/ 2026-05-03T14:00:00-07:00 https://sunhick.github.io/posts/cryptographic-key-linking/ 2026-05-16T14:00:00-07:00 https://sunhick.github.io/posts/pluscal-essentials/ 2026-05-16T15:00:00-07:00 https://sunhick.github.io/posts/raw-tla-plus-essentials/ 2026-05-16T16:00:00-07:00 https://sunhick.github.io/posts/tla-plus-perf-state-mgmt/ 2026-05-17T10:00:00-07:00 https://sunhick.github.io/about/ 2026-05-29T22:48:10-07:00 https://sunhick.github.io/portfolio/ 2026-05-29T22:48:10-07:00 https://sunhick.github.io/skills/ 2026-05-29T22:48:10-07:00 https://sunhick.github.io/contact/ 2026-05-29T22:48:10-07:00 https://sunhick.github.io/resume/ 2026-05-29T22:48:10-07:00 https://sunhick.github.io/archives/ 2026-05-29T22:48:10-07:00 https://sunhick.github.io/ https://sunhick.github.io/tags/introduction/ https://sunhick.github.io/tags/portfolio/ https://sunhick.github.io/tags/yubikey/ https://sunhick.github.io/tags/hardware-security/ https://sunhick.github.io/tags/authentication/ https://sunhick.github.io/tags/fido2/ https://sunhick.github.io/tags/openpgp/ https://sunhick.github.io/tags/gpg/ https://sunhick.github.io/tags/encryption/ https://sunhick.github.io/tags/subkeys/ https://sunhick.github.io/tags/piv/ https://sunhick.github.io/tags/attestation/ https://sunhick.github.io/tags/ssh/ https://sunhick.github.io/tags/advanced/ https://sunhick.github.io/tags/web-of-trust/ https://sunhick.github.io/tags/key-rotation/ https://sunhick.github.io/tags/linux-kernel/ https://sunhick.github.io/tags/xorg/ https://sunhick.github.io/tags/gnome/ https://sunhick.github.io/tags/compilation/ https://sunhick.github.io/tags/from-scratch/ https://sunhick.github.io/tags/boot-process/ https://sunhick.github.io/tags/drm/ https://sunhick.github.io/tags/dbus/ https://sunhick.github.io/tags/integration/ https://sunhick.github.io/tags/tla-plus/ https://sunhick.github.io/tags/pluscal/ https://sunhick.github.io/tags/formal-verification/ https://sunhick.github.io/tags/distributed-systems/ https://sunhick.github.io/tags/model-checking/ https://sunhick.github.io/tags/property-based-testing/ https://sunhick.github.io/tags/hypothesis/ https://sunhick.github.io/tags/fast-check/ https://sunhick.github.io/tags/python/ https://sunhick.github.io/tags/typescript/ https://sunhick.github.io/tags/testing/ https://sunhick.github.io/tags/formal-methods/ https://sunhick.github.io/tags/refinement/ https://sunhick.github.io/tags/consensus/ https://sunhick.github.io/tags/data-structures/ https://sunhick.github.io/tags/emacs/ https://sunhick.github.io/tags/keybindings/ https://sunhick.github.io/tags/productivity/ https://sunhick.github.io/tags/magit/ https://sunhick.github.io/tags/eglot/ https://sunhick.github.io/tags/org-mode/ https://sunhick.github.io/tags/git/ https://sunhick.github.io/tags/internals/ https://sunhick.github.io/tags/plumbing/ https://sunhick.github.io/tags/objects/ https://sunhick.github.io/tags/refs/ https://sunhick.github.io/tags/packfiles/ https://sunhick.github.io/tags/merge-strategies/ https://sunhick.github.io/tags/protocol/ https://sunhick.github.io/tags/performance/ https://sunhick.github.io/tags/cryptography/ https://sunhick.github.io/tags/key-derivation/ https://sunhick.github.io/tags/hkdf/ https://sunhick.github.io/tags/bip32/ https://sunhick.github.io/tags/signal-protocol/ https://sunhick.github.io/tags/elliptic-curves/ https://sunhick.github.io/tags/concurrency/ https://sunhick.github.io/tags/raw-tla/ https://sunhick.github.io/tags/tlc/ https://sunhick.github.io/tags/state-space/ https://sunhick.github.io/tags/optimization/ https://sunhick.github.io/categories/general/ https://sunhick.github.io/categories/security/ https://sunhick.github.io/categories/linux/ https://sunhick.github.io/categories/formal-methods/ https://sunhick.github.io/categories/testing/ https://sunhick.github.io/categories/editors/ https://sunhick.github.io/categories/version-control/ https://sunhick.github.io/page2/ https://sunhick.github.io/assets/resume/Sunil_Murthy_Resume.pdf 2026-05-29T22:47:48-07:00 https://sunhick.github.io/assets/resume/Sunil_Murthy_Resume_Dark.pdf 2026-05-29T22:47:48-07:00 https://sunhick.github.io/public/resume/Sunil_Murthy_Resume.pdf 2026-05-29T22:47:48-07:00 https://sunhick.github.io/public/resume/Sunil_Murthy_Resume_Dark.pdf 2026-05-29T22:47:48-07:00