14:55:06 # Life tlaplusについて勉強してみるかと思いついたので調べていたんだけどどうもビデオが一番良いっぽい。 レスリー先生の喋っているのを眺めているのが面白い。内容はあまり頭に入ってこない。
14:32:32 # Life tar ファイルをマウントするファイルシステム書こうかなと思ったんだけど。 大体tarとしては存在しなくてtar.gzは前から順番にパースしないといけないというのがネックで、Read onlyファイルシステムの高速でメモリ効率のよい実装というのは難しい。ファイル一個読むたびに全部読み直すというのは合理的ではない。gzipをSeekableにする方法ないのかなぁと思ったんだけど、rsyncableは違ったみたい。 なんか一定ブロックサイズ単位で独立して圧縮してくれれば良い気がするんだけど。LZSSならいいけどLZWとかHuffmanとかでは合理的ではないのか。Gzipはそういう圧縮方法ではないということか。