[boston-lisp] Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU Shillman Hall Room 135
http://fare.livejournal.com/126150.html
Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU Shillman Hall Room 135
Note: ITA Software, a fine employer of Lisp hackers (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.
Danny Yoo will give a 25' talk about DivaScheme.
DivaScheme http://www.cs.brown.edu/research/plt/software/divascheme/ is a semi-structured text editor layer on top of the DrScheme IDE. It provides structured editing operations that provide additional support for the navigation and maintenance of Scheme source code. DivaScheme's operations act on whole s-expressions rather than characters: unbalanced parentheses are impossible within the confines of DivaScheme. It also manages whitespace cleanup and indentation for the user. Finally, its keybindings are single keystrokes rather than chords to reduce hand strain.
Danny Yoo http://hkn.eecs.berkeley.edu/~dyoo/ received his bachelor's from UC Berkeley in 2001, and worked for the Arabidopsis Information Resource (http://arabidopsis.org) at the Carnegie Institution of Washington from 2001-2006. He is currently a CS graduate student at Worcester Polytechnic Institute. His web site is: http://hashcollision.org/.
Shriram Krishnamurthi will give a 50' talk about Relationally-Parametric Polymorphic Contracts http://www.cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly-...
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prior work on contracts is parametricity, as represented by the polymorphic types in languages like Standard ML.
We present a contract counterpart to parametricity. We explore multiple designs for such a system and present one that is simple and incurs minimal execution overhead. We show how to extend the notion of contract blame to our definition. We present a form of inference that can often save programmers from having to explicitly instantiate many parametric contracts. Finally, we present several examples that illustrate how this system mimics the feel and properties of parametric polymorphism in typed languages.
Shriram Krishnamurthi http://www.cs.brown.edu/~sk/ is an Associate Professor of Computer Science at Brown University. His recent work focuses on language support for interactive software, and on analyses for security policies. He is a co-author of the DrScheme programming environment, the FASTLINK genetic linkage analysis package, the Continue conference paper server, the Margrave access control policy analysis package, the Flapjax programming language, and the book "How to Design Programs". He has also written "Programming Languages: Application and Interpretation" and coordinates the decade-old TeachScheme! high-school computer science outreach program.
Please note that the meeting is taking places both at an unusual day (as has been usual) and at an unusual place (as is unusual).
The Lisp Meeting with take place on Wednesday June 25th at North Eeastern University, Shillman Hall Room 135.
NEU map: http://www.northeastern.edu/campusmap/
See building 30 on the above html map, but note that the numbers are only relative to the map: if you have to ask for directions, ask for Shillman Hall. For directions and parking suggestions, see also below.
Google Map: http://maps.google.com/maps/ms?ie=UTF8&hl=en&msa=0&ll=42.338086,...
Many thanks go to Richard Cobbe for finding us a room, and to Northeastern University for welcoming us.
The previous Boston Lisp Meeting on May 28th was a success despite only 34 participants. Those who didn't come missed two very interesting talks. I welcome email suggestions for things that will make you come: maybe shorter sessions with only one speaker? In any case, many thanks to all those who came.
We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html
Please forward this information to people you think 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
The previous Boston Lisp Meeting on May 28th was a success despite only 34 participants. Those who didn't come missed two very interesting talks. I welcome email suggestions for things that will make you come: maybe shorter sessions with only one speaker? In any case, many thanks to all those who came.
Could be the light rain, or maybe people are intimidated by the high concentration of elite lisp hackers with their wide-ranging knowledge (just kidding, maybe). I find it pretty inspiring and informative to listen to (and where appropriate, talk with) people whose accomplishments in my favorite programming language are much greater than anything I have done at this point.
The quality of the talks has been extremely high, which I assume is due to the Lisp community in general just being full of people doing interesting things, and that is because of the language being what it is.
One thing I was thinking about that would be really interesting would be a talk about Lisp Machines, either by someone who developed some of the software or hardware, or by someone who just knows a lot about them. Even better if it involves a live demonstration of one of the machines.
On a similar note, I'm curious about the various projects to create a kernel in Lisp and a Lisp OS on top of it. I don't know if anyone in the Movitz project lives around here, but if not that then a different Common Lisp or Scheme OS project by someone local would be interesting.
Thanks & looking forward to more great talks,
Rob
rob levy wrote:
The previous Boston Lisp Meeting on May 28th was a success despite only 34 participants. Those who didn't come missed two very interesting talks. I welcome email suggestions for things that will make you come: maybe shorter sessions with only one speaker? In any case, many thanks to all those who came.Could be the light rain, or maybe people are intimidated by the high concentration of elite lisp hackers with their wide-ranging knowledge (just kidding, maybe). I find it pretty inspiring and informative to listen to (and where appropriate, talk with) people whose accomplishments in my favorite programming language are much greater than anything I have done at this point.
Yeah, I don't know that anything should be changed. I missed the last meeting (much to my chagrin) only because I was out of town on vacation.
One thing I was thinking about that would be really interesting would be a talk about Lisp Machines, either by someone who developed some of the software or hardware, or by someone who just knows a lot about them. Even better if it involves a live demonstration of one of the machines.
There are a lot of people in the area who are qualified to speak about Lisp Machines. It's something I would like to hear about as well. I will make a few requests.
On a similar note, I'm curious about the various projects to create a kernel in Lisp and a Lisp OS on top of it. I don't know if anyone in the Movitz project lives around here, but if not that then a different Common Lisp or Scheme OS project by someone local would be interesting.
The author of the SBCL-OS project has been to some of the meetings. Maybe he'll treat us to a talk at some point :)
Thanks & looking forward to more great talks,
Me too!
I know a fair number (definitely 3, possibly 3 more) of boston lispers who were at railsconf, so I don't know that it's all that big a deal. I'll be there for the next one.
That said, having had the privilege of watching Heow Eide-Goodman work his magic (6 years of strong attendance without sponsorship and with only 6ish talks/year!), I can say with total confidence that going out drinking after the tech talks is an absolute necessity for the longevity of the group. Once one's head has been filled with the sublime, the sublime must be bludgeoned into longterm memory with a few dozen beers. Then those local lispers who are alcoholics can serve as a skeleton on which the rest of the organization can be hung.
On Fri, Jun 6, 2008 at 11:30 AM, Greg Pfeil greg@technomadic.org wrote:
rob levy wrote:
The previous Boston Lisp Meeting on May 28th was a success despite only 34 participants. Those who didn't come missed two very interesting talks. I welcome email suggestions for things that will make you come: maybe shorter sessions with only one speaker? In any case, many thanks to all those who came.
Could be the light rain, or maybe people are intimidated by the high concentration of elite lisp hackers with their wide-ranging knowledge (just kidding, maybe). I find it pretty inspiring and informative to listen to (and where appropriate, talk with) people whose accomplishments in my favorite programming language are much greater than anything I have done at this point.
Yeah, I don't know that anything should be changed. I missed the last meeting (much to my chagrin) only because I was out of town on vacation.
One thing I was thinking about that would be really interesting would be a
talk about Lisp Machines, either by someone who developed some of the software or hardware, or by someone who just knows a lot about them. Even better if it involves a live demonstration of one of the machines.
There are a lot of people in the area who are qualified to speak about Lisp Machines. It's something I would like to hear about as well. I will make a few requests.
On a similar note, I'm curious about the various projects to create a
kernel in Lisp and a Lisp OS on top of it. I don't know if anyone in the Movitz project lives around here, but if not that then a different Common Lisp or Scheme OS project by someone local would be interesting.
The author of the SBCL-OS project has been to some of the meetings. Maybe he'll treat us to a talk at some point :)
Thanks & looking forward to more great talks,
Me too!
boston-lisp mailing list boston-lisp@common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp
Man, I can't have boston's and nyc's lispers hanging off me! Although it looks like I'll be in boston for this month's lispnyc and in nyc, maybe on my way to montreal for the boston lisp meeting... *shakes off the hangers-on and gives them to marc, heow, kenny, matt, and fare*
2008/6/6 Matt Knox matthewknox@gmail.com:
I know a fair number (definitely 3, possibly 3 more) of boston lispers who were at railsconf, so I don't know that it's all that big a deal. I'll be there for the next one.
That said, having had the privilege of watching Heow Eide-Goodman work his magic (6 years of strong attendance without sponsorship and with only 6ish talks/year!), I can say with total confidence that going out drinking after the tech talks is an absolute necessity for the longevity of the group. Once one's head has been filled with the sublime, the sublime must be bludgeoned into longterm memory with a few dozen beers. Then those local lispers who are alcoholics can serve as a skeleton on which the rest of the organization can be hung.
On Fri, Jun 6, 2008 at 11:30 AM, Greg Pfeil greg@technomadic.org wrote:
rob levy wrote:
The previous Boston Lisp Meeting on May 28th was a success despite only 34 participants. Those who didn't come missed two very interesting talks. I welcome email suggestions for things that will make you come: maybe shorter sessions with only one speaker? In any case, many thanks to all those who came.
Could be the light rain, or maybe people are intimidated by the high concentration of elite lisp hackers with their wide-ranging knowledge (just kidding, maybe). I find it pretty inspiring and informative to listen to (and where appropriate, talk with) people whose accomplishments in my favorite programming language are much greater than anything I have done at this point.
Yeah, I don't know that anything should be changed. I missed the last meeting (much to my chagrin) only because I was out of town on vacation.
One thing I was thinking about that would be really interesting would be
a talk about Lisp Machines, either by someone who developed some of the software or hardware, or by someone who just knows a lot about them. Even better if it involves a live demonstration of one of the machines.
There are a lot of people in the area who are qualified to speak about Lisp Machines. It's something I would like to hear about as well. I will make a few requests.
On a similar note, I'm curious about the various projects to create a
kernel in Lisp and a Lisp OS on top of it. I don't know if anyone in the Movitz project lives around here, but if not that then a different Common Lisp or Scheme OS project by someone local would be interesting.
The author of the SBCL-OS project has been to some of the meetings. Maybe he'll treat us to a talk at some point :)
Thanks & looking forward to more great talks,
Me too!
boston-lisp mailing list boston-lisp@common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp
-- (def (eval e l d c) (if (atom? e) ((ahandler (type e)) e l d c) (eval (car e) l d (fun (x) (evapp x (cdr e) l d c))))) _______________________________________________ boston-lisp mailing list boston-lisp@common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/boston-lisp
rob levy wrote:
The previous Boston Lisp Meeting on May 28th was
a success despite only 34 participants.
Could be the light rain, or maybe people are intimidated
by the high concentration of elite lisp hackers
I'm rarely intimidated by either of these, but, FWIW, it could be the advanced registration for food. I often only know with only a certain percent confidence that I'll be able to go, so I generally don't respond saying I'll be there. Then when the event comes around I figure I haven't said I'd be there and tend to be conservative about going to things that require headcounts where I didn't say I'd be there. I have never made a decision wholly on this basis, but more than once the nature of the food headcount has weighed into my decision not to come in a kind of "inertial" way that is hard to articulate but I think is nevertheless worth mentioning.
I don't think it's bad to take a headcount, but I think it's critical to say how you want people who aren't sure to respond and to emphasize that they should still come if they haven't signed up, if that's what you want them to do, so that those with the personality to think that's "party crashing" won't feel that way. People differ culturally on this and the fact that some people may think this is obvious does not imply all people do.
Even so, though, I think it's natural for people to fall off some in attendance and to go only sometimes. I was surprised that you went for an every-month thing, figuring that was very ambitious. I only ever planned to attend sometimes, and continue to hope on a month-by-month basis that I'll find the time.
One thing I was thinking about that would be really interesting
would be a talk about Lisp Machines,
You're in the right town for that. But Lisp Machines are a big topic area. That's kind of like a talk on "the C language and things it has been used for". And the communities started off the same and then diverged into different cultures such that everyone's reality was not even the same. But even glossing that, there are issues of operating system, editing environment file system, editing tools, mail reading, patching tools, marketplace, etc.
2008/6/6 Kent M Pitman pitman@nhplace.com:
You're in the right town for that. But Lisp Machines are a big topic area. That's kind of like a talk on "the C language and things it has been used for". And the communities started off the same and then diverged into different cultures such that everyone's reality was not even the same. But even glossing that, there are issues of operating system, editing environment file system, editing tools, mail reading, patching tools, marketplace, etc.
One thing that interests me is the use of Lisp machines in high-performance computing tasks, like 3D rendering. I know it's been done, I just never heard any detail -- who did it, why they chose a LispM over conventional architecture, the gains and setbacks they faced, etc. That would be a really cool thing to hear discussion about.
--Jeff
Kent,
Kent M Pitman wrote:
One thing I was thinking about that would be really interesting
would be a talk about Lisp Machines,
You're in the right town for that. But Lisp Machines are a big topic area. That's kind of like a talk on "the C language and things it has been used for". And the communities started off the same and then diverged into different cultures such that everyone's reality was not even the same. But even glossing that, there are issues of operating system, editing environment file system, editing tools, mail reading, patching tools, marketplace, etc.
I think I could take a shot at giving an overview talk about Lisp machines: why they were thought of, how they fit into the context of the time, and a quick overview of the software and enough about the hardware to generally explain why they were "Lisp machines". I can do this without getting into "political" issues of the schisms and such. We could always have future talks focusing on more specific aspects, if people are interested.
-- Dan
2008/6/7 Daniel Weinreb dlw@alum.mit.edu:
I think I could take a shot at giving an overview talk about Lisp machines: why they were thought of, how they fit into the context of the time, and a quick overview of the software and enough about the hardware to generally explain why they were "Lisp machines". I can do this without getting into "political" issues of the schisms and such. We could always have future talks focusing on more specific aspects, if people are interested.
I'd certainly appreciate hearing your words on the topic, Dan.
--Jeff
Kent M Pitman wrote:
One thing I was thinking about that would be really interesting
would be a talk about Lisp Machines,
You're in the right town for that. But Lisp Machines are a big topic area. That's kind of like a talk on "the C language and things it has been used for". And the communities started off the same and then diverged into different cultures such that everyone's reality was not even the same. But even glossing that, there are issues of operating system, editing environment file system, editing tools, mail reading, patching tools, marketplace, etc.
I could give an overview talk. If there's interest in specific areas, we could always find people to do other, more specific talks.
-- Dan
-
Daniel Weinreb -
Faré -
Greg Pfeil -
Jeff Read -
Kent M Pitman -
Matt Knox -
Rahul Jain -
rob levy