skysight-inc/HackerNews huggingface dataset:
It seems the point they are trying to make is that for (wrong, according to them) reasons, a person's internal gender perception is privileged over other types of internal identity, such as the false belief that one is the messiah or Napoleon, or one has missing limbs. It's an interesting enough point, which deserves careful thought, although perhaps this is not exactly the right forum for it.

Also, note that they did say in their comment that the correct pronoun to use when talking to Manning was 'her', which seems like being nice to others, and respecting their choices. I'm guessing it's probably considered unhelpful to reinforce delusions such as believing oneself to be Jesus, but would be interested to know where psychiatrists draw the line in such things.
Computer assisted proofs are historically frowned upon because you eventually end up in a black box you have to blindly trust. Can you verify that your code is correct according to the language spec? Can you verify that your compiler is bug free and follows the spec? Can you verify that your CPU is bug free and runs the output from your compiler correctly? Can you verify that your storage medium is correct and hasn't corrupted any of your intermediate results etc. etc.

Practically people will eventually say that if your test has been run N times using M different compilers and P different computers and they all give the same answer then you're probably correct, but having a proof that humans can reason through from beginning to end makes people feel more comfortable.

That being said computer assisted proofs are becoming more and more common and mathematicians are getting more and more comfortable with them as the verification tools surrounding them keep getting better. And even if computers aren't used for the final proof they are often used for intermediate tests. For example if you're making a statement about all primes it makes sense to quickly test the first few hundred million primes to make sure there aren't any obvious counter-examples.
Jesus Christ this might be the most cancerous practice I've seen in a long time.
Making something viewable by a group of selected people is one thing; making something viewable by millions of users of a website with a free and simple account creation mechanism should be equivalent to making it public in people's heads.
Forex trading recommendation on EURJPY 27-05-2016 by AzaForex forex broker
I don't understand your objection. Couldn't you have published just the algorithm of your proof - an deterministic algorithm to reproduce those terabytes of data is arguably a compressed version of the data itself, and thus of the proof.

This problem has much more than just a search tree. They had to check 10 to 2300 possibilities to proof their counter example, so a simple search tree was no option and they had to boil it down to "just under 1 trillion". So lots of maths involved here.
For those of us working in domains where auditors might care what has happened, there's a constraint: Auditors want the commit history to reflect what really happened, not the sanitized version of same. One of the nice things about git is that you can have a fork with a clean commit history and an "official" repo that reflects the real history of its merges.
There is always the option of Linux.
I got an idea the last time I saw this discussed, which probably will make some present HN people rich:

Bots which follow your own conversations/emails/etc, read the comments from other people -- and in another window suggest jokes, information, links etc based on parsed language. Just click to add the suggested answer.

You could install modules to see suggestions from e.g. a stand up comedian, some experts for different topics or just the wikipedia pages for all mentioned non-trivial concepts, etc.

A bot could e.g. help with fixing grammar errors.

Everyone can be their own Woody Allen -- or get help to write as a depressive persona. Or as a Romeo. :-)
Well, if your hiring system is perfect (and your talent management, and your leadership, and your product, and luck is on your side) you could have a giant spike on the right: all perfect people.

That's not realistic, so there's some sort of distribution. It's probably at least somewhat bell-shaped. Even when the average is very high, and your worst performer is still "pretty good", they're still bringing down the quality of your staff. If your process is that good, you could replace that person and go from good to great.

This is all hyperbole: this only applies to large populations, this assumes you can normalize (hard), and this assumes no one is lagging (never true).
Please submit this.
Oh great, now those damn people with CDMA phones are going to be even more smug. :P
To clarify I'm not the author of either of the links I simply shared what I found. If you did decide to care you'd have to take it up with the repo owner.
That would make sense if most high school students didn't currently use Snapchat
I don't think it is click-bait, nor to incite wars. I think it expresses clearly something I noticed long ago: Google apps's--under iOS--UX/UI is completely different from the rest. They look odd, they do not behave as an iOS user would expect an iOS app to behave. Same as the Microsoft applications he mentions.

I love that Google has picked a unique UI/UX for Android, that's great. Yet, when providing apps for iOS, they should behave, and conform like the rest of iOS apps do.
Is the font courier ?
Glad to see this making its way down. This build is super stable, probably the best one yet. Nice to be able to experiment around with containers on my surface pro 4. A bit of work right now, but power shell dsc/tooling and scripting can be used to make this more than trivial and i'm sure it will be packaged up nicer as feedback comes from the community.

