skysight-inc/HackerNews huggingface dataset:
Also disagree, Amazon Prime has changed the way I approach ecommerce where I will actually order stuff that I need by a certain date. Many third-party ecommerce vendors, even if I pick 2-day shipping, it might be 2-3 days before the package is even packed and dropped off with the shipping service.
Yes, this ^. I don't understand it either, and I'm not even THAT old. Perhaps you need to be American to get Snap? No clue.
Ask HN: What did you do when your investors invest in competing companies?
Say you've been working on a startup that's doing very well and your seed round investor just invested into a company with similar technology, is there anything founders should be aware of such as disclosing information to investors?
The Complexity of Rubik's Cube
FWIW, 101 Domains allows you to register a .ai domain (I registered zuse.ai there) and you don't have to do anything with a fax, etc. Now, maybe 101 has to fax something to somebody in Anguilla, but as the end user, you're isolated from that. Unless things have changed since I registered my domain.
I've had better results with strided CNNs vs (max) pooled CNNs. Has anyone else noticed similar results?
What If the Vikings Never Invaded England?
So, like a WhatsApp group basically? Being able to send photos to a specific subset of your contacts?
How about setting MX records for .google so you can have name@google emails
I guess Amazon has to dumb down their marketing for some people but it's always meant, and I've always understood it to be, two _business_ days. If the shipper doesn't deliver on the weekend, that's not Amazons fault.
On one had they should adhere to what they advertise, on the other hand I am looking at people complain that a product they ordered from their asses took 3 days instead of 2 to arrive. Not sure how to feel about this.
I like to think I'm not totally underneath a rock, but I don't think I've ever seen their hardware in person. And if I have, I didn't know that it was their hardware. So they either don't do hardware well, or they don't market well.

And even if they did all of that well, is that worth $25-30 per share?
Can read your browser history... no thanks.
Probably because they were a YCombinator funded company, and this is a YCombinator site
Prime 2-day shipping has been a godsend to me. Only rarely has it taken 3 days for something, and even in an emergency I was able to get one day delivery also for free.
It's free 2 business day shipping. Some items/places can be shipped with a carrier that delivers on weekends, but many can't with the carrier's 2-day option. You (Amazon) might have to pay for the carrier's next-day shipping to get weekend delivery, so it can be impossible to get something delivered on a Saturday when ordering on a Thursday.

The annoying thing with Amazon shipping is that sometimes you can't order an expedited shipping option if needed, even for prime items. This tends to be due to third-party sellers that participate in the prime program, but for some reason don't offer any other option but the free 2-day. There have been times when I've paid the extra for next-day air for some things, though it tends to be very expensive.
I spend $650, splitting a 700 sqft 1 bedroom in center city Philadelphia. I spent exactly twice that for a similar setup in NYC, and I spent $2500 for a 200 sqft studio in SF (basically a walk-in closet).

What about you?
One of the Original definitions is illegal or unethical activities.

http://www.dictionary.com/browse/hustle
No. There are several ways to use the word, and "hustling" as it's used around HN and in this article, doesn't mean it's shady.

hus·tle verb

2.NORTH AMERICAN informal

sell aggressively.

"he hustled his company's oil around the country"
Are you able to provide more details here?

Or you can reach out to me (details in profile).

(Disclaimer: I work for Google, but comments here are my own).
In Switzerland, a giant machine is sucking carbon directly from the air
Doctors go through heavy schooling, residency. Do you know how many hours they work a week while in residency? Don't even compare.
Consultation happens before the decision is made* about who is leaving and who will still have a job.

* officially made
Are things like "the output must be equal to the output of this other thing" easily expressed to a prover? If so this seems like it'd be awesome for optimisation as well.
Amazon Prime Day 2017 Begins
Kind of crazy that arXiv doesn't make this easier to do itself. We wrote a piece on how a future arXiv might look which seems relevant:

