projects

• Snipsmith

  Jul 29, 2026

  A custom snippet manager for Obsidian and VSCode.

• Math Inc Autoformalization Projects

  Jan 7, 2026 · updated Mar 2, 2026

  Five formalization results from my work at Math Inc.

• Reese Basses and the AM-GM Inequality

  Jan 4, 2025

  A short experiment in trigonometry and sound design.

• Dotfiles

  Dec 19, 2024 · updated Jun 23, 2026

  My macOS system configuration files and setup automation.

• Degrees of Sums of Algebraic Numbers in an Abelian Extension

  Sep 4, 2024

  Galois theory paper through Stanford's 2024 SURIM program.

• Sigma: Custom Programming Language

  May 17, 2022

  Custom programming language I developed in my senior year of high school.

• Digital Signal Processing and VST Creation

  Nov 30, 2021

  My high school senior year independent study.

• Hyperfields

  Oct 29, 2021

  High school research on hyperfields.

• Polynomials that behave like the Riemann Zeta-Function

  Feb 26, 2017

  Number theory paper through Emory University's 2017 REU.