3 ms·
This. The thesis statement is so confused and I cannot tell if it's deliberate clickbait or the author legitimately is that confused about the distinction betwe
by voidhorse 8mo ago
This. The thesis statement is so confused and I cannot tell if it's deliberate clickbait or the author legitimately is that confused about the distinction between program-level language features and program structure and systems design and how they are two closely related but really distinct things.
- jibal 8mo agoThe distinction is the point and the subject matter of the article.
- kortex 8mo agoLiterally the second section: > Here is the central claim: the unit of correctness in production is not the program. It is the set of deployments. The thesis essentially boils down to: functional programing paradigm, type systems, strong interfaces, etc, are all fantastic tools for ensuring the correctness of a program, but the system is not a program, and so these tools are necessary but not sufficient to ensure the correctness of a distributed application.
- rsrsrs86 8mo agoThis makes no sense at all really.
- rsrsrs86 8mo agoIt’s convoluted because it’s slop. You can’t even be sure the text came out as intended. It is full of GPT style markers that tell me the author wasn’t careful enough in review. Jolting bullets in markdown and asking for a full article is not good enough for publication. It’s today’s version of let me google that for you. No one publishes half ass markdown notes for a reason. Asking LLM to finish it doesn’t cut it.
- jibal 8mo agoNone of that is remotely true.