|
|
| 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).
| |
| |} | | |} |
|
| |
|
|
| |
|
| [[Category:Community]] | | [[Category:Community]] |
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
|