skysight-inc/HackerNews huggingface dataset:
I feel a need to stand up for mathematics notation. The main complaint seems to be that it is too minimalist, using the minimal number of symbols (or less) to be unambiguous.

But mathematics notation needs to be extremely succinct because the notation is not just for reading. When you're working something out you often need to write pages and pages of formulae and diagrams by hand. So using a notation more verbose than absolutely necessary would be unnecessarily painful.

Programming is different because you can use a text editor with copy, paste, autocomplete etc. But I imagine that if I wasn't allowed to use any of those then my variable names would shrink down to one letter when I was programming too.

Also, I think that making formulas smaller makes it easier for the eye to see the whole formula together. This makes it easier to quickly understand the meaning of the formula, at least once you've got used to the notation for that particular area of mathematics.
My understanding is that this is more of a software issue: only Apple and authorized service providers are able to pair a particular TouchID sensor with a device.
You can get a year's subscription for $5:
http://www.amazon.com/Wired-All-Access/dp/B00XII1UD2

If you like their content, that seems more than fair.
Reddit's not going to want the bother of an image host, with the associated DMCA, abuse and community issues. Its philosophy seems to be "let other people do as much of the work as possible," which makes sense, and I don't see why they wouldn't just let the community solve the problem if Imgur 'broke' itself by aggressively monetizing Reddit traffic.
Angular gives you plenty of room to shoot yourself in the foot via premature optimizations and over engineering. Multiple times a day you need to step back, gather outside feedback, and look at the big picture.

Also, get designer(s) involved in the process ASAP.
Go move your uber app to various cities in the world, and you soon learn a 30 minute ride in a developing country costs about $3 in general.
Disclaimer: I work on GCP.
GlusterFS works best on RHEL, and consumes normal GCP resources like GCE and PD-SSD storage. To host a rocking fast, best practices, HA, 3TB all-SSD filer, it'd be less than $900 on GCP: https://cloud.google.com/products/calculator/#id=e76e9a5a-bf...
Ask HN: It's 2016, how do you do your automated zero downtime DB migrations?
Clever and thanks for sharing. It was a good read.
Zsh shell via iTerm2, coupled with prezto or Oh my Zsh == Nirvana.
"To reduce the impact of stragglers, we used a dynamic sharding technique called reduce subsharding. This is the precursor to fully dynamic sharding used in Dataflow."

Fun ways in which internal Google tech makes its way to Google Cloud services.
Saying they are not enforceable & saying that they are completely risk free for a potential hirer who wants to pay a nominal payment for coding exercises are 2 different things, especially considering that conflict of interest laws are enforceable.

As for the ethics of it, I find it odd that you are fine with working for someone who uses something you are vehemently against, but hey to each their own.
VAYU- Ultra secure cloud
Content ID blocking somewhat reminiscent of the use of blind substring matching to blot out "bad" words.

Except that the substring matching is replaced by very clever signal processing. The cleverness goes out the window when those functions return to their moronic caller.
Not process-per-web-request, but a process-per-account. We route using DNS, by giving each accounts its own subdomain.
Essentially, think something like WPEngine, except for a different software.
Ugh. So it's literally still RH Gluster, needing manual setup.

Also, there's a sentence on the end of the GlusterFS section there saying:

"If you want to deploy a Red Hat Gluster Storage cluster on Compute Engine, see this white paper for instructions on how to provision a multi-node cluster that includes cross-zone and cross-region replication:"

Apart from the typo (pedant alert!), the URL on "white paper" goes to a non-public document only Red Hat subscribers have access to. That should probably be that fixed, so non-Red-Hat-subscribers can read the doc and know what they'll need to do up front.

