skysight-inc/HackerNews huggingface dataset:
> Anything simpler necessarily sacrifices correctness.

But not clarity.

This is the crux of the problem. Mathematicians, and by extension, theoretical physicists are under the impression that the most terse, most technical, most "correct" (by some abitrary definition!) definition is the only one that matters, and that nothing else should ever stain their lips.

Take a tour of any abstract mathematical topic on Wikipedia. It's a travesty.

Nothing at all can ever be understood from those pages by even an extremely intelligent person who doesn't already know the topic.

Do you see the issue? You have to already understand to gain understanding... err... of a thing you don't understand, hence the need for a Wikipedia page. If you understood it, then as a "quick reminder reference" the Wikipedia page might be useful, but then the audience is a few hundred people.

There is absolutely no difference between this idiotic behaviour of mathematicians, and the insistence of English priests in the middle ages of sticking to Latin for theology. NONE.

If you argue this point, first explain to me why physics is done with Greek letters.

I bet whatever you say will be indistinguishable from the arguments made by those priests.

> Imagine explaining how a CPU works on the silicon level to somebody from the 18th century

I could do this, no problem. It would take about 20-30 hours of talking and something to scribble on, but I could do it.

I would use analogies with things they already understand, such as the hydraulic control lines of steam-powered machinery, and explain that electronic transistors (called 'valves' back in the day!) are just like the hydraulically or pneumatically controlled valves they use every day in industry. Just more of them, faster, and smaller.

See, it's not that hard.

> I've written and then thrown away a lot of attempted explanations because of this.

Try using geometric algebra instead of the mishmash that is vector algebra. Try avoiding complex numbers. Try to avoid Greek letters. Try to avoid mixing ten branches of mathematics just to shave off a few letters in an equation somewhere. Try using an analogy with things the audience might already be familiar with.

Try harder.
It's the chilling effect[1] of both mass, pervasive and targeted surveillance.

This has a specific legal definition which is complex and not going to be communicated in a hackernews comment, but if you want to dig deeper,

[1] https://en.wikipedia.org/wiki/Chilling_effect

Pro tip: pretend like your free speech is out of favor with the current extremist government.

Oppose tyranny.
CPUs are much more general! Unscientifically, on my 2950X/1070Ti workstation, Cycles takes approximately the same amount of time to raytrace a scene on the CPU vs the GPU. I think this is a great example of a highly parallel workload that is challenging for GPUs due to lack of coherence - extreme props to the Cycles team for making it work on GPU at all.

Also, year-on-year performance increases for nVidia GPUs are relatively boring, while Threadrippers routinely double in performance. I have just built a 3970X/RX5700XT workstation, and while I have not benchmarked it yet I expect the CPU to smash the GPU for Cycles raytracing.

Also worth noting that CUDA is a proprietary architecture from a single company - targeting it locks you in, and you need to run proprietary blobs to make it work.

All in all, CUDA works well now but I think it's ultimately a dead-end architecture - hugely parallel CPU architectures will eclipse it.
https://www.npr.org/2020/06/03/869176943/police-unions-and-c...
Can you give an example from the series of life altering experiences
No, there's a pretty clear call for SSC readers to just not work with anyone from the NYT in future. It's not about individual journalists - at any rate Cade Metz doesn't have a bad reputation and appears to believe his actions are constrained by corporate policy, rather than being his own choice.

I myself have been the (cooperative) subject of a bio piece that landed on the front page of the international edition of the NYT in the past, and notified them that if they go ahead and wreck SSC then I won't work with them again on stories. By myself this is unlikely to have much impact: yes, I've been more than a reader for them but also a story, on the other hand, that only happened once. I'm not appearing in the NYT every week.

The NYT can fix this very easily; promise Alexander their story won't include details about his real life. Then he'll bring back his blog, the NYT will get their story, and everyone is fine.

