In the previous blog post in this series, we looked at Gödel’s First Incompleteness Theorem, and came to the amazing conclusion that we can’t compute certain kinds of functions in formal systems (like Javascript). Specifically, we looked at a special function, , which turned out to be non-computable. In case we forgot, the first incompleteness … [Read more…]
Gödel’s incompleteness theorems have been hailed as “the greatest mathematical discoveries of the 20th century” — indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I’ll give a simple but rigorous sketch of Gödel’s First Incompleteness … [Read more…]
This is a lengthy post about how Azure sucks and is the worst cloud service, bar none. For the faint of heart, there’s a summary at the end. The theme is horror 😱 The (Blair Witch) Project Six months ago, I was burnt out and dissatisfied. I quit my job to take some time off. … [Read more…]
This blog post turned from something exploratory into an NPM library. If you’d like to jump to the code on Github, click here. Otherwise, keep reading to see how the sausage was made. While watching the third season of Bosch, I started thinking about how many phone numbers can there possibly be. In TV shows … [Read more…]
I’m not a Python guy, but it seems that every job I’ve had has slowly pushed me into doing more and more Python until I end up doing nothing but Python all day. And I hate doing Python all day. To be fair, Python isn’t terrible, but throughout its lifetime, it made some incredibly poor … [Read more…]