Having some fun looking at the international math olympiad questions historically: https://www.imo-official.org/problems.aspx but dang they're hard!
Also this is poetic, from the Happy Hacking keyboard design philosophy:
> Because keyboards are accessories to PC makers, they focus on minimizing the manufacturing costs. But that’s incorrect. When America’s cowboys were in the middle of a trip and their horse died, they would leave the horse there. But even if they were in the middle of a desert, they would take their saddle with them. The horse was a consumable good, but the saddle was an interface that their bodies had gotten used to. In the same vein, PCs are consumable goods, while keyboards are important interfaces.
Getting deep in the control key lore https://en.wikipedia.org/wiki/Control_key
Strange that IAS doesn't have some historic figures like Albert Einstein here: https://www.ias.edu/sss/past-scholars
More features for ronin: ronin stop, maybe using pidfile. Also could use https://superuser.com/questions/1087859/how-to-quit-the-qemu-monitor-when-not-using-a-gui and the -monitor flag to remotely connect to qemu and send the quit command.
cool like CAP theorem https://en.wikipedia.org/wiki/Zooko%27s_triangle
Discussion about HNS on HN https://news.ycombinator.com/item?id=22311015