aebletrae [she/her]

These tourist shows just keep getting better and better: thousands of background performers, full-scale, moveable train props; the “tunnel” background didn’t even look like it was just a big cylinder going round and round outside the shaking carriage window. Just think what they could do if they put all that effort into building a proper market economy!

At 16:38–16:44, CEO killer confirmed as North Korean operative.

Yeah, that’s what I was suspecting.

I ended up leaning towards “download” being used in the boomer way of meaning any data transfer, whatever the direction, which in this case would more specifically be called an “upload”. And that “online” was being used to mean “using a website”, even though the local processing is offline.

The alternative fit to the description I had considered was a website you could give an URL, so it retrieves the zip file and allows you to inspect it remotely, and maybe just download some of the contained files, so it deals with the risk and bandwidth issues for you. That would be a different kind of useful, though it’d only be a few days before someone uses it for malign purposes and gets the site operator a no-knock visit from the fuzz, so that seemed much less likely.

I can see a use for an app that can be used where they can’t be installed, though.

I’m confused. How are you defining “download” and “online” here?

The website suggests that the server holds the files and does the extraction:

Extract and Explore compressed files online [emphasis mine]

which fits with the github claim of:

to view and extract zip files online without downloading them

but the website also states that:

nothing leave your browser

which suggests that the server has nothing to do with it, and you do actually download the zip files first.

What am I missing?

You want to create the date “31st February”, but it’s JavaScript that’s cursed?

Write a less side-effecty function.

function getMonthName(monthNumber) {
    const date = new Date(2023, monthNumber - 1, 1);
    return date.toLocaleString([], { month: 'long' });
}