Dotbot is a tool that bootstraps your dotfiles, designed to be lightweight and self-contained, with no external dependencies and no installation required.
Blog Posts
- Managing Your Dotfiles (Aug 2014)
git-remote-dropbox is a transparent bidirectional bridge between Git and Dropbox. It lets you use a Dropbox folder or a shared folder as a true Git remote!
Blog Posts
- git-remote-dropbox (Aug 2015)
An implementation of the neural style algorithm in TensorFlow.
Blog Posts
- An AI That Can Mimic Any Artist (Dec 2015)
Porcupine is a fast linearizability checker for testing the correctness of distributed systems. It takes sequential specification as executable Go code, along with a concurrent history, and determines whether the history is linearizable with respect to the sequential specification.
Blog Posts
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data.
Blog Posts
Seashells lets you pipe output from command-line programs to the web in real-time, even without installing any new software on your machine.
Blog Posts
- Seashells (Jul 2017)
Lumen is a menu bar application for macOS that magically sets the screen brightness based on your screen contents.
Blog Posts
Gavel is a project expo judging system that uses fancy math to get good results. It was first used at HackMIT 2015, and it's been used at dozens of other hackathons since then.
Blog Posts
- Designing a Better Judging System (Mar 2015)
- Implementing a Scalable Judging System (Nov 2015)
- Gavel: An Expo Judging System (Sep 2016)
Gemini is a modern LaTex beamerposter theme, with a focus on being clean, minimal, and looking great out of the box.
Blog Posts
- Gemini: A Modern LaTeX Poster Theme (Jul 2018)
Ribosome synthesizes photos from PhotoDNA using machine learning.
Blog Posts
- Inverting PhotoDNA (Dec 2021)
My dotfiles that I've been using since 2013, powered by Dotbot.
Blog Posts
- Managing Your Dotfiles (Aug 2014)
Classes teach you all about advanced topics within CS, from operating systems to machine learning, but there’s one critical subject that’s rarely covered, and is instead left to students to figure out on their own: proficiency with their tools. Missing Semester teaches how to master the command-line, use a powerful text editor, use fancy features of version control systems, and much more!