[Boston Haskell] Wednesday, May 30th from 7pm - 9pm in the MIT CSAIL Reading Room

[Edward Kmett]

The next Boston Haskell meeting will be Wednesday, May 30th from 7pm to 9pm at our usual location, the MIT CSAIL Reading Room (32-G882, which is a room on the 8th floor of the Gates Tower of the MIT's Stata Center at 32 Vassar St in Cambridge, MA).

There will be two talks:

First, Paul Chiusano has volunteered to give a talk about the tradeoffs between different iteratee libraries. From an abstract he sent me:

Can your stream processing library do this?

This talk is my attempt to better understand the design space for stream processing and safe functional IO - there are a lot of different APIs - lazy io, iteratees (pure and monadic), iteratees+monadic regions, conduits, pipes, and even FRP - but what are the differences between them? Do they fully solve the problem of safe, streaming IO? I will present a series of concrete stream processing scenarios / use-cases, discuss how various approaches fare at expressing them in a compositional, resource-safe way, and talk about some general themes that emerge.

Second, I will be giving a talk about the state of my work on design and implementation of a revision control monad for Haskell for easy parallel and incremental computation, based on work by Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball, and Manuel Fahndrich of Microsoft Research. A large part of this second talk will center on an improved algorithm for online lowest common ancestor (LCA) search that I derived and which improves the known asymptotics of online LCA search from O(n) to O(log n) with no precalculation pass, and which is key to the efficiency of my implementation.

There will be refreshments (and pizza!) provided during the break by my employer, S&P CapitalIQ, and of course, if you'd like to stick around, a number of us tend to head down to the CBC afterwards to socialize.

If you would like to give a talk or if you have any questions or concerns, please feel free to email the mailing list here at boston...@googlegroups.com or contact me personally at ekm...@gmail.com.

-Edward Kmett

[Faré]

Dear Ed,

is there a URL to point to people to this talk without forwarding them
the email, e.g. in a tweet or facebook post?

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
Faré's Second Law of Dissent: I am Right, whence it follows that
all who disagree with me are either (1) evil, (2) stupid or (3) crazy.
(The alternatives are not mutually exclusive.)
This universal law is valid for all values of "me", including "you".

> --
> You received this message because you are subscribed to the Google Groups
> "BostonHaskell" group.
> To post to this group, send email to boston...@googlegroups.com.
> To unsubscribe from this group, send email to
> bostonhaskel...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bostonhaskell?hl=en.

[Edward Kmett]

The Boston Haskell mailing list is hosted by google groups, so the post can be found here

https://groups.google.com/forum/?fromgroups#!topic/bostonhaskell/3yDmOVTIc0o

and I followed up with a post to Google+, which I think should reachable from the following URL:

https://plus.google.com/113063331545548237308/posts/U7gwZbiVKi9

-Edward

[Faré]

On Tue, May 15, 2012 at 4:12 PM, Edward Kmett <ekm...@gmail.com> wrote:
> The Boston Haskell mailing list is hosted by google groups, so the post can
> be found here
>
> https://groups.google.com/forum/?fromgroups#!topic/bostonhaskell/3yDmOVTIc0o
>

Thanks. This works.

Obviously, a message can't announce its own URL;
and yet, it might including a nonce in the message and pointing to
a search link for same in designated group
(even better if there's a way to select the oldest such message).

> and I followed up with a post to Google+, which I think should reachable
> from the following URL:
>
> https://plus.google.com/113063331545548237308/posts/U7gwZbiVKi9
>

"This post could not be found.
Your URL may be incorrect, the post may have been deleted,
or this account may not have access to the post."
Maybe it's not public.

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org

Bragg's principle:
Everything in the future is a wave, everything in the past is a particle.

[Edward Kmett]

On Tue, May 15, 2012 at 4:19 PM, Faré <fah...@gmail.com> wrote:

On Tue, May 15, 2012 at 4:12 PM, Edward Kmett <ekm...@gmail.com> wrote:
> The Boston Haskell mailing list is hosted by google groups, so the post can
> be found here
>
> https://groups.google.com/forum/?fromgroups#!topic/bostonhaskell/3yDmOVTIc0o
>

Thanks. This works.

Obviously, a message can't announce its own URL;
and yet, it might including a nonce in the message and pointing to
a search link for same in designated group
(even better if there's a way to select the oldest such message).

Agreed. 

 

> and I followed up with a post to Google+, which I think should reachable
> from the following URL:
>
> https://plus.google.com/113063331545548237308/posts/U7gwZbiVKi9
>

"This post could not be found.
Your URL may be incorrect, the post may have been deleted,
or this account may not have access to the post."
Maybe it's not public.

I was afraid of that. I can't seem to mark it public retroactively, but I was able to make a post linking to my post:

https://plus.google.com/113063331545548237308/posts/By91giLDGYd

Given the fact that this is now a post about a post about a post, i think the original google groups link probably makes the most sense for now. ;)

-Edward

[Ian Stokes-Rees]

So you guys have me curious.  I've been on this list for awhile, since I spent ~6 months of my PhD formalizing a set-theoretic aspect of my research using Haskell, but that was ~7 years ago.  Are you interested in people like me (really *non*-Haskellites) talking about how they've used Haskell (and showing off working code)?  If so, I'd be happy to do it, but only if there are promises of "constructive criticism" and no tomato throwing.

I ask partially because I never published this aspect of my work and am thinking about doing so now.  Dusting it off and getting some feedback would be helpful to me.  I think the work is reasonably interesting (models for SLAs and market agreements/contract formation).

Cheers,

Ian

[Edward Kmett]

On Tue, May 15, 2012 at 9:15 PM, Ian Stokes-Rees <ijst...@spmetric.com> wrote:

So you guys have me curious.  I've been on this list for awhile, since I spent ~6 months of my PhD formalizing a set-theoretic aspect of my research using Haskell, but that was ~7 years ago. 

 

Are you interested in people like me (really *non*-Haskellites) talking about how they've used Haskell (and showing off working code)? 

Working (even non-working) code and new viewpoints are always welcome.

 

If so, I'd be happy to do it, but only if there are promises of "constructive criticism" and no tomato throwing.

I have yet to see a single tomato thrown. ;) 

I ask partially because I never published this aspect of my work and am thinking about doing so now.  Dusting it off and getting some feedback would be helpful to me.  I think the work is reasonably interesting (models for SLAs and market agreements/contract formation).\

I think it would be a really nice fit. We've reimplemented the Haskell financial contracts paper a couple of times at the office, but your work sounds a bit different.

I'll follow up with you off the list to see how we can make this work.

-Edward