skysight-inc/HackerNews huggingface dataset:
I have two of these in my closet, still in the box (meant to keep one and give the other to my Dad for a Christmas gag gift, but got him something else instead). I live in a desert and haven't needed to open one, though it's dawning on me now that we get scorpions here...
No, from my reading, this uses the opposite, it uses the fact that the halting problem is unsolvable to show that MIP* cannot solve harder problems than RE, which are a class easier than nontrivial semantic questions and the halting problem.
Show only top-level comments so you can skip long off-topic discussions and drill-down on the discussions you are interested in.
So now when you get stuck on a hard problem, someone can actually prove that it's because you suck? Thanks science!
Everyone has a smartphone these days. There should be fifty time zones in the US, and your smartphones should adjust the time by a few minutes every night so that sunrise is always at 7 am, which mimics what would occur naturally. When you want to know the time elsewhere, you ask Siri. That should make humans much healthier by keeping circadian rhythms naturally aligned, not under continuous stress from artificial UTC, or even DST.
I would agree that _most_ are easy. But the upper bound for difficulty to understand is quite high. And even if they are easy when both authors work together it'd be even better to _not_ spend two people's time on that. So why adopt a workflow that's guaranteed to maximize merge conflicts?
Enabling a stale issue bot on my GitHub repositories
Simple. It’s either the wrong label or we are missing info on the setup.

In my setup I have a develop branch and the idea is that anything in it can be deployed to prod. Of course, that is if nothing fails.

If nothing fails, it merges with master (what’s actually on prod).
Conceptually, I agree. But at youtube scale, I suspect they aren't comparing a corpus of "asserted copyrights" versus "all videos". It's a corpus of "all videos" (straight up) with some preference for asserted copyrights.

I expect that even toggling off Fortnite's "licensed music" setting can still run into audio copyright claims against other Fortnite videos which have the same audio.
https://support.google.com/youtube/answer/3045545

Describing it as "won't hurt the account" is a bit misleading. They won't nuke your account ("at this time"), but they also won't let you post the legal non-infringing content that the cartel has paid Google to suppress. That would generally qualify under the broader meaning of "harm" that applies during legal disputes.
I've done this, although in my cold climate it took months to throw out a root. Give it time.
Maybe they're buying extra, since it's nonperishable and they want to avoid heading to the store.
No, because people use local time to decide when to go to bed, and when to get up. Aligning that to the sun is the most important bit. Asking your smartphone what time it is somewhere else is trivially easy no matter what method you use.
As the creator of Compose (née Fig), I am very excited to see this. We initially created Compose with the intention of it being used to deploy to staging and production environments.

Docker Swarm was intended as the target of Compose deployments, but that never materialized because Swarm didn't catch on. I'm very glad to see someone carrying the torch in a Kubernetes world. :)
Coronavirus: Chinese scientists identify two types Covid-19
How does this differ from the "new" link on vanilla HN?
F5 Tower was at least temporarily closed. Fred Hutch has gone mandatory WFH for non-essential employees.
I wrote it on the spot. The actual script is here: https://gist.github.com/nicowilliams/ea2fa2b445c2db50d2ee650...
No, it's solved by https://gist.github.com/nicowilliams/ea2fa2b445c2db50d2ee650...
I wonder how she'd feel if she knew the stuff I was making were guns, ammo, and puppies.
I just hope this voyeuristic culture dies so I don't get stupid suggestions from Twitter
As far as policymakers are concerned, it's the 40-70% that needs to be focused on as preparations are made. We're talking a few, maybe three months before this thing has blown up from an insignificant 1 in 2M and impacted most people's lives indirectly. What people have a hard time imagining is that something can go from insignificant to significant so quickly.
which is actually an argument that they are not employees.
Thisemotionalreactiontoartworkdoesnotexist.com

