Yifei Sun

I'm a masters student at Northeastern University studying computer science since September 2023. Before joining NEU, I got my bachelors at University of Utah for my thesis System and Methods to Determine ME/CFS & Long COVID Disease Severity Using Wearable Sensor & Survey Data under the guidance of Shad Roundy and Tucker Hermans.

My research interests are theoretical computer science and distributed systems:

• Type theory and type based program analysis for modern programming languages.
• Distributed systems and consistency model verification.

As a hobby project, I operate an autonomous system (AS10779) under ARIN. I'm also an active OSS contributor, especially in the Nix/Nixpkgs/NixOS community on GitHub, where I'm a nixpkgs maintainer and darwin maintainer.

Some random recommendations:

• Beeper: use imessage everywhere
• Cloudflare: stop using speedtest.net
• Fly.io: the serverless server
• Nix: customize your neovim with nixvim, secure boot
• Tailscale: choose your own IP, how NAT works