Enjoying the new more open MS that lets the community see work in progress and try it out!
Best Analytics for Mobile App Agencies
DoD uses 8-inch floppy disks in a legacy control system of US nuclear forces
This is correct. Because you can't know the future, 'survival' means up to a certain point (whenever you stop looking), beyond which adverse events are not counted (even if you know they happened).
DevOps – You're Doing It Wrong
Is there a way to control the speed ?
This paper doesn't describe "traditional" methods. The author test analyses used today. The first simulation specifically tests whether inactivating "cells" (components in the microprocessor) can let us make causal inferences. They conclude that it can't. Whether that's a fair conclusion is up for debate, but they are definitely critiquing the most cutting edge techniques in the field
Ah, OK. I don't have an apple watch and I don't use it from the lock screen. I agree that finding some features can be a pain but I definitely also noticed that on the Android version. For a while there they hid (eliminated?) local map storage and the "reverse route" option seems to only recently have reappeared.

Major gripes I still have is the inability to create a multi-destination route or to modify the plotted route. As far as I can tell it's only possible from the desktop site.
They're willing/able to pay you because your work is creating value.

They usually have to pay you for a variety of reasons:

- It's not so much fun that you're willing to do it for free

- You can't afford to do it for free even if you would be willing to do so in principle

- Someone else is willing to pay you to do more or less the same thing
Web browsers have plug-ins, extensions, etc. So do IDEs such as Eclipse, IntelliJ idea, etc.
For some reason the slightly different colour of the final slash bugs me.
Yikes. Fair enough; that would definitely trip it up!
Another one is Tuple (like in a data base)

Too pool -or- Tup ulll -or- Tup lee

So many choice from just five letters....
Yes, they would. We demand money for our work, even when we find it tremendously fun, because we need to pay for food and shelter. If you were to take that need away (by either providing food and shelter for free or by providing a universal basic income) then we'll start working on fun things for free.
You think that's traumatic?

See you are ell.
Does this compile with vanillajs?
Birmingham robber recognised on Facebook is jailed
Depends upon what you mean by "evidence".

It's well known that bacteria live and reproduce outside the human body. Many strains, like listeria or salmonella, can live in food, outside of any human or animal host. Cholera lives in sewage. Also, animals are reservoirs for a large number of bacterial species. Unless we're going to dose all humans, all animals, and the environment as well, then we're not going to succeed.

Further, 80% or so of most antibiotics get excreted right out of the body in urine within a matter of hours. This means that the environment is going to get dosed with a low level of antibiotics, just the perfect environment for breeding immunity.

Finally, bacteria can exchange plasmids inter-species, so if some innocuous bacterium in the environment develops immunity, it can transfer that to a virulent species at a later time.
I noticed that when I was visiting NYC, there was so much more available on Apple Maps. Returning home to the Netherlands showed me again how much it sucks and is devoid of information, especially with the lack of biking directions!
Same here, I went from a 2 in English (almost lowest grade) to 5 in three years thanks to programming books and games :-)
I hope you have seen the folk dance shorting visuals...?

https://www.youtube.com/watch?v=lyZQPjUT5B4
In file:///, the file:// part signifies the protocol (think http://) and the / in /path/to/file signifies the root directory (think / in /home/user/)

I have never seen file:/ used before, so I can't really comment, but it seems invalid to me (and browsers auto-redirect it to ///).
Species isn't a fixed concept. If you think what's expressed as someone's phenotype is more important that the person themselves, don't be surprised if refusing to refer to someone as a dragon, and subjecting them to objectification as a human being, produces negative responses.
You mean because of the existence of the LTSB branch? Yes, that may be an option for some. However, LTSB still doesn't give the administrator control over feature updates: it just removes feature updates completely.
Is it hurting anybody having one? It had one before, so at some point the answer was yes, and I guess it remains yes.
I prefer uMatrix[0] (by the uBlock author) which gives absolute control over third (and first) party requests.

I don't even subscribe to the built-in Adblock filter because of my default-deny rule. It also negates the need for Privacy Badger and similar.

See the screenshots for how it works (similar to, but more granular than, uBlock advanced mode).

https://github.com/gorhill/uMatrix/wiki/Very-bare-walkthroug...

https://github.com/gorhill/uMatrix/wiki/Examples-of-useful-r...

0: https://github.com/gorhill/uMatrix
I'm not sure: doesn't the halting problem apply to this? In other words, can you write such a brute force program that is guaranteed to halt after a finite number of steps, providing a yes or no? I guess not.
You shouldn't feel embarrassed about how you pronounce LaTeX. In the words of its creator Leslie Lamport:

