skysight-inc/HackerNews huggingface dataset:
In an elementary group theory course this is the type of problem that would be given when groups are first introduced. It's a good homework/test question and just writing a*c = a as the answer would not suffice (depending on the level of the course and aim of the problem). The point at that level is for the student to learn how to justify their beliefs.

This is especially so if one were in a basic mathematical logic course. Of course, in an algebraic topology course where this group showed up it would be assumed that everyone knows how to find the answer and why. No justification would be needed.
NASA, NOAA data show 2016 warmest year on record globally
That's just you. And to be honest, I seriously questioned why I was there about a week or so into the whole affair.

Some people really find they are good at that stuff. Others have no real options (I met both). Most are somewhere between that and where you are.
RedHat Ansible High-Risk Vulnerability
I was being sarcastic. Post edited to reflect that
Here's the thing: I don't care. I don't care if Google's algorithm makes life difficult for SEOs. I don't care if it prioritizes Google's own properties unfairly. I don't care if it hurts somebody's conversion rate.

All I care about is the quality of my browsing experience, which takes a nosedive every time one of these fullscreen mobile ads shows up. As long as Google's algorithm ranks results roughly in the order of how useful and pleasant they are to me - even if that's just a side-effect of their own self-interested intentions - I'm OK. In general I'm not a big fan of egoist philosophy, but in this case, all I care about is me, me, me. Google should keep doing what they're doing.

It might be dictatorial, but the web has so few incentives to not load your website down with a ratchet of ever-increasing invasive crap, that any incentive pushing in the opposite direction is good, and Google is one of the only agents with the might to make that happen.
Meet China's Sharp Sword, a stealth drone that can likely carry 2 tons of bombs
If you start your project on the day a LTS comes out, you'll theoretically be compatible with the _next_ LTS, 2 years later, so in some ways it's up to 5 years until you need to change your code.
>uber offers a better product than taxi services do.

Sometimes. I like not handling credit cards and cash. They're faster and more available in areas where taxi services are not great.

On the other hand, I had an Uber-X driver just today drive right past a clearly marked airport terminal entrance because his GPS didn't direct him there and "he hadn't been out to the airport in a while." It's unlikely that would happen with a cab.
I'm an ancient Lastpass user too. But I don't think the unencrypted URL worries me.

If any 3-letter agency want my history, they can just visit anyone in between me and the URL.

