yeah, discord the the true black hole of information

the least I’ve seen was 6 months. If I had to change passwords every 90 days I’d spam them with articles showing this is idiotic every month.

and only because the system forces users to renew passwords every year and this is his third year

some forks have outdated commits, the latest one recorded by wayback machine last month is e935959d2f9cc642bcbb5e7759b2b1e7196b0947, which can still be found in a few repos:

https://github.com/search?q=e935959d2f9cc642bcbb5e7759b2b1e7196b0947&type=commits

btw, the mirror linked in the github conversation is also out of date in relation to the original repo.

enough to cut a few zeros of a number with 10 million of them

I don’t think it’s a constraint, it’s more like a measuring stick to try to show how ridiculously long that time is

the paper used the entire population (200 thousand) and would take some 10 ^ 10 ^ 7 heat deaths of the universe

As such, we have to conclude that Shakespeare himself inadvertently provided the answer as to whether monkey labour could meaningfully be a replacement for human endeavour as a source of scholarship or creativity. To quote Hamlet, Act 3, Scene 3, Line 87: “No”.

Wireless devices let me use 2 different tables and an armchair+TV. That would simply not be an option otherwise.

The benefits of going wireless vastly outweigh an occasional connection annoyance to me. And worst case I can still plug them in.

Calm down, he was answering “how fast could we get there”. It was never meant to be a realistic time frame.

I use rustdesk for remote desktop. Screen sharing is usually on zoom as it’s what my workplace uses.

70% workload raise

nope, editors have an outline / symbols view for that exact purpose.

Also, folding encourages 1000+ line files and several indentation levels, like in their example.

If you’re willing to wait for a month, that might work.

Where do you shop online?

🙄

you can assume most people use the defaults

why would most people bother to disable the history when most don’t even use ad blockers?

complementing this, in case the last visited column is not visible

That just groups them all by month, sorted alphabetically. It should me called “by month”, not “by date”.