> One of the hardest things about LaTeX is deciding how to pronounce it.This is also one of the few things I'm not going to tell you about LaTeX, since pronunciation is best determined by usage, not fiat. TeX is usually pronounced teck, making lah-teck, and lay-teck the logical choices; but language is not always logical, so lay-tecks is also possible.

See also http://tex.stackexchange.com/questions/17502/what-is-the-cor...
Wirify turns any page into a Wireframe
I must be sheltered in my corporate job, but I can't imagine companies shelling out half a years programming wages for yet another messaging app. I can't think of the use case for a one off messaging app that isn't fulfilled by the plethora of existing options.
It may well be. Not sure if i can produce a link off hand. But Poettering seems to be on record about having no interest in unix.
Isn't it possible that there is sometimes conspiracy fact? That something is a conspiracy theory doesn't automatically invalidate it.
I don't understand why you think CJefferson could have published their algorithm but the people in the news somehow couldn't. I guarantee you they did not write a 20-terabyte algorithm.
So anyone know if the WSJ has accepted climate change and apologised for denying it for decades? Or are they still to be considered unreliable handlers of science findings?
After some light googling, it appears, that it was a part of original privacy statement, when Windows 10 was released.

For example: https://edri.org/microsofts-new-small-print-how-your-persona...

(when googling the phrase cited by kuschku, the first link is to reddit and there it links to edri).
There are two kinds of people ...
I presume the downvoting is for the word shit, have to fucking love hipster news.
Again, I deplore the colossal waste of human effort and talent that is going into building a sophisticated panopticon for the noble purpose of better targeted advertising. For fuck's sake, what a waste of the best minds of our generation.
Proof of “√2 is irrational” using only logical formulas
Depends on which vision wins out. The phone handset vendors certainly have a leg up on being the "discovery" part, deciding which copier retailers you get exposed to.
Maybe someone else's ten seconds of searching will be more productive than mine...

Since Windows containers rely on Hyper-V, will I be able to run them within a Hyper-V VM?

Thank you.
I worked at a place that stack-ranked, and we didn't have this problem. It was typically pretty clear and well-accepted (by both leadership and peers) that high performers were in fact the best people.

In a big enough company, you can't sabotage other people (because you might not work closely with them) and it's pretty transparent when you do so.

The problems I saw were threefold:

1) Bad Managers - Far and away #1. The example of a manager leaving the ratings meeting comes to mind. Conversely, a manager who just has it out for you: that's the sabotage that I saw on more than one occasion (but that's not exclusive to stack ranking). [Edit: also worth noting that word got around and bad managers were avoided, so the system eventually would self-correct.]

3) Comparing Stretch Roles - Pure performance is tough. I never thought we gave enough credence to great people doing good in tough roles vs. good people doing great in easy roles.

3) Comparing Different Impact - We got to the point where we were trying to compare developers with business analysts. The former would have outcomes like "developed 75 test cases" and the latter would be "convinced the CEO to invest $1M". It didn't help that the business managers were better at quantifying outcomes than IT managers. (See #1.)
iMessage is "ok" now. I'm not sure the time duration, but I can usually long-press a message that isn't sending and tell it to send it as SMS or MMS. I don't think (maybe this has changed?) that that option is available immediately.
Considering IBM/SAP are vowing to bring Swift to masses on servers and clients. Apple/MS dropped Java quite a while back. I do not see any big vendor with serious money to pick Java development. Redhat is there but I doubt they will when they might be looking to push Ceylon.

Of course it is hypothetical as I absolutely do not think Oracle will consider doing such thing.
Does anyone have a good tutorial to get started? I have a few ESP8266s for a project I'm working on. I have a solar regulator that outputs the load over serial connection. I'd like to do this over wifi so i don't have to run a 50ft serial cable.
In the next revision, some years later, my guess is they'll keep the :// (which as I've typed it looks like a frown with a double chin) and de-emphasize the PCB aspects through graphic simplification.
Haha, but hilariously both democrats and republicans feel very strongly that we should all vote for one of the two. They know deep down that it's one party with two basically identical divisions, but they could never utter that fact aloud.
Naw man, that's just how it goes in VC world. You have to play it like that. It's like a roulette table -- hard to hit a number but pays out 33x. Well, similarly, a very successful start-up can pay out 100-1000x and easily carry the other losers.
I am not a front end dev so this is a serious question.

The new shiny seems to be using dependencies straight from git and vendoring them.

Presumably new versions come out because they fix bugs or security issues.

How do you keep your projects up to date? Do you manually check every dependency in your project once in a while? Do you have some automation which alerts you to security issues in a dependency of yours?

