Viewing profile — 4xel

While I agree with the conclusion, I don't agree with all the examples given. > Invariant: From this point on the array’s length must be 3N + 1 for some integer N. Invariant can be…

Fair enough. FWIW, I know several lifelong Emacs users who never wrote or read a line of lisp. But for those who do choose Emacs for its supreme hackability, I got a hunch that the…

I'm confused, what emacs do you have in mind? For me, emacs is a lisp machine, hackable live, M-. all the way down, that kind of things, that's the whole point (again, subjective o…

Like https://lem-project.github.io/ ? (not vibe coded btw, even better!)