My browser have my browsing history.
My ISP have my browsing history.
DNS resolvers have my browsing history.
CDN have my browsing history.
Proxy/VPN have my browsing history. (which some they claims they don't log at all)

Basically browsing history is too accessible to anyone.
If you are using network that doesn't managed by you, they have your browsing history too. (McD, Starbucks, etc)

And last again like others+Lastpass have commented, your whole pile of encrypted data is encrypted together and sent to Lastpass. Did you try to read your Wireshark?
A car seat that can be adjusted into different sizes sounds like a minor part of the R&D needed for Ubertopia.
One advantage is that you can declare functions with it, which is useful when you have many different operations of the same type. For example, take a toy calculator:

typedef double binary_operation(double, double);
binary_operation add, subtract, multiply, divide;
double add(double a, double b) { return a + b; }
/* ... */

struct binary_operator {
char const *name;
binary_operation *operation;
} binary_operators[] = {
{ "+", add },
{ "-", subtract },
{ "*", multiply },
{ "/", divide },
{ NULL, NULL },
};

You can also use the function type in parameter lists, but it’s equivalent to a function pointer type.

int atexit(void function(void));
A GPU isn't really comparable to the modern CPU sitting beside it, since it lacks many of the CPUs features, eg. virtual addressing, while in the other instances mentioned the processors were pretty much the same, feature-wise.

GPUs do, like most peripherals, contain additional CPUs that control them -- in the case of GPUs these are proprietary architectures specifically designed just for scheduling and sequencing tasks on the GPU and are said to be quite potent, for a device control processor.

Similarly hard drives had multi-core MIPS and ARM processors for quite a while (ditto for SSDs, in both cases they are ASICs, the actual data juggling isn't done by the CPU cores), and they even have quite a bit of RAM -- the cache -- that they'd normally share with the DMA engine, plus some of their own...

The control processors in most other peripherals are usually much weaker, though. They're pretty much just microcontrollers.
Research reveals surprising health benefits of chewing your food
> Many people have very strong feelings about the developer tools market. Engineers love building developer tools, so they badly want developer tools companies to thrive.

> I am hesitant to dismiss the market entirely – partly because I don’t want to generalize from a single experience, partly because I don’t like saying “it cannot be done”, and partly because there are quite a few exceptions. GitHub, MongoDB, and Docker have built formidable companies. GitLab and Unity seem to be doing well.

I think the mentioned examples are less developer tools companies than developer services companies.
Destroying capital creates wealth? I find that unlikely fwiw.
So...you mean a grad student? ;)
I would consider this more of a privacy issue than a security issue - but something that should nonetheless be communicated clearly to user.
Maybe these terms don't seem worth differentiating, but I see privacy as "what info do they collect" and security as "how safe do they keep my info, after they collect it".
How much do they make per add shown? Is it more than a price difference users would care about, say 50c?

If one experience is awful and one is pleasant but 50c more then most aren't going to notice the difference.

Not to mention the effects on the advertiser, being disrupted from what I'm doing to see your ad makes me not want to see your movie.

For theatre's over reliance on advertising has already turned a lot of people away. We've all made and heard complaints about 20 minutes of advertising before a movie starts. The only thing they've got going for them anymore is timed exclusivity.
I have 1Blocker on an iPhone with the default lists turned on, and AMP pages load fine for me.
> If you disagree, commenting is probably more appropriate than downvoting.

FWIW, in case you were unaware, Hacker News doesn't allow commenters to downvote direct replies. So whoever might've downvoted you wasn't the parent, and someone corrected it with an upvote or undown (your comment isn't gray as of this writing).
Is it?

https://realclimatescience.com/2016/12/100-of-us-warming-is-...

> The NOAA raw data shows no warming over the past century

> When presented with my claims of fraud, NOAA typically tries to arm wave it away with these two complaints.
> They use gridded data and I am using un-gridded data.
> They “have to” adjust the data because of Time Of Observation Bias and station moves.

> Time of Observation Bias (TOBS) is a real problem, but is very small. TOBS is based on the idea that if you reset a min/max thermometer too close to the afternoon maximum, you will double count warm temperatures (and vice-versa if thermometer is reset in the morning.) Their claim is that during the hot 1930’s most stations reset their thermometers in the afternoon.

> This is easy to test by using only the stations which did not reset their thermometers in the afternoon during the 1930’s. The pattern is almost identical to that of all stations. No warming over the past century. Note that the graph below tends to show too much warming due to morning TOBS.
Ask HN: What's the meaning of HN karma point?
Just noticed I earned some karma by submitting some link. And what's the meaning for that? I can't post if my karma is negative?
I don't think that's a fair interpretation of 'not incredibly familiar.'
> These kinds of write-ups offer valuable insight

I agree completely. It is frustrating that no decent books have been written regarding scaling architectures/strategies with current tooling. One has to scavenge various blog posts to try and discover ideas that might help solve their growth issues. I would love to see a book that covers scaling for app servers, RDBMSes, NoSql dbs, using queues/messaging effectively, etc. Failing that, I'd like to see something like Scalers at Work (a la Coders at Work) which would interview different devs who had to solve scaling issues.
Huh, interesting. Where I'm from, summer camp is spending time with the Boy Scouts, or volunteering, or literally camping. American movies don't paint a very different picture, so I wasn't aware of "go to college"-kind of camps.
The paper you cited supports what I've been saying. You can publish a paper that says, "Here is a counterexample." You can't publish a paper that says, "Here is a solution I guessed to be correct."

