Stream: roctoberfest

Topic: Roctoberfest 2023


view this post on Zulip Richard Feldman (Sep 01 2023 at 14:57):

it's September 1, which means...one month until Roctoberfest 2023! :smiley:

view this post on Zulip Richard Feldman (Sep 01 2023 at 14:58):

for those who are new here since last year, Roctoberfest is where we get a group of people together to go through last year's Advent of Code in Roc, during the month of October. This lets us find out how the new user experience is right now, what papercuts or bugs or missing pieces there are for a nice Advent of Code experience, etc...while still having the month of November to make improvements before the actual Advent of Code!

view this post on Zulip Richard Feldman (Sep 01 2023 at 14:59):

this was really helpful last year, and it surfaced a lot of things that otherwise we wouldn't have known to prioritize for last year's Advent of Code

view this post on Zulip Richard Feldman (Sep 01 2023 at 14:59):

so if anyone knows people who might be interested in participating this year, it's never too soon to start asking around!

view this post on Zulip Elias Mulhall (Sep 10 2023 at 04:06):

I'm interested. I've done Advent of Code a number of times but skipped 2023, and I've tried out roc just a little bit but definitely still count as a new user.

view this post on Zulip Richard Feldman (Sep 10 2023 at 21:49):

awesome!!! :smiley:

view this post on Zulip Richard Feldman (Sep 10 2023 at 21:49):

if you know anyone else who might be interested, now's a good time to ask!

view this post on Zulip capthiron (Sep 22 2023 at 09:30):

Hey @Richard Feldman :)
I would also be interested. I'm new to roc, got very interested after seeing some of your talks on YT. I have a little experience in elm which made me curious about roc in the first place. I would love to help in moving it forward!

view this post on Zulip Richard Feldman (Sep 22 2023 at 13:22):

that's awesome, welcome @capthiron! :grinning:

view this post on Zulip Georges Boris (Sep 22 2023 at 22:51):

would it be fine for someone to start roctoberfest early or is there anything close to being merged that would be worth the wait? :grinning_face_with_smiling_eyes:

view this post on Zulip Richard Feldman (Sep 22 2023 at 23:18):

haha I think now is fine if you like, although maybe fun to wait and start with a group? Up to you though!


Last updated: Jul 06 2025 at 12:14 UTC