This is silly
Project Sandcastle (Android on the iPhone 7)
I think (but IANAP) the answer is in two parts: (1) you can’t intentionally send a message—it’s like asking whether ancient civilisations are communicating with archaeologists, to which the answer is surely “only metaphorically”; and (2) even if it is communication in some sense, it’s still surely surprising, no?
If you go around welding people in to their apartments, well, the virus will probably slow down.
People used to not have any time and watched the sun. I'm sure they can adapt to their local working hours, even if it's 13:00-22:00.
Hacker News comments always remind me of this quote:

"People who are brutally honest generally enjoy the brutality more than the honesty."

- Richard Needham
What totally bland and forgettable architecture. Oh look, a rectangle. With more rectangles next to it. Yawn.

Maybe in 500 years people will think of our time as an architectural dark age
Assuming that this isn't space Tesla, I'm curious how much damage it could bring to Earth if it hit it
> ...leave the error for something else...

In my experience, the amount of interesting logic that "something else" does is vanishingly small. An arbitrary real-world example probably just logs or returns a string that is opaque and mostly useless to any potential error recovery mechanism.

In theory one could throw a FileExistsException with semantic and accessible data like filePath, but as things get this specific, they practically become part of the API. And a leaky part at that. The top-level entities that need to handle the exception need to know, somehow, that (1) encapsulated implementation details may throw something specific and (2) what to do with the thrown events.

So, practically, programs tend to catch std::exception, and pass the opaque error string on to some form of external I/O system (logs) with some minimally informative error status code (ERROR, 5XX, -1, false, null).

It is interesting to perform transaction failure operations, but there is no std::transaction_aborted, std::connection_dropped, or std::resource_busy. More realistically, std::exception is caught, which could just as easily be std::bad_alloc or std::domain_error. What do you do with a domain_error? I don't know either.

At any rate, the most interesting feature for transactional logic is RAII semantics, and you don't need to use exceptions to leverage those.
In which jurisdiction? How many tests are there? How many do you have to pass?

It’s a pretty ridiculous assertion to claim that you must be able to sub-contract to be a contractor, and I’d be surprised if there was even one jurisdiction in the world where that was true. It would mean you could never screen contractors.
Yes. Fear of this is why neither the USA or France ventured to protect Ukraine even after signing the Budapest Declaration.
somehow that explain some other issues on yt, like not only demonetizing the corona virus tagged videos but also other videos on the channel involved
T-Mobile plaintext password data breach thought to be imminent

https://www.reddit.com/r/sysadmin/comments/8aem4n/tmobile_pl...
First off, what kind of companies are you applying to? The reason I ask is because the smaller the company, the more hats you'll likely have to wear as a data scientist so even though smaller companies/startups are recruiting for a data scientist, what they really mean is the entire data science department including data engineering and SME/project management capabilities.

If you're interviewing with larger companies, they generally tend to have more resources to hire those other skillsets so your focus as a data scientist is to create models.
> I like squash commits: build a feature iteratively in a branch + pull requests, squash to master once it has the tests and documentation bundled together with the implementation. This gives you linear history

I disagree with squashing commits when merging to master, here's why:

Your commit history is what you will use later down the line (think 6 months, a year, 2 years later) to find a very nasty yet incredibly subtle bug in your application.

Imagine said bug was introduced by a feature that took about 1 full month to code, introducing 1000 lines and removing 500.

That feature was probably made of many small commits (say, 25 commits total), on a feature branch called "super-feature".

If your developer cared at all about making "atomic" meaningful commits, each one of those commit will be introducing a small very well defined subset of the entire "super-feature".

The "super-feature" will in the end be the result of all of those commits together.

Squashing that history of 25 commits, will create one giant commit of 1500 changes. Have fun finding where in those 1500 changes that little nasty bug was introduced!

Instead, if you hadn't squashed, you simply use `git bisect` and find in no time that the bug was introduced by the 12th commit of that branch, which itself was a small commit of 1 little change:

diff --git a/statistics.php b/statistics.php
index 69e435aa9f..46666daa93 100644
--- a/statistics.php
+++ b/statistics.php
@@ -8,7 +8,7 @@

- a = b + c
+ a = b - c

If you want a very linear history, enforce a:

git rebase master super-feature
git merge super-feature --no-ff

