Hu Bowen
Incoming larper at the Singapore Armed Forces. Learning about AI and (attempting to learn) PL theory in my spare time. Occasionally you'd catch me clanking out a side project.
Do check out my photos, I think they're pretty cool. Or my resume, if anyone's interested in stalking me.
I occasionally try to piece together coherent pieces of texts to (try to) understand a topic, or to articulate my views on subjects.
Now
Health
Stuck in national service, so the nation is forcing me to stay fit by waking up before 5:30am and sleeping (hopefully) by 10:30pm and conducting physical training during the time in-between.
As a future CS major, I’ve also been climbing (albeit sporadically). Currently stuck at 4 bars @ Fit Bloc.
IPPT
Servicemen are required to take part in a physical fitness test called IPPT. Here are my stats thus far:
- 08 Oct 2026: 26 pushups, 31 situps, 9:53 2.4km run
- 21 Oct 2026: 34 pushups, 36 situps, 9:43 2.4km run
Reading
Currently checking out The Hitchhiker’s Guide to the Galaxy and Demis Hassabis’ biography: The Infinity Machine.
Tech
Learning the Lean programming language to try and understand both functional programming and theorem proving.
Vibe-coding out a web-based coding harness like pi so that I can vibe-code in
NS.
Math
Gonna start grinding linear algebra & multivariable calculus wrt the notes by the goat Evan Chen.