skysight-inc/HackerNews huggingface dataset:
I want to put on end to the "you can't contact Google" comments that comes up every time Google Cloud makes the front page.

You can contact Google Cloud. They are very responsive. I'm currently at a small startup using GCP, and I've been at similarly sized startups with equivalent AWS spends. I have found it easier to have serious discussions with GCP, compared to AWS.

We have dedicated GCP contacts. We actually have a Slack channel we share with our dedicated GCP contacts, so we can easily ask questions. Two of my coworkers just got out of a meeting with Google PMs less than an hour ago. Another one will be meeting at a Google office tomorrow. I had a meeting with about a dozen Google engineers and PMs from their database team(s).

Yes, you have to pay for support. They have a couple different support options, depending on your needs. But you have to pay for support with AWS too.

The one bad thing about Google Cloud support is their Level 1 support. It is very easy to submit a support ticket, and they will respond quickly. But if you are highly technical, and know what you are doing, and can research yourself, Level 1 support it nearly useless. They do make it easy to to escalate, with a prominent Escalate button in the ticket. And you can always escalate through your direct contacts (Account Manager, Technical Account Manager, Customer Engineer). But it would be nice if Level 1 could be bypassed, or were more technical. I think they are trying to iterate on the process. They recently started offering to have a video call a lot of the time, which isn't my cup of tea, but I think it is a sign that they are trying to improve the Level 1 support.

If you are using Google Cloud as part of a business, you will be able to contact them. You will probably have an account manager that you can probably meet in person with. If you pay for support you will be able to submit support tickets, real humans will respond, and respond quickly.
Goodstein's theorem is easily provable in the [Dedekind 1888] theory of the Natural Numbers.

Cohen's incompleteness results do not hold for a theory of sets that axiomatizes sets up to a unique isomorphism. See the following:

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3457802
They deny any SLA compensation unless your application is FT over 3 or more AZs.

For what it's worth, the 3 AZs requirement is their internal policy as well, and they intentionally run exercises where they randomly shut down important looking data centers to verify that failover is working correctly.

If you haven't set up your application to continue working if the plug is pulled on the data center, there is a non-zero chance that it will be shut down due to intentional action.

To be fair, there is also a non-zero chance that it will be shut down due to other people's actions. My two favorite examples are, "Gypsies stole the cables to the data center so that they could sell the metal in it" and "Hunters used the shiny supports for the cables for target practice." These happened in Eastern Europe and Oregon respectively.

