Hey! I'm David. I'm a student at Princeton University, studying Computer Science and Philosophy.
I like digging into problems to figure out the how and most importantly the why of things.
My most recent project is a proof checker. Inspired by the delightful elegance and simplicity of formal logic (as taught by Hans Halvorson in PHI 201: Intro Logic), I figured it wouldn't be that hard to throw together a quick proof checker.
Well, it took a little longer than expected -- mostly because of the UI, but it also turns out parentheses are way harder to parse nicely than I ever would have thought -- but I had a lot of fun with it; the resulting app can be found here. It's currently in alpha, and I am continuing to develop it. However, it should work for stanard propositional logic proofs. If you find a bug, please submit a bug report! :)
In spring 2018, I worked in a self-directed team of 2 to build the website for the Princeton Puzzle Hunt in two weeks. With no prior experience, we built the site from scratch in Node.js, Express, and Sequelize/MySQL, with EJS+Bootstrap for front-end templating. I also served in a DevOps type role, setting up, configuring, and managing the server infrastructure. I learned a lot very quickly while working on this project.
During the 5-hour competition, our site flawlessly handled nearly 1,300 puzzle submissions from nearly 50 teams. The site checked solutions for accuracy, awarded points, and maintained and displayed a real-time leaderboard for the teams.
Check out the site here!
During senior year of high school, while taking a CS course for the first time, I saw an opportunity to build an app that would be useful outside the classroom.
My math teacher played the game SET at the beginning of every class, with the class trying to solve it as fast as they could. Unfortunately, the official website wasn't well set up for speedruns.
My site is still used daily in the classroom and is played by students. Check out the site here!
Major in Philosophy with a Certificate in Computer Science
I took a gap year between high school and college on Princeton's Bridge Year Program, in Brazil. I spent 9 months living with a local family and volunteering at a community library in Salvador da Bahia.