Some of the best music discovery I’ve had is actually Reddit. I primarily listen to electronic and the communities are 6/5. It’s just streams of music being recommended, with occasional discussion, in tiny subreddits for all the subgenres. I’ll let you find the subreddits yourself if your interested (just search for your intended subgenre). don’t wanna spoil them :)

Those subreddits sometimes become a really small echo chamber, and it's obvious its just a minor fraction of a genres listeners. I think everynoise.com and your ears is a way better initial genre exploration tool than Reddit even for genres that have been out there for a while and are still popular and being produced.

For the genres I've been listening for a while or jamming to with my rig Reddit is usually underwhelming and I have more success by starting on everynoise.com or Beatport (which I generally dislike for discovery because their gatekeeping of genres is bullshit) and then listening to new stuff that the label for the artist I found is putting out.

Yep, some of the subreddits definitely kind of focus on one section of the genre but that’s what I kind of like. If I want to find some good new music with a specific sound, I know I can just check those communities out. When I was first discovering electronic though, all the subgenres and labels was overwhelming. Now that I have my tastes kinda figured out I now add in listening to labels I like and artists. That everynoise site is really interesting, never heard of it before. Excited to check it out, thanks for the link!

out of curiosity, how often do you do this? And once you discover something, how do you get it into your music app / playlist?

Whenever I start feeling worn out of the music I have been listening too I spend some time just scrolling through and listening. I am not a big playlist person but rather a library person. (I use Apple Music for this reason as they emphasize libraries). When I find a song I like I just add it to my library. And Apple Music’s interface is great as I can retrieve it by either looking for the album, artists, or genre (albeit it’s classifications aren’t very good).

I can't speak for that user in particular but I use Reddit for music discovery as well. My flow is this: I'll look for stuff with the genre tags I know I like and look for new artists I don't recognize that have those tags. I'll listen to one or two songs and set their name aside if I like them and go back to browsing. After I get bored of looking for new stuff, I'll go back through and listen to the entire discography of that artist and add songs I like to my Spotify or Youtube playlists. I then move from artist to artist that I set aside earlier. After that, I'll look for any collabs they've done and check out the assisting artist or I'll check out the "people also listen to" suggestions on Spotify and start the process over but there instead of on Reddit. That cycle typically lasts about a year before I get the urge to look for new stuff again on Reddit like that.

while not necessarily on how gondolas work, this is a great documentary on the engineering and design behind the peak2peak gondola at whistler: https://www.youtube.com/watch?v=xEAJmxe27h0

chairs/gondolas detach from the primary rope that carries them up/down the slope. So while the primary rope is moving the same fast speed, the chair isn't attached to that rope anymore. This is what allows detachable lifts to go so much faster than fixed (non-detachable lifts), the speed of them isn't dependent on people being able to board. If a ski resort wants to speed up their fixed grip chairs without spending the money on a detachable, they will use a loading carpet to move up the max speed of loading people (see: https://liftblog.com/2016/01/02/the-loading-carpet-solution/)

I always knew these as "detachable" chairlifts, and I guess at some point as a kid I figured out that the chair must actually detach from the rope, based on the name.

I probably never would have even thought about it, if it wasn't for the name!

Despite what the OPs video suggests, there are no ropes used, rather steel cables. A rope's mechanical properties wouldn't be beneficial for a ski lift.

No, rope is correct. Wire rope, more precisely.

https://en.wikipedia.org/wiki/Wire_rope

You're correct - a wire rope is a cable, but a synthetic rope is not. But "rope" generally refers to synthetic rope, not wire rope, so a rope is not a cable.

Unless you’re talking about ski lifts, where rope refers to wire ropes.

"Seilbahn" in german. Literally translated as rope track.

The material that a rope is made out of, doesn't really matter. What matters is it being built up of smaller fibers.

The point is that if you're going to pedantically correct someone, they need to be wrong. No one is wrong when they say rope.

It doesn’t matter much but for a ski lift, the engineering term always used is “wire rope”.

Might also be a language matter on OP's part? For instance, I know that Europeans often use the term "windmill" for wind turbine, and get corrected that they're using the wrong engineering term.

But for many European languages, the word "wind turbine" would be translated to "windmill", even going as far as labelling parts with the word. Never worked with wind turbines, but been curious about this for years since the language is so systematic. A documentary I recently watched had a Danish wind turbine marked as "Mølle 1" or something like that, translating to "Mill 1".

I'd be surprised if Norwegians didn't use the word "kabel" (cable) to refer to the thing that carries ski lifts.

Wind turbine makes me think of turbines used to generate wind, rather than turbines powered by wind.

The jargon is contextual. In telecommunications the "wire rope" is called "strand".

So is “rope” just any cord or any material that’s been braided or wound from many smaller cords?

The terms are largely interchangeable but “wire rope” is the engineering term for cable used to transmit forces. Depending on who you ask it may only strictly refer to wire rope made from multiple bundles of strands.

so we should call those things in San Francisco "Rope Cars"?

Interestingly, the steel cables used by the cable cars are actually wrapped around a sisal rope.

This was a delightful video! as an avid skier I always noticed that chairlifts that turn are pretty uncommon, but I have never thought deeply into why. the final lift shown that can move in all four directions is definitely some ingenious engineering!

The same site has a great introduction (not for rust though) to session types: https://rustype.github.io/notes/notes/session-types.html

If your interested in digging deeper into building docker containers with nix this is my favorite post on the topic: https://thewagner.net/blog/2021/02/25/building-container-ima.... Essentially you can use any nix package (including your own) to create the environment.

And if you really want to understand it, Graham Christensen (the contributor of the buildLayeredImage function) wrote a really good blog post on how it works: https://grahamc.com/blog/nix-and-layered-docker-images.

No experience with ruby but nixpkgs has sections for many languages. See ruby: https://github.com/NixOS/nixpkgs/blob/master/doc/languages-f.... Also a quick search on the NixOS wiki gives this: https://nixos.wiki/wiki/Packaging/Ruby.

This is less packaging related (more nix lang related) but here is my go to resource for functions: https://teu5us.github.io/nix-lib.html. teu5us extracted the builtin/lib function docs and put them on one place saving you from having it split up into multiple manuals.

One issue with nix is the content has been written down it’s very inaccessible. It is split up between blog posts, discourse, nixpkgs code comments, the wiki, Reddit, etc. When working on something in nix I’ll frequently have 10+ sources of information. The google-fu needed is strong.

My biggest recommendation is to dive into the nixpkgs repo and other public dotfiles as most likely what you are doing has been done.