Difference between revisions of "BayHac2013"
m (→Projects: rewording) |
(→Lightning Talks: Denotative Programming notes link) |
||
(16 intermediate revisions by 6 users not shown) | |||
Line 6: | Line 6: | ||
Come join a group of Haskell hackers to work on a wide variety of projects. All levels welcome. |
Come join a group of Haskell hackers to work on a wide variety of projects. All levels welcome. |
||
+ | |||
+ | Special thanks to [https://developers.google.com/open-source/ Google] for sponsoring BayHac '13, and providing '''lunch on Saturday!''' |
||
---- |
---- |
||
Line 17: | Line 19: | ||
|Cost: |
|Cost: |
||
|Free |
|Free |
||
⚫ | |||
− | |Sign up: |
||
− | |[https://docs.google.com/forms/d/1u502QHmyFC_Wi4fqv_jYTTRun8E6D_gwcbf6bB3dvrs/viewform sign-up form] |
||
|- |
|- |
||
|News and Discussion: |
|News and Discussion: |
||
|[http://groups.google.com/group/bayhac BayHac Google Group] |
|[http://groups.google.com/group/bayhac BayHac Google Group] |
||
|} |
|} |
||
+ | |||
+ | <big>'''Post-Event Survey:''' Please take [https://docs.google.com/forms/d/18xWYQm1nwcyM6GxXkqaGjfd2kY8dvYWt8Y1mRwYCz3w/viewform this survey] if you attended BayHac'13.</big> |
||
== Location == |
== Location == |
||
Line 41: | Line 42: | ||
|10am ~ 7pm |
|10am ~ 7pm |
||
|Hacking all day |
|Hacking all day |
||
⚫ | |||
+ | | |
||
+ | |1pm - 2pm |
||
+ | |Lunch, sponsored by Google |
||
|- |
|- |
||
| |
| |
||
|2pm - 5pm |
|2pm - 5pm |
||
|[https://docs.google.com/forms/d/1lFGAjnPAcvKdYEFdoGtw5-A7z9L3JKF68O_AF_aAEH4/viewform Code Kata] (purely optional) |
|[https://docs.google.com/forms/d/1lFGAjnPAcvKdYEFdoGtw5-A7z9L3JKF68O_AF_aAEH4/viewform Code Kata] (purely optional) |
||
+ | |- |
||
+ | | |
||
+ | |6pm - 7pm |
||
⚫ | |||
|- |
|- |
||
|Sunday, May 19th |
|Sunday, May 19th |
||
− | |10am - |
+ | |10am - 4pm |
|Hacking |
|Hacking |
||
|- |
|- |
||
| |
| |
||
− | |1pm - |
+ | |1pm - 2pm |
+ | |Lunch |
||
⚫ | |||
+ | |- |
||
+ | | |
||
+ | |2pm - 3pm |
||
+ | |Lightning Talks |
||
|- |
|- |
||
| |
| |
||
Line 65: | Line 78: | ||
We'll have a Code Kata session at BayHac '13 on Saturday afternoon. There'll be a coding problem, and we'll break into groups or singles and tackle it in Haskell. The problem will expand as time progresses. After about two hours of coding, we'll re-group and do some quick reviews of the solutions people came up with and discuss the challenges and design trade-offs. |
We'll have a Code Kata session at BayHac '13 on Saturday afternoon. There'll be a coding problem, and we'll break into groups or singles and tackle it in Haskell. The problem will expand as time progresses. After about two hours of coding, we'll re-group and do some quick reviews of the solutions people came up with and discuss the challenges and design trade-offs. |
||
+ | # [https://github.com/mzero/bayhac-13-kata Mark's repo] |
||
− | If you're interested in this activity, [https://docs.google.com/forms/d/1lFGAjnPAcvKdYEFdoGtw5-A7z9L3JKF68O_AF_aAEH4/viewform please let us know]. |
||
+ | |||
+ | == Lightning Talks == |
||
+ | |||
+ | {| |
||
+ | | colspan="2" | '''Saturday, 6pm''' |
||
+ | |- |
||
+ | | Steve Severance || Exception Handling |
||
+ | |- |
||
+ | | Jonathan Fischoff || BNFC Meta |
||
+ | |- |
||
+ | | Kyle Butt || Art and Dan explained |
||
+ | |- |
||
+ | | Lev Walkin || Explaining Charts to Blind |
||
+ | |- |
||
+ | | Evan Laforge || Music Sequencer |
||
+ | |- |
||
+ | | [http://jelv.is Tikhon Jelvis] || GreenArray Synthesis -- [http://jelv.is/af-slides.html slides] |
||
+ | |- |
||
+ | | Stephen Balaban || agda-mode |
||
+ | |- |
||
+ | | Eric Nedervold || FP to OOP and back |
||
+ | |- |
||
+ | | [http://conal.net Conal Elliott] || Denotative Programming -- [[/Denotative Programming|notes]] |
||
+ | |} |
||
+ | |||
+ | {| |
||
+ | | colspan="2" | '''Sunday, 2pm''' |
||
+ | |- |
||
+ | | Paul Rubin || [http://hpaste.org/70413 Memoization benchmark] |
||
+ | |- |
||
+ | | Gabriel Gonzalez || Protein Search Engine |
||
+ | |- |
||
+ | | Luis Casillas || Denotational OLAP |
||
+ | |- |
||
+ | | Steve Severance || Accelerate |
||
+ | |- |
||
+ | | [http://jelv.is Tikhon Jelvis] || Algebras and Coalgebras -- [http://jelv.is/algebras.html slides] |
||
+ | |- |
||
+ | | Jonathan Fischoff || MTL |
||
+ | |- |
||
+ | | Russel O'Connor || Prisms! |
||
+ | |- |
||
+ | | John Millikin || re2 bindings |
||
+ | |} |
||
== Attendees == |
== Attendees == |
||
Line 78: | Line 135: | ||
# [http://www.mega-nerd.com/erikd/Blog/ Erik de Castro Lopo] |
# [http://www.mega-nerd.com/erikd/Blog/ Erik de Castro Lopo] |
||
# [http://haskellforall.com/ Gabriel Gonzalez] |
# [http://haskellforall.com/ Gabriel Gonzalez] |
||
+ | # Aaron Culich |
||
== Projects == |
== Projects == |
||
Line 87: | Line 145: | ||
# [http://github.com/jkff/minxmod minxmod] (a tiny concurrent modelchecker) - Eugene Kirpichov |
# [http://github.com/jkff/minxmod minxmod] (a tiny concurrent modelchecker) - Eugene Kirpichov |
||
# [https://github.com/tommythorn/Reduceron Reduceron] - Tommy Thorn |
# [https://github.com/tommythorn/Reduceron Reduceron] - Tommy Thorn |
||
− | # Compiling Haskell to circuits (netlists) via GHC Core. Or other means of getting familiar with the GHC API. |
+ | # Compiling Haskell to circuits (netlists) via GHC Core. Or other means of getting familiar with the GHC API. - Conal |
+ | # Cross-platform, OpenGL- and GHCi-friendly GUIs & graphics. - Conal |
||
+ | # [https://github.com/ktvoelker/HsTools HsTools] - continuous compilation with vim integration (and more to come?) - Karl Voelker |
||
+ | |||
+ | == IRC channel == |
||
+ | |||
+ | We'll be hanging out on #bayhac on FreeNode. |
||
[[Category:Community]] |
[[Category:Community]] |
Latest revision as of 02:28, 22 May 2013
San Francisco Bay Area & Silicon Valley Haskell Hackathon
Come join a group of Haskell hackers to work on a wide variety of projects. All levels welcome.
Special thanks to Google for sponsoring BayHac '13, and providing lunch on Saturday!
When: | Friday, May 17th – Sunday, May 19th, 2013 |
Where: | Hacker Dojo - note the Dojo has moved |
Cost: | Free |
News and Discussion: | BayHac Google Group |
Post-Event Survey: Please take this survey if you attended BayHac'13.
Location
Hacker Dojo, 599 Fairchild Drive, Mountain View, CA (Google Map)
Schedule
Anticipated, but subject to group whim and circumstance:
Friday, May 17th | 3pm - 7pm | Meet-n-Greet-n-Hack |
Saturday, May 18th | 10am ~ 7pm | Hacking all day |
1pm - 2pm | Lunch, sponsored by Google | |
2pm - 5pm | Code Kata (purely optional) | |
6pm - 7pm | Lightning Talks | |
Sunday, May 19th | 10am - 4pm | Hacking |
1pm - 2pm | Lunch | |
2pm - 3pm | Lightning Talks | |
3pm - 4pm | Good-Byes, Clean up, Go get beer! |
Code Kata
Code Katas are programming exercises with the aim of just practicing the skill of programming.
We'll have a Code Kata session at BayHac '13 on Saturday afternoon. There'll be a coding problem, and we'll break into groups or singles and tackle it in Haskell. The problem will expand as time progresses. After about two hours of coding, we'll re-group and do some quick reviews of the solutions people came up with and discuss the challenges and design trade-offs.
Lightning Talks
Saturday, 6pm | |
Steve Severance | Exception Handling |
Jonathan Fischoff | BNFC Meta |
Kyle Butt | Art and Dan explained |
Lev Walkin | Explaining Charts to Blind |
Evan Laforge | Music Sequencer |
Tikhon Jelvis | GreenArray Synthesis -- slides |
Stephen Balaban | agda-mode |
Eric Nedervold | FP to OOP and back |
Conal Elliott | Denotative Programming -- notes |
Sunday, 2pm | |
Paul Rubin | Memoization benchmark |
Gabriel Gonzalez | Protein Search Engine |
Luis Casillas | Denotational OLAP |
Steve Severance | Accelerate |
Tikhon Jelvis | Algebras and Coalgebras -- slides |
Jonathan Fischoff | MTL |
Russel O'Connor | Prisms! |
John Millikin | re2 bindings |
Attendees
If you're attending, please use the sign-up form to help the organizers plan. Add your name here if you want to let others know you're coming.
- Mark Lentczner - organizer
- Johan Tibell - organizer
- David Banas - AMITool project lead
- Dan Burton - Just another Haskeller
- Conal Elliott
- Erik de Castro Lopo
- Gabriel Gonzalez
- Aaron Culich
Projects
If you plan working on a project at the Hackathon, you can put it up here so other interested hackers can see what projects are afoot. If you don't have a project, look here and find one!
- Plush - Mark L.
- AMITool - David Banas
- minxmod (a tiny concurrent modelchecker) - Eugene Kirpichov
- Reduceron - Tommy Thorn
- Compiling Haskell to circuits (netlists) via GHC Core. Or other means of getting familiar with the GHC API. - Conal
- Cross-platform, OpenGL- and GHCi-friendly GUIs & graphics. - Conal
- HsTools - continuous compilation with vim integration (and more to come?) - Karl Voelker
IRC channel
We'll be hanging out on #bayhac on FreeNode.