Any method of finding a counterexample is accepted. Guessing a solution is not.

EDIT: The paper linked to was published because it was a counterexample to a famous conjecture.
thanks for the informative response. I will look into how difficult it is to connect to a server using a user account from an IRC client, as that would make the experience much nicer for users like me.

I'm curious about the logging API permissions - it seems kind of weird that I could potentially join someone's Discord server and then download logs of their conversations for the past year instantly after joining, but I suppose this is already possible by viewing history in the client?

EDIT: looking at the API on https://discordpy.readthedocs.io/en/latest/api.html, it seems you need permission for the channel logs, but that can't prevent someone from writing code to collect them manually, regardless of permissions?
If you read about this all the time, then you're probably also familiar with the Fermi Paradox and the possible explanations for it. 2016 may have given us a clue as to which one of them seems most likely.
wait, what? There's a $250k capital gains exemption for sale of primary home lived in 2 of past 5 years, so isn't capital gain basically irrelevant to anyone but very wealthy? Do you know something I don't? (reasonably likely)
What about React 0.14 before it bumped to v15.0 or Node 0.10 before it merged with io.js?

1. https://facebook.github.io/react/blog/2016/03/29/react-v0.14...

2. https://nodejs.org/en/blog/release/v0.10.36/
Mike Bostock, the creator of D3, actually worked at NYT until last year.
> The future is software. For entities that live purely as software, and aren't so picky as us meatbags are about continuity of consciousness, "traveling" from place to place by sending data is the most practical method.

Sure, but for entities that live purely as software the concept of "being" in a "place" is probably completely unimportant.

There's no reason to assume that software entities would have any reason to want to interact with meatspace, especially when they can conjure every possible world (and every impossible world) out of nothing.
It's a phased deployment. Still not added to mine, sadly.
If your world view says that success is based only on your work ethic, then you will assume that all people who are not successful did not work hard. With that logic it is pretty easy to conclude that we should not help people out or support unsuccessful people because it's solely their own fault that they were not successful.

I'm not saying anything about you specifically, but that sounds a lot like a kind of "anti-libertarian" straw-man argument I hear a lot. Certain people like to claim exactly that libertarians believe "that all people who are not successful did not work hard", which is far from true.

I think everybody understands that some people work very hard and still fail to achieve "success" (depending on how you define success). But what I think should be taken into account is that:

Some people who fail to achieve "success" do so because they didn't work hard enough.

Hard work, good decisions, etc., do play an important role in the amount of success you attain.

Obviously reality falls somewhere in between "luck is everything" and "hard work is everything", but I get the sense that some people promoting the "it's all luck" mindset have an agenda in terms of denigrating the fundamental idea that effort and initiative count at all. Again, not saying that's you, and I'm probably just over-sensitive on this subject.
> In Go (as in most programming languages) it's not true that the assignment "a = b" implies that "b == foo => a == foo", if a and b are different types.

While this is true, in all of those other cases you have the benefit of compile-time type checking so cannot call a function on the wrong type.

With nil, you get runtime errors.
> disappointed that the search indexes the name of the container of the torrent only and not the name of the files within the torrent. To date the only site I know that does this is "filelisting dot com" but their website is very slow.

Check out http://torrentproject.se/
DriverMax Pro 9.16.0.68 Crack with Serial Keygen 2017 Download Here
How much profit should they make?

If there was a machine where you could insert a 20 dollar bill and it spit out the 20 and an additional 12 cents, would you not use that machine?

How much would you pay to buy one?
We can't even make bots have a reasonable conversation with us in our own language :)
The UI affordance is terrible, but it's there if you scroll over the search categories, under "Search Tools" at the end

(also, not sure if the GP is in some test or something, but date range and verbatim are still there for me on desktop and mobile)
Obama White House – Flickr
That Easter egg is apparently so obscure that your comment is the only thing about it on Google:

