Hacker News Reader

The Dutch Tax Administration have been using controlled natural language for the specification of their legislation for some time now with JetBrains MPS (external) DSLs: https://www.youtube.com/watch?v=1pfABlzO2Wc&index=2&t=0s&lis...

Tangential note, it’s exciting to see someone using MPS. It’s an interesting and possibly transformative software technology that seems ahead of its time.

Sounds very similar to https://www.eclipse.org/Xtext/

(though I never used MPS)

Yes, MPS and Xtext are the best language workbenches in the market. The main difference is that MPS uses a Projectional editor, so you can use different notation (not only text): https://youtu.be/XGm_khXZl44

They're not aiming at all of society. Parts of the law are already algorithms (not all of it), they just happen to be written in an obscure uncompilable Legalese.

This isn't python or JavaScript. This language is specifically designed to integrate with proof assistants, like ambitious hyper-secure TLS implementations or formally verified microkernels.