skysight-inc/HackerNews huggingface dataset:
There are two ways we can make exceptions polymorphic:

- Subtype polymorphism lets us say things like 'throws Exception', 'catch (Exception e) {...}', etc. and this will work for any sub-class of Exception, e.g. 'FileNotFound'. This works by upcasting: essentially discarding some of the information about the type, so the intermediate code can rely on a smaller interface. If we try to downcast it later, we need to handle the possibility that it doesn't match; e.g. we can write 'catch (FileNotFound e) {...}', but that won't remove the 'throws Exception' annotation, since we haven't handled the other possibilities.

- Parametric polymorphism (AKA generics) lets us say things like 'throws E', where E can be instantiated to any specific class, e.g. 'FileNotFound'. This doesn't upcast: the full type information is propagated (but the generic steps aren't allowed to use it). We don't need to downcast: the type checker will instantiate the generic types to that specified by the source, and see if the destination type matches. If 'E' is instantiated to 'FileNotFound', and we write 'catch (FileNotFound e) {...}', then the annotation will be removed, since there's nothing else to handle.

Hopefully the problem with the generic approach is clear from your example: we have to re-implement things over and over for different numbers of exceptions ('FuncThrowingOneException', 'FuncThrowingTwoExceptions', etc.)

Thinking about it, the situation is similar to Haskell's "constraint kinds": Haskell can "constrain" types (i.e. require interfaces), e.g.

showBoth :: (Show a, Show b) => a -> b -> String
showBoth x y = show x ++ ", " ++ show y

This is roughly equivalent to the Java:

String showBoth<A extends Show, B extends Show>(A x, B y) {
return x.show() + ", " + y.show();
}

The GHC compiler has an extension "constraint kinds", where the constraints are treated more like normal values (similar to exceptions). The interesting part for this scenario is that each constraint is treated as a single value, so something like "(Show a, Show b)" is a single (tuple) value. Yet the type checker is smart enough to look inside such tuples, e.g. it knows that "(Show a, Show b)" implies "Show a", etc. It also doesn't care about order, e.g. "(Show b, Show a)" will work just as well; or nesting, e.g. if "c1" is "(Foo a, Bar a)" and "c2" is "(Bar a, Baz c)" then "(c1, c2)" is equivalent to "(Foo a, Bar a, Baz c)".

Those are the sort of features that would make generic exceptions much nicer, since we could put 'throws E' on everything, and be able to instantiate E to a single exception (like "FooException"), or a tuple of multiple exceptions (e.g. "(FooException, BarException, BazException)"), or a tuple of no exceptions "()". There's probably a way to encode this already, but it would require manually packing, re-arranging and unpacking the exceptions at every use-site.
We see Eich with his own browser vision and executive style over at Brave, where he is unencumbered by legacy bureaucracy or codebases. He wouldn’t have been as free if he were at Mozilla.
but experienced doesn't in any way means that every woman that experienced harassment experienced it from one unique male each time (which is probably the least likely implication of all)

That's not the claim I was making though. What I said was that we don't know if it's a minority of men who are harassing women. The stats don't tell us that. The assertion that it's very few men doesn't really hold water though, simply because women everywhere report the same experiences. Consequently there are men everywhere who are harassing women.

It is a classical classroom example case of misrepresentation of statistic to make discriminatory remark, or shift the blame to a group.

I'm not misrepresenting the statistics. I'm saying that the statistics tell us there's a massive problem with sexual harassment of women and we don't know if that's from a minority or a majority of men. You're not using the statistics when you say it's a minority of men. You're making an unfounded and unproven assumption.

I would hope that it's not a majority of men, but whether it's 1%, or 5%, or 25% of men isn't something I'd like to even guess at. My partner tells me that it's far closer to 25% than 1% though, and I believe her.
I wish someone would hold you accountable for your bad posting.
It seems the API will be available as an Azure thing.
What SATA Drive were they testing?

Early SATA SSD has performance consistency problem, QD1 not as fast, etc.... they were way faster than HDD, but not perfect.

