4 ms·
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
by hermitdev 9y ago
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-testing-with-specexplorer/ https://www.microsoft.com/en-us/research/project/model-based...
- cesarb 9y agoPerhaps it was this one from 13 days ago, about Prolog and Windows NT network configuration? https://news.ycombinator.com/item?id=14046420 https://news.ycombinator.com/item?id=14046420
- hermitdev 9y agoNo, that wasn't it.
- comfydragon 9y agoP? https://news.ycombinator.com/item?id=12673739 https://news.ycombinator.com/item?id=12673739 (Only took me about twenty minutes of assorted searches to find it too...)