boston-lisp July 2013

boston-lisp@common-lisp.net

7 participants
3 discussions

Start a nNew thread

Get-together this week?
by Zach Beane 30 Jul '13

30 Jul '13

I'm in town this week, is there any interest in getting together for an informal dinner on, say, Wednesday night? Zach

4 4

10 audio-only recordings of talks given at Boston Lisp in 2008
by Robert Levy 22 Jul '13

22 Jul '13

Does anyone have any suggestions for where to host these files? One idea would be to turn them into videos and put them on Vimeo or Youtube. What do you think? I'm temporarily sharing them publicly on my Google Drive. At one point I hosted them from a sever out of my apartment, but then I moved and the files went offline for a while (my bad, irresponsible. The broken hyperlinks can be found at http://common-lisp.net/project/boston-lisp/). https://docs.google.com/file/d/0BwfTY3yg-RLQbk1tdnZJWjExVzg/edit?usp=sharing boston-lisp-1/2008-04-22b-Hans-Hubner-BKNR.mp3 boston-lisp-1/2008-04-22a-Peter-Dillinger-ACL2s.mp3 boston-lisp-1/2008-03-31b-Rahul-Jain-DefDoc.mp3 boston-lisp-1/2008-03-31a-Alexey-Radul-test-scheme-differences.mp3 boston-lisp-1/2008-05-27-Greg-Cooper-FrTime.mp3 https://docs.google.com/file/d/0BwfTY3yg-RLQWjhtTS13RTBqM2M/edit?usp=sharing boston-lisp-2/2008-07-21-Jay-McCarthy-cryptographic-protocol-explication.mp3 boston-lisp-2/2008-06-25b-Shriram-Krishnamurthi-relationally-parametric-polymorphic-contracts.mp3 boston-lisp-2/2008-06-25a-Danny-Yoo-DivaScheme.mp3 boston-lisp-2/2008-10-27-Tim-McNerney-connection-machine.mp3 boston-lisp-2/2008-10-27b-Greg-Pfeil-oopsla-lisp50.mp3

3 2

(Reminder) Boston Lisp Meeting 2013-06-12T18:00
by Alex Plotnick 10 Jul '13

10 Jul '13

Just a reminder: Jonathan Smith will be presenting his work on '$-Calculisp' tonight (12 June) at 6:00 PM in the usual place (MIT 32-D463). Note the time change from the last few meetings. Jonathan's abstract follows. See you there! -- Alex $-Calculus (pronounced cost calculus), is a descriptive fourth generation language designed for modeling parallel algorithms, artificial intelligence applications, and bounded super-Turing computation. $-Calculisp is a domain specific language modeled on $-Calculus and implemented in Common Lisp. $-Calculisp is implemented using a variety of techniques based on Common Lisp's unique macro and object system facilities. Rather than being an interpreter, it is a macro compiler, expanding $-Calculisp code into efficiently compiled Common Lisp code. It is intended to be a robust extension to the Common Lisp language, as such, it allows for integration of regular common lisp functions alongside $-Calculisp code.

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

boston-lisp July 2013