This will rebase your branch on top of master, but, when merging, the `--no-ff` option will tell git to create a merge commit. This merge commit will make it very clear that the code branched off and was later merged back into master, yet, it will keep the history linear.

=======

TL;DR:
Your commit history is as important as your code! Don't squash it away! I wish github never introduced that feature and instead developers were taught how to create a meaningful history of commits.

=======
There are enough examples of companies doing terrible stuff that concerns are entirely understandable.

Let me take the opportunity to say:

1) YOU ARE NOT OUR PRODUCT!
2) Our goal is to use telemetry to help us make better decisions about what will help our customers (as with with projects, only a subset of users are active in our community feedback process)
3) We are super open about the telemetry (including going through the PowerShell community review process) and publish all the data.
More details here:
https://devblogs.microsoft.com/powershell/new-telemetry-in-p...

Here is all the telemetry: https://aka.ms/psgithubbi

Jeffrey Snover [MSFT]
This, if all your software clocks refused to switch times in defiance of the timezone, is there any legal problem? Make it a fait accompli and the laws follow.
This is harmful to innovation in the Bay Area. Big Tech eats up all the talent and now sends the signal that they can’t leave. The trial hasn’t even begun for this case - I think they’re still debating what constitutes a trade secret. This seems personal. Google got angry that one of their “own” went to a competitor.

I bet this will make companies think twice about acquiring startups founded by Google employees.
Wow, the tech seems to be progressing nicely. When are they going to commercialize it? They’ve already made steps to make it easier to manufacture(and thus, cheaper), which seems like one of the first off many steps to turn it into a market ready product.
Forcing every test to go though the highly limited CDC was a terrible policy move and was definitely worse than letting the hospitals do it. Trump has some blame here because it should have been changed sooner, but letting hospitals run tests is likely to increase the number of known cases. The former (under Obama I think) FDA head was against the ban that Trump lifted.
Why hate Levandowski cause he stole from Google.. umm Google steals intellectual property itself https://news.ycombinator.com/item?id=18566929

They were made for each other and probably he saw the theft that goes on there and then stole from them.
For [1], you are right, and here you have it:

>> "Globally, about 3.4% of reported COVID-19 cases have died. By comparison, seasonal flu generally kills far fewer than 1% of those infected."
https://www.who.int/dg/speeches/detail/who-director-general-...

For [2] I believe this page is making a good work at aggregating the data, and they have been linking their sources for the stuff they add, and for [3] in particular, they do link to WHO ([4][5]), but also summarize information from other sources.

[4] https://www.who.int/csr/sars/archive/2003_04_14/en/

[5] https://apps.who.int/iris/handle/10665/119464)
Apple nixes plans to premiere Apple TV+ content at SXSW 2020
It seems like all the major social media sites are slowly turning into the same homogenous app.
How much does a legal battle with Google cost? More than anyone can afford is my assumption.
But what's the base rate here, the base rate of years that have pandemics, or the base rate of exp(t) functions that go up really fast?
Not really but kind of. In the same way we have hundreds of thousands of small satellite bodies.
That's similar to the taxi system in many (European and proabably traditionally US) places. The big differences compared to Uber there are:

- The rates are rather high, so the e.g. the costs for the car are taken into account and still the driver earns a decent living

- The city does not take a significant share of every fare paid

