It’s something of a revelation when you discover that what you and others have been working on for 5 years is wrong. It’s a delicate situation to try and correct it in apolitically correct way. I did not go that way. […]
Month: July 2013
Gotta get down on Wednesday. […]
Anybody remembers how to translate from regular expressions to NDFA? […]
Screw LTL! – from now on, the Declare semantics is using regular expressions. […]
Screw LTL! – from now on, the Declare semantics is using regular expressions. […]
Roskilde Festival
Unsorted pictures from Roskilde Festival 2013 https://westergaard.eu/images/2013-2/roskilde-festival-2013/ […]