miniblog.

← Back to all posts
Nov 19, 2019 at 00:28
After a few years of programming, I noticed it affected my outlook on other parts of life. I notice exceptions to patterns way more. In code, it's a bug or deserves a comment! I'm also much more aware of ambiguities in sentences, even minor ones. Have you experienced this?

Related Posts

Aug 31, 2017 at 18:11
Extracting machine-readable specs from natural language specs for ARM architectures, and finding ambiguities!
Are natural language specifications useful?
In my efforts to create a formal specification of the Arm architecture, I have focussed on the parts written in “pseudocode”. I have reverse engineered the ASL language hiding inside the pseudocode to create a formal, executable specification that I can execute and test. In the process, I have tended to ignore all the natural language prose that makes up the bulk of the 6,000 page Arm Architecture Reference Manual. In defiance of Betteridge’s Law, this article is going to explain how I finally found a use for all that prose.