p
e
r
s
o
n
a
l |
Happy Easter
(08 Apr 2007 at 23:59) |
Here's the deal: If I post 11 more times then my post about space time will be out of the rss feed and then Livejournal will stop crapping out on my radar just because Space Time uses illegal characters from the future or whatever. So I am going to try to post more often for the next 11 posts. That might mean that I have to tell you about less exciting things like the Research or the Department.
The ICFP submission deadline went flying by without me finishing my compiler in time... it turns out that despite all my confidence I simply can't write something that big that fast if I want it to not be a pile of poo. Since this is my thesis research I don't want it to be a pile of poo. I did make a lot of progress though. I don't think it will be that hard to finish my PhD this summer if I can figure out and implement 2–3 mildly tricky research things in the next month or so.
One thing that is distracting me from that is serving on the committee to appoint (officially, recommend to the Dean) the new Head for the Computer Science Department. (Our current Head, Jeannette Wing, is taking an even bigger-shot job at NSF, at least for a few years.) The process naturally has a lot of confidentiality constraints so I can't really say much about it, but I will say that it is a real husky-sized load of meetings. We're like trying to meet with all of the faculty in the department (there's 60ish?) in half-hour-that-always-turn-out-to-be-hour-long sessions, and trying to be done by the end of the month. Two weeks ago I had six meetings for this one committee in the same week. I do actually think it's an important job but jeez. Fortunately unlike most things that chew up your days this has a built in timebomb namely that we need to put someone in that chair in about a month or else the department is gonna be Sleepy Hollowed.
OK, forget lists of unrelated paragraphs; those are boring and they do not contribute to 11 radar posts. Enough! Happy Easter! |  |
|
| That could have been at LEAST 4 posts right there. |
"I simply can't write something that big that fast if I want it to not be a pile of poo."
For supporting evidence, see my recent IROS submission. |
| You're not supposed to cop to such pooness until the paper is rejected/accepted... ;) |
| I pre-reject all of my conference papers with a red "REJECTED" stamp. |
Huh, I just coincidentally bumped into this on the web...
http://www.xml.com/pub/a/2004/07/21/dive.html
"According to RFC 3023, every single one of those cached feeds being served as text/xml has a character encoding of us-ascii, not the encoding declared in the XML declaration. [...] Over 20% of the feeds I surveyed weren't even served with an XML content type, so they're automatically ill-formed. The vast majority of the rest were served as text/xml with no charset parameter. These could be well-formed, but RFC 3023 says they must be treated as us-ascii. But many contained non-ASCII characters, so they were not well-formed. They were properly encoded, but not properly served. That is, they were encoded in some non-ASCII character encoding that the publisher carefully declared in the XML declaration -- which must be ignored because of the HTTP Content-Type."
Of course that was 2004 so maybe the rules have changed since.
|
| Bizarre. Well, I added the charset to my HTTP headers, but I don't think this was the problem: for a long time I've put Unicode characters in the RSS feed without any problems (probably because of client-side detection or defaults different from RFC 3023).. it's just that character 27 seems to cause some parsers to choke. ESC is ASCII even, it's just not printable. |
|
|
|
|