$ cat about.txt
hi, i'm frank! i'm a second-year undergrad studying math and cs at nyu. academically, i'm broadly interested in systems programming, formalization, and PL theory. i also love piano, photography, and crosswords. reach out if you want to say hi!
$ cat now.txt
- reading rejection, by tony tulathimutte
- listening piano sonata no. 4, op. 30, by alexander scriabin
$ ls ~/
- > 1 photos/ placeholders
- > 2 words/ wip
- > 3 resume.pdf soon
$ ls ~/projects
- > chip-8.rs a CHIP-8 emulator
- > lean4-dag.lean formalization of DAG theory (wip)
- > wiki-racer.py finds short paths between wikipedia pages the way a human would
- > nixfiles.nix my nixos config
$ sxiv ~/photos | head -3
$ tail ~/words
nothing here yet.