If you decide you need to stay on an older version, is someone backporting fixes?

Is there a curated set of packages that are known to work together?

When an update comes in, do you audit it to make sure nothing malicious makes it on to your systems?

Or does one have to wait until this stuff stabilizes and baked it's easy into linux distributions before one gets these nice features? (Which basically isn't easy to do with how fast the landscape is evolving).

I'm curious about solutions to these problems.
US strategic nuclear systems still use 8-inch floppies
Competition is also at the core of genocidal theories, failing companies, and gutted innovative advances.

My point is not about anecdotal examples. The ones you provided merely prove that mankind can withstand competition to some degree. My point is that you are making a statement which is likely supported by your vision and its bias, but not by any scientific study.

It is interesting to note that a conflicting opinion could be supported by the same logic and different anecdotes.
Particularly irritatingly: Google disables “shake to undo”, which I've actually needed, instead making it “shake to give feedback”, which is never something I've needed.

Presumably just to upset iOS users?
I took it to mean "it's so inefficient that it's measurably contributing to climate change"...
A lisp for the arduino
Pro-tip: If you jump (space bar) several times, you can fly...
You don't have to discover how to call Bob, which is analogous to finding the bot. But you may need to discover what jargon to use with Bob to make sure you get what you want.
The establishment demands that non-ionizing UV can be carcinogenic, but laugh if someone thinks that microwave - at various doses - could be! Why does it take so much evidence to even propose that low doses of the frequency that cook food can have adverse health effects on living humans? The fact that they're not willing to recommend bluetooth or earbuds without a mountain of evidence is another demonstration of closed mindedness. If something in nature has an even infinitesimal chance of being harmful, then you put it closer to your hands and legs - and not your eyes, face, and brain.
And the new logo is right there in every url that you curl. :)
Unconfirmed Bitcoin Transactions Now Over 10,000
Take Your Emacs to the Next Level by Writing Custom Packages
I had the same issue on my Mac. Ended up buying Boom 2 to boost the volume. I wouldn't have just for one talk, but it's been happening a lot lately where I find content volume to be too low.
It doesn't, and it's interesting why. You can enumerate all possible proofs. If there is a proof of a given statement, you will eventually find it. But if there is no proof, you will never know, because it always could be the next proof you haven't looked at.

For the same reason, for any program that halts, you can run it long enough, and see that it halts. But (unless you are lucky enough to detect a loop), if it doesn't halt, you will never witness that, you will only be able to say "it hasn't halted yet".

It definitely can take a while until that kind of asymmetry becomes intuitive.
I also noticed the lack of a "double dissociation" study. Fwiw there's a ton of studies right now using optogenetics to transiently "lesion" areas where the authors have not done double dissociation type experiments to determine the specificity of their effects. My guess is the authors were in part critiquing that
The exposure from towers and base stations will be tiny compared to the exposure from devices. Inverse square law and all that.
I've almost entirely given up on conversations in HN threads, but the recent State Dept Inspector General's report concludes that after the server was found to be compromised, the staffers who found the issue were told to never speak of it again.

This wasn't just poor IT security, this was willful ignorance of the consequences of state secrets being in the open. It is incredibly likely she was targeted by foreign intelligence. And perhaps Russia found it useful that no one was talking about their impending invasion of Ukraine or Iran learned how desperate the administration was to cut a deal? There were a thousand ways this could have undercut US foreign policy, which has recently been disastrous (Like when Hillary hung up the phone on her Russian counterpart in 2012 when Russia was trying to negotiate a peaceful conclusion in Syria - according to the Wikileaks embassy cables).
Indeed, increasing and improving technology and reducing exposure can go hand-in-hand, and it seems that many people don't understand this. More antennas; less power.
Almost.

The file: signifies the protocol. The /// is actually //<machinename>/ with an empty machinename as a shorthand for 'localhost'.
Proof by exhaustion?
Yes, but I would have hoped people would have the common sense to only apply if they know how to program. I don't even mean this in the sense of "you aren't good enough", I mean people who literally have no idea what programming is. People who rate their winzip using skills on their resume as part of their "computer experience".
This is a demo on what Angular universal can do: allow to implement server side rendered apps that take over on the server as a single page application, bringing the best of both worlds:

the SEO friendliness of static content, the instant navigation of a single page app and the performance needed to improve the mobile web experience of our apps.
Thank you. I use the sorting-algorithms visualization and it is usually a great hook for getting students to grok the rest of the content. It'll be great to have more resources.
Genetically Speaking, You're More Like Your Dad