It is amazing how completely this comment misses the point, the joke, the meme, shitposting, trolling, just absolutely every nuance of context.

At that scale meters and miles are pretty close with respect to orders of magnitude, which is why practically everyone talks about these scales in AUs regardless of what units they actually used to do the science.

A CSV is just a long string of text with a few control characters tossed in for end lines. There are practically no rules enforced by the file type itself. You can dump that unsanitized and poorly awk’d data into whatever awful mess you want. Nobody’s stopping you. Sure, excel will force it’s CSV formatting rules on you when you export like a child’s training wheels. But that’s not relevant here.

If it made a PDF with an image, it also made the plain image for which you’re asking. The PDF in this case is basically a container for that image (along with all the text, formatting, fonts, etc.). There are numerous programs for extracting images from PDFs.

You want mpd to server and play the music, connected with a web front end (there are a few to choose from) accessible on the private store wifi. You should probably serve this frontend only to a certain machine on the network (like the managers computer in the back) and lock everything else out. The last time I ripped CDs on Linux I used whipper, which I believe was the successor to morituri. This is all only legal if the CDs they have already included the licensing fees to play them publicly or are themselves freely licensed. There are sources of freely licensed music out there that you can play publicly without paying.

The article is saying that these sharks aren’t really sharking though. The sharks behavior has been changed by environmental factors (regular human feeding and humans raising the local sea temperature by dumping warm water from the desalination plant).

1. Sharks are attracted by usually warm water from desalination plant.
2. Tourist guide boats start chumming the waters to keep the sharks around for tourists.
3. The attraction of so many mostly harmless sharks changes their feeding dynamic. Ever tried eating an ice cream cone near a small child? Ever tried pushing an ice cream cart through a crowd of small kids? Way different dynamic as supply and demand changes as the crowd grows.
4. Formerly mostly harmless and “shy around humans” sharks start directly approaching humans as a source of food.
5. Sharks investigate human, beg for food. How do sharks investigate? By biting, nibbles really, or bumping into people swimming.
6. The first bite generates a predictably violent reaction from the humans, which triggers a feeding frenzy response. Humans aren’t equipped to defend or escape this.

The point is that at every step of the way, these sharks are acting in a very strange way (for them) as a direct result of human action. We’ve seen this kind of thing before when people feed wild animals, strange and dangerous human seeking behaviors develop: alligators, bears, moose, etc. Dangerous animals? Yes, but the behaviors that result in human deaths are in no way natural.

I think it’s more like this…

Angel: “Push it over the edge and watch it fall.”

Devil: “Drink from it after giving yourself a thorough self cleaning and leave the area before they notice.”

Just another way to dehumanize.

I use the word pardon because there are lots of local Spanish speakers, tourist/seasonal French Canadian speakers, and occasionally tourists from farther abroad around and I’d rather be understood than pretend everyone speaks English. When speaking to strangers, like when I’m asking forgiveness for being an inconvience to them or trying to politely get someone’s attention, preferring loan words that really don’t need translation in order to be understood just seems like good citizenship and also more kind.

That’s not how TV in the 80s and 90s worked. Most of the TV we watched as kids in the 80s would have been reruns of things in syndication. Millenials born in 82 would have grown up watching reruns of Cheers for their entire childhood and likely have memories of watching even some of the later episodes live.

It used to remember passwords, it briefly got a gig memorizing drink orders, now it mostly focuses remembering project numbers and does a little 2FA code work on the side.

So edgy.

If someone wrote this article in the early 90s, it would be called “Why I ditched the radio, and how I created my own CD collection.” I think rephrasing it that way really shines a light on why it’s mostly still comparing apples and oranges.

I have a pretty substantial collection of music hovering around 5,000 albums or 1.6TB (mostly lossless FLAC these days, but still some moldy old mp3s and ogg vorbis files from my youth). I’m not even counting the physical media I still hold on to. I still use Spotify for discovery and playlists. I don’t think the depth and breadth of my library will ever match the depth and breadth of the music that I want to listen to in the very next moment. Lots of times I want to listen to the stuff I’m familiar with, and I do that using my own library. But, when I want to: remember a song I heard in the wild, share a holiday playlist with friends, make an obscurely themed playlist of songs features peaches, preview a musician’s or band’s stuff, discover other things that musician has collaborated on, or simply discover new music; I still use Spotify.

There are (or were) bits and pieces out there (many that pre-date Spotify) that can do some of these things. Last.fm (fka Audioscrobbler) was good for tracking listening habits to compare and share with others, it helped a little with discovery. I used allmusic.com a lot long ago to discover the artists that inspired the artists I was listening. If I wanted to share a playlist, I made a mixtape (really it was burning a mix CD). But, all of these collected information only, not the music itself. If I wanted to actually hear a new song, I had to go somewhere and find it first. That often meant literally traveling somewhere else or ordering from a catalog and waiting for delivery. Every new music discovery was a bet made with real dollars that I would actually enjoy the thing or listen to it more than once. Even after napster paved the way for free listening via piracy, one still had to work to actually find the music.

Spotify (and similar services) finally collected (almost) all of it under one app, so that I could discover and listen seemlessly. It is instant gratification music discovery. I’ll never give up my self hosted collection, but I also don’t have much hope that any self curated collection will be able to complete with the way that I use Spotify. Spotify is just the new radio. It’s never the end of my listening though. Just like with radio, when I find something I like enough, then I can expend the energy (or more often expend the money as directly with the band as I can) to add it to my collection.