Obviously the New Yorker managed this feat of journalistic integrity, so none of the NYT's excuses for why they "can't" do it add up. I feel they've led directly to the destruction of a highly valuable resource for no reason at all, it's not a hard decision to say "no" if and when their journalists come calling again.
"We suck really hard at proving code correct that was written explicitly with the goal in mind to be formally verified."

That is why I am not a huge fan of proving code in the first place.
If you have a really complicated proof of formal correctness, then who guarantees you, there is no misstake in the proof itself? At least this is what I have seen in university, lots of complicated stuff on the whiteboard, with a result. And then someone figured out, it was wrong.

So I rather do lots of testing, for all known test cases.
Cool, any results, validation cases that we can have a look?
This Patch Does Not Exist
People who make under 20k dont pay taxes and get refunds because they are barely making enough to survive as is.
As an IBM employee in the Z division, I never take enough advantage of this. I encourage everyone to do this (including myself).
I was planning to write something along the same lines, if I make it.
I guess the reason of this happening is this - after you fail, you are too busy picking up the pieces, and trying to survive.

I have written so much about small wins at my previous startup.
And when it shut down, I was just trying to avoid falling.

In the current one, we built and failed with 5 products.
And then got more traction in 10 days than we'd ever had !
When I put it this way, it sound like the story of success (in the making).

But it isn't.
It is (if I write it), the story of how we got it wrong, and what not to do.
The bonus is that we make it.

--

Check out LightCat.io to see what got traction eventually.

You guys are smart - yes, this is a shameless plug.
I am poor and cheap, and this is all I've got.
I’m not sure about “require”, but we use multi-hundred-gigabytes or RAM instances for our Elasticsearch coordinator nodes, which seems to work well.
It's interesting how the developers and publishers managed to convince players that the only alternative to a subscription fee is f2p + microtransactions. Guild Wars was a success despite having neither. What happened to the expansion pack business model?
I agree that public transportation leaves a lot to be desired, however roads in Sofia are actually not that bad. The bigger problem is traffic congestion. It makes it impractical to commute to the other side of the city for work (e.g. ~1hr in each direction) and hence severely limits employment opportunities in case you live in your own house.

With respect to taxation, I wouldn't say it is easy to avoid. It surely is for those that are close to the governing class, but not for the average Joe/Company. Quite the contrary. If you consider doing business in Bulgaria, I would advice against keeping your capital and intellectual property in a Bulgarian corporation. Everything that makes > EUR ~1M revenue/year shows up on the radar and then you either have to play on their rules (e.g. sponsor a political party, give them a share of your company at their terms) or you will be chased down by the huge government repressive apparatus (tax authorities etc).
The speed of sound is vaguely the speed at which air can get out of the way. If you try travelling faster than that the air bunches up into a shockwave, which causes all kinds of problems and is generally different to travelling through air slowly.
I did not say that. I do not expect that from anyone. Please do not twist my words.
I saw this pic and got the idea to do it. Anyone would like to help?

https://docs.google.com/spreadsheets/d/1RIK4LQKz-wIxiVlYnPQ7...
I'm not American, but if the Senate is meant to represent the states, then it makes sense to have them appointed by the states, or elected by the state legislatures (this is for example how the Dutch senate (Eerste Kamer) is elected, though it's still proportional to the population of the provinces, unlike the two per state no matter how big or small).

But if you want your country to be democratic and representing the people, then the people's representation (the House) should hold most of the power, and the representation of the states (the Senate) should only really be involved in states-related issues. For example, not being able to create laws, but only deciding whether an issue is a federal issue or a states issue.

Merely making senators appointed by states isn't going to fix all of the problems with the senate.
Note: link leads to halfway in the article. I don't know if this is intended.
Yeah, let's talk about MS' customer support... it's soooo good.
what about sex?
The role of the press is dissent and debate.

Even if we take your rather controversial definition for granted, the press suck at dissent and debate as well.
Slovianto
'Fortnite' hosted an in-game event to teach players about racism
An alternative that works great for me and my wife is having two double beds pushed together. We have the flexibility for both space and closeness to both sleep comfortably and when I come to bed later at night I don't disturb her.
USA Sanctions Chinese Officials, Including Politburo Member, for Xinjiang Abuses
December 2009, 64179 bookmarks (2298 dead!), 2998 tags.

