Reverse Twins
My brother turned 37 while my mom was 73. My mom, being a lover of numbers, immediately pointed out this fun symmetry.
exist
Latest posts
Emoji Griddle
Emoji Griddle puts all of the more than 100,000 images from Google's Emoji Kitchen project into a single, zoomable grid.
Spinning Diagrams with CSS
This article discusses using CSS to make spinning 3D diagrams.
Visual Sum of Cubes
This article discusses a pattern I noticed in ‘visual’ derivations of the formulas for 1+2+…+n and 1²+2²+…+n², which led me to a similar derivation for 1³+2³+…+n³.
Turing Machine Halting in Lean
I recently fooled around with the theorem-proving language Lean , and proved whether some very simple Turing machines halt or not. These are my notes on how I did that.
An Intriguing Triangle
I recently noticed that the triangle with n th row and k th column:
Fooling Around With Word Embeddings
Fooling Around with Word Embeddings
Continued Fraction Streams
Every real number can be represented as a potentially infinite stream of digits and also as a potentially infinite stream of continued fraction coefficients, for example:
Non-Empty Recursion in Elm
Elm requires functions to be total , one consequence of which is that functions on lists must handle the empty list. For example, since the empty list has no head element, List.head has the type: