You’re probably on the right track. Every hunk of symbols is probably a valid type expression in some system. Including a square root type.

Okay, but even if we assumed (x=b) to be a very small equivalence relation, it should appear in the denominator position to form an equivalence quotient.

Wrong formula aside, what is the meaning of dividing an entire equation? (x = b) / a

That was so eye-opening for me when I figured out you can just grep a block device for files unlinked by the file system but not yet physically overwritten. Magically reanimating lost files can be such an incredibly simple operation.

I feel like the truth lies somewhere in the middle, but this one I absolutely 100% agree with:

Comments should be highlighted, not hidden away.

Ah, from the picture I thought he would teach us how to read barcodes (which do underpin human reality), but it’s just some boring simulation stuff.

We have no clue what electricity is, because we, the authors, are dumb as fuck.

I’m all for having the ability to do these shenanigans in principle, but prefer if they are guarded in an unsafe block.

Clearly we need self-centering support from editors.

A major political agenda of Vim is to support children in Uganda. A message about that is displayed whenever you open Vim’s start page. Bram Moolenaar insisted on users donating to the ICCF charity instead of to him, making Vim a very political editor in my view.