-
Subtracting times
math -
Book Report: Lessons from 'Silbings without rivalry'
book-reportparenting -
Extending tetration to rational heights (a failed attempt)
math -
Let's build an operator
math,exercise -
Guess the function
mathexercise -
The case for evolution
science -
Radioactive Clocks
math,science -
More flexible is not always better
deep-thoughtscoding -
Mean, Median, and Mode as bets
mathstats -
Noisy Elo II
chessmath -
How to DNS
how-tocodingweb -
What is entropy?
physics -
Book Report: Atomic Habits
book-report -
ngrok: How to test on mobile in 10 seconds
how-tocodingmobile -
Too much magic?
coding -
Noisy IQ Tests
mathdata-science -
OKRs
managementbook-report -
Checkmate is confusing
chess -
Probability and the problem of the single case
mathphilosophy -
Which state is the "most square"?
math -
The Coriolis Force
whyphysicsmath -
Why was Special Relativity invented?
whyphysicsmath -
Why do things sink or float?
whyphysicsmath -
Why do astronauts float?
whymath -
The Two Envelopes Problem
math -
The Joy of Discovering Math
math -
G13. Godel's Proof (sketch)
mathgodelg-series -
G12. Understanding Godel's First Incompleteness Theorem - A Summary
mathgodelg-series -
G11. Primitive Recursive Functions
mathgodelg-series -
G10. Expressibility and Capturability
mathgodelg-series -
G9. First vs. Second Order Logic
mathgodelg-series -
G8. Relations (in Logic, not in Love)
mathgodelg-series -
G7. Can insufficiently strong formal systems be both consistent and complete?
mathgodelg-series -
G6. Inconsistent systems can prove anything
mathgodelg-series -
G5. Soundness, Consistency, and Completeness
mathgodelg-series -
G4. Propositional Logic
mathgodelg-series -
G3. Why do we care about formal systems?
mathgodelg-series -
G2. Meaning in a formal system
mathgodelg-series -
G1. What is a formal system?
mathgodelg-series -
G0. Understanding Godel's First Incompleteness Theorem - A Roadmap
mathgodelg-series -
A more intuitive formulation of Bayes theorem
math -
Polynomials are just numbers in base x
math -
Why correlation is the key to quantum computing
mathphysicsQM -
How to make an infinite Venn Diagram
math -
Chess evaluations are weird
chess -
Winning in chess
chess -
Why is the sun stronger at noon?
whymathclimate -
How to remove duplicates in iPhotos
how-topythoniPhotos -
Pipenv
how-topythoncliff-notes -
The Great Filter
philosophylogic -
How to rate photos in iPhotos
how-toiPhotos -
New Mac Setup Guide
how-to -
Will the cosmic microwave background ever disappear?
physicsfav -
A wonderful chess puzzle
chess -
Different infinities, and why it matters
mathgodel -
How to remember linear regression
mathstatsseries -
Introducing the stats series
introducingstatsseries -
Fractional Derivatives
matheigenvectorsseriesfav -
Rule of 72
math -
N-spheres
math -
The Metric Tensor
math -
What is a Tensor?
math -
Pythagorean Proof
mathproof -
Using the Simulation Hypothesis Against Itself
mathlogicphilosophy -
Deriving the Taylor Series
math -
Deriving the Maclaurin Series
math -
Ayumu
game -
Eigenvectors II: Steady state
matheigenvectorsseries -
Understanding eigenvectors with Fibonacci
matheigenvectorsseriesfav -
Sierpinski Triangle
mathfractalsart -
Sheep and Wolf
game -
Euclid's Theorem
mathproof -
"Paradoxes" from Godel's Proof (the book) and GEB
mathgodel -
Noisy Elo
chessmathdata-sciencefav -
How good is Elo for predicting chess?
chessdata-science -
How many games until I beat Magnus?
chess -
Through Two Doors at Once
physicsQMcliff-notes -
IRAs: Round 3. This time, with pictures.
taxesiraseries -
Isn't a Roth (vs. Traditional) IRA usually a bad idea?
taxesiraseries -
How much does contributing to an IRA really save?
taxesiraseries -
An intuitive explanation of the Monty Hall problem
math -
The Distribution Monad
motivating-examplesfpmathocamlfav