I was appreciating the dates hardcoded on pictures today. And I realized my Dad 🞶 stopped using them due to their annoyance. This is me realizing that there are two modes to media: The ones where you see as an external tool only to retrieve an information from (which we do with dead media) and so we appreciate their limits and systems, and there is the "I want to immerse myself in this media" mode where we go full Jony Ive 🞶 and try to remove all distractions, and make it big and immersive and fight its limits because we no longer see it as a tool but the environment.
Iran is killing everyone on the streets and there is little new that I must add to the common knowledge about it. Europe is trying to destroy the Internet by forcing ID on people, and Trump has started seizing countries "officially for oil". It was a better world where at least another country was a good country you could go. Now it seems like a "Da Vinci's Demons" sort of a nightmare.
I'm particularly fond of the organization of the OCaml compiler: it doesn't really follow a classical separation of concerns, but emits good quality code. E.g. Its instruction selection is just pattern matching expressed in the language, various liveness properties of the target instructions are expressed for the virtual IR (as they know which one-to-one instruction mapping they'll use later - as opposed to doing register allocation strictly after instruction selection), garbage collection checks are threaded in after-the-fact (calls to caml_call_gc), its register allocator is a simple variant of Chow et al's priority graph colouring (expressed rather tersely; ~223 lines, ignoring the related infrastructure for spilling, restoring, etc.)
Replying to "I wonder, at which point it is worth it to make a language?": AT ANY POINT.
No exist, nothing, that could yield more improvements that a new language. Is the ONLY way to make a paradigm(shift) stick. Is the ONLY way to turn "discipline" into "normal work".