Home

Nov. 24th, 2009

eyes black and white

Boston Lisp Meeting: Monday 2009-12-14 Sam Tobin-Hochstadt

http://fare.livejournal.com/149685.html

A Boston Lisp Meeting will take place on Monday, December 14th 2009 at 1800 at NEU WVH 366. Sam Tobin-Hochstadt will talk about Typed Scheme.

Additionally, we will have two 5-minute Lightning Talks, each followed by 2-minute Q&A. Speakers to be announced.

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

1 Sam Tobin-Hochstadt on Typed Scheme

Typed Scheme is a system for incrementally porting untyped PLT Scheme programs to a typed language. The type system is designed to automatically accommodate typical Scheme idioms, and includes several novel features to support this. It also offers sound and automatic interoperability with untyped code. It has been used in real applications and on thousands of lines of existing Scheme code.

http://www.ccs.neu.edu/home/samth/typed-scheme/

Sam Tobin-Hochstadt is a postdoc at Northeastern University, working for Matthias Felleisen. He is investigating the integration of typed and untyped languages, with a focus on Scheme and JavaScript. As a graduate student, he developed Typed Scheme, which he continues to maintain. He is currently supported by a grant from the Mozilla Corporation.

2 Lightning Talks

At every meeting, before the main talk, there are two slots for strictly timed 5-minute "Lightning Talks" followed by 2 minutes for questions and answers.

The slots for next meeting are still open. Step up and come talk about your pet project! Contact me at fare at tunes.org.

3 Time and Location

The Lisp Meeting will take place on Monday December 14th 2009 at 1800 (6pm) at NEU WVH 366.

Note that we're back on a Monday, and that we're using a new location.

This is at Northeastern University, in the Computer Science building WVH (West Village H, see this picture) when you arrive from the T on Huntington Avenue (Green E line, stop at Northeastern Station, or possibly Museum of Fine Arts; you can also walk from Ruggles on the Orange line). As the number indicates, the room is on the third floor. Northeastern maps and direction: http://www.northeastern.edu/campusmap/maps.html Many thanks go to Eli Barzilay for arranging for the room, and to Northeastern University for welcoming us.

4 Dinner

ITA Software a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake.

We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount and kind of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors.

5 More about the Meeting

The previous Boston Lisp Meeting on Thursday October 29th 2009 had about 30 participants. Daniel Herring spoke about LibCL and Alex Plotnick about CLWEB. http://fare.livejournal.com/148335.html

We're always looking for more speakers. The call for speakers and all the other details are at: http://fare.livejournal.com/120393.html Volunteers to give Lightning Talks are also sought. http://fare.livejournal.com/143723.html

For more information, see our web site http://boston-lisp.org/ For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting

Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

Oct. 23rd, 2009

eyes black and white

Boston Lisp Meeting: Thursday 2009-10-29 Alex Plotnick, Daniel Herring

A Boston Lisp Meeting will take place on Thursday, October 29th 2009 at 1800 at MIT 34-401B. Alex Plotnick with talk about CLWEB, and Daniel Herring will give a short presentation of LibCL.

Additionally, we will have two 5-minute Lightning Talks, each followed by 2-minute Q&A. Speakers to be announced.

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

1 Alex Plotnick on CLWEB

CLWEB is a literate programming system for Common Lisp in the tradition of Knuth's WEB and CWEB systems. These systems are based on the idea that there are two audiences for every program — the machine on the one hand and human programmers on the other — and that these two audiences have very different requirements for understanding a given program. They take as input a document containing a mixture of source code, TeX, and WEB control codes, and output both a program suitable for compilation or evaluation, and also a TeX file that contains a pretty-printed version of the source code along with accompanying commentary. The former is for the machine, while the latter is ready for typesetting, printing, and reading by a human. CLWEB is of course itself a literate program, written in itself, using (mostly) portable Common Lisp as the source language.

http://www.cs.brandeis.edu/~plotnick/clweb/

