About Connect Events Buzz

Winter Retreat

2017, January 8th-12th | Crested Butte, CO

Escape the hustle of everyday coding with LambdaConf’s first winter retreat, held in Crested Butte, Colorado—a mountain town nestled in the heart of the Rocky Mountains!

Leisurely explore selected topics in functional programming from invited LambdaConf Guides. Pair with attendees on interesting projects. Apply what you have learned from conferences, books, and blogs. And start 2017 with fresh passion for writing software in ways better than you ever thought possible.

  • Takes place in Crested Butte, a beautiful mountain town. Crested Butte has numerous shops and restaurants, as well as opportunities for downhill skiing, cross-country skiing, snowboarding, sledding, snowshoeing, and much more. Experience Colorado's legendary and majestic winters for yourself!
  • Original content from hand-invited guides. These LambdaConf guides will be announced in the coming weeks, and are being selected based on their teaching skills, knowledge areas, and popularity with attendees. You'll find guides with backgrounds in Haskell, Scala, proof systems, Clojure, estoteric languages, and more.
  • Plenty of time for collaboration and peer-learning. Scheduled content consumes only a few hours each day, allowing plenty of time for learning from guides and fellow attendees, collaborating on interesting projects, and sharing your own knowledge with fellow attendees.
  • Includes 4 nights of accommodations, full breakfast, and full lunch. Self-pay for dinner and activities.
  • Five continuously booked conference rooms and several lounges. Wifi is included and projectors can be used by attendees outside the hours of scheduled content. Bring some fun problems or side projects and expect to make some serious progress with help from some of the most experienced engineers working in functional programming.
  • Legendary LambdaConf swag. Expect the "cold weather" edition of LambdaConf swag, as well as an early edition of an educational game that's going to change the way people master functional programming!
  • Childcare available. Don't let little ones deter you from leveling up. You'll have the option of signing up for childcare for any of the days of the retreat, either half day or full day. There's also plenty of outdoor activities for older kids and teens.

Note: Due to the nature of this small, intimate event, attendance is strictly capped, so if you want to attend, purchase a ticket at the earliest opportunity. As with all LambdaConf events, there are no refunds or exchanges.

Schedule

Sunday

12:00pm - 9:00pm

Official transport to Crested Butte leaves from Denver International Airport

Monday

7:00am - 8:00am

Group Breakfast

8:00am - 10:00am

FIRE KERAMIK HASKELL—Julie Moronuki

10:00am - 1:00pm

Unconference

1:00pm - 2:00pm

Group Lunch

2:00pm - 4:30pm

Unconference

4:30pm - 5:30pm

Applied Category Theory and Abstract Algebra—Gabriel Gonzalez

5:30pm-6:30pm

Fun with Parsing—Daniel Spiewak

6:30 - 7:00pm

End of Content

7:00pm - 9:00pm

Speaker Appreciation Dinner #1Alejandro, Daniel, Julie, Pawel, TJ + Staff & Volunteers

Tuesday

7:00am - 8:00am

Group Breakfast

8:00am - 9:00am

Category Theory Through Functional Programming—Alejandro Serrano

9:00am - 10:00am

Functional Programming and Polymorphism Basics in Swift—TJ Usiyan

10:00am - 12:00pm

Distributed Functional Programming—David Greenberg

12:00pm - 1:00pm

Functional Async on the JVM—Daniel Spiewak

1:00pm - 2:00pm

Group Lunch

2:00pm - 4:30pm

Learning FP Concepts for the Greater Good—Pawel Szulc

4:30pm - 6:30pm

Applicative and Monadic Parsing—Julie Moronuki

6:30 - 7:00pm

End of Content

7:00pm - 9:00pm

Speaker Appreciation Dinner #2Chris, David, Gabriel, Scott + Staff & Volunteers

Wednesday

7:00am - 8:00am

Group Breakfast

8:00am - 9:00am

Category Theory Through Functional Programming—Alejandro Serrano

9:00am - 10:00am

Data Science APIs in Haskell—Gabriel Gonzalez

10:00am - 1:00pm

Unconference

1:00pm - 2:00pm

Group Lunch

2:00pm - 4:30pm

Haskell Almanac: A Guide for Working Stiffs—Chris Allen

4:30pm - 6:30pm

Agda From Nothing: Order in the Types—Scott Fleischman

6:30 - 7:00pm

Group Dinner at Hotel - Pizza & Salad

7:00pm - 9:00pm

Post-Free: Beyond Free Monads—John A. De Goes

Thursday

7:00am - 8:00am

Group Breakfast

8:00am - 9:00am

Category Theory Through Functional Programming—Alejandro Serrano

9:00am - 10:00pm

