14:56:05 # Life Wanted to read up on how TLA+ works. Then I noticed that Leslie's page has lots of videos, and now I'm watching him speak. It might be the way people do it but now I can't seem to focus on a video long enough...
14:39:41 # Life Played with tar FUSE file system implementation. I wanted to mount by base.tgz image without tar extraction and experimented with the thought. I could not however think of a reasonable way of handling gzip part of image. I need to extract almost all of the image before I can reason with the tar file.