π Software Engineering @ University of Waterloo
π€ prev. SWE Intern, Agentic AI @ Redcan.ai Β· π Founding Engineer @ Relet
βοΈ Full-stack & DevOps Β· π§ Systems programming
A reverse-execution debugger for AArch64 Linux. Set a breakpoint, run past a crash, then step backwards to the instruction that corrupted your pointer.
Built from raw ptrace up β software BRK breakpoints, DWARF line/type/CFI parsing, checkpoint-and-replay via clone injection, and a web UI with a scrubbable execution timeline. Seven crates, no external debugger dependencies.
π Architecture notes Β· β± Determinism model
Relet TypeScript Private founding engineer
Rental management for student housing landlords. Property onboarding, tour scheduling, e-lease signing with generated PDFs, and rent tracking with automated payment collection β the full leasing lifecycle in one platform.
Next.js 15 App Router Β· React 19 Β· TypeScript Β· PostgreSQL Β· Playwright E2E Β· CI/CD to production
An MCP server for athlete data. Pulls WHOOP recovery, strain, and sleep alongside Google Calendar into an LLM tool surface, so an assistant can reason about training load against what's actually on your schedule.
OAuth 2.0 Β· Model Context Protocol Β· REST APIs
Python Java C C++ JavaScript PHP SQL Lua Rust HTML CSS Arduino
MySQL PostgreSQL SQL Server SQLite PyTorch JAX NumPy SciPy
Linux Debian Ubuntu AWS Azure Docker CI/CD Bash Git Emacs Vim
Also: Fortinet NSE 1β3 Β· Azure AI Fundamentals Β· PCEP Entry-Level Python