Projects

I sometimes work on fun side projects. I’ve included a subset of these below.

stargate-timeline

Stargate Buildout Satellite Images Video

TypeScript Updated Feb 2026

match.py

A neural network framework built from scratch using artisanal (hand-written) cuda kernels.

Jupyter Notebook Updated Feb 2026

minigrep

Quick implementation of grep in rust

Makefile Updated Feb 2026

Claude-Code-for-FPGA-Formal-Verification

An exploration of using AI (Claude Code) to accelerate the development of formally verified FPGA security systems through hardware-software feedback loops and adversarial testing.

Verilog Updated Feb 2026

rfds

AI Security RFDs - Research ideas and open problems

Astro Updated Feb 2026

hack_assembler

A basic assembler for the Hack ISA written in Python.

Hack Updated Feb 2026