skysight-inc/HackerNews huggingface dataset:
I totally agree, and in fact in big scientific code this is an ongoing reproducibility issue---different platforms (like GPUs) can have subtly different floating-point behavior, and how do you know the results hold up.

That said, your floating-point code probably didn't come with a numerical analysis to begin with, so how do you know it's better than the replacement? (Well... Herbie does dumb stuff sometimes, so do use with care.)
Best political comment I’ve read on HN in a long time.
What? Command, Shift, and Z are literally all right next to each other. Y half a keyboard away.
If you are talking about the military, hey, doesn't NSA spy on everybody on this planet? Or didn't Crypto AG spy on every client, even on the Germans, who are allies?
Sunlight has tons of red and infrared light (red and near infrared have mostly the same effects on cells, the main difference being penetration distance).

Light is ridiculously important for mitochondrial health, and that effect on mitochondria is one of the main reasons sunlight is so necessary for optimal health. Fun fact, 75% of potential ATP production only results from light exposure, with only 25% from food. We run on light more than we do food (necessary nutrients and minerals aside).
Yep this is a good answer. And it follows that if you’re serious about this issue & don’t just like to hear yourself talk, you should go do the work at the low level. It peeves me off to no end to see the lack of seriousness around this. It’s the same exact lack of seriousness that people had before the iraq invasion, and I pitched a fit then for no gain and I’ll do it again too!
New York Schools Can Reopen, Cuomo Says
I have adopted Scott Galloway's analogy to tobacco.

Gamification is the nicotine, ad targeting is the tar of social media.
>China banned a long list of media companies

That's not a wholly accurate characterisation. The internet is regulated in China, in the same way that broadcast media is regulated in the US. You might vehemently disagree with the specifics of Chinese media regulation, but the regulatory principle is the same.

Foreign media companies that choose not to go through the Chinese regulatory system are blocked from operating in China. Google and Facebook have chosen not to operate in China rather than comply with their regulations, but many American media companies have, most prominently the Walt Disney Company.

There is a fundamental difference between having a legible and uniform regulatory system and arbitrarily banning companies based on the whims of the executive. If a Chinese company started beaming satellite TV channels into the US that flagrantly violated FCC rules, we would fully expect the FCC to take strenuous enforcement action. You or I might consider Chinese attitudes to freedom of speech abhorrent, but the regulation of Chinese media is a matter of Chinese sovereignty.
I used this: https://kbroman.wordpress.com/2014/02/12/emacs-key-bindings-...
> Splitting Google up, forcing this infrastructure to become open, etc would be much healthier than perpetually killing small products to protect Google's secret sauce.

I totally agree! But this assumes that what Google wants to do is healthy. What Google actually does is try to make more profit. A majority of choices made are guided by this one law: to accumulate as much capital as possible (after all, we live in a capitalist system).

This law is similar to other physical laws that govern our physical system e.g. "current likes to flow in the path of least resistance."

In a capitalist system, the mode of production is fueled by profit. Companies that aren't profitable or can't compete with larger companies cease to exist or get eaten up by larger corps. In turn, the wealth of these smaller companies get sucked into the larger companies, and they keep subsuming more and more. It's the natural tendency of the system. It's not like these companies really have a choice in the matter.. they're just operating within the confines and laws of the system.

In order to slow this tendency, an outside force must act on the system.
This is the first time I've heard of the .java TLD, but sadly only Oracle and its affiliates are allowed to register domains[0].

[0]: https://www.oracle.com/a/ocom/docs/registration-policy-java-...
Elaborate? If China starts dropping bombs in the US, do they think that we should not retaliate?
If you're uninitiated and simply want to grok where true-but-unprovable comes from, I recommend: https://www.quantamagazine.org/how-godels-incompleteness-the...

Wolchover is masterful here. The layers of abstraction keep piling up, and I had to read the last part more than a couple of times to really get it, but then you have it.
While it's true that the US is backsliding in some agreements, this is mostly due to the current administration and unclear if this will continue.

