( news )
- Bob Coyne on Words Eye
- Brandon Bloom on Term Rewriting
- Gershom Bazerman on Homotopic Type Theory
- RPL on Prolog and Core Logic
- Lisp Summer BBQ
( news )
( meeting - Tuesday, June 9, 7:00 PM - Logic Programming by Pierre de Lacaze )
123 William Street, 19th Floor
( news stream )
|LispNyc: @jeremyheiler @sclv looks great!|
|LispNyc: See tonight's presentation: Gershom Bazerman's "From Scheme to Dependent Type Theory in 100 Lines" http://t.co/rOABQAJjlE|
|LispNyc: RT @Jose_A_Alonso: The downfall of imperative programming. ~ B. Milewski @BartoszMilewski http://t.co/z2fSpUYJcx #Programming|
|LispNyc: @leolaporte heard you're getting into Lisp, here's some great resources: http://t.co/mYocQB6L0O Looking forward to your new show! #leolisp|
|Really appreciate the generous donations to LispNYC, thank you for nurturing ...|
|LispNyc: RT @racketlang: (fifth RacketCon) will be held Sep.27 in St. Louis co-located with @strangeloop_stl. Call for speakers/announcement: http:/…|
|LispNyc: RT @bodil: The first several Clojure programs I wrote always started with (def car first) (def cdr rest) Eventually I got over it, though.|
|[CFP] *DEADLINE EXTENDED* Scheme and Functional Programming Workshop 2015|
|[CFP] SECOND NOTICE: Scheme and Functional Programming Workshop 2015|
|LispNyc: RT @pete_rood: Woohoo! Got home to my @LispNYC t-shirt and @JaneStreetNYC goodies. Help support their edu efforts! Thanks @heowbert! http:/…|
LispNYC is a nonprofit unincorporated association dedicated to the advocacy and advancement of Lisp-based software and development technologies such as Common Lisp, Clojure and Scheme.
We focus on education, outreach, regular monthly meetings and development projects.
Meetings are the second Tuesday of every month, are free and open to all.
Providing parentheses to NYC since 2002