[Haskell-cafe] Reminder and Forward: Wednesday 14 November 2012 NYHUG Inaugural Meetup: Ozgun Ataman on Practical Data Processing and Gershom Bazerman on Putting Cloud Haskell to Work

[Jay Sulzberger]

Below is a version of the announcement sent to the haskell-cafe
and the haskell mailing lists by Gershom Bazerman on 9 October 2012.

oo--JS.


<blockquote
   what="official New York Haskell Users Group announcement"

   rsvp="Yes, see below."

   more="http://en.wikipedia.org/wiki/Haskell_%28programming_language%29
         [page was last modified on 11 November 2012 at 00:56]
         http://www.haskell.org/haskellwiki/Haskell
         http://www.reddit.com/r/haskell
         http://www.aosabook.org/en/ghc.html

         http://en.wikipedia.org/wiki/Type_inference
         [page was last modified on 15 September 2012 at 15:37]
         http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner
         [page was last modified on 9 October 2012 at 17:40]
         http://www.users.waitrose.com/~hindley/

         http://www.cs.ru.nl/~henk/

         http://www.usingz.com/

         http://en.wikipedia.org/wiki/Curry-Howard
         [page was last modified on 14 September 2012 at 22:01]
         http://www.paultaylor.eu/stable/prot.pdf
         ftp://ftp.cs.cmu.edu/usr/rwh/www/home/courses/logic/www/handouts/curry-howard.pdf
         http://www.students.science.uu.nl/~3448584/TypeSystems.pdf

         http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2011_Goteborg.pdf

         http://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/
         http://math.andrej.com/2012/11/11/how-to-implement-dependent-type-theory-ii/
         http://math.andrej.com/2012/10/03/am-i-a-constructive-mathematician/"

   exclamation-of-old-lisper-upon-first-seeing-curry-howard-theorem: "But this
         is clearly wrong!  Look I have a function string-length which has type
         String->Int, but 'String->Int' is not a theorem of any usual intuitionistic
         propositional logic."

   insight-of-newbie-coming-to-haskell-from-lisp: "Lisp's now buried background
         would require, if a student of Lisp were to ask for an outline of this
         background, a book of perhaps a hundred pages.
         Haskell, and more generally, all the New Crazy Types programming systems,
         would require three hundred pages."

   edits="some adventitious markup and some blank space removed">

  Subject: Wednesday 14 November, NY Haskell Inaugural Meetup: Practical Data Processing _and_ Putting Cloud Haskell to Work
  Date: 	Fri, 12 Oct 2012 18:05:02 -0400
  From: 	Gershom B <gershomb at gmail.com>
  To: 	lisp at lispnyc.org

  ======================================================
  What:   New York Haskell Users Group Meeting
  When:  Wednesday, November 14, 2012
               7 PM - 9 PM
  Where: Pivotal Labs, 841 Broadway, 8th floor
                (Just south of Union Square)
                http://maps.google.com/maps?q=841+Broadway,+New+York

  RSVP:   http://www.meetup.com/NY-Haskell/
  ======================================================

  * 7 PM - Practical Data Processing With Haskell

  * 8 PM - Putting Cloud Haskell to Work for Distributed Computing

  --------------------------------------------------------------------------------------

  7 PM - Practical Data Processing With Haskell:
  Ozgun Ataman will give an introductory talk on Haskell, diving right
  in with how you can start using Haskell for practical data
  manipulation tasks today. You'll be introduced to a typical setup for
  Haskell development and given a demonstration of how a common data
  format (CSV, JSON, etc.) can be parsed, processed and finally output
  using Haskell. The talk will include a small actual Haskell program to
  be modified live and some commentary around using Haskell in practical
  applications.

  8 PM - Putting Cloud Haskell to Work for Distributed Computing:
  Gershom Bazerman will give an overview of the new distributed-process
  library that implements Cloud Haskell, providing computation across
  heterogeneous nodes through a message passing interface. He will
  discuss what this new tool provides out of the box, and what you'll
  have to bring to the table. The talk will include some code samples
  using the new library, as well as some experience about what it's like
  to use Haskell for distributed computing in the real world.

  Speaker Biographies: Ozgun Ataman is the founder of Soostone, a
  management consulting and analytics company built on Haskell. He is
  the author of many open-source Haskell libraries, and is a contributor
  to the Snap web framework. Gershom Bazerman is a developer at S&P
  Capital IQ. He is most well known in the Haskell community as the
  author of the JMacro library for programmatic generation of
  JavaScript, and for one well-received April fools joke.

  --------------------------------------------------------------------------------------

  We're kicking off the New York Haskell Users Group with two great
  talks, one for people just getting started and one for those with some
  experience already. Both should be accessible and enjoyable no matter
  how much (or little) you already know. Food and refreshments will be
  provided, courtesy of the generosity of Pivotal Labs, and after the
  talks, we're planning to keep the discussion going over food and drink
  at a nearby establishment.

</blockquote>


Distributed poC TINC:

Jay Sulzberger <secretary at lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org