Difference between revisions of "BayHac2017"
Jump to navigation
Jump to search
(→Sunday: sandy slides) |
|||
| (23 intermediate revisions by 6 users not shown) | |||
| Line 54: | Line 54: | ||
* 06:00pm BayHac opens for the day; pizza & beer |
* 06:00pm BayHac opens for the day; pizza & beer |
||
* 07:00pm [Upper room] Greg Horn: Haskell for Flight Control at Kittyhawk (50m) |
* 07:00pm [Upper room] Greg Horn: Haskell for Flight Control at Kittyhawk (50m) |
||
| − | * 08:00pm [Upper room] Tikhon Jelvis: Haskell for Supply Chain Optimization at Target ( |
+ | * 08:00pm [Upper room] Tikhon Jelvis: '''[https://github.com/TikhonJelvis/talks/blob/master/haskell-at-target/slides.org Haskell for Supply Chain Optimization at Target]''' ([https://youtu.be/0EgHNq6Pej8 video 41m]) |
* 09:00pm BayHac closes for the day |
* 09:00pm BayHac closes for the day |
||
| Line 60: | Line 60: | ||
* 09:30am BayHac opens for the day; pastries, fruit, and coffee |
* 09:30am BayHac opens for the day; pastries, fruit, and coffee |
||
| − | * 10:00am [Upper room] Julie Moronuki: Introduction to Monoids ( |
+ | * 10:00am [Upper room] Julie Moronuki: '''[https://github.com/GinBaby/talks/blob/master/semigroups.md Introduction to Monoids]''' ([https://youtu.be/-mnA8_DWfik video 54m]) |
| − | * 10:00am [Lower room] John Leo: Dependent Types in GHC ( |
+ | * 10:00am [Lower room] John Leo: [https://github.com/halfaya/BayHac '''Dependent Types in GHC'''] ([https://youtu.be/buVyfrU6QF4 video 55m]) |
| − | * 11:00am [Upper room] Gabriel Gonzalez: How to create a new Haskell project ( |
+ | * 11:00am [Upper room] Gabriel Gonzalez: '''[https://github.com/Gabriel439/slides/tree/master/bayhac2017 How to create a new Haskell project]''' ([https://youtu.be/ZJvHOpMnvpE video 30m]) |
* 11:30am [Upper room] (tentative) Lightning talks |
* 11:30am [Upper room] (tentative) Lightning talks |
||
* 12:00pm Lunch: assorted sandwiches |
* 12:00pm Lunch: assorted sandwiches |
||
| − | * 01:00pm [Upper room] John Wiegley: Putting lenses to work ( |
+ | * 01:00pm [Upper room] John Wiegley: '''[https://github.com/jwiegley/putting-lenses-to-work/blob/master/putting-lenses-to-work.pdf Putting lenses to work]''' ([https://youtu.be/QZy4Yml3LTY video 47m]) |
* 02:00pm [Upper room] Michael Litchard: Next Step Haskell (80m) |
* 02:00pm [Upper room] Michael Litchard: Next Step Haskell (80m) |
||
| − | * 02:00pm [Lower room] Dimitri DeFigueiredo: Functional Reactive Bitcoin Trading ( |
+ | * 02:00pm [Lower room] Dimitri DeFigueiredo: [https://github.com/dimitri-xyz/frtrader/blob/master/doc/Functional%20Reactive%20Bitcoin%20Trading.pptx '''Functional Reactive Bitcoin Trading'''] ([https://youtu.be/ZF_eZkXwaLk video 71m]) |
| − | * 03:30pm [Upper room] Chris Smith: [https://docs.google.com/presentation/d/1Zc2A7nkpuxnCRlILPeKRJCWIqv-gtsMJIizDQ9a3vPo/view '''CodeWorld - Teaching Haskell to Children'''] ( |
+ | * 03:30pm [Upper room] Chris Smith: [https://docs.google.com/presentation/d/1Zc2A7nkpuxnCRlILPeKRJCWIqv-gtsMJIizDQ9a3vPo/view '''CodeWorld - Teaching Haskell to Children'''] ([https://youtu.be/7CGuI9HcfqQ video 64m]) |
| − | * 03:30pm [Lower room] Judah Jacobson: Haskell Bindings for TensorFlow ( |
+ | * 03:30pm [Lower room] Judah Jacobson and Frederick Mayle: [https://docs.google.com/presentation/d/1tLCWCx-5vNmAmBf1AiYg-VJoTR3W-6rcmRHhQnPTq-g/edit?usp=sharing '''Haskell Bindings for TensorFlow'''] ([https://youtu.be/3jLsN8gHx68 video 53m]) |
* 05:00pm BayHac closes for the day |
* 05:00pm BayHac closes for the day |
||
| Line 75: | Line 75: | ||
* 09:30am BayHac opens for the day; pastries, fruit, and coffee. |
* 09:30am BayHac opens for the day; pastries, fruit, and coffee. |
||
| − | * 10:00am [Upper room] James Bowen: Type Level APIs with Servant ( |
+ | * 10:00am [Upper room] James Bowen: '''[https://mmhaskell.com/bayhac Type Level APIs with Servant]''' ([https://youtu.be/19HTfXFmwvA video 35m]) |
| − | * 10:00am [Lower room] Adelbert Chang: All About Applicative ( |
+ | * 10:00am [Lower room] Adelbert Chang: [https://github.com/adelbertc/bayhac17 '''All About Applicative'''] ([https://youtu.be/Mn7BtPALFys video 49m]) |
| − | * 11:00am [Upper room] Doug Beardsley: Real World UIs with Reflex ( |
+ | * 11:00am [Upper room] Doug Beardsley: '''[http://mightybyte.net/real-world-reflex/index.html Real World UIs with Reflex]''' ([https://youtu.be/dNBUDAU9sv4 video 59m]) |
* 12:00am Lunch: assorted sandwiches |
* 12:00am Lunch: assorted sandwiches |
||
| − | * 01:00pm [Upper room] Luite Stegeman: |
+ | * 01:00pm [Upper room] Luite Stegeman: Making sense of all the JS (GHCJS) ([https://youtu.be/B6JgoPiULTc video 61m]) |
| − | * 02:00pm [Upper room] Greg Hale: Full-stack typesafe Haskell ( |
+ | * 02:00pm [Upper room] Greg Hale: '''[https://greghale.io/talks/bayhack2017 Full-stack typesafe Haskell]''' ([https://youtu.be/nEpYHmOteYM video 45m]) |
| − | * 02:00pm [Lower room] Sandy Maguire: Don't Eff It Up: Free Monads in Action ( |
+ | * 02:00pm [Lower room] Sandy Maguire: '''[http://reasonablypolymorphic.com/dont-eff-it-up Don't Eff It Up: Free Monads in Action]''' ([https://youtu.be/gUPuWHAt6SA video 46m]) |
| − | * 03:00pm [Upper room] Rúnar Bjarnason: Adjunctions in Everyday Life ( |
+ | * 03:00pm [Upper room] Rúnar Bjarnason: [https://www.dropbox.com/s/lasx6zxkoe07jyq/AdjunctionsHaskell.pdf?dl=0 '''Adjunctions in Everyday Life'''] ([https://youtu.be/f-kdpR0BPqo video 55m]) |
* 04:00pm BayHac closes for the day |
* 04:00pm BayHac closes for the day |
||
== Sponsors and donations == |
== Sponsors and donations == |
||
| − | BayHac is free to attend. We rely on the generous donations of individuals and sponsoring companies to supply the location, equipment, and food |
+ | BayHac is free to attend. We rely on the generous donations of individuals and sponsoring companies to supply the location, equipment, and food. |
| + | |||
| + | This year's sponsors: |
||
| + | |||
| + | * Takt |
||
| + | * KittyHawk |
||
| + | * FrontRow |
||
| + | * Target |
||
| + | * Awake Networks |
||
| + | |||
| + | To donate, please contact Dan Burton (danburton.email AT gmail DOT com). |
||
== Is this a scam to steal my intellectual property? == |
== Is this a scam to steal my intellectual property? == |
||
Latest revision as of 22:29, 26 April 2017
San Francisco Bay Area & Silicon Valley Haskell Hackathon
Come join a group of Haskell hackers to enjoy a weekend of learning, sharing, and hacking on a variety of projects. Bring your laptop! All skill levels are welcome.
| When: | Friday, April 7th – Sunday, April 9th, 2017 |
| Where: | Takt office: 35 Stillman St, San Francisco |
| Cost: | Free |
| Registration: | BayHac 2017 registration form |
| News and Discussion: | BayHac Google Group |
BayHac 2017 is organized by Dan Burton with the assistance of Haskellers like you! Dinner Friday, as well as breakfast and lunch on both Saturday and Sunday, are provided free of charge, thanks to our generous sponsors. Vegetarian options are available for all meals.
Projects
- /Cabal dependency solver: The dependency solver for the cabal build tool
- /Clash: Functional hardware description language
- /CodeWorld: Educational computer programming environment using Haskell
- /dynobud: Your dynamic optimization buddy
- /Juno: Byzantine Fault Tolerant Raft With Smart Contracts
- /Karya: Music sequencer
- /snowdrift.coop: Crowdmatching for public goods
- /tensorflow: Haskell bindings for TensorFlow (machine intelligence lib)
- /Unison: Distributed purely functional programming platform
- /MongoDB: MongoDB driver for Haskell
Schedule
Friday
- 06:00pm BayHac opens for the day; pizza & beer
- 07:00pm [Upper room] Greg Horn: Haskell for Flight Control at Kittyhawk (50m)
- 08:00pm [Upper room] Tikhon Jelvis: Haskell for Supply Chain Optimization at Target (video 41m)
- 09:00pm BayHac closes for the day
Saturday
- 09:30am BayHac opens for the day; pastries, fruit, and coffee
- 10:00am [Upper room] Julie Moronuki: Introduction to Monoids (video 54m)
- 10:00am [Lower room] John Leo: Dependent Types in GHC (video 55m)
- 11:00am [Upper room] Gabriel Gonzalez: How to create a new Haskell project (video 30m)
- 11:30am [Upper room] (tentative) Lightning talks
- 12:00pm Lunch: assorted sandwiches
- 01:00pm [Upper room] John Wiegley: Putting lenses to work (video 47m)
- 02:00pm [Upper room] Michael Litchard: Next Step Haskell (80m)
- 02:00pm [Lower room] Dimitri DeFigueiredo: Functional Reactive Bitcoin Trading (video 71m)
- 03:30pm [Upper room] Chris Smith: CodeWorld - Teaching Haskell to Children (video 64m)
- 03:30pm [Lower room] Judah Jacobson and Frederick Mayle: Haskell Bindings for TensorFlow (video 53m)
- 05:00pm BayHac closes for the day
Sunday
- 09:30am BayHac opens for the day; pastries, fruit, and coffee.
- 10:00am [Upper room] James Bowen: Type Level APIs with Servant (video 35m)
- 10:00am [Lower room] Adelbert Chang: All About Applicative (video 49m)
- 11:00am [Upper room] Doug Beardsley: Real World UIs with Reflex (video 59m)
- 12:00am Lunch: assorted sandwiches
- 01:00pm [Upper room] Luite Stegeman: Making sense of all the JS (GHCJS) (video 61m)
- 02:00pm [Upper room] Greg Hale: Full-stack typesafe Haskell (video 45m)
- 02:00pm [Lower room] Sandy Maguire: Don't Eff It Up: Free Monads in Action (video 46m)
- 03:00pm [Upper room] Rúnar Bjarnason: Adjunctions in Everyday Life (video 55m)
- 04:00pm BayHac closes for the day
Sponsors and donations
BayHac is free to attend. We rely on the generous donations of individuals and sponsoring companies to supply the location, equipment, and food.
This year's sponsors:
- Takt
- KittyHawk
- FrontRow
- Target
- Awake Networks
To donate, please contact Dan Burton (danburton.email AT gmail DOT com).
Is this a scam to steal my intellectual property?
BayHac is not that kind of hackathon; there is no competitive coding element here. It is only a "hackathon" in the sense that a group of Haskellers will gather to hack on various projects.
See our /Intellectual_Property_Policy
What will BayHac be like?
We will strive to fulfill the /hopes of our attendees.
See also: past years of BayHac.