Historically, the US has mostly been a free market to both Europe and Canada, and hasn't enacted protectionist measures overall. The US allows European car companies to sell here despite having domestic production. Nestle, HSBC, Astra-Zeneca, Siemens, SAP, Ericsson...these are all companies that are titans in their respective industries and also have a large mostly dominant US presence.

The level of US protectionism pales in comparison to what China engages in and it's hardly fair to compare the two. Obviously there are well sourced grievances but to compare China's protectionism to US protectionism isn't correct.
You may want to try site24x7.com. Similar offering to what newrelic, datadog and the likes give in APM and infrastructure monitoring space with lower costs yet comparable to the feature sets offered.

Disclaimer: I work here.
> Splitting Google up, forcing this infrastructure to become open, etc would be much healthier than perpetually killing small products to protect Google's secret sauce.

There are probably many Googlers here who have sacrificed huge portions of their life and time getting the Google infrastructure to work. Forcing engineers to make changes to their creation is insane.

Personally, I’d rather not build anything than have someone force me to break up what I’ve built because I was too successful at building it.

I think we should all agree to just keep politics out of engineering. We build things because we like to, we should assume the same for Google engineers.
> Command-P: Print the current document

Can we please remove this one ...
Ah yes, the whole "Most people won't show symptoms so that's okay" ploy. Next you'll be saying "kids are basically immune"
I’m loving WSL2 and would like to start mixing my gaming desktop more into my workflow, but I simply cannot feel productive without CMD+left/right.

If anyone knows of a way to rebind Alt+left/right to mimic the behavior, please give me a shout out. I’ve tried to reproduce with remapping to Home/End but I’ve found it really inconsistent.
But there was a rather large correction in both home and stock prices in 2008. That's not so long ago.
Oops, I think you're right and I was wrong.
I think there is a lot of people that want the integration just for the free promotion from Zapier and a seal of approval if your app supports Zapier. I think they have define these rules to weed out all the non-serious partners.

Like a lot of the integrations would work fine with the default Webhook integration they have and then your app's webhook.
Video: Timelapse shows Earth's rotation relative to the Milky Way
Previous discussion: https://news.ycombinator.com/item?id=24077359
No, that's not what the question was. The parent poster specifically said "you don’t know if they kept a copy of the key. But is there some mechanism whereby it could be guaranteed that you have the only copy?" In your example the account key on the usb stick is not guaranteed to be the only copy, and thus, there is risk of the sender double spending that money.
Kinda yeah, but more worryingly, 10 years later you discover it had an exploitable buffer overflow vulnerability the whole time. Now you have no idea who else has known about it, how long they've known, what systems they've compromised in what way using it, etc.
Same in USA.
Ask HN: Google Play Music is going away. What will you replace it with?
I need to upload my own music files to a cloud so that I can access them from a mobile phone o Sonos. What is a good free replacement of Google Play Music?
The larger ones do. Smaller ones don't. And for sure, houses are not owned by the government. The land is, although that is not a uniquely communist thing: in Amsterdam, all land is owned by the city government.

But that really has got nothing to do with ownership. It has got to do with national security, and ensuring that the company does not conflict with public interests. Whether you agree with such reasons is another matter: the point is that it's not about ownership.
Looking like it was made by software engineers who don't care about--and perhaps even distain--emphasis on visual design is part of the brand!

I mean if you gave a front-end whippersnapper a 126kB budget clearly something with some design harmony could be made that wouldn't, as I say, scare people off. It sets the tone and in a rather quaint way says "This might not be what you are looking for." I like it.
Selfless plug. Have been obsessing over this for a few years.

Do not hesitate to contact me via contact form if you share this passion and or wants to take it further.

tbf-rnd.life/
coincidentally enough cantor's diagonalization was formative for me as a budding mathematician.
You can do the first one on Windows. Press Windows button then type anything.
I’ve found Home/End to be so incredibly unreliable on Windows.

