Setting up a Jekyll blog so themes can be swapped by changing a Git branch, using submodules and GitHub Actions for automation.

Notes and solutions to the first 10 SICP exercises, covering evaluation order, recursion vs. iteration, and tail recursion in Scheme.

Study notes on forces in slender structures: shear force and bending moment diagrams, distributed loading, and singularity functions.

Wrestling with nihilism and meaning through Frankl, Harari, and Cal Newport, and arriving at a personal reason to keep going.

First-place writeup from CTE TechWeekend CTF 2020, covering reverse engineering with Ghidra, .pyc decompilation, and JSON injection.

Notes on the fundamentals of topological spaces: definitions, open sets, discrete and indiscrete topologies, with proofs for co-finite and co-countable topologies.

Announcement of the GraphQL add-on for OWASP ZAP, featured on the official ZAP blog.

Adding full type support, multiple query strategies, and request methods to the ZAP GraphQL query generator.

Building a recursive GraphQL query generator for OWASP ZAP as part of Google Summer of Code 2020, from pseudocode to working Java.

Tackling a tricky proof about preimages of generated sigma-algebras, with a useful StackExchange trick for working with generated collections.

Proving that preimage collections form sigma-algebras, working through exercises 111X(c) and 111X(d) from Fremlin's Measure Theory.

Proving set identities and showing that all intervals are Borel sets, with a neat Archimedean property argument.

Understanding Borel sets by first building up the concepts of generated sigma-algebras and open sets.

Notes on sigma-algebras, countable sets, and measure spaces from Fremlin's Measure Theory series.

Solving Shamir's secret sharing and elliptic curve point doubling to wrap up the cryptography assignment series.

Working through El Gamal digital signatures and applying Hadamard gates to a 2-qubit quantum system.

Tackling Rabin decryption and digital signatures using the Chinese Remainder Theorem and extended Euclidean algorithm.

Solving RSA decryption and digital signature problems step by step, from factoring n to computing modular inverses.

Working through CBC-MAC and Diffie-Hellman key exchange problems by looking up each concept as needed.

Solving a calculus of variations problem from scratch, documenting every search and stumble along the way.

Week 2 of GSoC: building import dialogs for the ZAP GraphQL add-on and mapping out GraphQL data types.

How a love for taking things apart led me to open source and my Google Summer of Code project with OWASP ZAP.