Notes, references, and rabbit holes. Some are seedlings, some are evergreen.
Courses
Rendering pipeline study notes: rasterization, GPU architecture, shading models, textures, deferred shading.
Lecture notes on immersive systems: displays, tracking, interaction, computer vision, and human-centered design.
Deep learning lecture notes, from CNNs and transformers through VAEs, GANs, and diffusion models.
Hoare logic, predicate transformers, SMT, Boogie/Boostan, and proving programs correct.
CLI & Tools
The terminal tools I use and the keyboard-driven workflow I’ve built around them.
- (y-) Ghostty: GPU-rendered terminal emulator written in Zig.
- (y-) Homebrew: macOS package manager.
- (y-) Sioyek: PDF viewer made for technical papers.
- (y-) Yazi: terminal file manager with async I/O and image previews.
- (y-) Zsh & Powerlevel10k: shell and prompt setup.
- (y-) macOS Terminal: built-in commands worth knowing.
- (y-) Modern CLI Tools: drop-in replacements for ls, cat, grep, find.
Taekwondo
What I’m working on in the dojang, from stances up to sparring.
- (y-) Stances: foot positions and how they shape balance and power.
- (y-) Front Kick: the straight-line kick, snap and push versions.
- (y-) Side Kick: the linear kick that stops an opponent walking in.
- (y-) Roundhouse Kick: the main scoring kick in sparring, step by step.
- (y-) Axe Kick: the head kick that drops over the guard.
- (y-) Combinations: chaining strikes, transitions, and pressure tactics.
- (y-) Sparring: front-leg cancel style, inspired by CJ Nickolas.
- (y-) Footwork: moving between distance bands and using the boundary.
- (y-) Cut & Push Kick: jamming an attack with the front leg.
- (y-) Defense: distance, movement, the guard, and the counter.
- (y-) Conditioning: training for three two-minute rounds.
- (y-) Spinning Kicks: the complete guide to the spins, phase by phase.
- (y-) Spinning Back Kick: the highest-percentage spin, step by step.
- (y-) Spinning Hook Kick: the head-hunter that hooks around the guard.
- (y-) Spin Drills: balance, spotting, and power work that builds the engine.
- (y-) Stretching: PNF protocols and the mobility work that actually moved my range.
- (y-) Splits Progression: the flexibility project for head-height kicks.
- (y-) Philosophy: the five tenets and what they mean off the mat.
- (y-) Rules (2026): PSS electronic scoring, point values, and the new-for-2026 rule changes.
- (y-) 2026 Season: Wuxi 2025 Worlds, the Roma Grand Prix, and the road to LA 2028.
Fencing (Épée)
Notes on épée, the slowest and most tactical of the three weapons. No right of way, whole-body target, wrist sniping galore.
- (y-) Stances: classical and modern en garde variants.
- (y-) Footwork: advance, retreat, lunge, fleche, balestra, passata-sotto.
- (y-) Parries: the numbered parries, circular parries, prises de fer.
- (y-) Bladework: simple and compound attacks, taking the blade, counter-offense.
- (y-) Point Control: the grip, angulated hits, and drills for hitting a wrist on purpose.
- (y-) Toe Touch: dropping the point onto the front foot without getting hit on the mask.
- (y-) Distance Drills: finding your lunge distance and staying at its edge.
- (y-) Tactics: distance, tempo, second intention, and modern competitive styles.
- (y-) Fencing Lefties: why left-handers are hard to fence and how to retrain for them.
- (y-) Doubles, Priority & the Clock: how doubles, the priority minute, and the 2026 non-combativity cards decide bouts.
- (y-) Bout Analysis: a one-line-per-touch log and short scouting notes.
- (y-) Competition Day: pools, seeding, what to pack, and the hours in between.
- (y-) Equipment: the weapon, electric scoring, the 750g tip, and the 40ms lockout.
- (y-) 2026 Season: Hong Kong Worlds, the World Cup circuit, and who’s fencing well now.
- (y-) Workout: no-equipment conditioning grouped by purpose.
- (y-) Stretching: mobility for the lunge, the wrist, and the asymmetric fencer’s body.
- (y-) Glossary: the French (mostly) vocabulary you need to read a coaching book.
Random
Everything that isn’t a lecture and isn’t a project.
- (y-) The Lorenz Attractor: three equations, infinite orbits, and why determinism is not the same as predictability.
- (y-) Neural Style Transfer: notes on the technique and what makes it work.
- (y-) Motorcycles: the Husqvarna Vitpilen 701 and why I ride.
- (y-) Gaming: what I’m playing right now.
- (y-) Perfumes: rotation organized by season.
- (y-) Matcha and Coffee: two caffeine rituals that have almost nothing in common.
- (y-) SlideLink: the slide-to-heading matcher that powers my lecture notes.
- (y-) Sudoku Solver: a GNN that learns to solve Sudoku via node classification.