Some applications take you to the top of the page with Home, some take you to the beginning of the line.
Could someone knowledgeable in this topic maybe tell us which international financial institutions will be mostly impacted by this kind of defaults (short or long term). Any CDS-like turmoil possible?
It certainly explains how some people are completely asymptomatic.
There seem to be perverse incentives at play in several states, pushing them to re-open even as cases and weekly deaths rise, seemingly with the primary purpose to getting people off state unemployment rolls.

Not sure it's the right term to use for people, since as you say, the jobs aren't there. But for state governments, for sure.
Option-c types a ç character; the Mac doesn't (by default) use Option alone as a shortcut modifier key. You're thinking of Command.
No, I mean I've had enough and I'm not alone. Reopen, let everyone go back to work.
> but we also know majority of them will be not get stick or only have some mild symptom

That is utterly, utterly wrong. Even in those with only moderate symptoms, damage across the body results from catching the 'rona: https://www.sciencemag.org/news/2020/07/brain-fog-heart-dama...

And it's across the body that the 'rona does long lasting damage, this is pretty rare in any form of sickness. And it's going to bite economies in the butt for many, many decades to come. The only way to prevent this is to prevent people from getting infected.
I don't know. In the past a lot of material culture survived for thousands of years by total accident. A lot of objects survived just because nobody ever bothered to destroy them, and could be found later.

It's a different situation here. A lot of cultural objects' survival is now contingent on whether their continued existence happens to be profitable for whatever tech firm happens to be maintaining their material infrastructure.
It feels like you have to squint fairly hard at this point to continue to see Facebook in the same terms that they define themselves as just being interested in "presenting the marketplace of ideas".

This seems to be the latest in a pretty long series of actions that seem contrary to that idea and that something else might be the real motivating factor.
Red was inspired by REBOL and based on it. Since Carl Sassenrath helped develop the Amiga, I would imagine ARexx could've influenced his design of REBOL.
I follow a lot of scientists and such. I do some political arguments (see my other post on this page), but it is far less than most people, and I don't engage with them. The intellectual arguments that scientists make, the papers they post, are worth reading.

Personally, I follow the rule that I will only tweet stuff I would be still excited to read in 5 years.
Convenient entropy and mutual information estimates by saving as a .png
https://www.cato.org/human-freedom-index-new

“The jurisdictions that took the top 10 places, in order, were New Zealand, Switzerland, Hong Kong, Canada, Australia, Denmark and Luxembourg (tied in 6th place), Finland and Germany (tied in 8th place), and Ireland”

6 out of the top 10 most free countries are in Europe according to this one index.

"2020 World Press Freedom Index" https://rsf.org/en/ranking_table

1 Norway 0 7.84 7.84 0.02 0
2 Finland 0 7.93 7.93 0.03 0
3 Denmark 0 8.13 8.13 -1.74 2
4 Sweden 0 9.25 9.25 0.94 -1
5 Netherlands 0 9.96 9.96 1.33 -1
6 Jamaica 0 10.51 10.51 -0.62 2
7 Costa Rica 0 10.53 10.53 -1.71 3
8 Switzerland 0 10.62 10.62 0.10 -2
9 New Zealand 0 10.69 10.69 -0.06 -2
10 Portugal 0 11.83 11.83 -0.80 2

7 out the top 10 most free countries in the world for press freedoms are in Europe.

edit: for those downvoting me for speaking the truth, why are you doing it?

https://en.wikipedia.org/wiki/Freedom_of_speech_by_country#E...

The European Convention on Human Rights (ECHR), signed on 4 November 1950, guarantees a broad range of human rights to inhabitants of member countries of the Council of Europe, which includes almost all European nations. These rights include Article 10, which entitles all citizens to free expression. Echoing the language of the Universal Declaration of Human Rights this provides that:

> Everyone has the right to freedom of expression. This right shall include

> freedom to hold opinions and to receive and impart information and ideas without

> interference by public authority and regardless of frontiers. This article shall

> not prevent States from requiring the licensing of broadcasting, television or

