Overview There's been much ado about the AI bubble bursting (ref, ref). I sit in the middle ground. There's definitely been a »
Background Some years ago I built a stock day trading video game called "Beat The Market". It was an online stock trading game with »
Among the papers that I've read this year, I found "Propositions As Types [http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types. »
I first discovered the game 2048 [http://gabrielecirulli.github.io/2048/] sometime in 2014. I really liked the elegance of its game play, and the fact »
Introduction Having worked in a few banks as a programmer, I want to distill some central notions of money and how it fits into the banking »