<?xml version="1.0" encoding="ISO-8859-1"?>
<rss version="2.0">
    <channel>
        <title>Boston Lisp Podcast</title>
        <link>http://boston-lisp.org/</link>
        <description>Audio of talks given at Boston Lisp Users Group</description>
        <language>en-us</language>
        <item>
            <title>Report back from OOPSLA Lisp50</title>
            <link>http://robertplevy.net/boston-lisp/2008-10-27b-Greg-Pfeil-oopsla-lisp50.mp3</link>
            <description>For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Greg Pfeil</author>
            <category>Lisp</category>
            <pubDate>Mon, 27 October 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-10-27b-Greg-Pfeil-oopsla-lisp50.mp3" length="3833939" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation</title>
            <link>http://robertplevy.net/boston-lisp/2008-10-27-Tim-McNerney-connection-machine.mp3</link>
            <description>notes: no questions were asked in the QA session, but Gerald Jay Sussman contributes comments throughout.  For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Tim McNerney</author>
            <category>Lisp</category>
            <pubDate>Mon, 27 October 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-10-27-Tim-McNerney-connection-machine.mp3" length="70831542" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>Clojure for Lisp Programmers (Part II)</title>
            <link>http://clojure.blip.tv/file/1313398</link>
            <description>notes: downloaded from http://clojure.blip.tv/file/1313398. For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Rich Hickey</author>
            <category>Lisp</category>
            <pubDate>Mon, 29 September 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/Richhickey-ClojureForLispProgrammersPart2.mov" length="39088128" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>Clojure For Lisp Programmers (Part I)</title>
            <link>http://clojure.blip.tv/file/1313503</link>
            <description>notes: downloaded from http://clojure.blip.tv/file/1313503. For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Rich Hickey</author>
            <category>Lisp</category>
            <pubDate>Mon, 29 September 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/Richhickey-ClojureForLispProgrammersPart1.mov" length="28106752" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>Cryptographic Protocol Explication and End-Point Projection</title>
            <link>http://robertplevy.net/boston-lisp/2008-07-21-Jay-McCarthy-cryptographic-protocol-explication.mp3</link>
            <description>For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Jay McCarthy</author>
            <category>Lisp</category>
            <pubDate>Mon, 21 June 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-07-21-Jay-McCarthy-cryptographic-protocol-explication.mp3" length="107852696" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>Relationally-Parametric Polymorphic Contracts</title>
            <link>http://robertplevy.net/boston-lisp/2008-06-25b-Shriram-Krishnamurthi-relationally-parametric-polymorphic-contracts.mp3</link>
            <description>For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Shriram Krishnamurthi</author>
            <category>Lisp</category>
            <pubDate>Tue, 25 June 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-06-25b-Shriram-Krishnamurthi-relationally-parametric-polymorphic-contracts.mp3" length="42992117" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>DivaScheme</title>
            <link>http://robertplevy.net/boston-lisp/2008-06-25a-Danny-Yoo-DivaScheme.mp3</link>
            <description>For description, details, and other related media, please visit boston-lisp.org</description>
            <author>Danny Yoo</author>
            <category>Lisp</category>
            <pubDate>Tue, 25 June 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-06-25a-Danny-Yoo-DivaScheme.mp3" length="16380238" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>FrTime: A Dataflow Extension of DrScheme.</title>
            <link>http://boston-lisp.org/</link>
            <description>A 1-hour talk about FrTime: A Dataflow Extension of DrScheme. Dataflow programming extends functional programming with time-varying values called signals. Signals provide a simple, declarative mechanism for expressing event-driven programs without callbacks or explicit side-effects. This talk will present FrTime, an extension of PLT Scheme with dataflow evaluation. The language&apos;s distinguishing features include an event-driven evaluation model, transparent reuse of Scheme code, support for reactive data structures, and integration with the DrScheme programming environment. The talk will include a demonstration of the language and programming environment, along with a discussion of the key design decisions and main ideas underlying the implementation strategy. Greg Cooper developed FrTime while he was a graduate student at Brown University, working with Shriram Krishnamurthi. He now works for ITA Software.</description>
            <author>Greg Cooper</author>
            <category>Lisp</category>
            <pubDate>Tue, 27 May 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-05-27-Greg-Cooper-FrTime.mp3" length="56832512" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>The BKNR Common Lisp web application development environment.</title>
            <link>http://boston-lisp.org/</link>
            <description>BKNR is a one-stop repository of open source Common Lisp modules used to develop and deploy web applications, featuring a pure Lisp transaction based persistence layer. Hans Hubner has been a hacker for over 20 years, and has discovered Common Lisp as his favourite programming language in 2001. He is a freelance consultant whose research interests include persistence systems and hardware to support dynamic programming</description>
            <author>Hans Hubner</author>
            <category>Lisp</category>
            <pubDate>Tue, 22 Apr 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-04-22b-Hans-Hubner-BKNR.mp3" length="41634585" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>Theorem proving with ACL2s</title>
            <link>http://boston-lisp.org/</link>
            <description>A Computational Logic for Applicative Common Lisp was recognized with the 2005 ACM Software System Award for its power and usefulness in verifying safety-critical applications. New users, however, found it difficult to use for a variety of reasons. ACL2s is an Eclipse-based development environment we have made to make ACL2 easier to learn and use. Peter C. Dillinger is a Ph.D. Student at Northeastern University, Panagiotis Manolios, advisor.</description>
            <author>Peter Dillinger</author>
            <category>Lisp</category>
            <pubDate>Tue, 22 Apr 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-04-22a-Peter-Dillinger-ACL2s.mp3" length="35175443" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>DefDoc</title>
            <link>http://boston-lisp.org/</link>
            <description>DefDoc is a lisp-based document description and processing system. Both macros and object-orientation are available so that the description of a document can be focused as much as possible on content and structure. Rahul Jain is a New York based consultant who programs in Common Lisp for fun and profit.</description>
            <author>Rahul Jain</author>
            <category>Lisp</category>
            <pubDate>Mon, 31 Mar 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-03-31b-Rahul-Jain-DefDoc.mp3" length="24079463" type="audio/mpeg"></enclosure>
        </item>
        <item>
            <title>What I Hate Most About Scheme. What I&apos;m Doing About It.</title>
            <link>http://boston-lisp.org/</link>
            <description>Alexey Radul is a graduate student at MIT. He uses the Scheme programming language, for which he has written an extension for probabilistic programming.</description>
            <author>Alexey Radul</author>
            <category>Lisp</category>
            <pubDate>Mon, 31 Mar 2008 18:00:00 EDT</pubDate>
            <enclosure url="http://www.robertplevy.net/boston-lisp/2008-03-31a-Alexey-Radul-test-scheme-differences.mp3" length="25940635" type="audio/mpeg"></enclosure>
        </item>
    </channel>
</rss>