Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
fp-syd
Home
About this group
Apply for group membership
Next meeting September 19th (thats this week)
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   4 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Erik de Castro Lopo  
View profile  
 More options Sep 18 2012, 4:23 pm
From: Erik de Castro Lopo <mle...@mega-nerd.com>
Date: Wed, 19 Sep 2012 06:23:47 +1000
Local: Tues, Sep 18 2012 4:23 pm
Subject: Next meeting September 19th (thats this week)
Print | Individual message | Show original | Report this message | Find messages by this author
Hi all,

Our next meeting, will be held on Thursday, September 19th, starting at
6:30pm.

As per the schedule:

    http://fp-syd.ouroborus.net/

Our presenters this month will be:

 * Raphael Speyer : "JoCaml Illustrated"

 * Andrew Cowie : "The SNAP web framework"

 * Thomas Sewell : "Calculating over loops using a tool that can't."

      I've been trying to prove some properties about programs. Programs
      have loops. I've been using an SMT-solver, a rather powerful tool
      which, unfortunately, knows nothing about loops. Some ideas about how
      to address this.

The meeting will be held at the Google offices at 48 Pirrama Road,
Pyrmont, in a building called Workplace6 (or WP6).

(map:
http://maps.google.com.au/maps?f=q&source=s_q&hl=en&q=48+Pirrama+Rd,+...
)

The RSVP form is here:

    https://spreadsheets.google.com/formResponse?formkey=cjlDYkJOSkF0RXNo.....

which helps us gauge attendance for catering purposes.

Cheers,
Erik

--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Discussion subject changed to "Next meeting September 20th (thats this week)" by Erik de Castro Lopo
Erik de Castro Lopo  
View profile  
 More options Sep 18 2012, 7:04 pm
From: Erik de Castro Lopo <mle...@mega-nerd.com>
Date: Wed, 19 Sep 2012 09:04:29 +1000
Local: Tues, Sep 18 2012 7:04 pm
Subject: Re: [fp-syd] Next meeting September 20th (thats this week)
Print | Individual message | Show original | Report this message | Find messages by this author
Erik de Castro Lopo wrote:

> Hi all,

> Our next meeting, will be held on Thursday, September 19th, starting at
> 6:30pm.

Of course that should be Sept 20th.

Erik
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Discussion subject changed to "Next meeting September 19th (thats this week)" by Andrew Cowie
Andrew Cowie  
View profile  
 More options Sep 19 2012, 3:29 am
From: Andrew Cowie <and...@operationaldynamics.com>
Date: Wed, 19 Sep 2012 17:20:54 +1000
Local: Wed, Sep 19 2012 3:20 am
Subject: Re: [fp-syd] Next meeting September 19th (thats this week)
Print | Individual message | Show original | Report this message | Find messages by this author
On Wed, 2012-09-19 at 06:23 +1000, Erik de Castro Lopo wrote:

>  * Raphael Speyer : "JoCaml Illustrated"

>  * Andrew Cowie : "The SNAP web framework"

So I will indeed be talking about Snap. I actually concocted a grandiose
title

        "The web problem, and solving it in Haskell"

which is motivated by the the conversation we had last month. So, in
abstract:

        Is functional programming a good place to do web applications?
        Hard to say. The trick is to know why the web problem is a mess,
        how different frameworks approach solving it, and realize the
        trade-offs you make when choosing one. We'll look at Snap, its
        templating engine, Heist, and the functional layer on top,
        called Snaplets.

Not sure how far I'll get into Snaplets given the time we have, but I
can at least discuss the motivations behind them, as best I understand
it at this point.

AfC
Sydney


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Discussion subject changed to "Next meeting September 20th (thats this week)" by Erik de Castro Lopo
Erik de Castro Lopo  
View profile  
 More options Sep 19 2012, 6:35 pm
From: Erik de Castro Lopo <mle...@mega-nerd.com>
Date: Thu, 20 Sep 2012 08:35:33 +1000
Local: Wed, Sep 19 2012 6:35 pm
Subject: Re: [fp-syd] Next meeting September 20th (thats this week)
Print | Individual message | Show original | Report this message | Find messages by this author
Erik de Castro Lopo wrote:

> Our next meeting, will be held on Thursday, September 20th, starting at
> 6:30pm.

Just a reminder that this is one *tonight* and the people intending to attend
should fill in the RSVP here:

    https://spreadsheets.google.com/formResponse?formkey=cjlDYkJOSkF0RXNo.....

Cheers,
Erik
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2013 Google