On the flip side, their tools make it really easy to have your software run extremely robustly. Even if Gypsies or hunters attempt to ruin your day.
Yeah no burden of proof, they just check a box to say their claim is legitimate and your legal action is probably the only way they can be held to account on that.
My experience too. Although I mostly order from Amazon Germany. The barrier for selling from Germany is also higher as you need additional tax registrations in Germany since this October.
I’ve worked in and traveled around the US for a few years ( Nashville, San Antonio, Palo Alto, SF, Portland, Houston, Atlanta). I left the US in 2014 and haven’t returned since then.
I can share that the horror stories I read about the current US politics, climate change denial, police excesses, homelessness and the related squalor have reduced my interest in considering the US as a long term home :(
I’d rather innovate in other countries that are friendly and safer ( I’m in Singapore now).

I work with a PhD in mechanical engineering, who shares my views about the US not being a Long term place to stay at ( at least based on current status).

The rest of the world used to see the US as a leader, as a peace keeper. Now, not at all. :(
The Stadia pro tier fee is just $9.99/mo. The GPU and CPU you could consume playing a AAA game on that (yes, even on the purported "medium" settings) for just a few hours a day surely far exceeds what it could be sold for wholesale.
Nothing can falsify superdeterminism in general. If you proposed one specific model of that, that might be falsified.
We were having the same problem with cat litter
I'd disagree. Microsoft has an EA with every significant corporate entity, and basically taxes everyone. They have the ability to leverage those relationships unlike any other.

Azure is the one to beat, IMO.
You're kind of illustrating my point, though - the very language we are using to describe the problem hides the fact that there are a lot of people with a lot of demand for goods and services who can't access them because they don't have savings, and, in fact, have a lot of debt.

The framing of the problem as a "savings glut" reflects this fundamentally wealth and investment oriented way of thinking about economics.
Any guesses to why aren't Super Micro or other affected parties taking legal action, if it was a hoax like what's reported in this case?
I'm not an Apple dev, but you just reminded me of Apple's excellent support. I got a problem on my development account and immediately received a phone call from a human helping me solving the issue.
How we made images of methane, an invisible gas
Absolutely. Unless you still have ironclad logging showing that no data was transferred.
https://blogg.bekk.no/introducing-bekk-christmas-ad01660ccad...

Is there a rule against authors posting their own content? It's not some grand conspiracy, it's just an christmas campaign by a company that has asked their employees to write about topics that interest them, and those articles are shared during advent. On the 25th it'll presumably go quiet again until December 1st 2020.
I'm a big Mattermost fan but it really needs end to ends encryption. Also the Android mobile app is pretty weak.
We have laws that say it's not ok to hit pedestrians to avoid obstacles, which is a strong prior that society doesn't want, and enforces against, a greedy self-trolley solution. Expect legislation prohibiting this behavior.
Ask HN: Moonlight without violating employment contract?
Hi!

tl;dr: I work at Google, don't want to be fired, but want to start some side businesses/experiments online. Advice on getting started?

My family really needs our health insurance right now, and I make great income. However I'm slowly dying inside every day at work. I would like to do something more creative and more in my control, just to try and see how it goes. However, it's unacceptable right now for me to lose our health insurance / miss payments on our mortgage.

How do I validate what I'm actually risking based on what I do? I fear that if I actually try to go through corporate legal they'll just say "no" and now have it on record they said no, thus a fire-able offense if I try anything. Lawyer recommendations maybe?

Thanks for any pointers! I have a lot saved up so maybe I'll just leap, but I'd love to moonlight a bit and get some market data first so I can make a more educated gamble.
Facebook Found Nigerian Scammer “Doesn't Go Against Community Standards.”
I reported a fake profile to facebook and they rejected it, said..

"We reviewed the profile you reported and found that it doesn't go against any of our Community Standards."
https://i.imgur.com/ZYbZAJf.jpg

Scammer is still on the loose!
https://www.facebook.com/profile.php?id=100037670460985

How can you recognize a Scam?
1. The profile does not have a username in the URL yet
2. Right click the profile photo and do a google search on the image this will lead to some results taking you to sites that use the same profile picture
3. Click on "Friends" and look at the Followers, if that Veteran has Friends from Nigeria then you know its a scam
4. That Profile has contacted you via Messenger / Chat and you have no Friends in Common, asking for something
5. Profile Photo AND Cover have been "Updated" Recently before you got contacted

Facebook could have at least made that person "Verify" itself, but they didn't.

Watch this Documentary to learn more:
https://youtu.be/U4kCN7TZ6us?t=368
AFAIKT, you can block Google DNS and all your Google Cast devices should fallback to DHCP assigned DNS.
Yeah ending google cloud would basically be the end for enterprise products at Google, no way to recover
All I am getting from this page is a "Login to read the full article".

Surprising that the regulators don't require them to acknowledge and publish that they are being fined. Publicly that is, not behind a pay wall.
>> I can't help but wonder if they got it dead wrong, but anyone clarifying or suing to prove otherwise would expose something else and so ... nobody talks?

Sure. What if the boards were hacked, but not by the Chinese? What if some company insiders knew? Just wildly speculating, but the response at the time seemed odd to me.
100% agree. Costco actively curates the products they sell.

They even have "roadshows" where vendors literally compete with each other to get selected.

Why this matters to me is that by doing so, they have earned my trust. I have confidence that if I buy something at Costco I don't need to research it to the ends of the earth. I know it will be of good to great quality, and competitive on price.

It's almost literally the opposite of Amazon in this regard.
The idea that pharmaceutical companies focus on treatment at the expense of cures is inaccurate. Not because they’ve decided to put the greater good ahead of profits, but because they realized they could price breakthrough cures to match the customer LTV of chronic treatments.

Novartis recently won approval for a cure to a rare genetic disorder, priced at two million dollars: https://www.reuters.com/article/us-novartis-genetherapy/nova...
Trust has a problem of root. You cannot exactly trust even your parents these days. They are more often wrong than not. Grandparents, even more so.

Even society is shown to be untrustworthy, and the social processes of science.

Thus some reactionaries want to replace trust with authority. Or markets, which is another name for social proof, but with much less transparency.

Ultimately the other parts of trust are verification and reputation, which are both not unassailable. (Sybil style attacks, bribery, institutional and social biases.)

But, our saving grace might be simpler: cooperation without trust is possible and might be as efficient if things get bad enough.
I can only speak to my local system, but the NYC subway map there is a travesty. Everything outside Manhattan is more wildly inaccurate than even the Vignelli maps of the 60s and 70s. I would expect tourists to get much more lost with this map than with the current standard.
The Big Hack: Inside the Chinese Cyberspies’ Bag of Tech Tricks (2018)
So what does the law say?
"As a result of my observations of users, there are NO command key equivalents in my product, Smart Labels, except for Undo, Cut, Copy and Paste. The Clear and Escape keys will clear the label text edit box. Users may demand key equivalents, but I will resist them"

- While I largely agree with this, I think one thing this era of computing missed (and Windows still does) is the power of querying for items - I'd love to see a comparison between mousing over, keyboard shortcuts, and querying (e.g. macos's cmd+shift+/, plugins like https://shortcatapp.com) for items between users that are deeply familiar with an application versus occasional users of an application and new users.
Back in the 80s or possibly 90s that might have worked, but an experienced admin today will look at a /24 and go "I can support 16 sites with that", whereas a /64 is really the smallest allocation you should see with IPv6, like a single IP address in IPv4.
Chinese institutes investigate pathogen outbreaks in lab workers
Homelessness is an immutable characteristic they can't change? Sounds like you're reinforcing why the change in framing is helpful and emphasizing their personhood first, their living conditions second.
Aside from working the same job for decades, it wasn't just any job; she wasn't a secretary at a dentist's office:

> In 1947, she joined Cleary Gottlieb Steen & Hamilton, a Wall Street law firm, where she worked as a legal secretary for 67 years and observed the investment strategies of the lawyers.

> “She was a secretary in an era when they ran their boss’ lives, including their personal investments,” Lockshin tells the Times. “So when the boss would buy a stock, she would make the purchase for him, and then buy the same stock for herself, but in a smaller amount because she was on a secretary’s salary.”

So she was likely a reasonably well paid secretary at a wall street legal firm that would have access to the best financial advice available.

Also, as far as I can tell from the article, she was married but didn't have any kids.
We went Skype => Slack => MS Teams => Mattermost for our developers. If Teams wasn't such garbage at basic things like markup and pasting screenshots, we might still be using it for everything.

I had no real concerns with Slack from a development perspective. We simply wanted to try a unified messaging platform for the whole enterprise (our non-developers much prefer Teams/Skype for some reason). That experiment failed for our developers, so we now maintain 2 stacks - Teams for company-wide communications, and Mattermost for developer-intensive communications (or anyone else willing to teach themselves how to use a new thing).

Mattermost has proven to be an incredible solution for our development duties. I just installed it directly on a EC2 t3.small instance and we've been using it for about 9 months now without any pain points to speak of. I literally haven't touched that machine since I turned it on day 1. To be fair, we are <10 developers, but we get pretty heavy with the screenshots and json/code dumps throughout the day. We did make some compromises with authentication in favor of expediency of deployment, but it's really not a big deal for our developers to keep track of their LDAP vs their mattermost credentials. If someone complains enough I'll spend a few hours to hook up LDAP too.
Skymind Is Now Pathmind
That's more of a result of the fact that Chromecast is a locked-down, proprietary platform that doesn't allow you to reconfigure it. In fact, it's not really application-level DNS if the entire Chromecast system uses it, it's just hardwired to servers that you can't change because its not an open platform.
Interesting, do you have a link to the paper?
No one should be allowed to reach "what are prices?" People who are there already should be taxed back down into the "I care about prices again" range within a few generations.
I'm really shocked at some of the responses you're getting. I'm in a similar situation, except for Alzheimer's. I signed up to 23andme (and several other genome companies) explicitly to give them more data for their research. The product was kind of cool (I connected my mom with a long-lost brother!) but the real product is research and what comes from that research.

There are dangers if it's misused, sure, but the benefits for literally everyone on the planet dwarfs even the worst, least-likely dangers, IMO.
What's funny about that? I think it's awesome.
But those laptops are company property right?
As an Xoogler and someone who used GCP professionally I had numerous issues with their support, especially when helping customers launch brand new projects.
There is a ton of dirty money seeking a laundering opportunity floating around, plenty of start-ups are at risk of ending up with an investor that may have an entirely different idea about what constitutes a good investment than your regular Angel/VC/PE entity. Always beware when the money comes looking for you.
Oh, good to know. I just let it think it's using Google and like redirecting it behind the scenes
Most of the helium on the moon is a different isotope than terrestrial helium, are Helium-3 and Helium-4 interchangeable for the various industrial uses?
Conservative libertarian populist nationalism. "Thielian" is much easier to type.
Because its <10% of their real revenue(ads) source. Non-ad revenue generates ~15%, its a distraction.
As long as oil is traded in USD that won't happen.
Is the Trade off for T2 Security worth it, when you have to paid the most ridiculously priced SSD upgrade on the market from Apple?

Other than that it is near perfect apart form the price. I was willing to spend $3K for it, and I sort of expect with Apple that could mean I paid a little more for upgrade so I guess may be $3.5- $4K. When they announced it was $6K and for that Spec. I am completely priced out.
Those are ridiculous claims. Do you have any evidence do back up your claims that having no minimum number of legal days off is related in any way to prosperity? Proof from almost every other OECD country says no.
It's very difficult to stay a benevolent superpower forever. Very few countries have done it for long. Most superpowers end up being ruled by corrupt totalitarian regimes if you look at historical examples.

Not sure what made USA change for the worse or if it has just been a slow decline.
This was almost exactly my experience at an old startup job.

It was inconvenient to do anything about my compensation (which was lower than appropriate for my experience level), and the boss deflected the issue every time I raised it.

The "value violation" there hurt, because I liked the company and the tech well enough, I just wanted to get paid closer to market rate, but that never happened. Eventually, I realized (after raising the issue 3+ times) I was never going to get a meaningful raise, and tendered my resignation shortly thereafter.
Nothing that is widely used, because as it turns out, RSS is not the web technology of the future. Or the present, really.
Sorry, I left out a key part of my argument. Google scales by automating everything they can, keeping people out of the way. Making customers happy isn't something you can automate, it requires the human touch.
It's kind of not the case here. First, they're not required to take any claims at face value, they can (and would be expected to) verify if they're actually true by looking at the evidence their sources provide - and if there's no evidence, then they'd be expected to note that it's all speculation.

Second, at least some of the claimed sources were not anonymous and were interviewed later by others (there were a few HN threads back them some weeks after the initial story) and they explicitly disclaimed that they have confirmed the case, but rather that all they have told Bloomberg is essentially "something like this might be theoretically possible, sure, but the current evidence doesn't suggest that this has happened" - so we have some evidence that these Bloomberg journalists "attempted" to corroborate multiple sources which did not confirm the story that they wanted to tell, but they went ahead with the story anyway.
The sun has been ruled out already.
Thanks, this is interesting discussion.

It seems like these treatments tend not to get to the heart of the expression problem as seen in actual language tools, which is migration between language versions. Let's say you're on version 5 of a language and you want to migrate all your tools to support version 6 where there is a new expression type. Can your codebase clearly represent a situation where some tools have been migrated to support version 6 and others aren't done yet? Can you easily figure out what remains to be done? And once the migration is done, can we remove any traces of the previous version that we don't want anymore?

And how do we approach this if the AST is published as a library and each tool is a package written by a different team?

There might be other usages of sum types that are simpler, though.
> the existence of a Platonic realm with an existing truth value.

This is a standard assumption by mathematicians.
Trump Helped Nix Electric Car Tax Measure Sought by Tesla, GM
Life by Spot: Simple, low-cost injury insurance
I 100% agree with you. Since using the MX Revolution in the late 2000s, I couldn't go back to anything. For me, MX Revolution - G500 - G500 (literally 2 for almost 8 years) - and just this year, the MX Master 2S. Long live the free scroll.
> push against the First Amendment

This isn't a freedom of speech issue since obviously they were free to say whatever they wanted, lies and misinformation included. This doesn't imply freedom from consequences.

Causing a company to lose 18% value because they couldn't be bothered to verify is negligence, incompetence, or malice (or a combination) not freedom of speech and it's only fair to receive a fine. Bloomberg is making a habit of such reporting.
> Amazon is performing a negligible vetting process in a race to the bottom.

I suspect this is exactly astrodust's point. Amazon ain't doing any meaningful vetting, so unless you're doing your own inspections, you have effectively zero reliable way to know whether or not your brand-new toy is going to give your child radiation sickness.

Nothing dishonest about that argument at all.
> The earth has both warmed and cooled since the end of the ice age 10,000 years.

No, it has only warmed, otherwise we'd be in another ice age.

> The periodic variability in earth's orbit should have us cooling ever so slightly

That is only a single input. The other input is solar activity, which has increased. Also, if there is indeed a positive feedback loop, after the earth reaches X degrees, then water vapor will continue to increase the earth's temperature absent a reduction in solar input large enough to stop the loop.

> same warming as what brought us out of the ice age is false and has been known to be false for a long time

It's not known to be false, that's just nonsense.

Look how hot it used to be: (from [1])

> Geologists and paleontologists think that during much of the Paleocene and early Eocene, the poles were free of ice caps, and palm trees and crocodiles lived above the Arctic Circle. The transition between the two epochs around 56 million years ago was marked by a rapid spike in global temperature.

Crocodiles above the Arctic Circle!

But keep telling me how CO2 is going to cause the planet to combust.

1: https://www.climate.gov/news-features/climate-qa/whats-hotte...
I won't comment on your other points, which need citations to be discussed properly, but ...

> I also know for a fact that other countries are much worse offenders when it comes to Carbon emissions and pollution in general, compared to the US or any other Western nation.

The problem is that this is a tragedy of the commons situation. For every individual actor, taking action is detrimental because the cost is paid by the individual but the benefit is broadly distributed over all actors. Tragedy of the commons type situations can be overcome by some sort of binding legal framework. This is why no one is proposing for any single country to solve the problem alone, but rather to coordinate internationally.

As a side point, morally speaking western nations have a particular responsibility because they are the ones who caused most of the increase in CO2 levels since industrialization. True, China is the biggest emitter now, but that is a fairly recent development.