The arXiv of the future will not look like the arXiv
https://www.authorea.com/users/3/articles/173764-the-arxiv-o...
FarmX - Smart livestock will farm themselves.
I thought shipping and handling have been different since the dawn of e-commerce. Not that I like it, but I don't ever read "2-day shipping" and ever assume it means the seller will mail the item on the same day. There's handling involved before the mailman can even do anything. (If they say it is delivered by a certain day then of course I take it at face value.) Is this really a surprise at this day and age?
Just because I make a living writing software does not mean I have to support all of this wealth transfer.

I can live on a decent wage. I don't need to make millions of dollars a year.

Screw "creatives" and screw this madness of royalties and license fees. Of what you're doing is of value to someone, they will pay you upfront.
Yeah, "machined" was an embarrassingly poor choice of words on my part. Cool video.
To be fair, this is probably the only time I've seen the term hacked used correctly. I no longer know whether I should use it in this sense or the "incorrect but used by almost everyone" sense.
The article is kind of stupid. He has a point in that it isn't really "2-day" shipping, it's 2 business day shipping. Nobody who understands shipping in the US expects Saturday delivery without an extra charge. However, Amazon probably should adjust their advertising copy.

The larger issue is that I simply no trust Amazon to actually deliver. Between Amazon "accidentally" switching my purchases to something non-Prime and not actually having something in stock in spite of their claims to the contrary, I cannot count on any delivery date promised by Amazon.

If I need computer parts, for example, I'm going to Newegg because they will actually have the part and actually deliver when they say they will.
Yeah, I'm not saying that automated testing (whether through unit tests or through theorem proving) is bad, just that the two approaches seem pretty much equivalent. All these strong claims about "proven correctness" get thrown about but I'm not sure it's very useful when all you're proving is that the computer did what you told it (which you know anyway - the problem is almost invariably that you told it to do the wrong thing.)
How is this done?

I think kernels try not to leak the address of system calls at run time, and if they are scattered around in a 64bit address space they are tough to search for. Educate me!
For me, the original fidget spinner. I solve them and scramble them as I think about programming problems at work when I'm deciding on best solutions. Each Rubik's cube solve for me averages 40 seconds... give or take 10s - while thinking about other things. It it very peaceful.
As somebody who regularly ships orders from an independent web store, I can confirm we are just not going to be as quick at getting stuff out as a full-time warehouse. It's a part time job and I ship a few days a week. We don't set the expectation that things go out right away, but if somebody says they need something by a certain date, I make it happen even if it's not convenient.
Anecdote: I had to terminate a contractor; he said "ok, I understand, can I just send a quick email to say goodbye?", so I let him walk back to his desk where he typed for a minute.

Few minutes later we realised he had run "rm -rf" on the central source code repository.

Restored from backup in a couple of hours, but I'll never repeat that experiment.
Football in 17776
I can understand the positive uses for such an API. For the uses you mentioned it would be great.

However, I hope nothing like that is ever made! It would get abused to no end. I've personally changed number multiple times for privacy reasons.
and this is how I would react if I was Google:

"awesome, ok.. so you know what? you win. you are right. we shouldnt link to you without paying you anything. So instead of paying you we've decided to remove all your links from our index. happy? no? but thats what you wanted! no..? ok i am confused.. what do you want?.. wait you want free money? ok.... then"
Using BGP to distribute OpenBSD spamd lists
I'm not detaro, but I'll take a crack. It's kind of like traffic—if you're constantly stopping for other cars, it doesn't really help to have a faster car. If the UI thread is waiting for something else to happen, having an entire core dedicated to the UI just means that entire core is waiting. In the case detaro was alluding to, compiling Chrome was creating so many processes, the UI had to wait for the kernel to shut down processes before it could do what the UI needed it to do. [0]

Adit has some good posts on concurrency:

—http://adit.io/posts/2013-05-11-The-Dining-Philosophers-Prob...

—http://adit.io/posts/2013-05-15-Locks,-Actors,-And-STM-In-Pi....

