Early morning funny straight from the Bristol-San Francisco comedy pipeline:
[04:18] <dnm> I have Corn Flakes.
[04:18] <dnm> Hell yes.
[04:18] <dnm> For the first time in like four months
[04:19] <dnm> I can have cereal for breakfast.
[04:19] <rik> dmn: I have porn flakes. they're like cornflakes, but with specific shapes.
Playing around with various TeX things. I am not terribly impressed with Maple 7's default LaTeX export features, given that the output relies on some specific sylesheets (which they do give you). Running a quick PDFLaTeX on the generated LaTeX results in nothing spectacular and really quite odd looking in places. Of course, there's nothing stopping me from tweaking the output source.
Also futzing around with Metamath after seeing Raph compare and contrast it to HOL. I began playing with HOL a while back after Bram and I talked about it passingly at Stacey's Bookstore (I run into him there a lot).
Thinking deeply about small p philosophy. Please excuse the pensive, silent mood if you happen to be around me in person.
[04:18] <dnm> I have Corn Flakes.
[04:18] <dnm> Hell yes.
[04:18] <dnm> For the first time in like four months
[04:19] <dnm> I can have cereal for breakfast.
[04:19] <rik> dmn: I have porn flakes. they're like cornflakes, but with specific shapes.
Playing around with various TeX things. I am not terribly impressed with Maple 7's default LaTeX export features, given that the output relies on some specific sylesheets (which they do give you). Running a quick PDFLaTeX on the generated LaTeX results in nothing spectacular and really quite odd looking in places. Of course, there's nothing stopping me from tweaking the output source.
Also futzing around with Metamath after seeing Raph compare and contrast it to HOL. I began playing with HOL a while back after Bram and I talked about it passingly at Stacey's Bookstore (I run into him there a lot).
Thinking deeply about small p philosophy. Please excuse the pensive, silent mood if you happen to be around me in person.
<< Home