Site Discussion

broken - iPhone PL lockdown

The "iPhone PL lockdown" topic is listed in active forum topics, but when clicked I get "Access denied
You are not authorized to access this page."

Edit: changed title to not conflict with the actual topic.

jsMath support?


Would it be possible to add support for jsMath to the LtU install? It would be nice to be able to put some \Gamma, \tau and \vdash into posts and comments....

Two new tags

1) "Composition Systems"

-- I want to post a front-page story, and the best tag for it isn't available.

2) "Internet-Scale Programming"

-- becoming popular in ICSE, and PLT researchers also seem interested in this, perhaps if only for $$ funding.

see history of things i started (vs. commented on)?

i'm looking for an old discussion but can't find it, i think i could better find it if i could restrict results by the name of the starter of the topic. but i don't see a way to do that?

indentation yet again?

is there any thought about how to replace the currently too-much-indenting style ui with something more friendly to long discussions?

the "unread" marker issue

i figure this has come up before, but i'd like to note that it is frustrating to reply to something on a page and lose all of the *** reminders of what i haven't read on that page.

Ward's Wiki

Recently doing research into Wiki's, I've gained a renewed appreciation for the discussion that went on (and still goes on somewhat...) in Ward Cunningham's original Wiki dedicated to pattern discussions. Topics are organized by topic using Wiki words, and there is usually a vibrant discussion that goes on in the page. These discussions are sort of hard to follow since the wiki doesn't have built-in support for discussion threading. On the other hand, discussions are expected to be refactored into the body of the topic's documented by the community. Wikipedia refines this concept a bit by having a talk page behind every document (they are separate but connected).

LtU on the other hand, is more like a newsgroup: you can post a forum topic, but the body of the topic is rarely edited (if only to make corrections) after the topic is started. The discussion is not re-factored into the body of the topic, while some topics are repeatedly revived in slightly different ways and cannot be consolidated into one discussion because refactoring isn't supported. Some topics act kind of like articles, but content is necessarily added as comments since only the owner of the topic can edit the body.

So what's my point? Obviously Ward's wiki is not as popular as it used to be, while LtU is a growing community. Is this because what people actually want are forums and not wiki's? I see a lot of value in the wiki approach myself, and would like my so-called cake and eat it to (that is to say wiki topics with threaded discussions and refactoring).

Anyways just a thought.

Naive Question? Definition of "Higher Order"

The more papers I read, the more I see the term "higher order" applied to seemingly anything. We have HO (high order) programming, HO programming languages, HO functions, HO modules. Those readily come to mind, although I am confident I can find other applications of HO to other terms in computer science.

So what *is* the exact meaning of "higher order." Does it have one precise definition? Or maybe one broader, generally applicable definition? Or is the term simply misused?

Thanks much.


Quotation suggestion doesn't work

It's currently not possible to suggest a quotation, as the CGI isn't found.

Proposing a LtU twitter (news) feed ...

At least, directing the LtU-blog's RSS-feed ( to Twitter, e.g. via a service like TwitterFeed (, would be a nice extension.

Best wishes,

XML feed