Viewing profile — _9jgl

This looks incredibly cool; I'm wowed by the fact that the model has learnt to negate words in if-else statements, though I struggle to think of a case where that particular comple…

Presumably it's no more confusing than, say, a shebang is for Windows users.

Sorry, totally missed that. Looks like some other people have had similar issues with upgrading to previous versions: https://github.com/Microsoft/WSL/issues/3489 (though the issue…

Sorry, brain fart – you have to upgrade between non-LTS releases sequentially, as far as I know there's no supported way to upgrade to 19.04 from anything but 18.10. (in general, t…

IIRC, do-release-upgrade won't upgrade between LTS releases until the .2 release.

Not exactly the same, but: https://whydoesaptnotusehttps.com/ tldr: if you verify the download against a trusted PGP key, it doesn't matter where the download actually came from.

One difference between ctrl-tab and alt-~ (or alt-`, depending on your keyboard layout) is that tabs within a window are very close to each other, and obviously distinct from windo…

> Installing F-Droid is easy but nevertheless harder than installing Netflix > installing and managing apps through it is also easy but updates are not automatic (unless you root) …

It also doesn't come preinstalled on any devices I'm aware of, which adds a significant amount of friction. Even once you've installed it, it can't auto-update apps.

Non-mobile link: https://en.wikipedia.org/wiki/Poisson_clumping

Likewise, I'm not sure I'd think anything was strange if I came across https://stackroboflow.com/#!/question/12110 .

That's from the "tabs" permission; I'm not sure why the extension requests it, as it doesn't appear that it's required by the code (the chrome.tabs API does not require it, you onl…

Because it's not true! Threads in Python can muck around with the state of any other thread, at any time – it would be a language change to assume otherwise.

Probably not, see https://github.com/tmux/tmux/issues/44 (tldr: maintainer says no). There's a fork that purports to add support, but it's not been updated for a while: https://git…

See also: https://news.ycombinator.com/item?id=18340693

Is this speculation, or sourced? The article seems to contradict you: > Google said it would sell a license for a package including its Google Play app store, Gmail, YouTube and Ma…

Although you can change your nick, you can't have a per-server profile picture, which may or may not be a problem for business use.

If you have a firmware 5 kindle (Touch, Paperwhite, Voyage, Oasis), see the screensavers hack thread on Mobileread: > Dou you prefer to just show the last thing that was on screen,…

> What if animations started at a slightly slower speed, and gradually increased in speed the more you used them? Ubuntu's Unity does this; it keeps track of the number of times yo…

There are a couple of comments on the linked thread suggesting that someone may be using it (scam emails containing people's old reddit passwords).

Quick reminder: JWZ despises HN, so you'll need to copy-paste that link in order to remove the referrer header.

Sadly no detail on how to find the keys, which is the hard bit. Vulnerabilities in the protocol make it relatively trivial to discover the keys if you have the correct hardware (e.…

I figured it out after a few minutes poking around. You'll need some way to set "secure" settings – if you're not rooted, the easiest way is via a Tasker plugin called AutoTools. O…

Would it be ridiculous to suggest that this is no different to requiring all usernames to be composed of CJK characters? That would be inconvenient and exclusive, no? (also, a nitp…