https://happyhacks.bearblog.dev/ 2024-11-12 https://happyhacks.bearblog.dev/bsidessf-ctf-2025-re-bug-me-writeup/ 2025-04-28 https://happyhacks.bearblog.dev/solving-ben_lolos-weepervm-level-1/ 2025-04-23 https://happyhacks.bearblog.dev/verifying-equivalence-in-2-bit-masks/ 2025-04-18 https://happyhacks.bearblog.dev/university-of-edins-2023-vehmemeexe-writeup/ 2025-04-10 https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with-z3/ 2025-04-09 https://happyhacks.bearblog.dev/pentathon2025-quagmire-writeup/ 2025-04-07