@koronkebitch <3

> Yes, I realize that my own field started as a way of automating and making logical arguments "objective" under some system.

some parts of cs yes, but i see pl specifically as very human oriented. it's making the tool (the computer) actually usable by humans. like how do we preserve the predictable and fast nature of electronic circuits but also make it something humans can do human things with. (the "preserving" part requires a lot of formalisms and proofs and all that, but the proof is only useful in that it allows you to confidently write correct doc/specs which is for humans.)

it's really telling that the answer to automate the human part of writing software is "use something which approximates a human-like behaviour (language)". (a bit like if the way to make a mechanical piano was to make a pair of mechanical hands.)

anyway, love the blogpost