I'm still making videos (as well as printing). Latest productions below. They show how to do off-line analysis in ASAP, outlines the JoSEL specification for generating a standard report, and, more interestingly, shows how to do hash compaction and how to combine the hash compaction method with the sweep-line method as well as how to […]
Tag: Youtube
More Slide-making…
I'm still making slides for the ASAP tutorial. Or, rather, I'm still making heaps of videos. The below videos shows how to use the sweep-line method in ASAP, how to change the safety checker to instead use the sweep-line method, and how to draw and export the state space graph. These videos are a bit […]
Tutorial on ASAP
I'm currently working on a tutorial for ASAP, the tool I'm working on at work. The tutorial is a mixture of slides and video demonstrations. You can see the four videos, I've currently done below: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
New Upcoming Single from Britney!
It’s called “3”, and it’s great! According to britney.com it’ll be available from iTunes on October 6. Check out the lyrics from britneyspears.com. Appropriately enough, the single (and the new Singles Collection) was announced on my birthday 🙂 MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]