[hermitdev]

Tangential, but there was a recent HN article (I think) (that for the life of me I cannot find a link to) that referenced a Microsoft DSL for describing finite state machines that was principally developed to implement MS's USB driver. Closest link I could find (which is not the correct one) is: https://www.microsoft.com/en-us/research/project/model-based...

[cesarb]

Perhaps it was this one from 13 days ago, about Prolog and Windows NT network configuration? https://news.ycombinator.com/item?id=14046420

[hermitdev]

No, that wasn't it.

[comfydragon]

P? https://news.ycombinator.com/item?id=12673739

(Only took me about twenty minutes of assorted searches to find it too...)