Etymology Is Astrology for Men
One of my random hyper fixations is proto-Indo-European etymology. My friend Lydia said that etymology is astrology for men. So I made a lecture on it with that title because I realized, yeah, she’s right.
a perfectable programming language
An interactive Lean 4 blog post — click through for the full experience.MBTI and AI
what is the point of it all?
Double Date
My strangest experience on Tinder was in Sichuan. Dunno why but I got >100 matches in 12 minutes, a truly bizarre experience, felt like my guts were getting swizzled with hot gravel. But something worse approaches.
Worse Than a Sranc
In R Scott Bakker’s Second Apocalypse series, there’re these monks called the Dûnyain and these goblins called the Sranc.
thanks whole foods lady
I was 17 and had free period before and after lunch. So, 3 hour lunches.
Another way of doing big O notation
I had a fun talk about this with an interviewer once when they asked me about the runtime complexity of some algorithm.
Compactness of the Classical Groups
MOM Alok’s thinking about conic sections again.
Derivative AT a Discontinuity
But this is impossible by definition
Boolean Algebra, Arithmetic POV
(written long time ago, publish or languish)
discontinuous linear functions
Let \(H > \mathbb{Nat}\) be unlimited.
Continuous vs Bounded
Nonstandard analysis gives a nice link between continuous and bounded functions, which are small and large-scale notions.1
-
Credit to Takuma Imamura for showing me this definition ↩
Minimal Surfaces
GPT-4 did this in 1 shot.
November 2, 2023
Been going through Mosteller’s 50 challenging problems in probability.
NTK reparametrization
I’ve been learning about the neural tangent kernel and some things confused me.