Website / Experiments / LinkedIn
I’m Z, a software engineer in Brooklyn. I build machine learning and distributed systems, mostly with Rust, TypeScript, and Python.
This repo is home to my website and experiments in reinforcement learning, real-time collaboration, audio, and graphics.
| Project | Built with | |
|---|---|---|
| RL Basketball Agent | A basketball agent trained with reinforcement learning. | Rust · Bevy · SAC |
| No Goals | Learn Lean proofs one move at a time, checked by real Lean. | Lean 4 · Rust · Axum |
| CRDT Editor | Collaborative text editing with offline synchronization. | Rust · WebAssembly · WebSocket |
| Circle Limit | Animated hyperbolic tilings inspired by M. C. Escher. | Rust · WebAssembly · Canvas |
| Game of Life | Conway’s cellular automaton, with Rust and JavaScript engines. | Rust · TypeScript · Canvas |
| Audio Visualizer | Microphone frequency analysis with four display modes. | Rust · WebAssembly · Web Audio |
Rust · TypeScript · Python · Next.js · WebAssembly
Kubernetes · AWS · Terraform · Helm
Repository structure
| Directory | |
|---|---|
www/ |
Website, blog, and shared packages |
www/packages/wasm/ |
Rust engines compiled to WebAssembly |
crdt/ |
Collaborative editing and live presence |
proofs/ |
Lean 4 proof checking service |
robot/ |
Basketball simulation and reinforcement learning |
voice/ |
Speaker diarization service |
deployments/ |
Terraform configuration |