Hacker News Reader

> ...it teaches us to be as rigorous as possible when reasoning in natural language.

A philosopher should explain to all the natural-language-as-code people why their endeavor is much, much harder than they think it is. If a philosopher isn't available, a lawyer would probably be qualified as well.

Point being, I feel like I'm getting some of those benefits just writing code and talking about it on a regular basis.

View on HN

It sounds to me like you're philosophizing about code then, which is a fine thing to philosophize about.

We use natural language to express abstractions formed over a very complex world, so it's guaranteed that when talking we'll be imprecise in some way, but the goal is to try to reduce this imprecision.

> If a philosopher isn't available, a lawyer would probably be qualified as well.

The lawyers are busy explaining to the "smart contracts" people that trying to translate contract law into code is going to produce a whole lot more comedy than it is practical value.

Reply on news.ycombinator.com