Hacker News Reader

FYI for the authors. Typo on page 3: " All Bitcoin Script operations are pure functions of the machine state expect for the signature-verification operations. "

And page 4: "As such, we expect it to be a target for other, higher-level, languages to be complied to."

View on HN

They should have formally verified the paper as well as the language.

Or, if you're lazy like me, get a subscription to grammarly.com. As a technical publications editor I can say that it's worth every penny.

> Or, if you're a technical publications editor, get a subscription to Grammarly⁽¹⁾.

[ed: you almost certainly will not achieve a net benefit from paying a subscription to an orthographic linter.]

____________________

¹ https://grammarly.com

There's a free tier too but it's definitely great for me! Where I work, we have a policy about using perfect English in every message we send.

Reply on news.ycombinator.com