NVMe started off with controller that has already been fine tuned, hence comparing them to SATA SSD tends to be a lot faster. Now if you have similar controller on NVMe and SATA you might only notice the difference in the video. But the context still matters.
Planet married
Spice up your virtual meetings by inviting along a Goat
I can't really get on board - for most situations, risk of 'broken window' effect is strong unless your team all operate on the same page with a common understanding of what tradeoffs are acceptable.

Perhaps reasonable in projects/tasks that you have full ownership of and intend to continue to do so for the foreseeable future. In general though, I think there's good reason to strongly prefer the 'if a thing is worth doing, it's worth doing well' side of the spectrum.
As far as those that are on macOS are concerned, Nova seeks to challenge VS Code. [0]

[0] https://nova.app
How do you live in two or 5 mansions at the same time? Questions over questions... But yeah, I don't make enough money to understand those problems.
Transparent manuscript reporting practices in behavioral medicine research
> "LSP tooling" for Java/[…] doesn't exist as far as I'm aware.

There's https://github.com/eclipse/eclipse.jdt.ls. It's used by Visual Studio Code's Language Support for Java (https://marketplace.visualstudio.com/items?itemName=redhat.j...).
The e.foundation home page caters to users without any technical knowledge, which is great but I'm not sure users of alternative mobile operating systems are quite there yet. It's not even immediately obvious this is Android-based.

It would be useful to list some more specifics. Is this built on LineageOS? Does it come with their own cloud services? Can you opt out of that? How close do you track LineageOS?

The video shows someone installing the Facebook app. That puts a limit to how de-googled this could possibly be. How are those products distributed? Can anything from the Play store be installed the same way?

Happy user of LineageOS here, but there is definitively room for a more complete system with best of breed open source apps installed for those services most people require (mail, chat, maps etc.). Alternative application stores makes me wary however, F-Droid does an admirable job but compared to something like Debian they are still tiny.
i agree in general. i've only got ~15 years of professional experience, but:

- code says how it's done

- comments say why it's done

- comments say why something isn't done

- comments say how to use the damn thing

- comments say who thought it was a good idea to implement the damn thing

- answers to above questions are usually provided in code review as replies and actually should be comments in code
is it difficult for it to be changed when you immigrate to the US?

As a simple example: look at people from eastern europe that "americanized" their names when they came over from the old country at the end of the 19th/beginning of the 20th century.
> Did you ask the users of the system or you just assume they don't want one?

I'm pretty sure the "users" of the system are mostly programmers who write batch jobs.
Read my post again. I didn't suggest it's 81% of men. I said it's not "a few".
If you hire a domestic helper to work in your home, you can't ask the helper to clean your mom's home, your friend's home, etc.
Not all of the change on web standards has been good or appropriate innovation perhaps exactly because of Firefox smaller clout nowadays. Look at the story of Mozilla's H264 implementation and you'll see it's clearly Google that has managed to throw it's weight around and decide what would become the standard whether it was good or not.
Frugality Is Non-Linear (2019)
Try Svelte
Isn't this the premise of the Fast And Loose Reasoning Is Morally Correct paper, which argues that it's fine to ignore bottom when discussing program semantics? Or did I misunderstand that paper dramatically?
If you want a detached terminal, why not just open a terminal window?
I use this with emacs, and it works pretty well: it was built for Eclipse, but it’s well-integrated into lsp-mode and, more or less, “just works”.

There are also Kotlin and Scala LSP servers that work. The servers themselves can be a bit annoying to get working, but the emacs integration “Just Works”.
Workflows in AWS and GCP
Elon Musk says cheaper, more powerful electric vehicle batteries are 3 years off
I don't see this, how is it a mess exactly?

On the parent issue, Firefox on mobile is great because of the same reason Firefox on Desktop is great. Power over your browser. Which is important since browser exploits are using Javascript to compromise phones.