Alex Plotnick is a graduate student in computer science at Brandeis University. His interests include natural and computer language semantics, computational linguistics, and philosophy of language.

2 Daniel Herring on LibCL

LibCL is a collection of Libraries for Common Lisp. CL has a wide range of libraries available, yet there are persistent rumors that CL has no libraries, or that they're hard to find and install. LibCL was created to tackle these issues by creating a distribution bundling many libraries into a single download. This presentation will focus on the dream, current progress, and issues which have arisen.

Daniel Herring works as an associate staff at MIT Lincoln Laboratory. His academic interests center around control theory and walking robotics; practical issues such as computer algebra brought him to lisp.

http://libcl.com/

3 Lightning Talks

At every meeting, before the main talk, there are two slots for strictly timed 5-minute "Lightning Talks" followed by 2 minutes for questions and answers.

The slots for next meeting are still open. Step up and come talk about your pet project! Contact me at fare at tunes.org.

4 Time and Location

The Lisp Meeting will take place on Thursday October 29th 2009 at 1800 (6pm) at MIT 34-401B.

Note that this is not the usual day of the week.

As the numbers indicate, the room is in Building 34, on the 4th floor. This is the usual location, on 50 Vassar Street, Cambridge.

MIT map: http://whereis.mit.edu/bin/map?selection=34

Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA

Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us.

5 Dinner

ITA Software a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake.

We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount and kind of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors.

6 More about the Meeting

The previous Boston Lisp Meeting on Wednesday, September 30th 2009 had about 20-odd participants. Christine Flood spoke about Project Fortress.

We're always looking for more speakers. The call for speakers and all the other details are at: http://fare.livejournal.com/120393.html Volunteers to give Lightning Talks are also sought. http://fare.livejournal.com/143723.html

For more information, see our web site http://boston-lisp.org/ For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting

Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

Sep. 25th, 2009

eyes black and white

Boston Lisp Meeting: Wednesday 2009-09-30 - Christine Flood on Fortress

http://fare.livejournal.com/147676.html

A Boston Lisp Meeting will take place on Wednesday, September 30th 2009 at 1800 at NEU WVG 108, where Christine Flood will speak about Project Fortress.

Additionally, we will have two 5-minute Lightning Talks, each followed by 2-minute Q&A. Speakers to be announced.

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

1 Christine Flood on Project Fortress

Project Fortress is a programming language designed at Sun Labs with these fundamental principles:

What you write on your white board works (Standard Mathematical Syntax). Implicit Parallelism (Let the runtime system exploit the fine grained parallelism in your algorithm). Languages should be designed from the ground up to grow over time (A small fixed core with as much of Fortress as possible in Fortress libraries).

Other features include strong static typing and transactional memory.

This talk will give you an overview of the language and walk through some examples. Feel free to check out our open source implementation and language specification at http://ProjectFortress.sun.com/.

Christine Flood is a research scientist at Sun Microsystems Labs. She has been working in the field of computer science for 20 years. Her interests are in programming language design and implementation particularly garbage collection and parallelism. She's a former Symbolics/MIT hacker.

2 Lightning Talks

At every meeting, before the main talk, there are two slots for strictly timed 5-minute "Lightning Talks" followed by 2 minutes for questions and answers.

The slots for next meeting are still open. Step up and come talk about your pet project! Contact me at fare at tunes.org.

3 Time and Location

The Lisp Meeting will take place on Wednesday September 30th 2009 at 1800 (6pm) at NEU WVG 108.

This is neither the usual day of the week, nor the usual location. This is at Northeastern University, in the West Village G residence building which is right behind the Computer Science building WVH (see this picture) when you arrive from the T on Huntington Avenue (Green E line, stop at Northeastern Station, or possibly Museum of Fine Arts; you can also walk from Ruggles on the Orange line). As the number indicates, the room is on the first floor.

Northeastern maps and direction: http://www.northeastern.edu/campusmap/maps.html

Many thanks go to Eli Barzilay for arranging for the room, and to Northeastern University for welcoming us.

4 Dinner