If people need to subscribe to RH in order to get that info... just to know what they need to do... that's probably going to hinder adoption. Potentially by a lot. ;)
I'm not even concerned about project.json because I don't particularly care for dotnet-cli, so if FSC can target .Net Core that's awesome news :)
History of American Mail-Order Brides
Software that talks POSIX tends to dislike object storage.
Disclaimer: I work on GCP.
what's special in ASP.NET core that allows then to achieve this?
I'm sure they're asking about this in interviews now. My experience with Google interviews was that the interviewers were very keen on proving that they knew more theoretical CS than I did vs talking about what the actual work would require or entail.
The original pattern is good for going "out-to-in", in the sense of starting with a finite area, a square, and filling the whole thing.

That same pattern cannot apply to go "in-to-out", as in starting with a unit square and trying to go to all of space.

You might think you could have the Pseudo-Hilbert curve pattern fill 4 unit square, then 16 unit square, then 64 unit square, etc. However, no proper limit curve would exist in this case, since each specific value on the curve tends to diverge to infinity.
Regulating Cannabis: The Right Way to Do Drugs
VimpelCom Agrees to Pay $795M to Settle Uzbek Bribery Claims
iTerm 2 is great software. Can't wait to try version 3.
I guess the fix is that they changed the password generation.

I mean, there is nothing to fix here: they purposely integrated that malware. Working as expected.
>Can you make it any more clear what bothers you?

A few things that spring to mind:

dx/dy notation, and especially manipulating it like it's a real fraction.

Implicit multiplication, which forces use of single character variable names, which forces use of weird fonts and greek letters.

Writing sin^2(x) for (sin(x))^2

Writing sin^-1(x) for arcsin(x) (especially bad because it conflicts with sin^2(x))

The base for log(x) is ambiguous.

Writing |x| for abs(x) (abs() is obviously a function, it shouldn't have special notation)

Calling abs "modulus"

And the names "imaginary number" and "complex number" seem almost deliberately designed to intimidate outsiders. IMO they should be called "oscillating numbers" and "rotating numbers".
Linking does not matter for the GPL. What matters it he legal concept of a derivative work. It just so happens that linking to a dynamic library bears a strong resemblance to a derivative work. LKMs and plugins in general are an entirely different matter. GPL software that supports plugins implicitly allows proprietary software to be loaded into it. That is why the FSF had been opposed to allowing plugins in GCC for years until competition from Clang required that they become more tolerant or face irrelevance.

That being said, would anyone who believes this "linking to the kernel" argument please explain what linking actually means and how it is related to the GPL when the term "link" is not even present in the GPL?
Blade Runner 2 release date announced before filming begins
Any other open source projects using it? Curious how they set the rewards and objectives.
> If Sanders ideas can work so well,

They do. Look across the Atlantic.
Y Combinator and Alphabet Inc: a new kind of company?
CoreCLR has F# in the active ports section, but asp.net core 1.0, I do not see it, other than VB being post RTM work (in q3 2016). But, if you want to do idiomatic F#, suave.io seems to be the consensus. So things to watch for would be suave.io team using .net core 1.0 (once F# is ported to .net core 1.0) . I would not bet my farm on F# - asp.net Core1.0, anytime soon.
The PC industry absent Apple is pretty much toast
I'm a 25%er! Thanks for the great work!
Yes I would be interested. if you get around to publishing something please email me (in profile)
NASA Planning to Bring Back Supersonic X-Planes
As an example, I dislike how overloaded symbols like 'dx' are, which are sometimes purely syntactic sugar (specifying the variable of integration), sometimes are just a part of another indivisible symbol (dy/dx), sometimes are treated as things that can be manipulated on their own but don't actually have a value or any rigorous meaning (physicists...), sometimes represent entire entities such as differential forms, and sometimes the 'd' is actually a fully qualified, completely rigorously defined operator (the exterior derivative, or the boundary map in a chain complex, especially for de Rham cohomology). I wouldn't be surprised at all if I'm missing other ways in which this exact same symbol occurs with different meanings.

To the experienced eye, all these usages overlap in subtle ways, so that it all feels reasonable and even justified. But to newcomers, I think the notation just feels like a complete mess.
You've discovered the secret! It doesn't.
They're proposing to fix circlejerks by showing controversial content among popular content. But I think they're directly supporting circlejerks in another way:

"By prioritizing the content and votes cast by highly reputed users, as opposed to anonymous new arrivals whom no one knows or trusts, Caucus is better able to figure out which content is most trustworthy."

This seems to literally mean circlejerking users will be rewarded with algorithmic trust.
I don't think your theory jives with the evidence that men and women are equally likely to initiate breakups of non-marriage relationships: http://www.huffingtonpost.com/entry/women-more-likely-than-m....

If it was about access to better mates, you'd expect to see the disparity extend to non-marriage relationships too, but you don't.
I'm starting something too, give me an email if you like.
"Doing mathematics" and "using math in my code" are so far apart. In my programs that Really Utilize Math, I'm taking advantage of some existing mathematical concept, but I'm not advancing the state of the art in mathematics.

However, the few times I've really wanted to delve into math and really understand the concepts underpinning that formula I'm using, I need a machine to iterate on. My computer isn't ideal because the software that's available is too expensive for 'hobby' use; there's no library that lets me use code in a language I know to manipulate symbols and equations. The TI series of calculators are not ideal because A) they're intentionally crippled (to prevent student cheating) and B) they have a bit of learning curve to them when you don't use them regularly.

