Lambda the Ultimate - Site Discussion

Annual Peter Landin Seminar: 6 December 2011, 6pm, Covent Garden, London. Speaker: Prof Cliff Jones

Sat, 22 Oct 2011 06:56:45 -0400

(Apologies if you receive multiple copies of this announcement)

Peter Landin Annual Semantics Seminar

6 December 2011

BCS London Offices

First Floor, The Davidson Building
5 Southampton Street
London
WC2E 7HA

http://www.bcs.org/upload/pdf/london-office-guide.pdf

Introduction
----------------

Peter Landin (1930--2009) was a pioneer whose ideas underpin modern computing.
In the the 1950s and 1960s, Landin showed that programs could be defined in
terms of mathematical functions, translated into functional expressions in
the lambda calculus, and their meaning calculated with an abstract mathematical
machine. Compiler writers and designers of modern-day programming languages
alike owe much to Landin's pioneering work.

Each year, a leading figure in computer science will pay tribute to Landin's
contribution to computing through a public seminar. This year's seminar is
entitled "To be or not to be" valid?, and will be given by Professor
Cliff Jones (University of Newcastle) -- see below for abstract

Programme
-----------------

5.15pm Coffee
6 pm Welcome and Introduction
6.05pm Peter Landin Semantics Seminar:

"To be or not to be" valid?

Professor Cliff Jones (University of Newcastle)

7.20pm Close
7.20pm - 8.30pm Drinks Reception

Registration
-----------------

If you would like to attend, please email Paul.Boca@googlemail.com by
3 December.

Seminar details
-----------------------

"To be or not to be" valid?

Professor Cliff Jones (University of Newcastle)

Abstract:
The problem of reasoning about undefined terms has been "solved" (or
avoided) in a variety of ways. (Think about division by zero - but
undefinedness comes up in many ways in program specifications.) For a
long-time, I've used a non-standard logic (LPF) but few others have
joined this movement because such good tools exist for standard,
classical, logic. At some level, I believe that alternative approaches
are "workarounds". I'll try to show why the workarounds present
problems and report on recent positive ideas for mechanising LPF in a
way whose efficiency is close to that of classical logic. To make the
talk accessible to as wide an audience as possible, I'll place the
ideas in a framework that goes back (if not to Shakespeare, at least)
a long way.

Parsing expression grammar

Thu, 29 Sep 2011 06:47:16 -0400

hello everyone

In few days Iam Keep intersting of Parsing expression grammar and I have read and study about it but ineed to full reference for it so if any one could give me name of areferences Iwill be very glad to him

Best wishes
MohamedIBrahim

Forum Topics and Story

Tue, 30 Aug 2011 03:26:31 -0400

Hi Elder Citizens of LtU,

I'm a new user to LtU. I noticed that there are two types of posts in LtU: the Forum Topics and the Story. At the moment, I can only see the link to post new forum topics, but I don't see the link to post a story.

Is it because I'm a new user? What are the criteria for a user to be qualified to post a Story?

I looked throw the FAQ and many other documents on the site. But not able to found any guideline on this issue.

RSS feed broken?

Sun, 30 Jan 2011 21:25:36 -0500

The XML link on the main navigation seems to be invalid. Here's the output from w3c's feed validator:

http://validator.w3.org/feed/check.cgi?url=http%3A%2F%2Flambda-the-ultimate.org%2Frss.xml

what platform is LtU built on?

Mon, 11 Oct 2010 16:08:59 -0400

Hi,

I've been pulling together a web site, somewhat inspired by LtU, focused on network protocol issues. I really like the way LtU is organized, and Imitation being the sincerest form of flattery and all that, I wonder if somebody can illuminate me about the platform that LtU is built on (looks like Drupal), modules in use, themes, and so forth? (I can't seem to find any kind of description document buried on the site.)

Thanks very much,

Miles Fidelman

Standard RSR5 code repository

Wed, 22 Sep 2010 00:02:47 -0400

Hi I am trying to find a code repository of strictly standard RSR5 open source applications for use with testing an interpreter I am working on. Is there are such repository out there?

Can't search for C#, F#, etc.

Sat, 31 Jul 2010 14:02:32 -0400

The search engine can't handle the # character. Maybe there is an escape character, but in that case I don't know about it.

Forum "Unread Posts" bug

Fri, 11 Jun 2010 11:46:17 -0400

This will probably not happen too often, but scottmcl's threads seem to have a habit of going over 200 replies (;-)), and thus requiring multiple pages of HTML to display. When you click on 'next page', new replies do not have the * dot.

This is a bug related to a context between pagination settings and visiting a thread. The software assumes if you view a thread, then only the most recent * are unmarked on the next view. It does not take into account pagination.

Spam filters

Fri, 07 May 2010 04:47:57 -0400

Accounts spamming many stories with posts containing exactly the same URLs, such as the recent Yeezy shoes spam, are very easy to filter. Is this really so hard to do with the current Drupal set-up?

Steve Kemp has an XML-RPC-based, centralised comment spam detection service that works very well for the Debian sites. Could that be used here?

Cf. old discussions on dealing with spam?, which has Ehud's objection to filters; and SPAM reports, which describes the Anton spam-monitoring daemon. It's been a year since the last site discussion topic dealing with spam, so the topic might be due for revisiting.

broken - iPhone PL lockdown

Tue, 13 Apr 2010 15:57:49 -0400

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?

Wed, 24 Mar 2010 07:01:25 -0400

Hi,

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

Tue, 26 Jan 2010 11:07:45 -0500

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)?

Wed, 20 Jan 2010 17:41:18 -0500

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?

Tue, 19 Jan 2010 20:22:11 -0500

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

Thu, 31 Dec 2009 14:01:39 -0500

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.