655. Tom 7 (h-66-167-47-38.phlapafg.covad.net) –
27 Aug 2003 09:47:00
[ Rotate ]
Yeah, you guys better start at the top! |
| |
654. Marc (pool-141-157-184-75.bos.east.verizon.net) –
27 Aug 2003 07:48:40
[ Rotate ]
Yeah, you gotta draw your 6s viking style, starting from the top and looping down and to the right, otherwise u r cheating. |
| |
653. cdinwood (pool-68-162-155-209.pitt.east.verizon.net) –
27 Aug 2003 01:18:33
[ Rotate ]
maybe keith draws sixes in a different manner? |
| |
Looks good. Don't get what you're trying to say in it at all. :-) |
| |
651. Tuuur (supercow.kabel.utwente.nl) –
26 Aug 2003 17:18:51
[ Rotate ]
My foot continues to go clockwise too. It's movement loses somewhat roundness though. |
| |
650. Tom 7 (gs82.sp.cs.cmu.edu) –
26 Aug 2003 15:10:44
[ Rotate ]
Keith has excellent separation between his foot brain and his hand brain. Not me. |
| |
649. keith (adsl-66-120-246-242.dsl.lsan03.pacbell.net) –
26 Aug 2003 14:45:10
[ Rotate ]
I don't get it... My foot continues to go clockwise. |
| |
648. Tom 7 (gs82.sp.cs.cmu.edu) –
26 Aug 2003 14:41:57
[ Rotate ]
You are a robot. |
| |
647. Heather (cobamide.bio.pitt.edu) –
26 Aug 2003 12:43:13
[ Rotate ]
Am I possessed! You must tell me why this is happening! |
| |
641. Tom 7 (h-66-167-9-151.phlapafg.covad.net) –
14 Aug 2003 20:53:19
[ fly guy ]
Jeff: It's about as easy as it is in Powerpoint without texpoint.
Fortunately, my presentation didn't need much greek.
Farina: Perhaps!
Keith: Yes! |
| |
640. keith (adsl-66-120-247-248.dsl.lsan03.pacbell.net) –
14 Aug 2003 18:55:25
[ fly guy ]
Awesome game. |
| |
639. Farina00 (ppp-62-11-9-11.dialup.tiscali.it) –
14 Aug 2003 15:09:43
[ fly guy ]
This will probably soon translate into the first untitled.gif animated shorts. Hooray for learning_process-propelled flash cartoons! |
| |
638. Jeff (yale128036077065.student.yale.edu) –
13 Aug 2003 12:35:07
[ fly guy ]
How hard will it be for you to do greek letters, math symbols and inference rules in Flash? If you make a latexflash tool (like Georege Necula's texpoint) then it would be tempting for me to go and learn flash.
Jeff |
| |
I know. It's a "Ceci n'est pas une pipe" thing. |
| |
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. |
| |
|
|
| |