Personal tools

Hac φ/Talks

From HaskellWiki

< Hac φ(Difference between revisions)
Jump to: navigation, search
(Talks)
(Talks)
(4 intermediate revisions by 3 users not shown)
Line 8: Line 8:
 
! Description
 
! Description
 
|-
 
|-
| Analytics
+
| Towards "Big Data" in Haskell
 
| Edward Kmett
 
| Edward Kmett
| What is the purpose of the mysterious github.com/analytics account? Why are you doing this? How will it work? What does it mean? When did you start talking about yourself in the third person?
+
| 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.
 
<!-- copy this template to add your talk
 
<!-- copy this template to add your talk
 
|-
 
|-
Line 16: Line 16:
 
| Joe the Mighty
 
| 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).
 
|}
 
|}
   

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).