Hacker News new | ask | show | jobs
by gugagore 1888 days ago
Both machine code and interpreted scripts are executable, and so they have a formal meaning, at least for a given machine or interpreter.

They both feel as "formal" as the other, and much more so than a spec written in e.g. English.