ITA Software a fine employer of Lisp hackers (disclaimer: I work there), is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake.

We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the correct amount and kind of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgement unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors.

5 More about the Meeting

The previous Boston Lisp Meeting on August 31th had about 20-odd participants. Emmanuel Schanzer talked about Teaching Mathematics and Problem-Solving through Programming, preceded by lightning talks by Gregory Marton on Teaching Linguistics through Programming and Alex Plotnick on Gabriel's Gimmick.

We're always looking for more speakers. The call for speakers and all the other details are at: http://fare.livejournal.com/120393.html Volunteers to give Lightning Talks are also sought. http://fare.livejournal.com/143723.html

For more information, see our web site http://boston-lisp.org/ For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting

Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.

Aug. 18th, 2009

eyes black and white

Boston Lisp Meeting: Monday 2009-08-31 - Emmanuel Schanzer

A Boston Lisp Meeting will take place on Monday, August 31st 2009 at 1800 at MIT 34-401B, where Emmanuel Schanzer will speak about Teaching Mathematics and Problem-Solving through Programming.

Additionally, we will have two 5-minute Lightning Talks, each followed by 2-minute Q&A: Gregory Marton will talk about Teaching Linguistics through Programming and Alex Plotnick will talk about Gabriel's Gimmick, an odd little idiom for (mis)using the sequence functions.

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

More about Emmanuel Schanzer and his talk... )

The Lisp Meeting will take place on Monday August 31st 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting date and location... )More about the Boston Lisp Meeting... )

Jul. 18th, 2009

eyes black and white

Boston Lisp Meeting: Monday 2009-07-27 - Bruce Lewis, Richard Kreuter

A Boston Lisp Meeting will take place on Monday, July 27th 2009 at 1800 at MIT 34-401B, where Bruce Lewis will speak about OurDoings, and Richard Kreuter will speak about defsystems and deliverables, or, unary REQUIRE for the win!

Additionally, we are still accepting proposals for up to two volunteers to each give of a 5-minute Lightning Talk (followed by 2-minute Q&A).

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

More about Bruce Lewis and his talk... )More about Richard Kreuter and his talk... )

The Lisp Meeting will take place on Monday July 27th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting date and location... )More about the Boston Lisp Meeting... )

Jun. 16th, 2009

eyes black and white

Boston Lisp Meeting: Monday 2009-06-29 - Eli Barzilay

A Boston Lisp Meeting will take place on Monday, June 29th 2009 at 1800 at MIT 34-401B, where Eli Barzilay will speak about Implementing Domain Specific Languages with PLT Scheme.

Additionally, we are still accepting proposals for up to two volunteers to each give of a 5-minute Lightning Talk (followed by 2-minute Q&A).

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

More about Eli Barzilay and his talk... )

The Lisp Meeting will take place on Monday June 29th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting date and location... ) More about the Boston Lisp Meeting... )

May. 14th, 2009

eyes black and white

Boston Lisp Meeting: TUESDAY 2009-05-26 - Norman Ramsey

A Boston Lisp Meeting will take place on Tuesday, May 26th 2009 at 1800 at MIT 34-401B, where Norman Ramsey will speak about Using Higher-Order Functions and Continuation-Passing Style to Make Dataflow Optimization Simple.

Additionally, we are still accepting proposals for up to two volunteers to each give of a 5-minute Lightning Talk (followed by 2-minute Q&A).

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

More about Norman Ramsey and his talk... )

The Lisp Meeting will take place on Tuesday May 26th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting date and location... ) More about the Boston Lisp Meeting... )

May. 4th, 2009

eyes black and white

Lightning Talks