As long as the system is somewhat balanced and no turbo capitalism exploiting drivers in a weak position nobody tries it up to the supreme court. (In the US the legal system is less balanced, so I don't think Uber drivers would make it to the supreme court, not even dreaming of getting a similar verdict.)
> Some disable exceptions but still use the standard library and just kind of hope that everything will still work?

It's not like the errors are just ignored then. The program just aborts instead of unwinding stacks. And all the APIs you care to use have defensive ways to use them. For instance, you can check if a vector is empty before accessing element zero.
For the very longest time I thought I was doing gitflow (I skimmed the article back in the day). I wasn't.

What we do is master is always green, prod ready. Good To Go. Auto shipped to prod by our CI/CD.

Develop _should_ always be good to go. Green. Auto shipped to staging by our CI/CD.

Then we have feature/ch1238-foobar-baz branches for every feature. Go crazy in there, deliver a completed feature.

Is there a need for more process than this?
Of course, the policymakers can't set their policy based on a forecast that assumes that the rate will decrease due to policy.
And so is nginx, haproxy, API gateway, and any other layer 7 load balancer/proxy.
The language here is worded in such a way that a non-technical person would believe that there's nothing T-Mobile could have done to prevent this from happening. I was hoping to hear why employee email accounts contained customer addresses and phone numbers but it doesn't appear like they think that's a problem, nor do they mention it in the closing section on what they plan to do to prevent this in the future.
A remote operator immediately connected with the right heuristics could easily prevent a robbery
Idk, per the fish & wildlife service’s site, a pack of wolves ranges over 50 square miles, but could cover and area up to 1000 sq miles if game is scarce. And wolves move much faster than humans: that’s covering 30 miles a day, an exhausting pace for people.

Considering that a neanderthal tribe would be bigger than a wolf pack, and remain in the same general vicinity longer (because slower), plus an ice age, I could see how local resources could get depleted pretty quickly and you’d have to move on.
User Interface (Tiny) Annoyances
That's not quite right.
We have always focused on CUSTOMER success.

You are right that there is self interest in that (as Satya likes to say - it is hard to be successful if your customers aren't succeeding) but the PowerShell team has NEVER been confused about what the high order bit is.

Without going down the rabbit hole, I'll just point to the fact that our launch partners for PS Core were:
- AWS
- GCE
- VMWARE

Jeffrey Snover [MSFT]
Just speaking for myself, I'd rather pay a dollar or two more for an unencumbered Pi than have any restrictions on how I can use it.
Thanks Mark! Never knew the wealth of knowledge you have in this space.

Still to be determined with the client but yes, the sensors will be installed in a factory. Client already has some sensors to detect things but am thinking we may need other sensors in case the existing ones do not give enough information. Additional sensors could be temperature/humidity, wear indicators, vibration and sound.

Are there any websites I can visit to view these sensors made by GE, Siemens, etc.? Could sensors from element14 and adafruit be used in an industrial setting?
One big reason why outsourcing support is such a bad idea is that the incentives of the outsourcing company are diametrically opposite from yours. They want billable hours, and will do the least work possible to hit your KPIs so they can keep the contract.

For example, if 58% of your customers are calling in to have their itineraries resent, that's awesome for the company because that's a lotta volume (and volume is money!) and it's really easy to hit KPIs for call length, satisfaction etc. They are thus doubly negatively incentivized not to do any upstream resolution: not only would they get paid less, but all their KPIs would plummet, because the remaining calls are now on average harder to resolve, take longer, and have more grumpy customers leaving bad CSAT scores!
Totally agree. That exactly what I'm saying too.
It may hurt you in that sense, but not the account. I think it's pretty clear what I meant by that. Regardless such cases are fairly rare, vast majority of cases I've seen people complaining about YouTube issues have nothing to do with the UMG deal and I haven't heard of any other companies than UMG subject to this.
For obvious reasons, this anecdote reminds me of the adage that one of the things you have to watch out for when saving someone from drowning, is that their flailing about will put your own life in danger.
And this is why humans can’t and won’t ever have anything nice
The pax make a lot of threats about reporting me to Uber and the police and whatnot, but as far as I know, nothing became of it. I never heard anything, and I never got anything deducted from my earnings, as far as I noticed.

In my experience, the first thing that happens when anyone calls Uber with a complaint is they get their fare refunded. That's usually enough to cool most people off.
Employee monitoring services on the rise: keystrokes, movements, and screenshots
37% for Federal plus State tax and CA taxes cap gains, both short and long the same. Very possible to end up at ~50% rate in CA.
SEEKING WORK| London, United Kingdom | REMOTE
Technologies: Laravel, Javascript, Node.js, Express, Postgres, React, React Native, jQuery, Vue.js, HTML, CSS, TailwindCSS, AWS, Azure, Linux, Docker, Redis, SASS, RESTful APIs, AngularJs, PHP, Python, Ruby, WordPress.

Remote: Yes

Willing to relocate: No

Github: https://github.com/Tapha

Email: taphangum7@gmail.com

Linkedin: https://www.linkedin.com/in/tapha-ngum-42a2944a/

Rate: Either fixed per project or $50-$85/hour (based on project type);

I'm a full-stack developer with 10+ years in Web and Hybrid Mobile/Desktop Apps using front-end and back-end technologies.

Have developed relatively popular open-source software in the past: see Github link.

Specialized in Web development, with additional experience in that I founded a popular niche app templates site called https://myapptemplates.com, which I was fortunate enough to grow using SEO and then, after a year, subsequently sell. Through this, I solidified my SEO/marketing-related skills, as well as my ability to create and manage complex projects within the context of the marketplace that I was operating in.

This, along with a solid grounding as a developer, allows me to provide a unique perspective, and ultimately, a high-quality result to any client I work with.
The problem is that the whole point of trucks is that they can go almost anywhere. Replace that with dedicated roads and you might have cheaper unit economics or whatever but you still have a rail-like distribution network.
AFAICT, most of them allow split tunnels for work VPN -- most work VPNs are set up to allow access to corporate resources, not block normal usage. Some places have very high security requirements.
Likely very little to none. Something that size mostly burns up in the atmosphere. Maybe a schoolboy would be slightly singed by a pebble while walking home.

https://www.space.com/6833-boy-hit-meteorite.html

Famous previous case:

https://en.wikipedia.org/wiki/Sylacauga_(meteorite)
I know very little about it but it seems a pretty idiotic sector with strange rules in every village. In NL they will deliver 12 euro worth of food for free 25 km away. A 500 meter taxi ride will cost at least 10 euro. 100 euro for 50 km. I read stories about other places where prices are so low they cant realistically pay for the car.
Depends on the platform, the date, the time, the location, the destination, and a dozen other factors.

Generally speaking, Lyft costs more than Uber, but you get a better class of passengers and a better class of drivers.
Rebasing onto a public branch and rebasing while on a public branch mean completely different things. The first happens all the time, the second creates problems for people doing the first.
Most states have a homestead exemption. But most states also have a limit on the value of that homestead.

Sure, you shouldn't lose your reasonable family home over debt. But that doesn't mean people like OJ Simpson should be able to keep their multi million dollar estates even though they have filed for bankruptcy.
Seems like a pretty big assumption that those two cities would be eaten. It's definitely spreading and causing disruption, but I don't really see how it's going to grind both cities to a halt. Especially with the current amount of information we have regarding the virus. We need to know more before we can draw such conclusions. China seems to be recovering already.
Bisect might be one of git’s killer features: you rarely reach for it, but when you do it saves your ass and saves the day.

Recently my coworker asked for help tracking a regression after spending hours finding the culprit, I bisected it in a couple minutes and his mind exploded :-)
Microsoft tells Bay Area and Puget Sound employees to work from home
> If people were taking home $100k driving for Uber I would accept this argument, since I wouldn't want to interrupt the good opportunity with regulations.

So only rich people should have opportunities?
Apple: A New Product on the Appstore
Huawei/Alibaba/etc has local peering, significantly better in general.

Softlayer APAC is generally kind of ass - decent to out of country targets but little domestic.

In SEA almost everything is country and ISP dependent.
ya we're using that in a few places, too actually.
I always assume people probably weren't that different from you an I, just different skills. Assuming they had a handle on getting food, they probably just want to see what's over the next hill just because that's human nature. Meet women. Or look for better places to live. Or some belief gods are powerful over there. Much of the same reasons people travel today.

It's amazing how we travel today, but put a long walk in google maps and see how much distance you can cover in a week. Obviously roads help this but it's amazing how far you can get on foot in relatively small amount of time. When hiking rule of thumb is 6km/hr on road and 4km when in bush, unless really thick so you don't slow down that much.

Obviously this is me musing rather than evidence based so take with pitch of salt.