Stream: ideas

Topic: video production


view this post on Zulip jan kili (Feb 01 2025 at 01:44):

I'd like to make some videos that teach/evangelize Roc. Any suggestions for what you'd like to see/share? Anyone want to help with the various aspects of production?

view this post on Zulip jan kili (Feb 01 2025 at 01:45):

CC @Anthony Bullard who said in the meeting today that he'd like to help

view this post on Zulip jan kili (Feb 01 2025 at 01:47):

Richard said

I think the most valuable thing there is live recorded coding
basically showing people exactly what it looks like
including making mistakes, seeing the error messages, etc

...and I think that category sounds delightful! Any requests for what to code? (App/lib/platform? Use case?)

view this post on Zulip jan kili (Feb 01 2025 at 01:52):

Any suggestions for where (in addition to to YouTube, which seems necessary for this purpose) to post/host videos these days? I can start by posting via personal account(s), unless there's excitement for an official Roc channel(s) to start.

view this post on Zulip jan kili (Feb 01 2025 at 01:55):

Any appetite for tutorial companion video(s)? When the syntax mostly settles, those would age slower.

view this post on Zulip Luke Boswell (Feb 01 2025 at 01:58):

Maybe solving some exercism puzzles?

view this post on Zulip jan kili (Feb 01 2025 at 02:07):

I've heard you mention them a few times - now I've finally looked up what it is. Looks pleasant, and glad they support Roc! (And maybe you support them in supporting it? Haha) Like a combination of Project Euler and a bootcamp? (I have fond memories of posting one-liners on Codewars when I was learning Python.) Yeah working through one or two coding puzzle sites would make some good playlists. Maybe one set of medium-length videos for thinking+coding and a second set of shorts for quickly jumping to the final refactor.

view this post on Zulip jan kili (Feb 01 2025 at 02:12):

Since Roc v0 probably shouldn't be anyone's first or second programming language, I wonder which puzzle sites are most popular with fifth language learners.

view this post on Zulip Luke Boswell (Feb 01 2025 at 02:29):

I think exercism or AoC are great. You could get a lot of mileage out of those. Particularly if you took your time and did like an intro to FP and explained the thinking behind your solution, or presented a few different ways of solving the same problem.

view this post on Zulip Anthony Bullard (Feb 01 2025 at 02:49):

Exercism is lovely. I've done Elixir, Rust, and Pharo Smalltalk with Exercism. And maybe Zig?

view this post on Zulip Ray Myers (Feb 02 2025 at 17:28):

Some topics that intrigue me, the full type inference, structural typing, the lineage of ML dialects

view this post on Zulip Ray Myers (Feb 02 2025 at 17:31):

Also I might be able to help with production, we could chat. I have a channel, Roc was mentioned in a recent episode (interview with Hillel Wayne on Formal Methods) at about time 9:30.

view this post on Zulip Ray Myers (Feb 02 2025 at 17:33):

And I have a relationship with CodeCrafters if you're interested in maybe expanding their library with Roc (though I know Exercism has us covered already)

view this post on Zulip Anthony Bullard (Feb 02 2025 at 21:50):

That sounds awesome @Ray Myers ! Code Crafters is an amazing platform IMO


Last updated: Jun 16 2026 at 16:19 UTC