I am interested in developing explainable systems with human-like intelligence.
- 
        
        
Proving Unprovability: Gödel's First Incompleteness Theorem
 - 
        
        
Flight Speed Estimate for Long-Haul Flights (using nothing more than a boarding pass)
 - 
        
        
Elemental Topaz: My Ultimate Formulae Cheatsheet
 - 
        
        
The Divine Dice: A Brief Note on Determinism in Quantum Mechanics and Bell’s Inequalities
 - 
        
        
Long and Wordy: A Critique of the Newmanian Conception of Justice
 - 
        
        
Graviton: A push-up counter in your browser
 - 
        
        
Introducing Scierra!