- boston-lisp - mailman3.common-lisp.net

[boston-lisp] Job opportunity at Eaton Vance
by Dan Stanger 12 Aug '08

12 Aug '08

Hello All, Following is a job description for a position at Eaton Vance. The group you would be in is developing a BRL and scheme based application, which is why I am posting this position here. I am also eligible for a referral bonus if I forward your resume. Regards, Dan Stanger Position: Equity and Corporate Administration Developer Location: Eaton Vance Job Description: *Eaton Vance is a Boston-based investment management firm, with a history dating to 1924. Eaton Vance, whose stock trades on the New York Stock Exchange under the symbol EV, established its reputation by offering a conservative approach to managing money and an uncompromising commitment to integrity and quality. Eaton Vance and its affiliates manage more than $163.3 billion in assets for more than 100 investment companies, as well as individual and institutional accounts, including those of corporations, hospitals, retirement plans, universities, foundations and trusts. Eaton Vance offers a complete product line for creating and growing wealth, protecting and preserving wealth and, ultimately, for distributing wealth. * *_Basic Purpose:_* * * Supports the Eaton Vance Equity Research department and corporate administrative departments by coding web-based user interfaces to view and manipulate data. Works within the IT department’s Application Integration group to make applications integrate in a Service-Oriented Architecture (SOA). * * *_Primary Responsibilities_*_:_ 1. Maintains and enhances existing web applications, or develops new applications as needed. Duties include quality software code creation, testing, version control and release management. 2. Evaluates tools for the creation and use of web services and advocates for them at the appropriate technical steering committee(s). 3. Participates in industry conferences and relevant seminar and training classes to present best practices back to the Application Integration group. 4. Leads client demonstrations and requirement collection meetings, reviewing application prototypes and functionality enhancements. 5. Assists with configuration of web server software including installing service packs and security updates. 6. Adheres to Eaton Vance IT security policies and other relevant policies. *_Job Requirements_*: 1. Minimum 2 years experience working with a relational database, preferably Microsoft SQL Server, Sybase, Oracle or PostgreSQL. 2. Minimum 1 year experience working with J2EE, preferably Struts 3. Minimum 1 year experience working with PHP 4. A Bachelors degree in Computer Science or equivalent experience, or a familiarity with functional languages, primarily Scheme. Familiarity with Common Lisp, ML, F#, Haskell, Erlang or other functional languages is also helpful. 5. A demonstrated ability to communicate clearly and concisely, both verbally and in writing. *By joining Eaton Vance, you’ll become part of a company that has one of the best employee retention rates in the financial services industry. We offer competitive salaries, generous benefits, and tremendous opportunities for growth and development. If you do not see a position that fits your career objectives, please return to this site in the future as our hiring needs will change. We look forward to your becoming a part of our continued success! *

2 1

[boston-lisp] Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B
by Faré 14 Jul '08

14 Jul '08

