Oh, and it's Friday the 13th today!

How did it take me so long to think about binary search...LOL

Any document format that does not have a clean separation of styling and contents should only be used as an export or viewing format, not a source format.

I think HTML and LaTeX can be good source format if manual invention on styling are kept at a minimum; otherwise lighter markup formats like org-mode and markdown are just better.

I think Levius is basically a better Megalobox, especially story-wise.

Finally got my hands on a X230, and wow does it feel solid!

The latest iPadOS update removed the annoying switch control banner - yay screen estate

Let's gooooo, Rise of Skywalker!