Profile cover photo
Profile photo
LispNYC
77 followers -
Community devoted to advocacy of Common Lisp, Scheme and Clojure.
Community devoted to advocacy of Common Lisp, Scheme and Clojure.

77 followers
About
Posts

Post has attachment
Join our LispNYC G+ Community!
Add a comment...

Post has shared content
Add a comment...

Post has attachment
This talk demonstrates how to build your own data type library resulting in a simple/functional/extensible record system.

Similar to the way Haskell handles data types, included are: value constructors, pattern matching, sum types, recursive types and some thoughts on building type-classes ...all in Scheme!
Add a comment...

Post has attachment
This talk demonstrates how to build your own data type library resulting in a simple/functional/extensible record system.

Similar to the way Haskell handles data types, included are: value constructors, pattern matching, sum types, recursive types and some thoughts on building type-classes ...all in Scheme!
Add a comment...

Post has attachment
Functional software guru and type aficionado Brian Hurt discusses his personal philosophy of TYPE SYSTEMS with the goals of writing more software, quicker and delivered to market with fewer bugs. http://lispnyc.org/
Add a comment...

Post has attachment
http://www.meetup.com/LispNYC/events/78022072/

PlanetMath is a virtual community that aims to make mathematics more accessible. Over the years, some of the PlanetMath contributors have been doing research on how to improve PlanetMath's software–on the one hand, adding new features to the user interface, and on the other, adding artificial intelligence features in the backend.

One of the branches of the project that overlaps both of these areas is a new hypertext system, which will not only be useful for storing and editing the PlanetMath database but also for representing mathematical knowledge in a form which is suitable for intelligent manipulation by computer, such as verifying proofs and answering questions. We call this "Arxana"; the name is loosely inspired by Ted Nelson's Project Xanadu.

The main areas of current development which I will discuss are:

◦Separation of front, middle and back-end by devising a standard interface. This makes the codebase more modular and makes it easier to reuse our earlier code. I'm focusing on the "middle end" so that we don't get lost in the details!

◦Representing literate programs as hypertext, with dependencies indicated by links, so that programs can be run as networks in situ or compiled down to standard code.

◦A hypergraph search facility which allows for semantic search, as well as implementing logical inference rules.

Raymond Puzio obtained his Bachelor's degree in Physics at Columbia, where he had his first introduction to LISP in the basement of the math building, followed by a doctorate at Yale. After a few years in academia, he became involved with PlanetMath, originally as a contributor, later also becoming involved in organizational aspects of the project as well. Shortly, after joining PlanetMath, he met Joe Corneli, with whom he has since been collaborating on the projects about which he will speak.

Pizza, beer and soft drinks provided by Meetup.
Add a comment...

Post has attachment
Thanks to our video team of +Brian Gruber and +Marc Spitzer for posting Drew Krause's video presentation "Introduction to Algorithmic Composition" http://video.lispnyc.org/
Add a comment...

Post has attachment

Post has attachment
LispNYC, NYLUG, PuppetNYC, LOPSA-NYC and the NY Haskellers are joining forces to have a holiday party to remember.

All folks of all technical levels and interests are welcome. There is no fixed agenda; just having a good time with fellow geeks.

It's at 7:00 PM, Tuesday Dec 11th
Add a comment...

Post has attachment
Drew Krause presents an introduction to algorithmic composition using Lisp, including several currently available Lisp music applications.  Additionally he discusses his own music work in Lisp, which includes search, constraint programming, random processes and other techniques.

Physical location:
  166 Crosby St.
  http://goo.gl/maps/tyEjh (map)
Add a comment...
Wait while more posts are being loaded