Here are some of the cool things I've worked on not featured elsewhere:
Featured Engineering
MIRA - AI-Driven Logic Verification & Optimization Agent (In Progress) -
As the sole developer, I am building an iterative AI agent designed to generate, debug, and verify complex logic circuits (Minecraft Redstone). Unlike standard generative models, MIRA uses a Reinforcement Learning from Execution Feedback (RLEF) loop to rigorously test designs against executable "contracts." The system features a custom headless simulation environment (decoupled from rendering for high-throughput training), a "Corruptor" engine that generates synthetic training data by injecting mechanical faults into valid circuits, and a "Bedrocking" system to freeze verified logic modules—mimicking formal verification checkpoints used in chip design.
[View Technical Design Document]
Mathematical Modeling & Simulation
COMAP 2023 - Modeling Ecosystem Stability Under Climate Change -
Submitted to the rigorous COMAP Mathematical Contest in Modeling, my teammate and I developed models to assess ecosystem resilience to precipitation changes. My specific focus was implementing Cellular Automata methods—simulating discrete grid-based interactions similar to logic gates—to analyze spatial dynamics and predict system stability over time. Our results were validated through comparative analyses with continuous differential equation models.
[Link to project]
Dynamics Simulation of Rigid Bodies on Oiled Surfaces -
I developed a physics engine from scratch to model the non-linear dynamics of bowling balls. This involved constructing a system of differential equations to capture friction transitions, rotational inertia, and surface interaction, implementing the solver in Python to visualize complex trajectories. This project addresses a gap in tooling by applying rigorous physics modeling to practical sport dynamics.
[Link to project]
Tools & Optimization
Optimal Slime Chunk Finder (Spatial Optimization Tool) -
An interactive tool that solves a spatial optimization problem for Minecraft world seeds. It uses a custom API to process large 2D grid datasets via stream processing, identifying local maxima for mob spawning rates in real-time. Designed to handle high-throughput calculations to find the statistically optimal coordinate for farm placement.
[Link to app]
View All Web Utilities - A complete collection of web tools and utilities I've built. [Link to apps directory]