skysight-inc/HackerNews huggingface dataset:
> Compare this to Korean where you can learn the writing system in a single day

I really, REALLY wish people would stop saying this about Korean. Sure, there's a couple of dozen letters and you can learn their individual default pronunciations in a single day, I'm not doubting that.

But that literally doesn't get you even close to being able to correctly pronounce many common words, because, guess what, when these letters are together in a word they influence each other in different ways and their pronunciation changes or they may not even get pronounced at all.

There is a reason why all these "learn hangul in 1 hour" web pages/videos never mention the existence of four-letter syllables. ;)

Learning Japanese phonentic alphabet(s) on the other hand, really can be done in one day and they are consistent and phonetic and there's no weirdness in pronunciation, but of course then you have to deal with thousands of kanji too. So I guess from that perspective, Korean really is easier, but learning to correctly pronounce the sounds and words in Korean is in my opinion much harder than in Japanese.
According to this document, direct C++ interop will soon be done without the need of extern "C" wrappers. [0]

[0] https://github.com/apple/swift/blob/master/docs/CppInteroper...
I think searching e foundation is the easiest.
Can't speak for others but I stopped using Firefox for the following reasons, pretty much in the order of priority.

1. When I learnt about the corporate structure at Mozilla. I simply don't drust any large corporation with matters related to privacy.

2. What happened with Brendan Eich. That just wasn't cool. What someone does in his personal time is non of my business. Virtue signalling of any sort, to me, is a hallmark of the wrong crowd in power. As far as I could see, Eich refused to bend the knee which is an admirable quality considering the fact that internet privacy is an uphill battle against giants.

3. Lack of innovation and getting in bed with Google. If Firefox needed money, all they had to do was just ask. How can they, when they have to pay a CEO millions of dollars.

Now I'm primarily using Vivaldi. Sometimes Brave. I'd support a small, talented and a focused team anyday.
If all of the main participants making public statements about something does not convince you that it went down the way it did then I don't think there are any arguments that would convince you at all.
The internet hate mob is not just mean tweets though. Some people are crazy enough to go after your family, try to get them fired, stuff like that. Basically, it’s resign “voluntarily” or we will continue to terrorize you and your family.
One of the remarkable property of ML languages is algebraic data types and then type systems. Look here

type Bottom = private Bottom of Bottom