Can I get a touch-device app for mathematical symbol/equation manipulation? That'd be ideal.
Sometimes zero downtime migrations are not worth the effort. In most of the cases, you end up thinking of a 3-state picture (BEFORE / DURING / AFTER) and the delta between DURING and AFTER needs some manual work. As long as you don't drop data or end up with irreversible changes, you manage the process and complete the migration just fine.
My father still plays civ 1. His windows 94 broke down a number of years ago. He was so sad about not having civ 1 so I set the game up for him in dosbox.
or just you know, use his preferred method of donation.
And they say turning off JavaScript degrades the web! I block by default, running scripts on an as-needed basis.
It's laughable not because of "their strategy", but because your statement displays a lack of understanding (complete imo) about how business is done (and has always been done) in China. It is a very naive view, made especially so by your "do you really think Travis would _allow_ ..." as if Travis has ANY control in China.

MS, Android, etc. those are outliers and every story has one. The reality is, the vast majority of foreign companies looking to dominate Chinese market share have met their demise.

I would say _especially_ so for companies that are displacing local operators.

Just think how mad the US taxi industry is about Uber. Now imagine if Uber is owned/operated by Jose in Mexico City. You think our politicians wouldn't regulate the hell out of it? You expect less from the Chinese?

In regards to Didi Kuaidi. Sure they'll be regulated too, but when it comes down to the wire who do you think the government will side with?
A lot of people actually do have a problem with non-citizens attempting to influence US elections.
https://hn.algolia.com/?query=ad%20hominem&sort=byDate&prefi...

The current first comment:

It's a straight up ad-hominem attack against Justin Keller, instead of criticising [sic] his writing it attacks his character.

That's just as fallacious an invocation of ad hominem as your link was. Description of questionable behavior is not fallacious, in an article the purpose of which is to complain about questionable behavior. Likewise, it is entirely reasonable to expect withering unsupported criticism like yours to spring from some a personal position of some relevant experience.
In a general relativity lecture I once saw an expression where indices were being used to mean three different things. As a power, to denote the components of a vector and as an index over some other indexing set. Of course it was perfectly readable because there are implicit conventions about what kind of letters you can use for each of these things, and because the formula would only make sense if you read it a certain way.
SemVer works great for libraries, but it falls apart for actual software IMO. How would you define a "breaking change" in a software ? Would it be a complete redesign ? Or maybe a feature removal (Does that ever happen ?)

Versions are supposed to convey meaning over how much has changed to the app between two versions. iTerm got soooooo many new features in this new version, anything smaller than a major bump would feel out of place.

