Profile

Cover photo
74 followers|22,398 views
AboutPostsPhotosVideos

Stream

LispNYC

Shared publicly  - 
 
Join our LispNYC G+ Community!
1
Add a comment...

LispNYC

Shared publicly  - 
 
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!
Haskell Data Types in Scheme
Tue, March 12, 2013, 7:00 PM
Meetup Inc

3
2
Andrew Kirkpatrick's profile photo
 
Were the slides for this talk, or other material published somewhere?
Add a comment...

LispNYC

Shared publicly  - 
 
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/
Type Systems with Brian Hurt
Tue, February 12, 2013, 7:00 PM
Meetup Inc

1
LispNYC's profile photoGeoffrey Knauth's profile photo
4 comments
 
I look forward to the video.  Until I figure out how to be in two places at once, Vimeo can provide me cameo sans oleo.
Add a comment...

LispNYC

Shared publicly  - 
 
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/
1
Elias Mårtenson's profile photoLispNYC's profile photo
2 comments
Add a comment...

LispNYC

Shared publicly  - 
 
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
LispNYC Holiday Party
Tue, December 11, 2012, 6:59 PM
House of Brews

2
1
Geoffrey Knauth's profile photo
 
I would like to come, but I can't.  I have to run a CAP Squadron meeting.  Have a great party!
Add a comment...
Have them in circles
74 people
Sae Rom Hong's profile photo
Johan Andersson's profile photo
Hisao Kuroda's profile photo
Eric Moore's profile photo
Joe Oswald's profile photo
Gershom B's profile photo

LispNYC

Shared publicly  - 
 
LispNYC originally shared:
 
Chris provides us with some highlights of the Clojure West
conference, held on March 18-20th in Portland, OR.
Clojure West by Chris Shea
Tue, April 9, 2013, 7:00 PM
Meetup HQ, 9th Floor, 166 Crosby St, New York NY

1
Add a comment...

LispNYC

Shared publicly  - 
 
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!
Haskell Data Types in Scheme
Tue, March 12, 2013, 7:00 PM
Meetup Inc

1
Anton Vodonosov's profile photoGeoffrey Knauth's profile photo
2 comments
 
me the same
Add a comment...

LispNYC

Shared publicly  - 
 
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.
1
1
Anton Vodonosov's profile photoHeow Goodman's profile photo
3 comments
 
great, thanks
Add a comment...

LispNYC

Shared publicly  - 
 
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)
Drew Krause: Introduction to Algorithmic Composition
Tue, November 13, 2012, 7:00 PM EST
Hangouts

4
1
Bennett Todd's profile photoDieter Hovekamp's profile photoValery Alex's profile photoGeoffrey Knauth's profile photo
9 comments
 
Here is some video about subject http://vimeo.com/54910233
Add a comment...
People
Have them in circles
74 people
Sae Rom Hong's profile photo
Johan Andersson's profile photo
Hisao Kuroda's profile photo
Eric Moore's profile photo
Joe Oswald's profile photo
Gershom B's profile photo
Story
Tagline
Community devoted to advocacy of Common Lisp, Scheme and Clojure.