Deep0Thinking
I'm Louis Liu. This site contains my research, notes, projects, game records, and selected personal entries.
On this site
Academic
Research interests, publications, and academic profiles.
Notes
Mathematics, physics, computing, and things worth understanding.
Series
Connected notes, developed one subject at a time.
Projects
Software, research, and experiments.
Labs
Useful tools that run in your browser.
Games
Games I play, with settings, strategies, and observations.
About
A little about me and the name Deep0Thinking.
Recent entries
New notes and recent additions to a series.
-
ReuF2F
A Lean 4 benchmark of 244 open problems from undergraduate research for evaluating coding agents.
-
Two-Do
An app for couples, built by my partner Grace Tian and me.
-
History of Logic
28 notes, arranged in reading order.
-
History of Logic: Earlier Traditions
6 notes, arranged in reading order.
-
Apex Legends
Everything I have written about Apex Legends, from my settings to notes on how I try to play better.
-
Apex Legends: Game Sense
Notes on the mistakes I keep making in Apex and how I try to stop repeating them. This is only part of game sense, and only the part I have managed to name so far.