Next Boston Lisp Meeting: Monday July 21st 2008, 6pm at MIT 34-401B NB1: I apologize for the late announcement and the short notice. NB2: ITA Software, a fine employer of Lisp hackers (disclosure: 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 right amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgment 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. * Jay McCarthy will give a 25' talk about Cryptographic Protocol Explication and End-Point Projection. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the communications from the perspective of an individual role. In contrast, traditional protocol descriptions as found in a state of nature tend to employ a whole-protocol description, resulting in an impedance mismatch. In this talk we present two results to address this gap between human descriptions and deployable specifications. The first is an end-point projection technique that consumes an explicit whole-protocol description and generates specifications that capture the behavior of each participant role. In practice, however, many whole-protocol descriptions contain idiomatic forms of implicit specification. We therefore present our second result, a transformation that identifies and eliminates these implicit patterns, thereby preparing protocols for end-point projection. Concretely, our tools consume protocols written in our whole-protocol language, WPPL, and generate role descriptions in the cryptographic protocol programming language, CPPL. We have formalized and established properties of the transformations using the Coq proof assistant. We have validated our transformations by applying them successfully to almost all the protocols in the SPORE repository. This talk will be based off a paper co-authored that has been accepted at ESORICS, a joint work with Shriram Krisnamurthi. Jay McCarthy http://jay.teammccarthy.org/ is completing his PhD at Brown University under Shriram Krisnamurthi, and will be a professor of Computer Science next year at Brigham Young University. * * There may or may not be a second speaker (to be announced), or some other community activity. Suggestions sought. * * * Please note that the meeting is taking place not at NEU (like previous times) but at MIT (like the times before that). The location is subject to change but the usual room will hopefully be confirmed soon. Please also note that the date is next week. My apologies once again for the short notice. The Lisp Meeting will take place on Monday July 21st 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 Many thanks go to Alexey Radul for arranging for the room, and to MIT for welcoming us. * * * * The previous Boston Lisp Meeting on June 25th was a success despite only 34 participants. Those who didn't come missed two very interesting presentations, followed by great food and intense discussion. 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

1 0

[boston-lisp] CfParticipation: ELW'08, July 7, Paphos, Cyprus
by Didier Verna 30 Jun '08

30 Jun '08

+------------------------------------------------------------+ | CALL FOR PARTICIPATION | | 5th European Lisp Workshop | | July 7, Paphos, Cyprus - co-located with ECOOP 2008 | +------------------------------------------------------------+ The 5th European Lisp Workshop will be held on July 7, in Paphos, Cyprus, as part of this year's European Conference on Object-Oriented Programming (ECOOP 2008). The workshop will feature two keynote presentations: "Lisp for the 21st Century", by Mark Tarver, and "A detailed look at the Lisp Nature of Clojure", by Rich Hickey. We have also accepted four scientific papers about description logic systems, data parallelism for quantum simulation, interactive code generation, and a rant about make-method-lambda. Get all the programme details at http://elw2008.bknr.net/programme. Registration ************ Main registration is with ECOOP via the following page: https://cyprusconferences.org/ecoop08/form_ecoop.htm There is still room for attending the workshop, so if you want to participate, please contact me by email as well (didier(a)lrde.epita.fr) -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

[boston-lisp] Scheme Choices are online
by Alexey Radul 27 Jun '08

27 Jun '08

Hello, Those of you who came to the March meeting may remember that I talked about a spare-time project of mine to catalog the choices that Scheme implementations make. Finally following up on suggestions received then, and succumbing to further prodding, I have posted a collection of preliminary results on the Web. For a good time, browse http://web.mit.edu/~axch/www/scheme/choices.html Cheers, ~Alexey P.S. And let me know what you think!

1 0

[boston-lisp] [ELW'08] Important news
by Didier Verna 23 Jun '08

23 Jun '08

Hello, here are some important news on the 5th European Lisp Workshop, July 7, Pahpos, Cyprus, co-located with ECOOP 2008: * The paper selection process is over; the final programme will be available shortly. Stay tuned for the upcoming call for participation! * We now have the abstracts for the two keynote presentations: Lisp for the 21st Century (Mark Tarver) As Lisp reaches its 50th anniversary, the talk looks at some of the reasons why Lisp has not found a wider acceptance amongst the programming community. Part of the reasons lie in a vicious cycle between education and industry within which Lisp is trapped. One solution is the L21 project - to produce a rationalized and revised update of Lisp for the C21. Qi fits many of the constraints of the L21 project. The talk concludes on what needs to be done within Qi and the Lisp world to bring Lisp to the center stage. A Detailed Look at the Lisp Nature of Clojure (Rich Hickey) The small essential core of Lisp makes dialects easy to define and implement. Most dialects are viewed skeptically by the community, as their features can be realized via the extensibility mechanisms of Scheme or Common Lisp. However, functional programming, interoperability, extensibility and concurrency objectives call for different decisions at many Lisp design points. Meeting those objectives in a Lisp dialect testifies to the continued vitality of the Lisp idea. This talk will provide a rationale for Clojure as a substantive and unique dialect of Lisp, and details of its design and implementation on the JVM. * Courtesy of EPITA, the workshop will have printed proceedings. A PDF version will also be made available on the website after the event. * Finally, please note that the official ELW website, http://elw.bknr.net, now contains an archive of all past occurrences of the workshop. -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

[boston-lisp] Reminder to RSVP for next week's meeting
by Richard M Kreuter 17 Jun '08

17 Jun '08

Hi, If you plan to attend next Wednesday's boston-lisp meeting [1], please send a message to boston-lisp-meeting-register at common-lisp.net, so we can order enough food for everybody. Thanks, RmK [1] Note that we'll meet at Northeastern University this time. See http://fare.livejournal.com/126150.html

2 1

[boston-lisp] Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU Shillman Hall Room 135
by Faré 07 Jun '08

07 Jun '08

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,-71.08915&s… 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

8 9

Re: [boston-lisp] Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU Shillman Hall Room 135
by Faré 07 Jun '08

07 Jun '08

Fair enough. I'll reword my call for registration. How about that? "Note: ITA Software, a fine employer of Lisp hackers (disclosure: I work there), is kindly sponsoring a dinner for our Monthly Boston Lisp Meeting. Dinner will be offered to all who come listen to the talks. However, so as to make our ordering process easier, we appreciate if you register by email to boston-lisp-meeting-register at common-lisp.net with a list of attendees and any food taboos. Your identities will be kept confidential and not transmitted to anyone, not even our kind sponsor." As a matter of fact, I have outsourced registration and don't know myself the identities of who registers, only the head count. In any case, thanks for the feedback. PS: please keep discussion on the boston-lisp mailing-list and not the cross-posted mailing-lists. My bad for having made it all too easy to reply to too many mailing-lists. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] Don't have good ideas if you aren't willing to be responsible for them. -- Alan Perlis 2008/6/6 Neil Van Dyke <neil(a)neilvandyke.org>: > I almost mentioned the food RSVP thing myself, so I'm glad Kent mentioned > it. > > The main issue is that registering for food was a hurdle and a commitment, > which meant that, being an engineer/process type, I deferred planning to > attend until I was confident I'd be available and could RSVP. > > I suppose a secondary issue for some people is that they're averse to "being > on lists" (no LISP pun intended). I think part of the success of getting > reclusive LISPers on the "boston-lisp-announce" email list was guaranteeing > them they wouldn't be hassled. > > In case of Boston Lisp Meeting, with the sponsor of the food being ITA, > there might have been some ambiguity as to who sees the list, as opposed to > just a headcount. Probably anyone who has talked to independent Boston-area > IT recruiters in the last couple years is well aware of their aggressive and > sometimes sly pitching of ITA, so the term "ITA" might be associated in > their minds with wanting to be *removed* from lists. :) > > > Kent M Pitman wrote at 06/06/2008 11:29 PM: > >> > 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.

