Personal tools

Hac φ/Talks

From HaskellWiki

< Hac φ(Difference between revisions)
Jump to: navigation, search
(Add Snap talk)
(Talks)
(17 intermediate revisions by 11 users not shown)
Line 1: Line 1:
 
If you'd like to give a talk, announce it here; tell us your name, the title of the talk, a short description. Please also let us know if you won't be attending Saturday afternoon and want to present at some other time.
 
If you'd like to give a talk, announce it here; tell us your name, the title of the talk, a short description. Please also let us know if you won't be attending Saturday afternoon and want to present at some other time.
 
== Talk ideas (not final) ==
 
 
* thoughtpolice would enjoy talking a bit about [http://impredicative.com/ur Ur/Web], for those interested in static types and web development.
 
   
 
== Talks ==
 
== Talks ==
Line 10: Line 6:
 
! Talk Name
 
! Talk Name
 
! Speaker
 
! Speaker
  +
! Description
 
|-
 
|-
| MongoDB driver for Haskell
+
| Towards "Big Data" in Haskell
| Tony Hannan
+
| Edward Kmett
  +
| What is the purpose of the mysterious github.com/analytics account? Why am I doing this? How will it work? What does it mean? When did I start talking to myself?
 
|-
 
|-
| Building Web Apps with Snap
+
| Layering Domain Specific Languages and Such
| Doug Beardsley
+
| Gershom Bazerman
  +
| A runthough of the talk (http://lambdajam.com/sessions#bazerman) I'm preparing for lambdajam. It will attempt to have something useful to say about adjunctions. I expect fellow attendees will help me reduce the amount that it is incorrect.
  +
|-
  +
| Signal Processing in (on?) Haskell
  +
| Derek Elkins
  +
| Probably an introduction to some signal processing concepts and examples in Haskell, unless I find a clever way to apply signal processing to combinatorial species, in which case this will be a very different talk.
  +
<!-- copy this template to add your talk
  +
|-
  +
| A Stunning Talk on an Unfathomable Topic
  +
| Joe the Mighty
  +
-->
  +
|-
  +
| Program Synthesis with SMT
  +
| Tikhon Jelvis
  +
| I'll describe what synthesis is and how to hack together a simple synthesizer in Haskell using the sbv library to interact with an SMT solver (probably Microsoft's Z3).
 
|}
 
|}
   
== Workshop Polls ==
 
 
=== Natural Language Syntax Formalisms ===
 
   
If you're interested in a workshop on formalisms for natural language syntax, please say so here so I can know to prepare something. It'll probably end up being very high-level, without implementations for much of it. [[User:Augur|Augur]] 22:49, 18 June 2011 (UTC)
+
[[Category:Community]]

Revision as of 06:31, 24 May 2013

If you'd like to give a talk, announce it here; tell us your name, the title of the talk, a short description. Please also let us know if you won't be attending Saturday afternoon and want to present at some other time.

Talks

Talk Name Speaker Description
Towards "Big Data" in Haskell Edward Kmett What is the purpose of the mysterious github.com/analytics account? Why am I doing this? How will it work? What does it mean? When did I start talking to myself?
Layering Domain Specific Languages and Such Gershom Bazerman A runthough of the talk (http://lambdajam.com/sessions#bazerman) I'm preparing for lambdajam. It will attempt to have something useful to say about adjunctions. I expect fellow attendees will help me reduce the amount that it is incorrect.
Signal Processing in (on?) Haskell Derek Elkins Probably an introduction to some signal processing concepts and examples in Haskell, unless I find a clever way to apply signal processing to combinatorial species, in which case this will be a very different talk.
Program Synthesis with SMT Tikhon Jelvis I'll describe what synthesis is and how to hack together a simple synthesizer in Haskell using the sbv library to interact with an SMT solver (probably Microsoft's Z3).