Lightning Talks are series of short strictly timed five minute talks each followed by two minutes for questions and answers during which the next speaker gets prepared (by e.g. disconnecting the previous speaker's laptop from the projector and connecting his own instead). The formula was used at ILC'2009 in sessions of 4 to 8 talks, and was a tremendous success.

Indeed you don't need to have that much to say to give a Lightning Talk, and so the formula lowers the barrier to entry and allows for a wider diversity of ideas to be presented at such events. At the same time, the strict constraint forces the speaker to be more concise, maybe even poetic, in conveying his ideas. Several participants remarked that since Lightning Talks were both so short and precisely timed, you could rehearse them many times before you gave them, making delivery more powerful. Additionally, some argued that the short duration limits the potential for either speaker humiliation or listener boredom, once again giving incentive for people to participate on both ends of the communication, promoting the exchange of ideas.

And so, I instituted such Lightning Talks at the Boston Lisp Meeting; so far, they have been well-received, and many people have subsequently volunteered to give one -- which makes me hopeful about their positive impact on the exchange of ideas within the community.

Apr. 23rd, 2009

eyes black and white

Boston Lisp Meeting: Monday 2009-04-27 - Noah Goodman on Lambda the Ultimate Gamble

A Boston Lisp Meeting will take place on Next Monday, April 27th 2009 at 1800 at MIT 34-401B, where Noah Goodman will speak about MIT-Church, a non-deterministic Scheme.

Additionally, we are still accepting proposals for up to two volunteers to each give of a 5-minute Lightning Talk (followed by 2-minute Q&A).

Also, there will be a buffet offered by ITA Software. Registration is not necessary but appreciated. See details below.

More about Noah Goodman and his talk... )

The Lisp Meeting will take place on Monday April 27th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Mar. 25th, 2009

eyes black and white

Boston Lisp Meeting 2009-03-30 update: Lightning talks, etc.

As previously announced, there will be a Boston Lisp Meeting taking place Next Monday, March 30th 2009 at 1800 at MIT 34-401B, where Carl Eastlund will speak about Modular ACL2. http://fare.livejournal.com/140695.html

Additionally, having observed the success of the formula at ILC'2009, I'm instituting Lightning Talks at the Boston Lisp Meeting. At every meeting, before the main talk, there will be two slots for strictly timed 5-minute talks followed by 2 minutes for questions.

Our first Lightning Talks will be given by Matt Knox and François-René Rideau. http://fare.livejournal.com/140960.html

Matt Knox has been hacking on Ruby and Scheme for the last 3-4 years. Looking at Rails, and how to fundamentally improve it, he came up with GoaloC (Generate on a Lot of Crack).

I, François-René Rideau, am a story-teller who dream of myself as a software author. I will address designers of computer languages and systems about Better Stories, Better Languages.

Dinner: ITA Software, is kindly purchasing a buffet to accompany our monthly Boston Lisp meeting. Anyone who attends is welcome to partake. However, we appreciate it if you let us know in advance you're coming, and what food taboos you have. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net (you remain anonymous, no spam, no ack unless requested).

Finally, our next next meeting will happen on Monday 2009-04-27, and will feature Noah Goodman on MIT-Church, a non-deterministic Scheme. The previously announced speaker, Norman Ramsey, will hopefully be speaking in May, on purely functional dataflow optimization (in Haskell).

Mar. 4th, 2009

eyes black and white

Next Boston Lisp Meeting: 2009-03-30 1800 at MIT 34-401B - Carl Eastlund on Modular ACL2

Carl Eastlund will give a talk about Modular ACL2.

More about Carl Eastlund and his talk... )

The Lisp Meeting will take place on Monday March 30th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Feb. 11th, 2009

eyes black and white

Next Boston Lisp Meeting: Monday February 23th 2009 at 1800 at MIT 34-401B

Dimitris Vyzovitis will give a talk about Programming gerbils: Distributed programming with PLT-Scheme.

More about Dimitris Vyzovitis his talk... )

The Lisp Meeting will take place on Monday February 23th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Jan. 8th, 2009

eyes black and white

Next Boston Lisp Meeting: Monday January 26th 2009 at 1800 at MIT 34-401B

David O'Toole will give a talk about Common Lisp and Rogue-like Games.

More about David O'Toole and his talk... )

The Lisp Meeting will take place on Monday January 26th 2009 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Nov. 18th, 2008

