Uploaded May 2019 | Updated September 2026, 2 weeks ago
I recently collected 55 minutes of video showing the predicted arrival time of buses as displayed on a reader board along with the actual arrivals, in order to test a hypothesis. This is what it looked like at 60x realtime.
I recently collected 55 minutes of video showing the predicted arrival time of buses as displayed on a reader board along with the actual arrivals, in order to test a hypothesis. This is what it looked like at 60x realtime.










![Gottlob: An esoteric programming language
A quick demo of Gottlob, the new programming language Ive been developing. It is based on the gloriously idiosyncratic notation developed in Gottlob Freges Begriffsschrift. The only logical operation is implication, which also doubles as a conditional. Universal quantifiers serve as for loops. In this example I build an equivalent to the following code:
for a in [1..2]
for b in [1..2]
var c = (a 1) → ((b 1) → false))
print(c)
In more conventional terms, c = (a 1) || (b 1). (Remember, implication returns true if the test fails! And in this notation, the test comes *after* the consequent.) As is to be expected, this results in the following truth table. However, instead of true/false it is given in the terms used in Freges writing.
denied
affirmed
affirmed
affirmed Gottlob: An esoteric programming language](https://i.ytimg.com/vi/JmYO8oD9Hdw/mqdefault.jpg)