a time-automated dollar-cost-averaging contract on top of Uniswap. Users configure an interval, a per-
swap amount, and a duration; upkeep-triggered swaps execute at each interval’s market rate regardless of price, averaging the per-token cost
across highs and lows rather than timing a single entry.

a dual-deck DJ engine with independent, concurrently running playback pipelines per deck: real-
time MP3 decoding/streaming via Symphonia and Rodio, PCM waveform extraction with peak generation for rendering, per-deck transport
state (play, pause, seek, volume, speed), and a mixer abstraction (deck gain, master mix, crossfader-ready) built for extension with EQ and
effects. 17 commits of original pipeline, waveform, and mixer design, not a single-file toy.

an in-progress Lean 4 formalization of the wide trail design strategy used to bound
differential-attack resistance in AES-like ciphers. Defines active S-box patterns, weight functions, and branch-number bounds over an abstract
field, with several supporting lemmas proved (support preservation, weight invariance under support-preserving maps); the capstone non-
vanishing theorem is still open. Paired with a self-written explanation of differential cryptanalysis, difference distribution tables and the last-
round key-recovery attack, grounding the formalization in the classical technique it targets.

visualizes an elliptic curve’s group over F_p as a lattice on a torus, using E(F_p) Z/n₁ × Z/n₂ to turn point addition ≅
into O(1) coordinate arithmetic. Ships as two self-contained HTML tools, an explorer and a discrete-log “game” scored against optimal double-
and-add, with the curve arithmetic checked against independent oracles (Legendre-symbol point counts, the Hasse bound, associativity), and
connects the technique to its production analogs, GLV/GLS scalar decomposition and the Weil/Tate pairings.