Almost all of those are automatic, though, from Twitter/Instagram/Pocket/RSS favouriting thanks to their own account linking and IFTTT.
Using a programming language with a better carbon footprint. Go native as much as you can.

Assembly, C, C++, Rust are some examples.

JavaScript, Python and other interpreted or GC languages require more power.
Perhaps this is where "appliance VMs " could be of use.
For now, probably not much, not even for PHP on Windows. I guess someone else will compile it. It would be a bigger deal for the few who run PHP on Windows, if WinCache or the SQL Server driver were dropped.

* Used to run PHP on Windows, because $WORK had a tiny deployment that didn't need an extra server. In retrospect, getting a small cloud vm would have worked better, but letsencrypt wasn't around back then.
A key might be the distinction between controlling the traffic vs. being controlled (or simply ignored or overwhelmed) by it.

There are examples of both wealthy and extraordinarily corrupt transshippment points, though I'm not sure what factors distinguish these.
I like pinboard but when I had problems with my archival account a couple of years ago I didn't receive any response to emails even though I chased for months. No longer subscribe but would love to find a similar alternative. Maybe poor customer service is the reason for the number of active customers dropping off.
Some is hidden, some isn't. Compressed memory swells your system process (on Windows) as far as I understand it.
Which means that it's up to us to make these long term institutions somehow.
I love the touch bar.

I did find I had to customise the Firefox touchbar shortcuts so I don't brush them accidentally.

But I love things like how VS.Code puts common shortcuts as buttons instead of trying to make me remember them. I have better things to do with my memory than remember keyboard shortcuts.
How to harness the power of serverless with Azure in 2020
Have you used Azure Functions yet?
I would say this is a 5-year-old's understanding of the police, if not for the fact that 5 year olds (at least boys) typically like anything related to the police.
Yeah not sure of of it's historically unique but 100 years ago, the Ottoman, Austro Hungarian empires fell apart. If it weren't for the communists the Russian Empire would have. And yet it didn't last yet another 70 years. And the British Empire broke up over the mid twenties century.

That said the Ottoman Empire seems like a badly run affair for a long time.
The article explicitly mentions predictable work.
In simplistic terms, at supersonic speeds the air particles do not have sufficient time to "get out of the way" of the body moving in the air. This causes the air particles to be compressed into a dense "shock wave", which can cause separation of the air flow from the surface of the airfoil, leading to a stall. The properties of a wing that handles supersonic airflow well are often at odds with a subsonic wing.
I've been using HNRSS for quite a while now.

It works so well that I thought it was the official feed.

Thank you.
Or just have the legislatures vote. The two candidates with the higher number of votes get to represent that state. With some luck, every state will be represented by one Republican and one Democratic senator. That should help to remove some of the party politics out of the senate.
Putting aside the moral issues of lootboxes, I quite like Valve's development model for multiplayer games. The revenue they get from the marketplace etc. allows them to continue improving on games for a long time without the pressure to constantly release new versions of the same game. This longevity is nice for competitive multiplayer games because the skills you develop aren't obsoleted so quickly.
Hm, imagine your ship made really big waves when swimming. Below the speed of waves you don’t really need to worry about them because you don’t really experience them - they just run ahead of you.

If your speed is close to the speed of waves, the waves that you produce get stuck on top of one another, so you have this huge wave ahead of you.

If you want to break through that barrier, you need a really strong ship to plow through that huge wave, but once you’re through it, it gets smoother - you don’t encounter your own waves any more.

But now the problem is: the moment you slow down, or make a turn, all the waves you produced will hit you from the back.

We don’t get that with water due to various reasons, but we get that with air and sound.
> Does this work for arbitrary data sorts?

It's a Comparison Sort, as they say on page 5 - so I think the answer should be yes.
Original announcement:
https://home.treasury.gov/news/press-releases/sm1055

