April 2008 - boston-lisp - mailman3.common-lisp.net

[boston-lisp] Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B
by Faré 03 Apr '08

03 Apr '08

http://fare.livejournal.com/121355.html Next Boston Lisp Meeting: Tuesday April 22nd 2008, 6pm at MIT 34-401B ITA Software, a fine employer of Lisp hackers (full disclaimer: they employ me), 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 I 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 accomodate 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 over 70 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 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 [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] - "If you're so smart, how come you're not rich?" - "If you're so rich, how come you're not smart?" -- narrated by Steven E. Landsburg, "The Armchair Economist"

2 1

[boston-lisp] lisp job in MA
by Sam Steingold 02 Apr '08

02 Apr '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 lisp project is 9+ months in Cambridge Ma. if interested, please contact Roger Neild Team Lead Software/Hardware Consulting Services Oxford & Associates ~ a division of On Assignment 155 West Street Suite 7 Wilmington, MA 01887 978.284.6290 FAX roger_neild(a)oxfordcorp.com www.oxfordcorp.com Oxford Europe -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFH84y1Pp1Qsf2qnMcRAlvvAJ0ZZQ/mTDJvifJeQL8oKCS+64eLnQCgnCwU bmAd/gIApLYnbQeBNBvuEW8= =MW2+ -----END PGP SIGNATURE-----

1 0

[boston-lisp] volunteers to take photos or write
by Bruce Lewis 01 Apr '08

01 Apr '08

If you can take pictures at a Boston Lisp meeting, do brief writeups, or even just add hyperlinks to a writeup that's already there, please go to this page: http://ourdoings.com/boston-lisp/ Click on the "Edit" tab and volunteer for management of the site. This site is simply an archive of our doings, and doesn't preclude another boston-lisp web site for other purposes. It's implemented in BRL, of course.

1 0

[boston-lisp] March 31 meeting
by brlewis＠ourdoings.com 01 Apr '08

01 Apr '08

MON, MAR 31: ALEXEY RADUL ON WHY I HATE SCHEME; RAHUL JAIN ON DEFDOC (Bruce Lewis) About 70 people showed up to hear Alexey Radul speak on why he hates Scheme and what he's doing about it, and to hear Rahul Jain's presentation on DefDoc, a lisp-based document description and processing system. Illustrated at http://ourdoings.com/boston-lisp/2008-03-31 This message was put together in 29 seconds from ourdoings.com. http://ourdoings.com/

1 0

[boston-lisp] Recordings of presentations
by mark 01 Apr '08

01 Apr '08

Firstly, thank you to the presenters tonight. And thanks to ITA for the food. Secondly, since i know i will be missing the next meeting on the 22nd due to a business trip and i saw some persons taping the presentations, i am curious when/if those will become public somehow? Thanks Mark Simpson

2 1

[boston-lisp] (Bruce Lewis) setting up photo news for Boston Lisp Users
by ourdoings.com 01 Apr '08

01 Apr '08

If this is a moderated list, do not approve this message; just use the link in it. If this is an unmoderated list, please ignore this message unless you sent it. This automated message is being sent by brlewis(a)ourdoings.com (Bruce Lewis) to confirm that photo email should be sent to this list from the following site: Boston Lisp Users http://ourdoings.com/boston-lisp/ Here is the confirmation link: https://ourdoings.com/boston-lisp/accept.html?v=ua9r4hen8yh6qb5j If you have questions about this site, mailto:brlewis@ourdoings.com These email updates will use little space. There will be no attachments. Technically speaking, they will be multipart/alternative MIME messages with a text/plain part and a text/html part.

1 0