I do agree the actual version should be v3.0.0-beta1 tho ^^.
Think about where would you start? How would you define the starting square that you fill?
Thanks to the ridiculousness that is the CAs system, Comodo losing their root cert private key is nuclear meltdown regardless if you are their customer or not. Browsers trust Comodo, if an attacker MITMs a client connecting to your site and presents a cert signed by Comodo, that will be accepted (unless the client previously visited your site and your site uses HKPK, but I think that's discouraged/broken for some reason, since I'm not seeing it on popular sites?).
While this post almost touched on the issue I believe the number one reason marriage is in trouble in the 21st century is due to media and societal glamorization of hedonism and selfishness.

Not mentioned in the post is the value that can only come from having a single mate for life and working through problems together (lightly mentioned as "growing together"). This idea became abhorrent in the 20th century, driven in large part by advertising but also the culture of the baby boomers.

Rock stars and groupies were glamorized. Men had immense media pressure on them to have multiple mates. Toward the end of the century women had the same pressure put on them with media like Sex and The City and Friends.

The documentary Century Of Self covers a lot of the root manipulation that created this situation, but the end result is a feeling of failure and shame for people with low partner counts.
I have first-hand experience dealing with Michael Chertoff. You may not know the name, but he's been a SCOTUS clerk, federal prosecutor, Assistant U.S. Attorney General, NSA Director, and Secretary of Homeland Security.

He was also chairman of BAE systems, The Chertoff Group, and other defense-oriented businesses. BAE is D.C.'s 8th largest contractor.

Chertoff was instrumental in mandating the FAA's adoption of body scanners for security in his capacity as a public official.

As a private citizen, The Chertoff Group represents lobbying efforts for security product companies and manufacturers.

Airports may or may not need body scanners. I think that the general HN audience is more familiar with Schneier's work enough to know of the 'security theater' that they represent, but even allowing for the possibility that they actually do some good, it seems absolutely absurd to me that the director of the NSA or the Secretary of Homeland Security has the power to mandate their purchase and installation with one hand, while selling them to the government with the other.

Assuredly this is neither the most or least egregious example of federal corruption, but I think it's the most illustrative. To me, the federal government has only the powers enumerated in the constitution. Mandating security devices isn't one of those powers, but the federal government has claimed it in its purview.

I don't necessarily have a problem with the federal government trying to keep us safe, if that's what they're doing, and I certainly don't mean to besmirch Chertoff as the archetype of corruption -- he may very well have the best possible intent... but at the same time, it would be silly of me, as president, to insist that only the software company I owned could possibly manufacture secure-enough solutions for the government and mandate their usage as vendor.
Yes, that's the tradition part. I certainly don't object to using whatever notation you like when you're at a whiteboard or scribbling on paper. But math papers are carefully formatted and published using LaTEX, not by taking pictures of whiteboards. This isn't because it's easiest. It's supposedly to benefit the reader, and yet fails in practice.

