Consider , the set of all languages decidable by LARPing. Consider the GPT-6 Astra oracle . We posit that , the languages decidable by LARPing equipped with the Astra oracle, is equal to the universal set . That is, there is no limit to the larp.
Hi there. This is Youwen. I study abstract nonsense and hack on computers at UC Berkeley. Welcome to my corner of the World Wide Web.
I help run functor.systems, a small computing community, and tinker with MIT OpenCompute ⁂ I care about free software. I developed functorOS, an experimental NixOS-based Linux distribution ⁂ I like hacking, and hackathons. I helped organize the 2026 SB Hacks, the headliner hackathon of UC Santa Barbara, and was briefly its Director of Development ⁂ Previously, I was at UC Santa Barbara. I also spent a semester in the CS department at Tsinghua University ⁂ See about for more about myself, or now for what I’m up to right now. Or explore the other pages on this website □
We must not believe those, who today, with philosophical bearing and deliberative tone, prophesy the fall of culture and accept the ignorabimus. For us there is no ignorabimus, and in my opinion none whatever in natural science. In opposition to the foolish ignorabimus our slogan shall be Wir müssen wissen—wir werden wissen (“We must know—we will know”).
— Hilbert
Recently
Photos
Atom feed.

One of the coolest places I've visited.


Untitled.


Sunrise from the deck of the Dalian–Yantai ferry over the Bohai sea.

Mission Peak at golden hour.


Last light in Yongsan.


Nanjing Street.
Notes (Recent notes)
Contact
Places
University of California, Berkeley (‘28)
Tsinghua University (S26)
University of California, Santa Barbara (cut short)