eyes black and white

Next Boston Lisp Meeting: Monday November 24th 2008 at 1800 at MIT 34-401B

Gregory Marton will give a talk about the meanings of English words as programs.

More about Gregory Marton and his talk... )

The Lisp Meeting will take place on Monday November 24th 2008 at 1800 (6pm) at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Oct. 24th, 2008

eyes black and white

Next Boston Lisp Meeting: Monday October 27th 2008, 6pm at MIT 32-124

Buffet sponsored by ITA Software... )

Tim McNerney will give a talk about Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation.

More about Tim McNerney and his talk... )

The Lisp Meeting will take place on Monday October 27th at MIT, Room 32-124.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Sep. 6th, 2008

eyes black and white

Next Boston Lisp Meeting: Monday September 29th 2008, 6pm at MIT 34-401B

Buffet sponsored by ITA Software... )

Rich Hickey will give a 90' talk about Clojure.

More about Rich Hickey and his talk... )

The Lisp Meeting will take place on Monday September 29th at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Aug. 12th, 2008

eyes black and white

No Boston Lisp Meeting for August - Next Meeting in September

Due to the organizer (me) doing too many other things this summer and lacking the foresight to delegate, no speaker was found for August. I don't feel like rushing things so late in the game, so unless a surprise speaker is found on short notice, there won't be a Boston Lisp Meeting this August.

But lo and behold, we have speakers for September and October. On Monday September 29th 2008, 1800, Rich Hickey will give a long talk on Clojure, his new Lisp dialect for the JVM, at the usual venue MIT 34-401B. Official announcement will follow later this month.

In October (Monday 27th?), Tim McNerney will hopefully talk about his past work on verification of correctness of a compiler transformation pass through abstract interpretation.

Jul. 13th, 2008

eyes black and white

Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B

Buffet sponsored by ITA Software... )

Jay McCarthy will give a 25' talk about Cryptographic Protocol Explication and End-Point Projection.

More about Jay McCarthy and his talk... )

The Lisp Meeting will take place on Monday July 21st at MIT, Room 34-401B.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Jun. 5th, 2008

eyes black and white

Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU Shillman Hall Room 135

Buffet sponsored by ITA Software... )

Danny Yoo will give a 25' talk about DivaScheme.

More about Danny Yoo and DivaScheme... )

Shriram Krishnamurthi will give a 50' talk about Relationally-Parametric Polymorphic Contracts

More about Shriram Krishnamurthi and Relationally-Parametric Polymorphic Contracts... )

The Lisp Meeting will take place on Wednesday June 25th at Northeastern University, Shillman Hall Room 135.

More about the meeting location... ) More about the Boston Lisp Meeting... )

Apr. 28th, 2008

eyes black and white

Next Boston Lisp Meeting: Tuesday May 27th 2008, 6pm at MIT 34-401B

ITA Software, a fine employer of Lisp hackers (full disclosure: I work there), has kindly offered to sponsor a dinner for our Monthly Boston Lisp Meeting. Please send mail to boston-lisp-meeting-register at common-lisp.net with a list of attendees so we may order the correct amount of food.

Ivan Krstić will give a 25' talk about Security and Programming Languages. Ivan Krstić http://radian.org/ is notably the prized author of Bitfrost, the security architecture for the OLPC XO laptop.

Greg Cooper will give a 50' 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'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.

Please note that the meeting is taking place at an unusual date, to accommodate for the availability of our main speaker.

The Lisp Meeting with take place at MIT, room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor.

MIT map: http://whereis.mit.edu/bin/map?selection=34

Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA

PS: The previous Boston Lisp Meeting on April 22nd was a success with 40 participants, despite a few organizational glitches for which I apologize. Thanks a lot to all those who came. I hope we'll meet again and have more of those interesting conversations.

PPS: We're still looking for speakers. We have a lot of potential speakers, but not enough confirmed speakers at scheduled dates. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html

PPPS: Please forward this information to people who would be interested. Please accept my apologies for your receiving this message multiple times.

For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting

