gnu-misc-discuss
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

NYC LOCAL: Wednesday 14 November 2012 NYHUG Inaugural Meetup: Ozgun Atam


From: secretary
Subject: NYC LOCAL: Wednesday 14 November 2012 NYHUG Inaugural Meetup: Ozgun Ataman on Practical Data Processing and Gershom Bazerman on Putting Cloud Haskell to Work
Date: 12 Nov 2012 17:13:35 -0500

<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 <address@hidden>
 To:    address@hidden

 ======================================================
 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 <address@hidden>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org


reply via email to

[Prev in Thread] Current Thread [Next in Thread]