Top.Mail.Ru
? ?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Jun. 28th, 2005|02:22 pm]
Jason
[Tags|, , ]

Finished Smullyan's "5000 B.C. and other Philosophical Fantasies" the other day. Little philosophical dialogues, highly enjoyable.

Hacking random flit stuff again today. I really need to figure out how to work around all this word32 constraint domain nonsense and shoehorn this code into my proof-compression thingy.

Still in love with pretty much every song in "Call the Doctor". All music needs more angry screaming women.
LinkReply

Comments:
[User Picture]From: ohhim
2005-06-28 08:12 pm (UTC)
Try bikini kill next.
(Reply) (Thread)
[User Picture]From: modularformsboy
2005-06-29 03:11 am (UTC)
word32 constraint domain! sounds sexy, tell me more!
(Reply) (Thread)
[User Picture]From: jcreed
2005-06-29 04:10 am (UTC)
It isn't anything too dramatic; twelf lets you say
%use word32
and after that you get the ability to directly talk about 32-bit literals and efficiently do some basic arithmetic (+,-,*,/) on them.
(Reply) (Parent) (Thread)