Lambda Lounge

This Thursday is Nov. 1st, Day of the Dead, and also time for the next Lambda Lounge meeting.

The first talk will be Alex Miller talking about Rich Hickey’s new Codeq project, which pulls Git repos into Datomic, and extends resolution down to the code level unit (a “codeq”), to allow you to query within and across code repos in terms of your actual programs.

The second talk will be Bill Burdick who talked several months ago about programming with lambda calculus. Bill is returning to talk about continuing progress on his (lazy, functional, untyped) Leisure language and environment, which he previewed last time.

This month’s pizza sponsor is Softtek Integration Systems.

We’ve got two great talks set up for the October meeting this week.

Jim Duey is going to be talking about his work parallelizing core.logic (the system David Nolen built from Byrd/Friedman’s miniKanren). If you’re interested in learning about how core.logic was built, check out this video from David’s overview at Strange Loop:

Also, Richard Feldman is going to be talking about a language called Mithril that he’s been working on, a so-called “Greatest Hits of Dynamic Programming” language.