Hac φ/Talks: Difference between revisions
< Hac φ
Derek Elkins (talk | contribs) (→Talks) |
(→Talks) |
||
| Line 24: | Line 24: | ||
| 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 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). |