Blog: 2023-12-26
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.
https://en.wikipedia.org/wiki/Happy_Hacking_Keyboard
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