My Blog
Welcome to my personal blog!
-
Proving Unprovability: Gödel's First Incompleteness Theorem
Math is a discipline founded in the manipulation and application of basic axioms. But are a fixed set of exioms enough to prove all of math, or will there be theorems forever out of reach? -
Flight Speed Estimate for Long-Haul Flights (using nothing more than a boarding pass)
What I did to kill time on my 12-hr flight from HK to London - calculating average flight speed with only flight duration, timezones, and some general knowledge. -
Elemental Topaz: My Ultimate Formulae Cheatsheet
A sneaky preview at my new formulae cheatsheet, under-construction. -
The Divine Dice: A Brief Note on Determinism in Quantum Mechanics and Bell’s Inequalities
Just how is quantum mechanics non-deterministic? Why is it disturbing? And... how can we possibly eliminate the possibility of something we don't even know about? -
Long and Wordy: A Critique of the Newmanian Conception of Justice
A critique of Alexander Newman's conception of justice as presented in his essay: 'What does justice mean?' -
Graviton: A push-up counter in your browser
Annoyed of counting reps? Make your browser do it for you! -
Introducing Scierra!
a Simulated C++ Interpreter with Recurrent Adaptation.