Treasury Sanctions Chinese Entity and Officials Pursuant to Global Magnitsky Human Rights Accountability Act
Elasticsearch recommends <32GB because of 32-bit per their doc, is it different for coordinator nodes?
Felt just like you a few chapters back (I'm on 6th now). But now I wish it doesn't end too soon.
Do you have a problem with grammar anarchists?
I have touchbar, it only sets brightness of laptop, not external
Video Conference application in under 100 lines
> That is criminal law, and about persecution. This is civil law. So there is no statute of limitations.

“prosecution”, but, no, civil law has statutes of limitations, too, in fact crimes without statutes of limitations are more common than civil wrongs without them.

See, e.g., this discussion of California’s civil statutes of limitations: https://statelaws.findlaw.com/california-law/california-civi...
I wouldn't say everyone knows about it. In fact one of the most baffling and stupid aspects of the Basilisk is the strong belief it propagates that nobody should talk about the Basilisk.
That's just an opinion piece. The author assumes statues promote racism and racial supremacy without actually posting evidence of it. Have any KKK or black panther meetings been held at those statues?

Quite the contrary, some have been taken down since inanimate objects can't fight back. It's an insult to all black people who do follow the law, who do follow custom, and are integrated in society. These works of art remind us what times were and what times are now - how far we've gone together. Daesh also took down monuments to raise controversy.

Also this news is off-topic.
I recently stumbled over this list of old defunct Search Engines...

http://www.jaruzel.com/textfiles/Old%20Web%20Info/Internet%2...

It's sad that there's no real competition in online search anymore.
> "just run a final pass of insertion sort to make it useful!"

(And if this insertion sort won't complete in O(n), say <= 3n, then, fallback to Quicksort, so won't turn into O(n^2) just because the ML alg hit a corner case)
The revenue of bootleggers is sharply down since the 21st Amendment, because many people still choose to buy legal alcohol rather than moonshine.
Nice work, it’s pretty awesome to be able to plug a search engine as easily as adding a plugin. I just have one question about the recently published benchmarks, are the latency based on the two-word search "hello world"?
I run www.historio.us and I reply to emails :P
> dress homogeneously all clad in black

Much like the police when they obscure or remove their names and/or badge numbers, no?

> but in fact they do so to commit acts of violence and then meld away in the crowd, effectively taking hostage the lawful protesters.

Yep, you got that right.
In a union, how can poor exist without rich, how can rich exist without poor?

See, people will leave their country for better country if there is opportunity to do so which is plenty in EU when you compare the average quality of life of a German Vs Bulgarian

If Bulgaria is losing its people, maybe it's the intended effect of the free movement of labor?
Everyone seems really hyped with Algolia, before and after the pricing update but the major drawback i've seen is the pricing model that is still a big issue IMO.

Given you have 10K documents, if you want to make a "sort by something" you have to create a replica with another ranking configuration.

So if you want 4 sort criteria, you'll be billed for 40K document even if you have only 10k at start.

I've looked in competitors like Swiftype and even them point out this issue in the pricing page :

"Index once, sort all you want (No need to replicate engines to sort or filter your data in different ways. Once your data is indexed, it can be filtered, faceted and sorted at will.)"
Pegasus: SOTA Summarization System
That isn't a refutation - the NYT is doing well whilst most of the news industry is drowning.

In fact there has even been an article in the New York Times arguing that the New York Times financial strength and power may be bad for news:

https://www.nytimes.com/2020/03/01/business/media/ben-smith-...
> We have to recognize how much we screwed over the Native Americans. We took away their prime land on the East coast. We gave them some shitty land in Oklahoma that we didn't think we would ever want. We made them walk there in the "Trail of Tears", and lots of them died along the way. Then we decided to screw them out of the land in Oklahoma after all, but didn't go though the process properly because we didn't think it mattered.

Tangential: to me (an European) it seems quite insulting to put all the (or just the five "civilized" ones?) native northern american tribes/nations in the same basket by capitalizing "Native Americans".
Monitoring the Social Media of Police
>If you can't capture it in 314 pages, you might be writing less of a universal book than intended.

I dont find this book to be universal, this topic is so wide that maybe 30 000 pages won't be enough. Some CS books are >1500 pages look at the whole series "the art of computer programming"
That’s why we need global warming!
The word "toilet" was indeed used in English in a way similar to the French "toilette", far less so today. For example "toilet water", meaning "eau de toilette".
Jesus this is the kind of handwringing excuse Trump could only dream of coming up with on his own. So your own sexism is the fault of women or non-white men getting promoted on merit. That is weapons grade bullshit.
> unless you disable auto-updates and tap "Later" on every update notification

Some of us do that for this exact reason. I wish there was a way for me to just pick software to give root to though, this is way less secure.
The people that use CUDA don't care about the underlying architecture, they need results. Which ever manufacturer will deliver those results will get the $.

Raytracing is not an ideal match workload wise for a GPU, too much divergence, but there are plenty of workloads where GPUs will have an edge for along time to come.
I think the "free" part of f2p is quite compelling to a lot of people. Indeed "free" software in general seems to rule the world.
The 'Real Lord of the Flies'
People put statues up for political reasons. People pull them down for political reasons. Circle of life man.

My opinion, white supremacists are useful idiots that are no longer useful. That's why the authorities are sitting on their hands as people pull the statues down.
12 hours is a lot, but for shorter distances most people would prefer a good train to a plane. Living in Europe, I will take 4-5 hour train ride compared to a 1h flight, most of my friends as well.
Many people will also prefer 5-8 hour 100mph train ride to 1h plane ride due to comfort, price and carbon footprint.
Barbados is planning to let people stay and work remotely for a year
> They "cheat" by feeding how all elements compares the their neighbours at each step. Like, if you give the algorithm that input for free what's the point.

How is that "cheating"? The algorithm is still learning how to do a comparison-sort, which has direct applications (assuming it performs well).
It might for example require reddit to ask you for your credit card before it lets you see an nsfw subreddit. And then again the same procedure on the target site. Not everyone is comfortable with giving adult websites their credit card information. (I for sure would not be.)
Show HN: ApiKit Generates Golang client and server based on Swagger definitions
That's exactly what New Yorkers told Massimo Vignelli in the 70s when he redesigned the subway map for easier readability, at the expense of actually representing reality.

https://youtu.be/OdDsV19DBCU
I hope to provide some perspective :
The Standard Model (SM) is based on a specific number of free parameters, such as the masses of elementary particles, the number of generation of families (quarks, leptons/neutrinos) etc. Those parameters are not fixed by the theoritical model, in the SM they are free (I hope it is clear enough). They are inferred from the experimental data so that we have defined what they are now.

The number of family of neutrinos was deduced for the first time in LEP experiments (in the 90s, the predecessor of LHC at CERN) : It was not known before whether there were 2, 3, or 4 family of neutrinos.
If you want to learn more : http://pdg.lbl.gov/2020/reviews/rpp2020-rev-light-neutrino-t... a review about this subject. In summary, the combined result from LEP experiments is N_neutrinos = 2.984 +- 0.008.
If you are interested, you can see the experimental plot that shows the fit and the difference between of a SM with 2, 3, and 4 neutrinos : https://arxiv.org/pdf/hep-ex/0509008.pdf Page 36 Figure 1.13, the data points are in red with their error bars (extremely important to pay attention to them and their size !) and the curves are the SM prediction for 2, 3, and 4 neutrinos.

In my opinion, this is a very nice plot that shows how different is the SM with 4 neutrino. This is why the SM is with 3 neutrinos and not otherwise, it is because the experimental data that were used to infer all the free parameters of the SM. The last ones were related the Higgs boson, and now everything is fixed.

To accommodate a 4th neutrino, then we would need to go beyond SM.
Same is true for most developing countries like India, Pakistan, etc...

The people have control over others through muscle power and threats and law can't reach them as they also control all guardians of law.