Rakhim's Web Log
November 21, 2020
is a QBasic-like environment for Python. Very cool!
People act like Godel’s Incompleteness Theorem is all about how formal systems are limited in their level of “insight about truth”.
Great talk by Simon (probono) about the Linux desktop platform.
Nobody wants to ship binaries for Linux, because there is no Linux platform