Apr. 2nd, 2008

eyes black and white

Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B

ITA Software, a fine employer of Lisp hackers (full disclosure: I work there), has kindly offered to sponsor a dinner for our Monthly Boston Lisp Meeting. Please send mail to boston-lisp-meeting-register at common-lisp.net with a list of attendees so we may order the correct amount of food. No registration, no food.

Peter Dillinger will give a 25' talk about Theorem proving with ACL2s. ACL2, "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 < http://acl2s.peterd.org/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.

Hans Hübner will give a 50' presentation of The BKNR Common Lisp web application development environment. BKNR < http://bknr.net/ > 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 Hübner 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.

Please note that the meeting is taking place at an unusual date, to accommodate for the availability of the main speaker, who is coming from Berlin (Germany) to talk to us.

The Lisp Meeting with take place at MIT, room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor.

MIT map: http://whereis.mit.edu/bin/map?selection=34

Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA

PS: The previous Boston Lisp Meeting on March 31st was a big success, with about 70 participants. Thanks a lot to all those who came. I hope we'll meet again and have more of those interesting conversations.

PPS: We're still looking for speakers. We have a lot of potential speakers, but not enough confirmed speakers at scheduled dates. The call for speakers and all the other details are at < http://fare.livejournal.com/120393.html >.

PPPS: Please forward this information to people who would be interested. Please accept my apologies for your receiving this message multiple times.

For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or check our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting

Mar. 17th, 2008

eyes black and white

Next Boston Lisp Meeting: Monday March 31st 2008, 6pm at MIT 34-401B

PLEASE REGISTER FOR FOOD! ITA Software has kindly offered to sponsor a dinner for our Monthly Boston Lisp Meeting. Please send mail directly to me fare at tunes (dot org) with list of attendees so I may order the correct amount of food. No registration, no food.

Alexey Radul will speak about What I hate most about Scheme and what I'm doing about it. Alexey Radul is a graduate student at MIT. He uses the Scheme programming language, for which he has written an extension for probabilistic programming.

Rahul Jain will present DefDoc. 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.

The Lisp Meeting with take place at MIT, room 34-401B. As the numbers indicate, this is in Building 34, on the 4th floor.

MIT map: http://whereis.mit.edu/bin/map?selection=34

Google map: http://maps.google.com/maps?q=50+Vassar+St,+Cambridge,+MA+02139,+USA

PS: The previous Boston Lisp Meeting on March 3rd was a big success, with about 40 attendants. Thanks a lot to all those who came. I hope we'll meet again and have more of those interesting conversations.

PPS: We're more than ever looking for speakers. We have a lot of potential speakers, but few confirmed speakers at scheduled dates. The call for speakers and all the other details are at < http://fare.livejournal.com/120393.html >.

For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting

Feb. 15th, 2008

eyes black and white

Monthly Boston Lisp Meeting - Call for Speakers, Participants and Sponsors

(Please forward this message to interested people. Apologies for message received multiple times. Permanent URL so far: http://fare.livejournal.com/120393.html for this call and http://fare.livejournal.com/tag/boston-lisp-meeting for the monthly meeting in general)

I will be organizing a monthly Boston Lisp Meeting.

By "Lisp", I mean any programmable programming system. However, speakers and attendants will be welcome to discuss any ideas relevant to programmers using or developing such a programmable programming system, whatever language was or wasn't previously used to express those ideas. (Note how I specifically avoided including or excluding any given system as Lisp. Anyone programming a programming system is welcome; people writing COBOL with parentheses will probably get bored.)

The meetings will usually take place on the last Monday of every month at 6pm. (Not the first Monday, which conflicts with the meetings of Grey Thumb, not the 4th Monday which is harder to figure out, not on Tuesdays, and not according to any of the other rules that were or weren't considered. Exceptions will be made to accommodate speakers or organizers.)

Read more... )
eyes black and white

December 2009

S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728293031  

Advertisement

Tags

Page Summary

Syndicate

RSS Atom
Powered by LiveJournal.com