Modeling any kind of data is intuitive and simple. This is why ML languages (F#, oCamel etc.) shines in industries where you've complex data like Finance.
Reading any F# code is like reading a novel. It starts with modeling of data and small functions. Then these small functions and data evolves into bigger features. File by file you keep moving upwards.
For example if you are writing a Json parser in F#, you start with Modeling Json data first. And here it is

type JsonValue =
| String of string
| Number of decimal
| Float of float
| Record of properties:(string * JsonValue)[]
| Array of elements:JsonValue[]
| Boolean of bool
| Null

Then everything starts from here.
> the US the military is social welfare

The military as 'social welfare' is true in other countries. Example: want to become a civilian vehicle mechanic with a driving license but you failed formal education and can't afford a car? Join the British Army and get into a role that involves driving and maintaining a vehicle (many military trades involve vehicle use).
I am newb here, but I found this to be hilarious.

https://news.ycombinator.com/item?id=13142737

Also, this one was nice.

https://news.ycombinator.com/item?id=15107536

Edit: Formatting
Because Google labs was just too confusing right?
> It's not like firefox is bad or worse in any way.

Actually I was a long time user of Firefox and I finally switched to Chrome because Firefox was painfully slow at basic things like scrolling.
They often do that. Its called converting to a new religion.

Its one of the most politically hot topics in India for a while now.
Interestingly, if you read the article [0] linked in the reddit post referred to in this blog post, the author points out that the Haskell version of the bottom type has a problem - you can construct an inhabitant. Pulling out the relevant section of code:

fix :: (a -> a) -> a -- defined in Data.Function
fix f = let x = f x in x -- least fixed point of f

false :: Void
false = fix (id :: Void -> Void)

Since you can find an inhabitant of Void, you can therefore create an inhabitant of any type, so you can prove any proposition:

inhabitant :: a
inhabitant = fix id

I don't know if this is only really a problem if you were trying to use Haskell as a theorem prover. It might be the case that in practice, you're unlikely to run into this inconsistency. I think [1] provides a bit more discussion regarding this.

[0]: https://gciruelos.com/propositions-as-types.html
[1]: https://frenchy64.github.io/2018/04/07/unsoundness-in-untype...

EDIT: Just found this [2] which describes the above problem in type theory language.

[2]: https://en.wikipedia.org/wiki/System_U#Girard's_paradox
> But that’s not the case for US jets.

Why? It's hard to predict how relationships with the US will look over the next 40 years (F-18 is 37 years old). Especially with relationships on a downward trajectory during Bush's and Trump's presidency.

Sure, the risk is a lot smaller than with China, but it does exist
The key distinction is addressing modes usable in instructions. Even RISC architectures that spiral into complexity tend to keep the basic separation of LOAD/STORE vs other instructions, while CISC almost always allows flexible arguments of registers, immediates, or a variety of memory address expressions to be used with most instructions.
That does not mean that they problem is the google money. The problem is that they had (have) lots of money that they did not spend smartly.
Modern CEO pay is a cargo-cult. Companies pay CEO insane amounts because "everybody else does it" and "it helps hire the best".

These theories are untested, except that we now know for certain that paying $2.5M doesn't guarantee that the CEO is any good.

I would bet you can hire an excellent, technically competent CEO for Mozilla for $250k a year.
>should have realized that you can't be leading a flagship of diversity

And there was me thinking he was just leading browser development.
Do you also get PFS with Opportunistic Wireless Encryption?
How is it possible that non-profitness does not inherit to a child company? Seems like a conflict of interest.
From the FAQ: "/e/ is forked from LineageOS. We’ve modified several parts of the system (and we’re just getting started): installation procedure, settings organization, default settings. We’ve disabled and/or removed any software or services that were sending personal data to Google (for instance, the default search engine is no longer Google). We’ve integrated microG by default, have replaced some of the default applications, and modified others. We have added a synchronization background software service that syncs multimedia contents (pictures, videos, audio, files…) and settings to a cloud drive, when activated."
I instantly get my hackles up whenever anyone or any outlet mentions they advocate free speech, atheism and reason; while I believe in all of them, it's often used as a shield and an excuse for having beliefs that they know aren't acceptable to a lot of people. It brings to me associations of insufferable smugness.

Being an atheist isn't a personality. Everybody believes and advocates free speech - for themselves. Reasonable debate is a two-way street.
Turns out if most of your employees dislike you then it's going to be hard to be an effective leader! This is despite him having had many opportunities to take outs/apologize etc. He could have even lied when apologizing! He made a choice to stick to his "principles" instead. Of course you face consequences for this kind of behaviour.

This is extremely non-controversial in any other social setting, why would running a company be different? Why is being forced out for being a bad person seen as this new phenomenon when people stop interacting with people they dislike _all the time_?
Eclipse foundation has a new project, Theia[1], which forks VSCode and one of the reasons they state is that the extension ecosystem is not opensource.

They want Theia to be a tool to build your own editor and it can be built as a hosted solution (like code-server) or a standalone editor

Edit: I see that the article also mentions Theia but this point about Theia vs VSCode is not mentioned.

[1]: https://theia-ide.org/
75-80 years old people as they studied are really not that old to have significant issues with cognitive functions, of course physical functions get hit.

My father who will be soon 70 is doing hiking in mountains pretty much all summer, while his mother when she was in her 80s took care about her house, garden and animals and only in the very end with tumor on brain experienced very fast decline.

I'd say, just stay active, don't sit at home all the time, if you want to stay in good physical condition and socialize to keep good cognitive functions.
Just as another data-point...

~250k monthly unique users, as well as actively promoting it (to the point where they make up ~15% of users) and it's bringing ~$500/mo.

Slightly unrelated, it's been a bit of a pain to have all the site features - mostly related to Canvas API - work for Brave users, since fair amount of them are absent in Brave due to their fingerprinting potential.
> It's worth noting that she was only able to get justice

I'm not sure why people keep saying she got justice. It's not justice until she's compensated for the lost salary / effort of defending herself, and the person who wrongly accused her is punished, along with the corrupt people who helped him.
This, I have been a long time FF on Android user, mostly due to the ability to run add-ons (ublock etc). Latest update complete botched it. Couple of hnags/restarts every day, jittery UI, unintuitive button placement (e.g. new tab)...

I want to use Firefox (or any decent browser not based on chrome), for several reasons, but this way it gets harder and harder to justify to myself.

What alternatives do we have for non-chromium browsers that have a healthy plugin ecosystem?
>Mozilla stock

Stock?
You should read your comment back to yourself.

Imagine saying, "well, I know he gunned 20 kids in a school down, but he had such a bad day, he's just couldn't take it." Sure it's probably true, but it's definitely not right.
In the subtitle, "demonizing men".

Then the framing as "progressive language" and "paternalistic". And then the argument that a "breathtaking range of disappointing male behavior gets swept under the umbrella of MeToo". This is quickly followed by the "certain progressive spaces" bogeyman, which is followed by the familiar "men, dehumanized by a framework that casts their desires as inherently predatory".

It was a lot. We usually see one or two.
> the business frame cognitively activates one set of goals — to be competent, to be successful; the ethics frame triggers other goals — to be fair and not hurt others

It is interesting. So companies are there to make business decisions. People doing business with companies are also making their "business" decisions. So both tend to lie, at least a little, or not reveal what is not directly asked. It is not uncommon to deal with say insurance companies, and tell all the white lies, and sometimes more. But on the other hand, it is not uncommon for insurance companies to use any word you say, against you. Thus the system has taught us to be dishonest when dealing with money. If you are too honest, the other one takes advantage on that and starts to act against you, probably for a reason, but dishonestly. The companies (and rich people) also do a lot dishonestly, not always illegally, but using loopholes to e.g. avoid taxes. It is dishonest, but it is still legal.
> If I ever find myself in an editor without some kind of vim mode, I'm totally hating life.

Most of the Vim emulations are subpar (slow, lacking features), not to mention when they redefine some keybindings[0], so my life still ends up to be miserable.

0: https://rmpr.xyz/Internationalization-with-Doom-emacs/
> I don't think you'll be able to attribute that quote to me. Eich fucked up, and should have realized that you can't be leading a flagship of diversity on the one hand and be a bigot on the other.

I have a problem with characterizing Brendan Eich as a bigot for donating to a non-fringe political group. IIRC, the proposition campaign he donated to had close to a 50/50 split in support for/against. Eich's ouster crystalized in my mind that Mozilla wa no longer focused on its core mission (the signs were already there - dropped Thunderbird, had an oversized IoT dept). I am speaking as a person who was a vocal Firefox evangelist since the 2.x days
including stock compensation?
Can anyone explain to me the benefits of sve over the old stuff?

Edit: intel had some issues with wider simd, is SVE affected by the same issues?
> There are many execs making orders of magnitude more

For that kind of negative growth? No, of course not.

> In its fiscal year ending January 31, 2019, for example, Snowflake had revenue of $96.7 million. A year later that number was $264.7 million, or growth of around 150% at scale.
That is shocking if true, but doesn't seem to be?

AMD's Lisa Su was the highest-paid CEO of a company in the S&P 500 last year. Su earned a total of $58.5 million in 2019 [0]

Mitchell Baker, Mozilla's top executive, was paid $2.4m in 2018 [1]

[0] https://edition.cnn.com/2020/06/01/tech/lisa-su-amd-highest-...

[1] http://calpaterson.com/mozilla.html
Well, to be fair, he contributed $1000 to a huge real-life fucking hate mob.

Ramble on about 'SJWs' or 'cancel culture' or whatever if you like, but the fact is that social actions have social consequences, and this is an example.
> And it still might have been the right thing to try despite the chance being low.

This is exactly my take on it.

I think timing was a big part of it, too. They were too late to get a foothold on the current market, but too early to take advantage of the more open platforms coming out nowadays like the PinePhone.
Democracy (at least the US flavor of it) has run its course and is no longer working - since apparently the president can appoint the top brass of the judicial branch, and the house can just make legal action against the president go away. To name a few examples. Also voting is not considered a right or obligation, but a privilege. I can go on.
My case might be somewhat niche, but as a developer, I find myself really struggling to use Firefox for development, due to the awkwardness of the developer tools (or perhaps a lack of familiarity)

This makes it annoying to go from work mode to personal browsing mode, and so every time I try to make the switch to Firefox, I eventually revert back.

Then I discovered Brave, and was immediately familiar. Haven't used Chrome since.

Anyone else have this experience with Firefox?
And why should anyone contribute to an open source project of a for-profit company without being compensated?
But they also have to live from those funds while in the country where they work, so even if food & accomodation are covered it's not as if you can just apply these home country cost of living and claim it's a good deal. These migrant workers live incredibly frugal to be able to send money back home and are basically excluded from life in their host country.

It's exploitation, even if all sides have some benefits.
for Firefox usage, I recommend a look at Firefox for Android's Google Play page [0]. Reviews are absolutely catastrophic for the recent "update"

https://play.google.com/store/apps/details?id=org.mozilla.fi...
Very interesting. What are the rest of your system specs?
It is not a dumb question. Null has many drawbacks compare to bottom types. In many languages is is part of other types so that your code happily compiles with a function that has String as an input parameter and gets a null. This is why you see in Java a lot of null checking usually. In ML languages people decided to do better and started to use Some / None, etc. which needs to be handled explicitly, so you do not forget null checking accidentally.
Nothing Can Stop Bitcoin, Not Even a Generalized Shutdown of the Internet
I'm not sure where its ever been said that every user agent must be served the same content. In fact, content negotiation is part of http.
When I was a young engineer, I would be aware of the project I was working on, and the technical details. But nowadays I work on the level where I have to be aware of macro economics trends: I am tracking how different countries will be recovering from Covid19, how adjacent industries are doing, how the US-China trade war is affecting technology exports. My understanding of technology goes as far as performance metrics, value prop, schedule. I no longer have the time or inclination to dig into technical details, I leave that to the youngsters.
TIL: Curl Wttr.in
Getting the current weather from the command line.
I believe so, yes. I use FF with DDG and when I need to Google something I do it via the omnibar (alt-down, Google is second choice search engine) rather than adding !g in DDG, because AFAIU it kicks them a few pennies.
Santa Claus Machine
The Mel scale attempts to describe how humans perceive frequency difference at different frequencies. When using a mel-scaled filterbank this determines the position of each filter on the frequency axis. Which is closer to logarithmic than linear. Mel-scale is commonly used in spectrograms when doing machine learning on audio. Common alternatives would be the Bark scale, 1/3 octave filters, or Gammatone filters.

The spacing of filters is not the most critical in a loudness calculation though, but instead what loudness weight to have at the different frequencies. In EBU R128 the k-weighted curve is used. This is very smooth across frequencies. So if one were to implemented this in spectrogram (time-frequency) domain with a filterbank, one could do a decent job in any of the above mentioned frequency scales. If a standard would recommend something like that, I think 1/3 octave bands would be chosen, because it is standardized in IEC 61260. Whereas Mel scale is not standardized by any formal body (that I know).

But I believe the k-weighted in EMU R128 is is most commonly implemented by in the time-domain, which means that there is no need to have a filterbank with discrete frequency resolution.
Former SAP executive implicates global software business in corruption probe
I think it was just a matter of evolutionary steps. The P5 had two 32bit ALU pipes, and a bank of 64bit registers for the FPU, so MMX was a relatively modest extension attop them to support 64bit wide short vector SIMD. SSE switched to using dedicated registers and wider widths, but was an evolutionary improvement.

I'm pretty curious whether Arm SVE, or the similar design in RISC-V, will pressure x86 into a similar extension. The vector length agnostic binary support is certainly compelling.
Well web browsers are to complex to maintain by part time Dev unless you have an upstream to rebase on or do not mind in implementing new stuff. You need at least 10 to 20 full time Devs at the minimum and that's if you libaries for all web APIs which clearly Firefox and Chrome are not doing. I wish there was a way to browser modular frankly.
> that have nothing to do with Firefox

Not arguing against the overall point but Thunderbird has nothing to do with Firefox either and is still a thing Mozilla's reason for existing is not just their browser.
New FF also feels significantly slower. Can't really put my finger on anything specific but it is no longer fluid.

Even Edge is now chromium based, I think it's a lost battle.
I’m not sure accounts with childish names like ‘cyberdildonics’ pass the smell test either.
They were removing LineageOS headers from files and when called out just added "and others" instead.
Searching for microg, excluding gitlab and the forum, returns over 1100 results (with google):

site:e.foundation -site:community.e.foundation -site:gitlab.e.foundation "microg"
A picture paints a thousand words, but a working prototype is worth a thousand concept pitch decks.
I think it's likely that 81 percent of all people have experienced having something stolen. That doesn't mean 81 percent of us are thieves. Similarly, I guess 99.99 percent of us have experienced receiving spam in our email. That doesn't mean 99.9 percent of us are spammers.

We should not confuse perpetrators and victims.

From the several hundreds of men I know as friends, class mates, colleagues, I have never experienced a single one cat calling, groping, grooming or doing worse kinds of sexual harassment. In hundreds of parties and thousands of work situations, I've never seen it. Not even once.

I've seen both men and women circulating sexually charged jokes or telling such jokes in work environments, and I've seen both men and women comment on each others looks or hitting on each other, both when it was wanted and unwanted. But that's it.

Yes, that's just my anecdotes, but it seems far more likely to me that we are talking about a small percentage of men doing it all the time than most men doing it sometimes.