But really it should be "the meaning of the word carrot is a carrot itself, which for our purposes we will refer to with the symbol that looks like a carrot." This is more analogous to what one normally does in semantics:
[[z]] = 0
[[s x]] = [[x]] + 1
(where 0, 1, and + are the 0, 1 and + in your favorite [usually set-theoretic] formalization of the natural numbers).
Jeff |
| |
The meaning of a drawing of a carrot is the word 'carrot.' |
| |
Someday you need to write a textbook on something, and when you do, you need to transmit as much information as possible in pictoral form. I'm thinking along the lines of your notes on unification, but with a little text, too. Your notes on semantics are also fun, mostly because they're dripping with sarcasm (although to nitpick, the placement of the pictures and words should probably be reversed).
In an unrelated note, if you search or ayb2.swf on google your radar entry comes up at number 8.
Jeff |
| |
632. Tom 7 (h-66-167-250-129.phlapafg.covad.net) –
07 Aug 2003 22:56:19
[ UPD: mlftpd ]
Yeah, there is a new Basis spec. I guess only the people on sml-implementers and mlton users know about it, since mlton is the only compiler that actually implements it, as far as I know.
http://www.standardml.org/Basis/
It actually has significant improvements, but still some omissions. (I could have really used a Posix.ProcEnv.setgroups to go with Posix.ProcEnv.getgroups!) |
| |
631. Jeff (phd15.cs.yale.edu) –
07 Aug 2003 18:06:11
[ UPD: mlftpd ]
SML 2002 basis? I must be out of the loop (I'm assuming that you mean SML (2002 basis) not (SML 2002) basis, otherwise I'm *really* out of the loop). Do you have a link to its spec?
Jeff |
| |
630. Tom 7 (gs82.sp.cs.cmu.edu) –
06 Aug 2003 16:39:45
[ Mike ]
Sorry, they cancelled free press when terrorists attacked America. |
| |
629. mike (m-notebook.me.cmu.edu) –
06 Aug 2003 15:37:26
[ Mike ]
Thanks for the free press!
(and software) |
| |
|
|
| |
Oh, I see. Well, I was more saying that there are no strong songs (except for Jill Hives being pretty decent). But it's not really bad, either. It's the most "neutral" thing I've ever listened to. So the whole thing just passes in one ear and out there other. |
| |
You know, with the stronger songs towards the beginning and then just dying at the end. |
| |
|
|
| |
I think they are all posted by the same person, since at one point he posts as "owner," and, well, he's not the owner.
Anyway, I don't know any way to get the address of the originating computer rather than the proxy it goes through, so I'm not sure what's so lame about that... |
| |
actually - these address' only seem to be the address of the proxy you use - which is lame - may have been different people after all (tho i doubt it) |
| |
what i think is funniest is how the top 10 or so posts with people arguing against each other all came from the same person (judging by the ip address') |
| |
For my part, I like Jill Hives, Replace You With Machines, and Mix Up The Satellites. I know what you're talking about with regard to not realizing the album was over. This is probably because I accidentally sequenced it "Crooked Rain" style, and I couldn't change that because it had to have the same track order as the GBV one. |
| |
620. Tom 7 (h-66-167-91-8.phlapafg.covad.net) –
04 Aug 2003 23:41:07
[ Bye-Bye Fritz!! ]
Isn't Cheney dead? |
| |
Actually, sorry, I just remembered one other thing that I notice: My Son, My Secretary, My Country. Although the funny thing is that I always thought it was the second half of the first song. I used to always think, "gosh, the second half of this song is much better than the first half." It turns out that I accidentally had 4-second cross-fade enabled on my MP3 player (well, not so much "accidentally" as the latest version of iTunes appears to have a bug where enabling cross-fade but setting the time to 0 seconds will actually result in 4 seconds of cross-fade). Now that I listened to it this last time without cross-fade, I actually don't like the second song much anymore. It's funny, it sounded better when it sounded like the second half of the first song (which is a crummy song, so maybe it was just the contrast that was good). |
| |
I've listened to this many times now. So, it's supposed to be totally without filler... I dunno, maybe it's doesn't have filler, but it doesn't any winners, either. In fact, there's something sort of remarkable about this album (in an unremarkable way), which is that I've managed to listen to it 15 times now, yet every single time I play it, next thing I notice is that it has finished. Somehow the whole thing goes by and I don't even really notice it. I can't think of any other album that I've heard that's like that. Although I have found myself singing The Best Of Jill Hives occasionally, so I think that that one has stuck to me a little. And this last time listening, I did notice that, yes, A Trophy Mule In Particular does really suck. But other than that, it's pretty much like listening to moths sleep... |
| |
617. Marc (pool-68-160-7-93.bos.east.verizon.net) –
04 Aug 2003 16:11:19
[ Bye-Bye Fritz!! ]
Yeah, it's good, and I hear that Cheney and Bush are resigning next week, too... |
| |
616. Tom 7 (gs82.sp.cs.cmu.edu) –
04 Aug 2003 15:22:04
[ BAD SAT SCORES ]
Ask your guidance counselor. |
| |
615. Anonymous (user131.net660.nj.sprint-hsd.net) –
04 Aug 2003 13:24:52
[ BAD SAT SCORES ]
is a score of 1050 bad? |
| |
|
|
| |
I have read the board in its entierty. Wow, this is some funny shit. I am in no way affected by the robots and have no affinity for said bunnies or clowns. Though I did find the masterbating frog a bit encroaching. Nonetheless, I plan to visit Japan one day and when I do I hope to meet real live killer Japanese seizure robots. For that would be the paramount of coolness. And upon meeting them I would spout "all of your bass are belong to us". Then I would board one of the robots taking control of its weaponry and devastate the city that is Japan! |
| |
long time listener, first time caller here.
Harlan Ellison says he buys ideas in six-packs.
|
| |
611. jetfuel (cpe-24-164-245-102.new.rr.com) –
24 Jul 2003 17:55:17
[ Head is shaved. ]
My arm is usually under the pillow and so I never hear the alarm go off in the morning. Plus, my Limited Edition Sakura Taisen: Atsuki Chishio Ni came with a heart-shaped pink alarm clock, and I'm not one to leave something like that in the box and let it go to waste. |
| |