[0]: https://randomascii.wordpress.com/2017/07/09/24-core-cpu-and...
Oh no. I had a few conversations with him years ago when I interviewed there. Super nice guy. My condolences.
23andme on sale for $99 on Amazon temporarily
I think this is actually pretty relevant to the HN audience.

Many of my techie friends who I sent this deal to were really glad, and a few bought some to give as birthday gifts.
I described it in another comment here: https://news.ycombinator.com/item?id=14740274
Thanks, that’s a great approach, and proper way to phrase it!
Everything you said other than ephemerality applies to every other messaging platform, including Facebook Messenger. How does ephemerality help you shoot the shit better than a text message?
You know I should have been on this bandwagon. I did some VR work using one of their robots.

Tell me more.
Cities can pass conflicting legislation. It takes a court ruling to rule that it is, in fact, conflicting and kill it (and/or a judge to grant an injunction to stop it in the meantime).

San Francisco banned handguns decades ago. That was eventually ruled invalid because of state preemption, but SF had made its Grand Political Statement. CA taxpayers paid the legal costs. Yay.

Generally, taxes can't be challenged until they are actually collected (one famous example: Obamacare).
Awsome comprehensive resources for TensorFLow
Everything flows from Hackage even if you're using Stackage.
Fun fact: Medicare is prohibited from negotiating drug prices with suppliers, by law.
I have a bot that feeds my dog. I don't need to interact anymore!
It looks like it's been written by a spam bot.
If you are a man, I suggest you see a doctor and get your testosterone levels checked. Low testosterone can be an issue even if you are young, and is highly correlated with the symptoms you described.
> Yeah, I don't experience a lot of obvious shilling on Reddit

When the same talking points are repeated over and over again on large subs and dissident opinions are automatically downvoted to hell, it's obvious there are organized efforts to push specific narratives or point of view. r/politics, r/news, r/worldnews are full of these, with sometimes the moderation itself in bed with the political astro-turfers, banning users that don't fall in line.

Regarding the article, the news that was astro-turfed wasn't clashing with r/politics narrative. And since journalists and bloggers themselves now source their news and stories from Reddit, it helped spread that news all over the internet.

Reddit is an extremely efficient viral marketing tool, both brands and politicians understand it now. When journalists start quoting reddit in their news that then get posed on reddit as news, we've come full circle.
Good! That actually makes me feel really good about their policies. Weaker ID requirements result in people social-engineering their way into other people's accounts.

Your particular situation might be a bit more annoying since all you want to do is close the account, but how does AWS know that? For all they know, you could be a malicious person trying to delete someone else's data.
It is difficult because each insurance provider will have a different contract with the hospital or care provider. My wife works at a hospital that just upgraded from an all Dos based system to a windows based system. Her job is resolving provider disputes where the provider billed a rate that was different then their contract. Old systems + lots of different rates = confusion!
This is a great visualization. Looks like the next eclipse for those in the continental US is in 2024, after the one this summer. Although it will mainly sweep across the eastern half of the country.

The pacific ocean will be hosting a lot of eclipse action (likely with few human observers), perhaps unsurprisingly.
Facebook is an example of a company that continued user growth very well. Facebook was originally just for college students and had a very dating-site-ish feel (at least as I experienced it), but as Facebook grew, they transitioned the platform to accommodate all users from all walks of life, and now their usage numbers are astronomical. I don't see Snapchat doing this very well, their design is very insider-y, their marketing and communications seem to continue to target western millennials, and there's no clear path to adding features or platform dynamics that will bring others in.
Metafilter maybe.

There's a one time $5 fee at signup and a 1 week waiting period after to post/comment. Seems to do a good job preventing this type of thing because the costs quickly get prohibitive if your dummy accounts keep getting deactivated.

It's still an ugly echo chamber on politics though, it is extremely far US-left on everything.
Good point! I'll check to see if any of my friends can get me a copy of the patent policy.