Of course regular people don't know this and will probably never care. But it's the reason Firefox probably won't die. Because the people who know tech know its strength and will want to use it.

It's shameful for a CEO to get a 400% pay increase, regardless of any other circumstances. But it matters less to me because I'm sure Firefox will always attract enthusiasts who care about their online security.
He's written a fair amount on the Green Revolution in particular, and the relation (at a spherical cow level) between agricultural advances and overall economic growth in general.

Edit: Enriching the Earth: Fritz Haber, Carl Bosch and the Transformation of World Food Production is probably how I associated high-yield, short-straw wheat with Smil.
Is this in any way related to Enlightenment which also styled the "e" similarly?
So to put them together: people who say no too much are self-tortured, and people who say yes too much are tortured by others.

Learning to say yes sounds great, but you're on the path to becoming a people pleaser. And people pleasers who listen to NPR and learn to say no are now on the path to... prioritizing themselves over relationships and self-torture.

This can't be right. How do we not torture ourselves?
> He could have even lied when apologizing! He made a choice to stick to his "principles" instead.

I can't believe what I'm reading here. We all have different principles. Lying whilst "apologizing" isn't really apologizing is it?
A lot of people use the idea of free speech disingenuously. I am not sure if this site is doing so here, but I personally believe in it as a principle.

I'm not sure if I agree with their about page though, people are genuinely not as open to persuasion as we wish they could be.
Given that we've outsourced a lot of our pollution (in the form of manufacturing and disposal), and energy usage (again, in the form of manufacturing) to China, much to their benefit, I don't see how they can say this without a straight face. Unless they too, plan to outsource all of the above.
Show HN: Mono Icons – A simple, consistent open-source icon set
A simple, consistent open-source icon set designed to be used in a wide variety of digital products.
Check out more info about our design process for this project on our blog post below. Link to download also attached. Cheers!
https://icons.mono.company/
https://mono.company/design/introducing-mono-icons/
AI-Powered App Generates Architectural Floor Plans from User-Drawn Shapes
If: “The point is to get the person to actually supply real evidence instead of unfounded associations.” then say “That’s an assertion that you provided no evidence for. Do you have any evidence?” - writing “correlation is not causation” is to make yourself sound smart, not to ask for evidence, which can be done in a much clearer and less passive aggressive way by just straight up asking for it.
Well it is always a bit tricky to translate concepts between math and different programming languages, but null is a value not a type. Although null can be a member of all/many types, but I think mathematically it's more like all those types simply have a special value called 'null', look up pointed spaces.

You've also got 'void' in C which comes close, but the way I see it this is also different, in the following way:

A function f: X -> void may return, but won't return any (useful) data. Mathematically there is exactly 1 such function.

A function f: X -> Bottom does not exists, if called it is impossible for it to return.

In category theory void would be the terminal object 1 and Bottom would be the initial object 0. It's called initial because there's exactly 1 function f: Bottom -> X. In programming terms this function just crashes.
Rhoticity: https://en.wikipedia.org/wiki/Rhoticity_in_English
That is one of the core problems Mozilla has to solve. Are they a browser manufacturer or some 'force for good' (or just there to fatten Bakers' piggy bank on the way down).
Oh yes. My favourite example is [0] (and the parent twit).

[0] https://twitter.com/ericlippert/status/1205372172534874112
I try to stay away from Microsoft as much as possible. They are not to be trusted. They had to kill the open source Atom editor first to achieve this success.. I hope more dev's refuse to blindly follow the herd, so there might be a change MS won't lock us in for good.
Thank you dear Aya :).
Totally false that athletics makes the school money. The exceptional cases are the top 10 division 1 basketball/football programs that people talk about. The vast majority of college athletics programs do not make money. Just think about it, you think a UC school is making money from a student golf or tennis player?

Also these students admitted as "athletics" did not actually qualify and were never part of the team.
Gnome Web might be our saviour.
Tell me this is not true......
>What alternatives do we have for non-chromium browsers that have a healthy plugin ecosystem?

