Alok's blog
Sammy Cottrell
Jump or die, dumbass
beats you
kairos
Mechanistic interpretability and lean
Mechanistic Interpretability and Lean 4
John Arbuthnot
zeno timer trick
WHY ARE YOU SO CALM?! My scooter accident
Beyond strength
The amount of honor to go around is very limited
From Priests to Software Engineers
All Their Pretty Persons
Skel
the last slop post
why homeless people hide drugs from kids
Are you strong enough to stop?
Contra Emet Hirsch on whatever the fuck he was talking about
Underdog
talking past each other
talking past each other
Greatness
A Field Guide to Nonstandard Definitions
806 Proofs, 44 Annotations: What grind Can and Can't Do
Sensing and Intuition
What Does Big Mean?
Etymology Is Astrology for Men
a perfectable programming language
MBTI and AI
What Does the Linear Representation Hypothesis Even Mean?
Quick Take: Language Lacunae and 'Good Enough'
Quick Take: Bridging Compile-Time and Runtime Performance in Lean 4
Quick Take: Screens Age Children by Forcing Early Exploit Mode
Quick Take: Why 'Growth Mindset' Fails Smart Kids
Personality Tests as Fear Classifiers
Double Date
Worse Than a Sranc
thanks whole foods lady
Another way of doing big O notation
Compactness of the Classical Groups
Derivative AT a Discontinuity
Just because 2 things are dual, doesn't mean they're just opposites
Boolean Algebra, Arithmetic POV
discontinuous linear functions
Continuous vs Bounded
Minimal Surfaces
November 2, 2023
NTK reparametrization
Kate from Vancouver, please email me