Personal tools

Hac φ/Talks

From HaskellWiki

< Hac φ(Difference between revisions)
Jump to: navigation, search
(Talks)
(12 intermediate revisions by 7 users not shown)
Line 6: Line 6:
 
! Talk Name
 
! Talk Name
 
! Speaker
 
! Speaker
  +
! Description
 
|-
 
|-
! Cyclotomic Numbers: Exact calculation with complex numbers
+
| Towards "Big Data" in Haskell
! Scott Walck
+
| 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
  +
|-
  +
| A Stunning Talk on an Unfathomable Topic
  +
| 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]]

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