Every Man a Debtor alok.github.io

Greatness

alok.github.io·6w

A Field Guide to Nonstandard Definitions

alok.github.io·6w

806 Proofs, 44 Annotations: What grind Can and Can't Do

alok.github.io·6w

Sensing and Intuition

alok.github.io·6w

What Does Big Mean?

alok.github.io·6w

Etymology Is Astrology for Men

alok.github.io·6w

a perfectable programming language

alok.github.io·6w

MBTI and AI

alok.github.io·7w

Quick Take: Language Lacunae and 'Good Enough'

alok.github.io·18w

What Does the Linear Representation Hypothesis Even Mean?

alok.github.io·18w

Quick Take: Bridging Compile-Time and Runtime Performance in Lean 4

alok.github.io·19w

Quick Take: Screens Age Children by Forcing Early Exploit Mode

alok.github.io·19w

Quick Take: Why 'Growth Mindset' Fails Smart Kids

alok.github.io·19w

Personality Tests as Fear Classifiers

alok.github.io·19w

Double Date

alok.github.io·25w

Worse Than a Sranc

alok.github.io·26w

thanks whole foods lady

alok.github.io·28w

Another way of doing big O notation

alok.github.io·28w

Continuous vs Bounded

alok.github.io·111w

discontinuous linear functions

alok.github.io·111w

Log in to enable infinite scrolling