William Byrd on Maxwell's Equations of Software, Revisited
Details
Agenda for this meeting:
6:00 Meet and greet
6:30 Lightning talks - TBD (contact us if you have anything that you want to share)
7:00 William Byrd (http://webyrd.net/) (via video conference) - Maxwell's Equations of Software, Revisited
Abstract: Alan Kay has famously described the definition of
Lisp-in-Lisp on page 13 of the Lisp 1.5 manual as "Maxwell's Equations
of Software." Examining a Lisp meta-circular interpreter as a
relation rather than as a function yields interesting new insights,
and shows the power of symbolic constraint logic programming.
Bio: Will is a research associate in Matt Might's U-Combinator lab at
the University of Utah. He is co-author of 'The Reasoned Schemer'
(MIT Press, 2005), and co-designer of the miniKanren relational
(logic) programming language. He loves StarCraft.
Boston Clojure Group Meetups are held at Akamai (http://www.akamai.com)
Please join us for a night of Clojure related discussion and group activities.
Meet & Greet starts at 6:00. Group activities will begin at 6:30.
Future meeting ideas will be discussed over the meetup board and in our Google discussion group: https://groups.google.com/forum/#!forum/boston-clojure .