> cinema enterprises.
Sandy Munro: Tesla Battery Day Could Be a Sad Day for Battery Manufacturers
Someone in the comments linked to a transcript of a conference call for investors. Dish, which already owns Boost Mobile, is specifically buying the Ting subscriber base and rights to purchase the Ting brand in the future. The current Ting Mobile will operate the backend under contract. They also have fiber service in 6 cities which is not part of this deal.
it's not november yet
To throw off the feds, the mob starts using code words... like the feds don’t know.

People will talk about the subject but use different words is all.

Isn’t this as transparent as mafiosi saying things like “when you get the big fish in the lights send the fish to the butcher?“ Who would they be fooling?
Hundreds of thousands of people dead would be bad for the economy.
Yep. This is hardly new. I have been at Google since the mid 2000s and this stuff has been around at least since then. There was also a similar training when I was at Microsoft.

Btw, in the trainings I've taken, it's not just about avoiding specific words, but avoiding the thoughts behind those words. Our goal shouldn't be to "dominate the competition/market." The goal should be creating compelling experiences and products for our customers. Staying focused on the latter goal is long term better business and better global citizenship.

I think saying that Google does this to "head off regulators" is not really fair. That's like saying "asdfasgasdgasdg pays their taxes to head off the IRS." I guess? In some sense we all follow the law partly in order to avoid the consequences of not doing so but it seems pejorative to say it this way. It makes it sound like there are a lot of other people who are paying their taxes out of the goodness of their hearts, but I'm the bad person who is only doing so to avoid legal consequences.
This is doubleplusgood.
Isn’t a lot of that related to foreign investments? Or was that mostly limited to Vancouver?
I’ve about a dozen Google sites which are just an embedded Google form with a custom script at the back.

I tried the conversion tool on a dummy site and it opened a Google doc. I am not sure how an HTML page with embedded Google form with a script will be converted to new Sites.
Is this post advocating for domestic terrorism? (i.e. committing acts of violence to instill fear in political opponents)
> e.g. Google is a monopoly if you consider online advertising as the market, but if you stretch the market to all advertising (including print, radio, TV and billboards), Google might not be considered one.

Only a very narrow definition of online advertising would leave Google as a monopoly. Both Amazon and Facebook make a lot of money charging companies to promote products online.
Agreed.
Apologies if offended.
Stack-Push-Pop Covid Testing
Sure and the catalyst for that was people couldn't afford their mortgages, but current property and stock values are pumped up by an excess monetary supply caused by quantitative easing and a lack of real innovation which would offer actual good investments.

Since there is so much cash floating around and no good places to put it, when people have to exit the market new money floods in, keeping asset prices up. In January PE firms had 1.5T cash ready to invest. I'm sure that will get deployed as bankruptcies start to happen.
I wouldn't be surprised if some of the change is due to better recognition of other neurological disorders that were lumped in with Dementia in the past.
He literally did all 3? He whistleblew, sabatoged by doing this in a way that it got to the media and by insulting Zuck, and he got himself fired.
There is a marked difference between intelligence collection and economic espionage.

In the US, economic espionage is illegal and has been for some time, with legislation reinforcing that rule (such as the Economic Espionage act of 1996). If I as a private company engage in economic espionage I am liable to get prosecuted and may get time in prison. The same does not apply to companies in China, where economic espionage of a competitor is not only tolerated but encouraged.

The above linked suit was against individuals for economic espionage and not intelligence collection.
Happy Contexts user on latest Catalina here. Works like a charm and even raises a Finder window with cmd-tab switching unlike the native switching.
For what it’s worth you can detect a “trusting trust” attack using Diverse Double Compiling. David A. Wheeler implemented it as part of his dissertation back in 2009 and verified that gcc had not been infected.

https://dwheeler.com/trusting-trust/
> Who pays for search in a world where the government has stepped in and divested ads and search from each other?

Since most of the revenue from Google's ads are from ads on search, presumably the broken-up ads company would be buying the ad space on the broken-up search company's SERPs. All the search company's revenue would still come from the ads company.
To be fair, the correction was happening in March, and then the government stepped in and basically signaled it would write as many blank checks as needed to prop it back up. 100% agree that there's a stupid amount of money looking for returns with very few places to get them, though.
Related -- has anyone here tried http://www.glassesoff.com/ and had some success?