https://www.google.com/#q=%22La+Costena%22+laserwriter

Care to share any more details?
Learning to learn by gradient descent by gradient descent: https://arxiv.org/abs/1606.04474
I would say the "better experience" argument is mostly true when you look at how payments are handled, but a taxi will pick you up and drop you off very much the same way as Uber does. A lot of cab companies have now implemented their own apps - so you can get a similar request-on-demand situation, only that you'll not be charged extra when demand goes up...

In the last city I lived pretty much all cab drivers were also Uber (black) drivers (or maybe it was the other way around). Regardless, pricing was very similar and often cheaper going with the regulated taxi rate.
Brand recognition and loyalty.

People don't use bookmarks, especially on mobile phones. Not many people are going to bookmark hostelworld.com and when looking for a hostel, they're not going to click the bookmark and search on hostelworld. They're going to Google search for "hostels in XYZ", and hostelworld will be there, underneath Google's own recommendations.

With the app though, the icon is conveniently sitting there on the home screen. You're probably getting less new users by giving on on web, but the users that you do get using your app are going to be much more loyal.
A great book that explores this topic (and is pretty funny) is "We are Legion, We are Bob" [1].

Well that and Spin [2], which probably addresses your point - maybe they're out there and they're already messing with us?

Ultimately, whenever I think about Fermi's Paradox, I am reminded of xkcd [3]. Maybe we just can't tell they're right in front of us.

[1] https://www.amazon.com/Are-Legion-Bob-Bobiverse-Book-ebook/d...
[2] https://www.amazon.com/Spin-Robert-Charles-Wilson/dp/0765348...
[3] https://xkcd.com/638/
AWS would be kind of ironic. ;)
Mathematica was my tool of choice. I could plot, Manipulate and visualize things. That was very powerful for learning quickly and getting a "feel" for things.

The ability to check if my work was equivalent to the initial and final equations meant I could catch mistakes when I was stumped and trace through my work. I could see where I messed up. When practicing for exams, I would make mental notes of common errors or properties I forgot, and write a portion of "misc idiot lapses" on part of my crib sheet.
I used Hired.com for my last job, and did some searching with it a couple years later. Hired was totally great the first time I used it. The companies "bid" on you as a (senior-level) tech worker, and I was able to land a few offers from a handful of great companies. The company I accepted an offer from was one of the best jobs I ever had. Hired sent me a bottle of Dom and a tiny little drone as kind of "early adopter" prizes.

Now, a couple years later... I didn't have such great luck. It seems to me that all the shitty companies are now officially on board at Hired. So I got a sea of bad offers, and I went through probably fifteen or twenty interviews, the vast majority of which were for companies with clear silo management problems. Lowball offers, people with expectations that clearly did not read my resume or my cover letter with my own expectations, slimeball hiring managers that will say anything...

And here's the kicker: The last time I used Hired, my "talent coordinator" person (the individual working for Hired that helps you with job searching) very nearly sent my resume and profile information to the company I was working for. That was the last straw and I immediately stopped using Hired, and recommended to my friends to not use them.

I would recommend you give them a try, but that you stay on your toes and you take everything with a grain of salt. Maybe I just had a string of bad luck with them last time.
Is it really less intuitive? I would've said less familiar. Null-hypothesis significance testing is unintuitive: nonexperts seem to explain it wrongly more often than not. (Like "the p-value is the probability the result was random chance".) Probably both approaches are unintuitive to humans unless they're explained really well.
Tanganyika laughter epidemic
> purportedly in the interests of promoting innovation in the pharma space

Why the purportedly? Do you have reason to believe he has any ulterior motives?

I didn't know anything about this guy before this so I googled him.

http://online.stanford.edu/instructors/balaji-s-srinivasan

"the co-founder and CTO of Counsyl, a genomics startup"

Ok, so he clearly has some experience as a biotech innovator.

> He's described it as the big enemy for any biotech innovator to overcome.