Building a Small Parser Combinator Library in Swift—TJ Usiyan

10:00am - 11:00am

Unconference

11:00pm - 12:00pm

Official transport to Denver International Airport leaves from Crested Butte

12:00pm - 1:00pm

Group Packed Lunch

1:00pm - 6:30pm

In Transit

6:30pm - 7:30pm

Arrive at Denver International Airport

Speakers

Guide to Crested Butte

Best on the mountain:

There isn’t really much for food / drinks up on the mountain. But there is a free bus to town.

Food
  • Avalanche is pub food.
Coffee
  • Camp4 / BWC Cafe in mountaineer is good coffee and pastries.
  • On the ski area - The Umbrella Bar is a great place to get a drink and get out of the cold.

Best downtown options:

In town most of the food & drinks are on Elk Ave between 1st & 4th.

Coffee
  • First Ascent - Locally roasted coffee and good food. Lots of room to sit.
  • Camp4 - Locally roasted coffee. Not much room inside.
  • Rumors - Coffee & bookstore. Nice place to hang out.
Morning / Lunch
  • Sunflower - Yummy breakfast & lunch food.
  • McGills - Traditional breakfast cafe.
  • Izzy’s - Yummy breakfast with minimal seating.
Lunch / Dinner
  • Teocalli Tamale - Quick burrito bar.
Afternoon / Evening
  • Montanya Rum Distillery - Great cocktails and a few food items that are yummy.
  • Sunflower - Farm to table. Really good food. Reservations usually needed.
  • Lils - Good sushi.
  • Secret Stash - Amazing pizza. Lots of seating.
  • Djangos - Upscale and really good food.
  • Ginger Cafe - Great Thai / Indian food.
  • Brick Oven - Amazing beer selection (sometimes Pliny).
  • Ryce - Traditional asian food.
  • Gourmet Noodle - Standard Italian food.
Other
  • Third Bowl - Great donuts & ice cream.
Rental Gear
  • For standard gear anything on the mountain is fine.
  • For uphill ski gear the Alpineer in downtown is great.
  • For nordic & snowshoeing, the CB Nordic Center rents gear and sells trail passes.

Attendees Quotes

  • "I do data engineering with Scala, heavily applying functional programming. I would like to learn more about theoretical CS concepts applicable in the real world to make better software."

  • "Comparing functional web frameworks across languages, building apps in a functional language, and practical functional programming."

  • "Exploration of next FP language concepts like dependent types, generic programming and proof solving."

  • "Love to talk about FP vs OOP and how OOP languages are converging on FP in some ways. Also love to touch base on microservices in FP."

  • "Haskell, FP paradigms, application development in FP languages."

  • "I'd like more in-depth Elm and other related areas. I'm interested in using Haskell for backend work as well."

  • "More understanding of functional programming concepts in general. I've been introduced via Elm and started learning Haskell."

  • "Interested in either working learning more formal methods for improving code quality or maybe hacking on LLVM stuff in Haskell."

  • "Networked servers, event sourcing, Elm, Haskell, databases, uni-directional data flow, functional architecture. I can share about event sourcing."

  • "Elm, Haskell, FP game dev, concurrency. I can share quite a bit about Elm."

  • "I've been writing Elm recently and have really enjoyed the functional paradigm. I'm hoping to learn more here as well as meet other functional programmers."

  • "Functional programming has amazed me with its efficiency and power. I have been working recently in Elm and look forward to working with other local programmers to learn more."

  • "My coworker pointed me at Elm and I'd love to learn more about functional application development. I need to learn the ropes of FP in general."

  • "I am just learning about lambdas, but I am so excited to be surrounded by people who are enamored by it!"

  • "Open source strategies. Lean, robust products."

  • "I see FP as having so much potential to improve our interactions with technology, both as a developer and in the world in general. I'd like to understand how and when to apply these techniques to improve lives, and how to spread the ideas to others. I'm particularly interested in how to evolve systems safely, from the smallest refactoring to an entire distributed system."

  • "Learn me a Haskell. And Scala Cats."

  • "Excited to learn more Elm, PureScript, or other FP greatness."

  • "I am a costumer, so I'm super interested in furthering knowledge of modeling transformations. Rigging lights within that can be programed for different things, connecting little servos to create moving parts within a costume, special effects, etc."

  • "I'm learning Haskell. I want to get comfortable with functional programming in general and specifically Haskell. Current goal is to be able to write a simple parser."

  • "I'd like to get a more fundamental understanding of Haskell and/or F#. Ideally this would be some work with web apps as well as console applications.Additionally, I'd like to enhance my understanding of functional programming so I can better apply it to my day to day work in C++ and C#."

Get Your Ticket!