It trains the brain rather than affecting the eyes.
Ask HN: delete
I saw this yesterday. There were a shocking number of people bringing up and defending people like James Damore, the misogynist Google memo guy who guest starred on white power podcasts like Stefan Molyneux's. I don't like to be an an echo chamber, but I feel like praising that sort of thing is definitely in the relm of "far right" and makes me wonder if that's the sort of people HN is attracting?
Where? I’d be curious to read it.
Fights over trade tarrifs on those raw material and others existed long before Canada was a country.

To say the US is banning Canadian giants like shopify because they reached critical mass is very wrong and not based on reality. Using it to compare to China's relationship with western countries at best confused two different things.
Agreed. See also "barriers to entry". But the one that irks me the most is —

> "We’ve got lots of competitors, so don’t assume we control or dominate any market."

So basically... lie?. In search (their bread and butter), they certainly don't have "lots" of competitors and they absolutely do "dominate" the market.

It's one thing to discourage the use of certain phrases. It's quite another to encourage blatant dishonesty.
Buy a deep red LED. Check out GembaRed, or talk to the owner, about where to buy.
The thing I miss the most on macOS is the equivalent of Shift + Windows key ⊞ + right or left arrow, to move a window from one monitor to the other. This is useful for apps like Excel and MS Word, which can't be dragged if they're maximized.

I have set up a PC and a MacBook to share a screen, keyboard and mouse (KVM switch). If I'm switched to the PC and I want to look at a window on the Mac, and the Mac's window was on the shared monitor previously, there is no way to shift the window to the built-in Retina screen without switching back to the Mac, which has its own set of problems (I can't reliably switch back to the PC, despite using a top-of-the-line Aten KVM).

I have configured Shift-Command ⌘ + ← left arrow to move the window on the Mac, but it only works for apps with a Window option on the menu.

Some of my favourite keystrokes:

Finder:

Command ⌘ + Shift + G: Explicitly paste path
Right-click, Option ⌥ to "Copy as path"
Command ⌘ + Shift + . (period): show hidden files
Command ⌘ + ↑ (up arrow): Go up one level in the directories

Terminal:

Command ⌘ + K: clear screen

Everywhere:

F11: Hide all windows
This mirrors my experience. Adding one more point, a lot of non-outraged content is manufactured. It was nice at first but then it was plain boring and kind of manipulatistic in nature.

I think it's US-centric though (at least from how I used twitter). The same is true for India and few other countries where you can only find manufactured content.

Maybe it's related to population size. Social media and twitter segregate based on countries rather than states more. Given cities in India have more people than entire countries, the end result of more averages combined will be the same?

Another relevant comment I found:

Only something like 10% of users tweet regularly. I wouldn't be surprised if most twitter accounts are run by PR firms, bots and blue check marks. The other active ones are probably alts of power users who were self aware of their behavior and decided to be anonymous.

https://www.theverge.com/2020/2/22/21148516/twitter-suspends...

https://www.vox.com/2018/10/19/17990946/twitter-russian-trol...

https://www.npr.org/sections/coronavirus-live-updates/2020/0...

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

Easier to explain by manipulation from wealthy and state?
Red is a "reboot" of Rebol, yes.
I spent the first 15 years of my programming life in these environments (CADR and the Symbolics machines at MIT and other labs; Interlisp-D , Smalltalk and Cedar/Mesa at PARC).

They are the most productive environments I’ve ever used for development, no question in my mind. OTOH they were terrible for deployment: user hostile and expensive.

Also a lot of programming is defensive: against poor or inexperienced developers including oneself. When you can casually change anything you can get into trouble, either by breaking things or by simply embedding unexpected dependencies your code.
But they do know why they're performing the acquisition: to integrate the target with Google and improve products for users.
The LibreSSL pages, which are clearly familial, for a long time included "This page scientifically designed to annoy web hipsters". That the design speaks to you says they've got the tone just about right. :-)