I wonder how legal it is in the state of California to bar the people from getting their reward simply because they are no longer with the company. Patent approval has nothing to do with the employment status. This seems a bit unfair to be honest.

Further, they specifically asked me for help AFTER I left the company. I agreed to help as a good-will gesture. I wish I could've clarified the reward policy back then.
FarmLogs (YC W12) is looking for someone to lead our Android/iOS teams
As others have said, don't ignore the possibility of an undiagnosed condition. But besides that, maybe it would help to join a group to have the structure, incentive, and (let's face it) pressure that can come from social groups, in the way that joining an exercise club or even hiring a trainer can be what gets people into a exercising for the long-term.

You didn't mention a job; do you have one? Or any other kind of structure to your day? I'm a fairly introverted person who likes to think himself above extrisnic rewards, but my life (both during, and outside of work) was never so focused and purpose-driven than when I had a job (news reporting) that imposed daily, hard deadlines. Moving to jobs where deadlines were measured in weeks or months had a somewhat detrimental effect on my ability to focus.
And yet Rob Krar isn't into low-carb, is pushing 40 and runs the same distances faster... For that matter, the Bison Bar mentioned in the video you linked to contains roughly equal amounts of protein and sugar! Not that it matters much. Frankly, ultra runners can get away with more mistakes since there's so much less competition at their distances.

The top competitive distance runners (a group dominated by Kenyans and Ethiopians) generally eat over 70% of their calories from carbohydrates. Naoko Takahashi said she loved Korean barbecue. Bill Rodgers, the dominant marathoner of the previous genration, seemed to live off of pizza slathered in mayonnaise. Paula Radcliffe talked about eating a lot of fruits, yogurt and granola. While many, many runners have sworn by various odd diets, it doesn't look like anyone has been able to get a sizable edge from theirs.

I only raced 5-10k ranges, but I used to run greater than marathon distances once or twice per month in the mountains for fun so I can have some personal experience with "walls". Even a skinny person has enough fat on them to run for far longer distances than any race I've heard of. The "walls" are more about glycogen limits in your muscles. Extending the wall is mostly an issue of how high your aerobic threshold is, how well you can spare glycogen at the beginning (though this probably matters less for ultras) and your running efficiency.

All three of these factors are influenced by diet to some degree but training is by far the more important factor. Strangely, caffeine has a bigger effect than macro-nutrient composition.
Man, I'm tempted to head south a bit to see the 2017-08-21 Great American Eclipse.
Also special pavement materials and decrease urban footprint https://www.epa.gov/heat-islands/heat-island-cooling-strateg...

Replacing parking lots seems like the most obvious win all around to me.
"The conclusive findings of this research are that the three GAST data sets are not a valid representation of reality. In fact, the magnitude of their historical data adjustments, that removed their cyclical temperature patterns, are totally inconsistent with published and credible U.S. and other temperature data. Thus, it is impossible to conclude from the three published GAST data sets that recent years have been the warmest ever –despite current claims of record setting warming.

Finally, since GAST data set validity is a necessary condition for EPA’s GHG/CO2 Endangerment Finding, it too is invalidated by these research findings."

Yikes.
> The specification is a lot smaller than the code, and so it's easier to read and manually verify that it's correct.

>> How is that the case in this specific example? It looks a lot harder to check for correctness.

Author here.

Here is the specification for the stochastic backpropagation algorithm:

https://github.com/dselsam/certigrad/blob/master/src/certigr...

