Hi! Welcome to my site on the World Wide Web. I study (pure) math and computer science at UC Santa Barbara (co 2028). I like public transit and urban planning and functional programming and music and foss and abstract algebra and other generally good things such as the wind gently rustling through the leaves as I stroll through the park.
Here is my university transcript, GitHub, last.fm, and a picture of my cats.
Outside of math, I play guitar and spend way too much money on guitar pedals. I also hate coding.
Some things i've worked on:
- nixos/nixpkgs (nixpkgs package repository and the NixOS linux distribution)
- team-1280/jankboard (FRC Team 1280 robot control dashboard with 3D visuals)
- zen-browser/desktop (cool firefox-based browser)
- youwen5/virion (crummy compartmental epidemic modeling in 3D, finalist proj at ucsb datathon)
This page is a sprawling mess right now! I'm in the middle of migrating from my old Svelte-based site to this Elm-based site. My old site is considerably more polished and still available at https://youwen.dev, while i find some time to work on this one.
To contact me, see the impressum.
I use NixOS (harder than arch btw). Some setup details:
- window manager: hyprland with a scrolling layout
- kernel: linux-zen
- terminal: kitty
- editor: neovim
- bar: waybar
- login shell: nushell
- programming language: the best one for the task, but usually Rust/Haskell/Elm
- DAW: reaper
cool things ive read/watched/played recently
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (nonfiction, math): a generalization of many self-referential theorems
- There Is No Antimemetics Division (prose, fiction)
- Disco Elysium (game, rpg): 11/10. life-changing.
- Frieren (anime)
about this site
This is my quiet corner of the web! I continuously stay up to date with the latest trends in software development so I can do the exact opposite. I intend for this site to be a love letter to the web and what it represents - namely, the free and unfettered exchange of information and human thought. To that end, I promise nothing on this site will ever be made by GenAI.
This site was built with elm, a purely functional programming language for writing web apps. Programming in elm is delightful and lets you ignore all mainstream web trends and frameworks while ruling out entire classes of unwanted behavior through the careful design of types. All without writing a single line of HTML/CSS/JS.
Unfortunately, this has some undesired side effects. You may have noticed this site is entirely empty and unstyled. This unfortunate reality is due to the fact that I've been far too busy scaffolding the theoretical foundations of the site and pondering the mathematical structure of its type system to actually learn how to do CSS, or write any content.
 | If I were a Springer-Verlag Graduate Text in Mathematics, I would be William S. Massey's A Basic Course in Algebraic Topology. I am intended to serve as a textbook for a course in algebraic topology at the beginning graduate level. The main topics covered are the classification of compact 2-manifolds, the fundamental group, covering spaces, singular homology theory, and singular cohomology theory. These topics are developed systematically, avoiding all unecessary definitions, terminology, and technical machinery. Wherever possible, the geometric motivation behind the various concepts is emphasized. Which Springer GTM would you be? The Springer GTM Test |