Viewing profile — robertwer

I’ve never worked with formal validation (barely remember my CS course). This release looks impressive. But I'm trying to wrap my head around the near-term practical applications f…

Besides the aspect of self improvement I’m impressed with the ability to put a language specification into 3,200 token. This is like a micro-kernel which extends itself. Now I wond…

There seems to be some evidence that literate programming style comments help humans to comprehend code they don't know. I found a paper investigating this. Some folks from Google …