Projects
Below are some notable things that I’ve built. Almost all my work is publicly available either on GitHub or my personal git server and is licensed under the GPL.
I try to work on projects which I think will be somewhat novel or reasonably useful to me and others. It’s usually the latter.
Mimux
A complete, from-scratch build system to bootstrap a custom “Mimi” Linux Distribution named after our late cat. Runs on an custom-configured Linux kernel aggressively optimized for size. Fits a complete and extensible build toolchain (perl, python, gcc and friends, busybox, …), all packaged from scratch, in under 600MB. Rootfs and bootable virtual machine images for both x86_64 and aarch64 are automatically generated by GitHub Actions.
Statically Linked Python
Making Python as fast as possible with compiler and build options. Static linking allows for the compiler to do whole program link-time optimization, which unlocks optimizations between python and its dependencies. Benchmarking indicates that it’s on average around 19% faster than standard Python, but efforts are continuing to assess the impact of different optimizations.
Static linking is absolutely not supported by upstream Python, so this required a bunch of monkey patching and bug fixes. For the love of the game, the build system was designed to support cross-compilation to over ten other architecture targets.
Search.MAATester.com
A search-as-you-type search engine with 20,000 math olympiad problems from various sources. React/TypeScript frontend, Go+Meilisearch backend, deployed on a VPS with Docker.
In the midst of this madness, I also created
gccfactory, which allows for
canadian cross compilation. From an x86 machine, I can create a cross compiler
that only runs on an aarch64 machine but compiles C code to a binary which only
runs on a riscv64 machine. Resulting toolchains also have the LTO plugin
statically linked and include a copy of make for convenience.
MAATester.com
A website designed to facilitate preparation for the short-answer math contests administered by the Mathematical Association of America. Levels and automatic grading are built-in. Built with React and Firebase.
PureMOOt
Written in Go with the Discordgo API bindings. Uses a Redis database for low-latency data storage.
TeXbld
A Python tool to reproducibly compile markup documents using docker and a simple configuration system. A convenient version manager is also provided.
It’s also worth noting that I had a less sophisticated predecessor to this project, MkTeX.
Ohsmathc.club
A site for our Math Competition Homeroom (which I led during my junior and senior years at OHS) to coordinate meetups and competitions. Written in Django, deployed with Docker.
MIT 4.602 Quiz Reviewer
Written across one Monday to help me and my classmates prepare for exams in 4.602, Modern Art and Mass Culture. Built with React, TailwindCSS, and ShadCN UI.
Go-Stop Tools
A set of web apps to manage the Kim family’s musings in a classic Korean card game of strategy and luck.
Personal Website
The site you’re looking at right now. I spent a significant portion of winter break 2023 refining it.