It seems like coming up with a format that at least allows definitions and usages to be hyperlinked might be pretty nice, instead of a format whose primary benefit is looking pretty when you print it on paper.
Ask HN: Is it possible to become a great programmer and also trust the system?
I saw a documentary on her (can't remember which), and the family rented two apartments in a complex, because she was violent with her younger brother.
People sometimes use it to denote a measure, and of course sometimes it means d lots of x.
Show HN: (WOP) Chess with logic, functionnal programming and context-free grammars
you are a huge tool
wait what? you got it on while you were riding in their car and they were driving it under didi?
Just an FYI, my product solves yours and your parent post wish:

http://gitsense.github.io/

Search/code management metrics are done at the branch level and there will be case-sensitive searches. The indexers are already building case sensitive indexes, it's just that it hasn't been enabled.

Unfortunately I can't say when the indexer will be available for private use at the moment.

Edit:

Forgot to mention that because the indexing is done at the branch level, searching across branches to verify what is/isn't present is pretty trivial like the following example:

http://gitsense.github.io/images/gitsense-on-4.png
Comodo has a series of really awful security problems in their security products. For example, they were the first major SSL certificate vendor to publicly confess they were hacked issuing rogue certificates. Many of their failures are more than just honest mistakes and suggest some very poor decision making at the top. https://en.wikipedia.org/wiki/Comodo_Group#Controversies

I don't quite understand how they are still in business.
This is indeed where the quote of the parent parent comment can be found.
Προγνωστικά στοιχήματος: Επιστροφή από την Ευρώπη
I'm guessing you're just a year too young to remember Google having to pull out of China (and various similar US website forced out of China disasters about the same time) that the CCP pulled to give their home growns the big edge.

Claiming the domestic market is better because the CCP basically forced all the competition out by quite publicly asking them all to spy on the chinese citizens, politically unfeasible at the time for the US companies, is not that they 'are not competitive enough'.

It's Chinese protectionism and desire for central control.

I honestly feel like you're trying to rewrite what is very well documented history and very recent history at that. It was widely discussed here at the time.

https://googleblog.blogspot.co.uk/2010/03/new-approach-to-ch...

https://news.ycombinator.com/item?id=2450030
Go to definition (for symbols or notation) would certainly be helpful in reading a mathematical paper, but how is that related to choosing good notation? Do you have an example of mathematical notation that "fails in practice"? In my experience, mathematical notation becomes established because it works well enough in practice.
Which is totally true for programming languages, yet they somehow manage to have standards, all the undefined behaviour of C be damned. How come it's not the case for mathematics?

Maths notation has very many problems, most of which stem from the fact that its syntax isn't formally specified. I have no idea why would mathematicians want to continue using this informally specified, ambiguous notation when there are alternatives.
That's an incredibly vague and leading question.
i used to work as a genius, and left a few years back. When i left, the genius role basically became 60-70% display replacements for iphones, and no macs at all.

When you get a display replaced, the phone goes through 2 machines, one of which calibrates the phone by launching some weird firmware while in the machine (actually kinda neat, its like a DFU mode but it doesn't wipe the phone in the process)

Since every phone has to run through the machine, it creates a backlog of phones that are waiting. These phones work without being put through the machine, but sometimes the displays are fucked and the machine detects that (and the phone then gets a new display, etc etc).

The machine also pairs the display with the phone, so that Applecare have a record of what display is currently on what phone.

If you take your phone in again, they do a spot check to make sure that display matches and they're good to go. If it doesn't, then they're supposed to refuse service (cause its likely that it was done at a dodgy repairer).

HOWEVER! I've seen phones get stuck in weird loops as soon as they're restarted if they haven't been put through the machine yet. The phone basically is fucked at that point and needs replacement. Remember, this is a legit repair that has caused this, and happens way more than you think (maybe 1 in 20 when i left, its probably better now).

Therefore, they are probably taking this route because they can't be sure that they aren't the cause of the fuckups.
> Also, I think that making formulas smaller makes it easier for the eye to see the whole formula together. This makes it easier to quickly understand the meaning of the formula, at least once you've got used to the notation for that particular area of mathematics

Not only this, but the notation itself is often intentionally used as a particular abstraction to aid intuition, see bsilvereagle's example of Einstein notation below as a great example. This makes things easier to reason about with our human brains even when dealing with very complex ideas.

The abstraction is usually leaky, however, and some notation that aids intuition in one way often makes some other interpretation horribly verbose and unintuitive. Hence the need for more than one notation for the same situation.

All of which isn't to excuse the many historical accidents that haven't been winnowed out by our predecessors. That's often a cultural problem, however, and while some of it can be realistically fixed by teaching the same way we teach good grammar, some of it is as hopeless to rail against as asking to fix every irregular conjugation in the english language. Good luck with that, honestly.
I wonder if, as someone who sympathizes with the Sanders campaign, a foreign citizen who is not a US resident, could legally get involved in this.

I would, most definitely, not want to create any legal problems to the campaign.