2 1

[boston-lisp] [ELW'08] Breaking News: 2 keynote speakers
by Didier Verna 28 May '08

28 May '08

Dear colleagues, I'm very happy to announce that the 5th European Lisp Workshop, co-located with ECOOP in Paphos, Cyprus, on July 7th 2008 will feature two keynote presentations: - "Lisp for the 21st Century", by Mark Tarver See http://www.lambdassociates.org - "A Detailed Look at the Lisp Nature of Clojure", by Rich Hickey See http://clojure.sourceforge.net Mark Tarver's coming would not have been possible without the help of our sponsors: LispWorks Ltd, Franz Inc and the Association of Lisp Users. Please pay them a visit as well! http://www.lispworks.com/ http://www.franz.com/ http://www.alu.org/ And remember to register to ECOOP before June 1st, the early registration deadline... Hope to see you in Paphos! -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

1 0

[boston-lisp] Next Boston Lisp Meeting: Tuesday May 27th 2008, 6pm at MIT 34-401B
by Faré 20 May '08

20 May '08

This is a reminder that our Next Boston Lisp Meeting will be next week on Tuesday May 27th 2008, 6pm at MIT 34-401B. Speaking will be Ivan Krstic on Programming Languages and Security, followed by Greg Cooper on the MzScheme-based reactive programming language FrTime. Dinner will be served afterwards, as offered by our sponsor ITA Software. Thanks to MIT for hosting us and to Alexey Radul for obtaining us a room at MIT. PLEASE REGISTER FOR THE DINNER by sending email with list of participants to <boston-lisp-meeting-register(a)common-lisp.net> The original announcement is there: http://fare.livejournal.com/122977.html Please forward it to all people concerned. The official site for our Meetings is: http://boston-lisp.org/ NB: the next next meeting will take place on Wednesday June 25th at NEU Shillman Hall (Building 30) Room 135 (note the different location), and will feature as speakers Danny Yoo on DivaScheme, and Shriram Krishnamurthi on a topic to be announced. Many thanks to NEU for hosting, and to Richard Cobbe for getting us a room there. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] Those who do not understand Lisp are condemned to reinvent Unix, poorly. -- Faré, without apologies to Henry Spencer.

1 0