Seems reasonable.

The current market in biotech and rate of innovation seems underwhelming. Would you agree?

The current level of legislation in biotech seems to favor too-big-to-fail type companies? They sure seem to get away with egregious crimes. Eg: bribery [1] , knowingly selling HIV contaminated blood products , even moving such sales to Asia and Africa after it became public in the US [2] , numerous other ethical issues [3]

[1] https://www.bloomberg.com/news/articles/2016-09-30/glaxo-to-...

[2] https://www.ncbi.nlm.nih.gov/pubmed/24785997

[3] http://ethics.harvard.edu/pharmaceutical-industry-institutio...

Seems to me the current system isn't working properly. Is there reason to believe a guy like Baraji shouldn't be allowed to try to reform it?
To expand on my previous response: you want a proof that is checkable in polynomial time; yes - completely agree. I was just playing the devil's advocate case, that maybe integer solutions could be assumed (if it was a low-level class, for example).
There's a long list here. Feel free to dive in! :) http://fedora.portingdb.xyz/

Included in the list: nodejs, chromium, trac, bugzilla, bazaar
Yeah, it completely boggles my mind that companies do this. I was selling my old laptop on eBay, and on the desktop and mobile version of the auction page, there were ads for the same model of laptop I was selling at a cheaper price on another site. I guess ad revenue was literally more important than making money off of users selling on their platform.
Coq is the one I use most. I've heard of lean as well though.

Those are both proof assistants not theorem provers. Dafny uses z3 to attempt to automatically prove theorems about your code. Lean or Coq (for the most part) require that you write the proofs manually in a special language they provide and they will tell you whether or not your proof has errors.

In general these languages lie on a spectrum between more automatic to more manual with the automatic ones taking potentially more time and being more limited but requiring less of you and the manual ones such as lean or coq are more expressive but harder to use because you have to provide all of the proofs.

I should say all this with the caveat that I'm only learning these things now so I've probably said something wrong. Please correct me if that is the case.
Spending capital creates wealth. Hoarding capital does not.
Any other statisticians want to champion this? https://news.ycombinator.com/item?id=13434410
Yes, but it's also not uncommon that cab drivers use their knowledge of the local streets in their advantage, which is a lot less likely when your average Uber driver relies on GPS navigation.

I particularly remember taking a cab in Las Vegas many years ago trying to get from one end of the strip to the other. I was an obvious tourist - so he took the "faster router" around the city - just to "realise" that the exit he was going to take was blocked due to construction work and he now had to do a huge detour.
You can fit 4 people in a self driving car pretty easily. Most people currently drive by themselves because it's too difficult to arrange on-demand carpools on your way to/from work.
> Any app that has voice turned on whenever it detects sound by default, without prompting the user on installation, doesn't take security seriously.

That's an an opinion.
That is a very unfairly misleading metric, then.
So 3000X the difference of 0.5, or 1500 crashes avoided.

:O
My supermarket has a stock of the higher priced name brand milk at the front of the store, near the checkouts. I assume that's to grab both people who forgot to get milk and don't want to lose their place in line, and people who are there only for milk and want to get in and out.

The less expensive store-brand-label milk is at the back of the store where the big walk-in coolers are.
I'm running SQL Databases on Azure SQL, and it gives you recommendations to add indexes, and various other optimizations, that take 1 click to have happen. I get an email, and I can have the index created via a link in my email.

It's pretty fantastic.
If you don't HS because of RNG, try DireWolf games, namely Eternal.
Ironically, this is one of the oldest ideas in computer science https://en.wikipedia.org/wiki/Von_Neumann_universal_construc...
Trump May Kill National Endowment for the Arts, Privatize PBS and NPR
That... Doesn't match history at all. Mergers have been far more dominant in recent years than bankruptcies, but you ignore them completely.
Check out Idris maybe
> These projects are very cool, but I think too much futzing for most people.

Why learn an instrument when you can just torrent some music