The obvious answer is: none. It always was Chrome or Firefox, everything else was so niche that 'healthy plugin ecosystem' is out of reach. And this very likely won't change for the better, pretty much everyone I know ditched Firefox in favor of chrome by now. We all want to love firefox, but at this point, staying invested seems like a waste of energy.
Everyone I know who uses chrome cited one feature that keeps them from changing to firefox: right click, translate page. That's it. Firefox has some add-ons that are at best 3rd grade solutions to this. That single feature keeps people on chrome, and I can relate. I use a lot of sites in chrome exclusively, we shops that have no English interface for example.

They should have focused on this feature instead of all the useless junk they built into the browser.
Being a CEO of a fast rising ship shows evidence of competence, and people with high competence should get higher compensation than low competence.

Being a CEO of a stead fast ship show evidence of stability, and people with high stability should get higher compensation than low stability.

This create this perfect situation where regardless how the ship is doing the CEO should get paid more. There is always an argument for more pay.
What if you don't know whether a thing is worth doing, and the cheapest way to find out is to half-arse it and then with the additional evidence evaluate whether it'd be worth doing well?
I would guess they'd try to use tail call recursion: https://en.wikipedia.org/wiki/Tail_call
Tokenization and Sentence Segmentation in NLP Using SpaCy
> ...and that's why those budgets got cut, and large media organizations became more reliant on advertising money, instead of subscriber money.

Newspapers had chosen to became online ad-ridden tracker infested (5MB script for 5kB of article) junk quite a while before the entire publishing industry was even willing to admit that, maybe, people didn't like paper as much any more.

Sure there may be some quality journalists funded by this.

But even for the "quality" outlets, you can see that, in quantity the ad money drives clickbait trash articles (pretending to make money for the "quality" articles, but this ultimately has to end up just making money to make more clickbait trash).

News websites are in fact the only mainstream websites I visit, where I feel I need my adblocker to "protect" me, instead of just blocking annoyances. Mainly because it's just so much script compared to content.
Namecheap, the catch all email feature is great for signing up to websites.

https://www.namecheap.com/support/knowledgebase/article.aspx...

anything@example.com
I'd pay hansomely for Firefox but only if the funds go into development, not into fat cats wallets.

I'd also pay to remove junk like Pocket, or rather I'd consider paying for Pocket as a separate service. It irks me that it's forced into my browser.

I want to be free of Google. This includes Chromium which has too much of Google included. Mozilla is the last hope of a free (as in speech) internet.

On iOS Apple have enforced WebKit so there's little reason to use Firefox. It may have only ~4% market share but it's still my preferred browser. I hope beyond hope that they find a way to recover and rise again.
Yes it is glass half empty and intentionally so. The point is that it takes time to reason about problems, understand more than individual perspectives and evaluate solutions to problems. I have shot myself so many times in the past by having a quick answer to a question even if I was previously convinced it was a good idea.

As for letting people know what you say yes to, all problems need the same evaluation therefore which leads to assumptions that you will say yes. Sometimes people don't ask and just assume. Another road to hell.

It's not evasive either. There's nothing to say that you're not going to sit there and work through it with them, engage with other people and come up with a solution based on pooled ideas.

Perhaps I should say I never say yes or no until the adequate amount of research has been done.
A chromium wrapper that inserts affiliate links? This doesn't seem a compelling argument based on available evidence.
Can't talk for the WebOS TV

People don't complain about VSCode because microsoft tried hard with optimizing performance. But see any discussion about Atom, its "predecessor", or Slack (at least the older version, that was really memory hungry).
right but it doesn't actually matter. He had a choice and a way to keep his job if he wanted to. People do stuff in bad faith all the time! It's not the sign of perfect morals but it's a thing one can do if they want to keep certain relationships healthy.

He actively chose between "have a good relationship with employees at Mozilla" and "stick to his guns on the issue at hand". He made that decision, and had a hell of a lot of agency in how things turned out.

