Mailing List Archive


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlug] ICFP at Next TLUG Meeting



Curt Sampson writes:

 > Can I get some thoughts on there from others who've had a look through
 > the stuff on http://www.cs.nott.ac.uk/~gmh/icfp09.html on whether any
 > of that looks interesting and warrants further explanation?

The talks by Peirce (on "Lambda the Ultimate TA"; proof assistants
useful for anything less than shuttle control software?) and Piponi
(anything out of Industrial Light and Magic has got to be interesting,
didn't Tom Duff work there at one time? :-) caught my eye in a
positive (for TLUG) way.  The rest of the stuff seems like it would
take a full technical meeting just to get most pros, let alone
hobbyists, to the point where the titles are intelligible (except for
the experience reports, but I suspect those are "I guess you had to be
there" to understand them stories).



Home | Main Index | Thread Index

Home Page Mailing List Linux and Japan TLUG Members Links