The point (or at least as I read it) is that the human readability is more about...

		michaelcampbell on Sept 29, 2024 \| parent \| context \| favorite \| on: It's hard to write code for computers, but it's ha... The point (or at least as I read it) is that the human readability is more about the language being used. The "necessary and sufficient" part is binary, and we're not doing that by hand any more.