Personal tools

Hac φ/Talks

From HaskellWiki

< Hac φ(Difference between revisions)
Jump to: navigation, search
(13 intermediate revisions by 8 users not shown)

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.


Talk Name Speaker Description
Towards "Big Data" in Haskell Edward Kmett What is the purpose of the mysterious 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 ( 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).