Granted this was a while ago, but imagine being so committed to anti-marriage equality that you do what he did? Why do you feel the need to carry water for somebody doing that?
I'm still a FF evangelist though it is getting harder by the day.

Eich should have realized that his actions as CEO of a highly visible entity would be viewed in a different light than if he were merely just another nobody. Missing that was his crucial mistake, he could have made the donation anonymously, but decided to do it in his own name making it a given that this would be associated with Mozilla. That was stupid.

But as it was he could have simply apologized and hunkered down, I suspect (based on board members' and Eichs' own statements) that it was the pressure from the employees that made him decide to resign.

Whether a proposition has a 50/50 split or not does not matter, if half your country is made up of bigots that doesn't mean that it isn't bigotry, it just means that you have a very large problem.
Profile sync is so deeply tied into the browser that ripping it out to abandon it would likely be more costly than just keeping those servers running forever, I think. As long as FF lives, it will keep that sync going.

Any new "external" feature is another matter, of course.
> should have realized that you can't be leading a flagship of diversity on the one hand and be a bigot on the other

Is it ridiculous to suggest we should just ignore what people think and do in their private lives?

I both fully support gay marriage and couldn't give a rat's ass about what the maker of my browser thinks about it (Eich donated 1000$ to Prop 8, 12 years ago). The real problem is that you can pay to have laws changed!

These "acts of protest" like OkCupid's banner need to stop. Most likely they care as much as I do (= not), they're just preemptively trying to get on the right side of the argument, trying to win the social justice olympics, to avoid the same fate as Eich.
Why does the vote percentage matter? 43% of Germans voted for the NSDAP. Doesn't absolve them of their bigotry.

If 100% of Americans voted that way that would just make all of them bigoted.
> Me supposes that, like with the ‘CALL 5’ mystery, we’ll learn the truth
eventually.

This "CALL 5 mystery" sounds interesting, but I couldn't find anything about it. Perhaps somebody who knows what it's about would have more luck?
Well, I'll say that Indian state demographics change slower than those of 'developed' countries.
Besides, California is an outlier, even within the States.
Handling Web Gestures in Flutter
Interesting. Any tips on what to read up on to get a background on this sort of math?
Even if this is true, I would suggest that you just try to find another job in the meantime. Who knows, maybe you can bring a good change to the world, however small, by your action.
He is not afraid to break these social norms either.
> I think modern scholars are much more likely to be rigorous

Modern scholars who literally think the Germans didn't sack Rome? I'm pretty sure the contemporary accounts of the Romans who were sacked had a more accurate view of what was going on than some simpering dipshit at Harvard trying to make a name for himself by saying the sky is actually Paisley and the Germans peacefully assimilated.

There's a place for historical revisionism; Nero being a misunderstood bunny rabbit isn't a good place for it any more than "Germans didn't sack Rome." Nice try though.
if your enemy is flying over your territory the bombs have already dropped, you need to intercept them at range and have some leeway on top because missiles aren't guaranteed to hit and you have to have time to decide to send a second wave of missiles
I tried it a loooong time ago, for C, and I couldn't get the hand of it, even though I had used IntelliJ a bunch.

I've heard it's much better than when they launched it, but our build system is so eccentric that I don't think it'd get along well at my work.
I was raised in a Mormon family, which I now understand to be a very similar experience to that of Jehovah's Witnesses.

I went on (what was supposed to be) a two year mission for the LDS church, but grew up telling myself it was out of desire and not obligation. It was definitely about obligation, just like so many other aspects of my life at that time.

I told myself I was going to college to better myself, but that was out of obligation, too.

Similar to Jehovah's Witnesses, Mormonism has created a culture that is explicitly against dissent. Leaders preach from the pulpit often that we should dismiss people whose conclusions are contrary to The Church's narrative or truth claims.

Having recently left my belief in Mormonism, I've been taking a lot of time to reevaluate my goals and life decisions. Years of compromising with conservative Mormonism have left me with a strong appetite for open dissent and honest argument.

Many times, politeness itself is censorship.