Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(→Talks) |
(Clearing for 2016) |
||
(5 intermediate revisions by 3 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.--> |
+ | If you'd like to give a talk, we'll be asking around for abstracts close to the date of the event. |
||
⚫ | |||
+ | |||
⚫ | |||
{| class="wikitable" |
{| class="wikitable" |
||
! Talk Name |
! Talk Name |
||
! Speaker |
! Speaker |
||
− | ! Description |
+ | ! Description--> |
⚫ | |||
⚫ | |||
− | | 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 |
||
|- |
|- |
||
| A Stunning Talk on an Unfathomable Topic |
| A Stunning Talk on an Unfathomable Topic |
||
| Joe the Mighty |
| Joe the Mighty |
||
− | --> |
+ | --><!-- |
|- |
|- |
||
⚫ | |||
− | | Program Synthesis with SMT |
||
+ | | Andrew Thaddeus Martin |
||
− | | 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). |
||
+ | | Visible type application in GHC 8.0 |
||
− | |} |
||
+ | | Richard Eisenberg |
||
+ | |||
+ | |}--> |
||
Latest revision as of 21:42, 9 August 2016
If you'd like to give a talk, we'll be asking around for abstracts close to the date of the event.