Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(→Talks) |
|||
| (18 intermediate revisions by 12 users not shown) | |||
| Line 1: | Line 1: | ||
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. |
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 ideas (not final) == |
||
| − | |||
| − | * thoughtpolice would enjoy talking a bit about [http://impredicative.com/ur Ur/Web], for those interested in static types and web development. |
||
== Talks == |
== Talks == |
||
| Line 10: | Line 6: | ||
! Talk Name |
! Talk Name |
||
! Speaker |
! Speaker |
||
| + | ! Description |
||
|- |
|- |
||
| − | | |
+ | | Towards "Big Data" in Haskell |
| + | | Edward Kmett |
||
| − | | Tony Hannan |
||
| + | | 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). |
||
|} |
|} |
||
| − | == Workshop Polls == |
||
| − | |||
| − | === Natural Language Syntax Formalisms === |
||
| + | [[Category:Community]] |
||
| − | If you're interested in a workshop on formalisms for natural language syntax, please say so here so I can know to prepare something. It'll probably end up being very high-level, without implementations for much of it. [[User:Augur|Augur]] 22:49, 18 June 2011 (UTC) |
||
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). |