edjrage

I wasn't aware of Athens, thanks! There's also Logseq: https://github.com/logseq/logseq and a few others, but I forgot their names.

Ever seen any of the top 5 functional languages?

And "weird corner case"? Really?

You should probably read Myers-Briggs' book Gifts Differing, they do say it over and over again that traits are preferences.

Honestly, you've already identified the problem (reading books of the "first kind"), so you know what to do. Stop picking up books just because they're best sellers. That would be a great start.

Nitpick: Minima is already plural.

Yeah, so that's pretty bad.

... What? I've never downloaded it myself (for the same reasons as you), but that doesn't sound true. Play Store says it's 39MB. But maybe OP has that much in media in the app's cache or something.

many tools in this space would likely accomplish this goal

Exactly, so what made your team choose Prettier versus the other tools if not the fact Prettier is the trendier choice? If some of these other tools becomes the tool du jour, what's the guarantee that people won't start arguing that you should all move over to it? You only see it as nipping the argument in the bud while a single solution holds the majority mindshare on what to do with the argument.

Please tell me how that isn't equivalent to "adhering to <famous developer on Twitter>'s gospel" vs. "not adhering to <famous developer on Twitter>'s gospel."

This was plainly ethical, right?

Maybe not? We could even have a discussion whether it's ethical to have a pet at all. But that's not even the point. You should probably be able to tell the difference between food that has been known to be consumed since forever vs. experimental drugs (or food for that matter).

I was suggesting that people test on themselves

Ok, if that's your point, I'm completely on board with that. It wasn't very clear from your comment.

Should amateurs be allowed to do animal testing? The answer seems no, almost by definition.

Most importantly, being anti-mask can't be attributed to a clear genetic variable (although I suppose there might be some very weak correlation), and natural selection takes way, way longer than a human lifetime to create noticeable results anyway. Not even getting into the fact that there's much more to evolution than natural selection. It actually scares me that supposedly "pro-science" people have such simplified views about it.

amoral =/= immoral

Sorry, that doesn't work when most groups/societies are heterogeneous in ideals. Even most people being reasonable isn't enough when the behavior of the few who aren't must be tolerated in the name of freedom. So natural selection alone won't actually improve anything.

would be prevented with a little Javascript

... Or better standards that don't require JavaScript. The jump from "we need seamless navigation" to "let's use a Turing-complete language" makes zero sense.

Ever heard of iframes?

Just a heads up (which I should have mentioned): The uMatrix repo has been archived some time ago.

"Why is dependent type theory more suitable than set theory for proof assistants?” has 80 characters, which seems to be exactly HN's limit.

Am I the only one who finds Anki's UI/UX to be absolutely atrocious? I know it's petty, but it's literally the only reason that's always made me not use it for more than just a few days at a time.

Is anyone working on improving the UI? Or are there alternative "frontends" out there? Does anyone know how hard it would be do it? (I assume it might not be trivial since Anki has a plugin system, but I don't know to what extent they can modify the UI)

uMatrix + uBlock Origin solve this much better than AMP does... with the advantage that it works for exactly the websites you want with exactly the resources you choose - no more, no less. uBlock even allows you to block images if they're larger than a certain size.

Yeah, no worries. I realize you had a good intention, and I know it's hard to remember every single detail about how other people's lives might be different from ours.

Same! I actually looked it up right after commenting and realized my statement would still be true even if the bias in HN's demographic were much lower.

Sorry, but this is absolutely wrong and potentially harmful to your son if you eventually convince him. It is absolutely possible and not that uncommon for a neurotic person's mind to go blank when under considerable stress, at the point of forgetting otherwise completely trivial information.

I urge you to not dismiss your son's complaints but to instead investigate them further, preferably with the help of a professional therapist, to save him from the possibility of escalation of his problem.

winter is coming

I was going to say "not everyone lives in the northern hemisphere, you know", but to be fair I suppose 99% of HN lives there and the rest of us are already used to this.

any such scheme nowadays would be a lucrative target (to say the least) for bots and mechanical Turks

But that's assuming the service would use your upvotes to change results for other users, right? Would there be any harm in limiting this personalization to the user that made it?

Now what I think would be really cool would be the ability to share your “recipes” with others, in a completely transparent way, kinda like uBlock filter lists. Google's custom search is almost that, but still too black-and-white (and, of course, still comes with all the caveats of being Google).

Outright blocking entire sites or terms is too much. I want a search engine where I can calibrate results in a much more granular way. For instance, if I'm searching for something programming-related (which I could explicitly tell the engine vs. letting it infer for me), I'd like it to do things like not ignore special characters, and official reference documentation to appear first, then maybe Stack Overflow, etc. and leave content farms at the bottom, grouped in a compact space (but not necessarily make them disappear as some of them may actually be useful). Stuff like that.

Being in 20s myself

Uhh... Sorry to break it to you, but... I... I think that makes you a millennial.

There's a dropdown with examples at the top of the page, but apparently it doesn't show on smaller screens.

Exactly. Which renders the logic behind the experiment false. But since the insight was true, it eventually led to experiments that yielded true results. (Notice I didn't say the insight was false, I supported your idea by emphasizing that even false insights can be useful.)

So it worked despite all the bias and fraud. You could even call it luck. The reproducibility implied by the fact that at least some of it is true is not a "nice-to-have", it's the whole point of it working. We wouldn't call it true if we couldn't confirm it to be true.

To me it seems you're conflating reproducibility with insight. Of course insight is also key, and it may be useful even if it's wrong, as long as it causes others to recursively have new insights and create hypotheses and do experiments that eventually turn out to be true.

Honest question as an outsider: What did Docker introduce that wasn't better addressed by other technologies? E.g. wasn't reproducibility the main point and already properly solved by nix?

By the way, it's "per se"