The preconditions do not need to be inspected carefully because we prove that the models of interest satisfy them (example: https://github.com/dselsam/certigrad/blob/master/src/certigr...)

Here is the part of the specification that needs to be inspected carefully:

https://github.com/dselsam/certigrad/blob/master/src/certigr...

The syntax may seem strange to those unfamiliar with Lean, and a few of the functions involved may not be self-explanatory without reading their definitions, but the statement is conceptually simple: the stochastic backpropagation algorithm correctly computes unbiased estimates of the gradient of the expected loss.

It is subjective, but I personally think that this specification is vastly easier to understand and to check for correctness than the actual implementation of the stochastic backpropagation algorithm.
Entitled is a funny word with two senses here. One is "Do I have a claim for compensation which the legal system will back?" and another is "Do I deserve do get paid this money?"

Legal questions are often best answered by a lawyer. The lawyer is going to ask to see the contract you have with your employer about this compensation. I do not have access to this contract, but I have a probabalistic guess for you based on standard practices in the tech industry: you do not, in fact, have a contractual right to payment for the company's patents. They're the company's patents, not your patents -- you signed an IP assignment agreement which made this absolutely, unambiguously clear roughly contemporaneously with starting your job. Your sole guaranteed compensation for any work was your salary. Your company owes you zero dollars and zero cents of remaining salary; they mathed the heck out of that when you stopped working for them and, after that check was cut, you were even. Your company has discretion in awarding your bonuses when you worked there; they're going to exercise their discretion in not awarding you bonuses since you do not work there.

Do you deserve to get paid the money? That's a rather different kettle of fish. To the extent that you're well-educated adult who can understand contracts presented to you in English, none of the above should come as a surprise. To the extent that one thinks that the purpose of the bonus is not incenting future behavior but rather rewarding past behavior, a reasonable argument could be made that since you put in the work you should receive the fruits of it.
Fundraising site will not support lawsuits against Black Lives Matter
Single payer is overly restrictive (although it would still be a lot better than what we have now). A non-profit public option, with an explicit legislative grant to negotiate prices with its full strong-arming ability, would deal with this stuff just as well, while still enabling people to shop for insurance if and when they want to.
Gotta build that genetic database...
who is your favorite community member that needs Tor?
“In alignment with our mission, we removed this fundraiser because it was not within our community guidelines around promoting harmony,” YouCaring chief marketing officer Maly Ly told the NewsHour Weekend in an email. “We are not the right platform to air grievances, or engage in contentious disputes or controversial public opinion.”

Thanks heavens for "political correctness" (aka having a backbone, and doing the right thing when called for).

Seriously.
Maybe a form of structured procastination? Fooling your brain that you are procastinating (you are avoiding the #1 task after all), but you keep having output.
The exact numbers in this post are not representive of what you see if you used `dotnet new` to create a new application:

* The debug DLLs of coreclr.dll and clrjit.dll are 4x bigger than the release DLLs.
* The debug versions allocate more at runtime.
* However in the blog post uses CoreRun.exe, which is a minimal testing harness. Dotnet.exe loads more DLLs.

On my computer I'm seeing something like 98MB commited, 8MB private, and 14MB working set. The committed number is not useful, as it a lot of DLLs get loaded in that only have a few functions in them called. The most charitable metric would be private work setting, which is 4MB.
I'd like Google to use some of that money to try raising up (taking over) a small town and turning it in to a haven for those who want science, facts, and logic to be the focus. Where decisions affecting the community will be studied by experts, reflected upon, and the best overall course of action taken; instead of allowing lobbying and other traditional politics to dictate a solution that awards only a few.

I think /that/ is how you create opportunities for all, including affordable places for workers to have a high quality life, and companies able to afford offices near their workers.
Youtube didn't try to go public before becoming profitable.
You need incentives to encourage price discovery. It doesn't just happen. The system may not be perfect but that "bundle" is (in part) what allows the public market to retain the efficiency it does have.
A slack style webhook token would be secure and clean looking.
I'd hardly compare someone jogging a marathon to someone who can't complete FizzBuzz. There's no way in hell most people who aren't in shape are even going to walk that, let alone jog 26.2 miles. It clearly takes a lot of training to jog, run, or even walk a marathon. Some people are slow. That in no way detracts from their accomplishment or the work they have to put in to get there. I'd say the winner of the marathon and the jogger accomplished pretty much the same thing. As long as they fulfilled their own goals--some of which might not include a set max time goal--the finish time is irrelevant.