Odd Friends
![Odd Friends](/_next/image?url=%2Fproj_imgs%2FOddFriends.png&w=640&q=75)
October 2023 - October 2023
I wanted to learn more about convex.dev's take on the data layer, so I built a simple clone of Wits and Wagers to play in the browser.
View Code
Try it Out!
![Odd Friends](/_next/image?url=%2Fproj_imgs%2FOddFriends.png&w=640&q=75)
Cyclicism
![Cyclicism](/_next/image?url=%2Fproj_imgs%2FCyclicism.png&w=640&q=75)
July 2023 - August 2023
As a kid, I loved reading the news. Nowadays, I find it rare to find an article that I don't feel like I've read some version of before. Cyclicism is a tool that uses transformer embeddings to compare trending NYT articles to stories published 20 years ago to highlight patterns in the news cycle.
View Code
Try it Out!
![Cyclicism](/_next/image?url=%2Fproj_imgs%2FCyclicism.png&w=640&q=75)
Out-of-Place Writes on the PGM Index
![Out-of-Place Writes on the PGM Index](/_next/image?url=%2Fproj_imgs%2FPGMOutOfPlace.png&w=640&q=75)
February 2023 - May 2023
Preliminary research into efficiently extending the functionality of the PGM index. Traditionally, the PGM uses ML techniques to achieve fast reads with little memory usage. This research implements a novel technique to allow for fast writes as well, with minimal additional memory overhead.
View Code
Try it Out!
![Out-of-Place Writes on the PGM Index](/_next/image?url=%2Fproj_imgs%2FPGMOutOfPlace.png&w=640&q=75)
NumCross
![NumCross](/_next/image?url=%2Fproj_imgs%2FNumCross.png&w=640&q=75)
February 2023 - May 2023
Along with a few friends at Harvard, spun up a NYT-mini inspired app for sharing a unique type of number puzzle. I was in charge of spinning up the database and coordinating deployment with terraform so that when this thing blows up, we'll be ready for a million users..
View Code
Try it Out!
![NumCross](/_next/image?url=%2Fproj_imgs%2FNumCross.png&w=640&q=75)
Verifying the Byzantine Generals Problem
![Verifying the Byzantine Generals Problem](/_next/image?url=%2Fproj_imgs%2FByzGenerals.png&w=640&q=75)
February 2023 - April 2023
Using the Lean theorem prover, I composed a formal proof of the byzantine generals problem.
View Code
Try it Out!
![Verifying the Byzantine Generals Problem](/_next/image?url=%2Fproj_imgs%2FByzGenerals.png&w=640&q=75)
Nerf Goliath
![Nerf Goliath](/_next/image?url=%2Fproj_imgs%2FNerfGoliath.gif&w=640&q=75)
March 2023 - May 2023
Nerf Goliath is a novel multiplayer networking protocol which seemlessly switches hosting to give ping benefit to players in losing positions.
View Code
Try it Out!
![Nerf Goliath](/_next/image?url=%2Fproj_imgs%2FNerfGoliath.gif&w=640&q=75)
Pokegan
![Pokegan](/_next/image?url=%2Fproj_imgs%2Fpokegan.gif&w=640&q=75)
March 2023 - May 2023
As a fun dive into the world of GANs, I tried to generate novel pokemon using GANs. The results were... interesting.
View Code
![Pokegan](/_next/image?url=%2Fproj_imgs%2Fpokegan.gif&w=640&q=75)
Climate Innovathon
![Climate Innovathon](/_next/image?url=%2Fproj_imgs%2FClimateInnovathon.png&w=640&q=75)
February 2023 - March 2023
Organized an event at the intersection of computer science and chemistry at Harvard encouraging students to explore research topics in carbon capture. Sponsored by Frontier Climate, over $500 in prizes.
View Code
Try it Out!
![Climate Innovathon](/_next/image?url=%2Fproj_imgs%2FClimateInnovathon.png&w=640&q=75)
README #
![README #](/_next/image?url=%2Fproj_imgs%2FREADME-cover.jpeg&w=640&q=75)
December 2022 - March 2023
The culmination of my time on the Lampoon, I edited an issue of the magazine focused on why computers make whirring sounds sometimes.
View Code
Try it Out!
![README #](/_next/image?url=%2Fproj_imgs%2FREADME-cover.jpeg&w=640&q=75)
play.JPEG
![play.JPEG](/_next/image?url=%2Fproj_imgs%2FPlayJPEG.png&w=640&q=75)
December 2022 - January 2023
Inspired by my research into fractal compression, I took a deep dive into the JPEG encoding scheme and created a friendly tool for anyone to look under the hood of the world's most popular image compression scheme.
View Code
Try it Out!
![play.JPEG](/_next/image?url=%2Fproj_imgs%2FPlayJPEG.png&w=640&q=75)
Lampoon Digital Subscriptions
![Lampoon Digital Subscriptions](/_next/image?url=%2Fproj_imgs%2FLampoonSubscriptions.png&w=640&q=75)
August 2022 - January 2023
As president, I oversaw a team that made digital subscriptions a reality for the first time in the magazine's 150-year history.
View Code
Try it Out!
![Lampoon Digital Subscriptions](/_next/image?url=%2Fproj_imgs%2FLampoonSubscriptions.png&w=640&q=75)
Towards Fast Fractal Image Compression
![Towards Fast Fractal Image Compression](/_next/image?url=%2Fproj_imgs%2FFastFractal.png&w=640&q=75)
September 2022 - December 2022
As part of an advanced algorithms class at Harvard I spent part of a semester attempting to improve the feasibility of fractal image compression. Some successes, some failures.
View Code
Try it Out!
![Towards Fast Fractal Image Compression](/_next/image?url=%2Fproj_imgs%2FFastFractal.png&w=640&q=75)
Implementing a Modern Column-Store from Scratch in C
![Implementing a Modern Column-Store from Scratch in C](/_next/image?url=%2Fproj_imgs%2FColumnStore.png&w=640&q=75)
September 2022 - December 2022
Over the course of a semester, I took principles from modern database research and implemented a column-store from scratch in C.
View Code
![Implementing a Modern Column-Store from Scratch in C](/_next/image?url=%2Fproj_imgs%2FColumnStore.png&w=640&q=75)
Vaccine Checker
![Vaccine Checker](/_next/image?url=%2Fproj_imgs%2FVaccineChecker.png&w=640&q=75)
March 2021 - (a few hours later) March 2021
Vaccine rollout in California was, let's say, complicated. I wrote a script that would scrape the CVS website a few times a day and text me as soon as I could sign up.
View Code
![Vaccine Checker](/_next/image?url=%2Fproj_imgs%2FVaccineChecker.png&w=640&q=75)
Expo RGB Color Picker
![Expo RGB Color Picker](/_next/image?url=%2Fproj_imgs%2FExpoColorPicker.png&w=640&q=75)
Febuary 2021 - (a few days later) Febuary 2021
Bored one weekend, I decided to make a natural color picker for React Native/Expo.
View Code
Try it Out!
![Expo RGB Color Picker](/_next/image?url=%2Fproj_imgs%2FExpoColorPicker.png&w=640&q=75)