Difference between revisions of "Hac φ/Talks"

From HaskellWiki
Jump to: navigation, search
(Talks)
Line 7: Line 7:
 
! Speaker
 
! Speaker
 
! Description
 
! 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.
 
 
<!-- copy this template to add your talk
 
<!-- copy this template to add your talk
 
|-
 
|-
Line 24: Line 12:
 
| 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 12:21, 30 June 2014

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