skysight-inc/HackerNews huggingface dataset:
> Every single guy I have ever gushed at about how keen he is has, without fail, promptly turned into a psycho asshole monster and made me wish I never met him.

I have seen / heard of many guys getting complimented over the years (including myself a few times), and never heard of one of them turning into a “psycho”, “asshole”, or ”monster”. A couple times I saw a guy get complimented out of the blue and then kind of stammer something and hurry away looking embarrassed, because he didn’t have any idea how to respond. A couple times I have seen men brush off / refuse compliments it looked like because they wanted to seem modest (e.g. “oh it was really no big deal, please don’t think anything of it...” after someone had just directly said their action was very helpful/meaningful). Once I saw a guy get complimented and respond “yeah, everyone says the same thing”, which I admit is a pretty obnoxious response.

I have also heard plenty of stories of guys who were monsters (physical abusers, stalkers, spreaders of nasty rumors ...), but to my knowledge none of those came out of a compliment.

I believe you, but I’m having trouble imagining quite what happened. Maybe you can elaborate a bit? Do you mean that those men turned around and demanded something more from you? Stopped treating you with basic respect? Wouldn’t talk to you anymore? Chased you around? ...
The big one for me is deleting multiple branches! I want to Shift-Click to select a bunch, and then delete them. Doesn't work, despite several UIs in SourceTree where it should.
Yes. I don’t know. I don’t know what those are.
Same comment as on the other MFA key story on the front page right now[0]:

Sad that the form factor looks terrible compared to YubiKey Nano.

It'd be really cool to have an "open" solution which comes in a minimally invasive package.

For reference: https://i1.wp.com/vaultumllc.com/wp-content/uploads/2017/03/...

[0] https://news.ycombinator.com/item?id=18036336
I'm going off the wiki page for thee commerce clause [1] here. The Supreme court interpreted "To regulate Commerce with foreign Nations, and among the several States, and with the Indian Tribes." as including "apply[ing] national quotas to wheat grown on one's own land, for one's own consumption".

This isn't a new observation unique to todays conversation (I'm sure it has been bought up from the establishment of a secret court) but you can't claim what you are claiming unless you happen to be a FISA court judge. We don't know what this court is doing. We don't decide what these words mean. The dictionary doesn't decide what these words mean. The judge decides what the words mean.

[1] https://en.wikipedia.org/wiki/Commerce_Clause#Dormant_Commer...
I am pretty sure this qualifies as being too clever by half. It "solves" the problem of an IoT type device that wants to be on your network but not creating its own network so you can tell it what to do.

While I get how it makes it easy for consumers it also makes for an interesting war-driving type hack for people who just record spectrum too.
Why did the bridge collapse?
> What would need to be improved in the state-of-the-art of automated proof validation for the process to be less painful?

I think there are two parts:

1) Improve the theorem proving languages syntax so it's more intuitive, and so there is a wealth of "libraries" to build upon so you don't have to go from the basic axioms (of arithmetic or the reals for example) any time you wanted to prove something.

2) Provide some sort of computational intelligence to fill in natural gaps of proofs. I believe humans tend to leave a large number of more or less trivial gaps even in rigorous mathematical proofs that couldn't be avoided by language syntax. For this probably some kind of AI system would be ideal that tries to derive successive results and complete the proof automatically.
Google workers discussed tweaking search after travel ban
Other than my wife, I really don't care if people like me anymore. I want to be respected and taken seriously. Anything beyond that is gravy.
Have you seen that his statement was a reaction to a New Yorker investigation about how his attitude had discouraged women from contributing to the kernel?

"Torvalds’s decision to step aside came after The New Yorker asked him a series of questions about his conduct for a story on complaints about his abusive behavior discouraging women from working as Linux-kernel programmers."

He is in disgrace.
"Most people are too worried about what you think of them to have to time to worry about what to think about you".
Even further OT: I was good friends with Frank Calegari's older brother (also a mathematician) at school, and used to play bridge with Frank at university. I'm not a mathematician but I do sometimes read articles when they're posted on HN, so it was a surprise to see someone I know mentioned. :p
ONE OF MY SNAKES ATE
How many phone calls / email does one send to be deemed trustworthy?

And on top of that, considering I make ‘phone calls’ via signal, FaceTime (audio) and other apps, on top of the standard dialer, and for email use Zoho, inbox, gmail and the standard client, how does it even come up with these numbers?

I have to assume they’re looking for extremely high usage, robo dialers or spam outfits using iPhones. But is there any evidence this is happening?

It also sounds like it’s somehow connected to Apple Pay, but why would someone using their device for spam purposes have or setup Apple Pay? Surely if you’re using your device to robo dial / spam, it’s one of many devices sitting in a rack / pseudo data centre. Not a personal device.

This all sounds very very strange.
> Also are there good tools for reverse engineering iOS deployments?

There are many; since apps are native on iOS a standard disassembler would work. But there are many more specialized tools, such as class-dump and Hopper.
Try Snowplow if you want to run it yourself.
Reminds me of that article I read about buying fake shoes where buyers are complaining that the shoes are too this and that and getting their demands met more than if they were at a legitimate shoe-seller, like if you are buying fake shoes, you are buying what you're getting
It's time to repeal Section 230 of the Communications Decency Act. Either internet companies can exert editorial control like this, or they can be free of the consequences of the libel, criminal threats, and intellectual property crimes they are party to. But not both.
You should check out how much tickets to the Taj Mahal cost based on where you're from.
Maybe the Tomu discussed in another comment here would be a good starting point. We're really focused on the Kickstarter now, so unlikely we'll have time to do it ourselves in the next, say, month or two. But the code is open now :)

I personally use a Nano, but only for limited use cases like VPN. I don't like it for web access to Google/Facebook/Github simply because it feels like someone else could get access to it easily. Of course it's more like a feeling than a real threat.

It'd be interesting to see some numbers on sales, to see if it's worth from a business perspective.

Edit: grammar
A Possible Proof of the Riemann Hypothesis from Sir Michael Atiyah
Apparently Sir Michael Atiyah is presenting a proof of the Riemann hypothesis on Monday using "a radically new approach based on the work of von Neumann, Dirac, and Hirzebruch"
The holy grail though is endorphin/serotonin/dopamine emission through nerve stimulation. That is a device that gets you "high" by just pushing signals into your brain that you should be high. Back in 2008/2009 when a flurry of papers came out about using deep brain stimulation on treatment resistant depression I estimated we were about 10 years away from a purely electronic opioid equivalent.

Clearly I was a bit optimistic, but I still think it is just a matter of time. That will change the world dramatically when it lands and pretty much suck most of the oxygen out of conventional criminal and corrupt enterprises.
First off, you'll be okay. You're a good writer and seem to have a good attitude. Everything will be fine and one day, you'll look back at this and laugh.

Second, it sounds to me like you worked for assholes. What kind of shithead takes a new grad, sells him/her on mobile, drops him/her into a totally new stack and then pulls out the fire hammer because he/she wasn't meeting milestones?? This makes my blood boil and I don't even know you.

To answer your question, put it on your resume and be incredibly open about what happened. You have nothing to be ashamed of and I bet that you learned a ton.

Best of luck, bud!
Fair enough! You're absolutely right: I don't know the answer. I misinterpreted your post as suggesting/implying that there is no answer for a computer.
Paywalled, does someone have a copy?
Upvoted to encourage you to write that tutorial. Please feel free to harvest my profile email address for any mailing list you might have for it.
ANSSI (French national agency for cyber security) open source its secure Linux
Everett's theory categorically tells us that the results of experiments differ from the results in Bohmian mechanics. In Bohmian mechanics, a typical experiment will have one result. In Everett, experiments have all possible outcomes happening. These are not the same.

The "indistinguishable" part happens because, according to Everett, there is some version of the experimenter that will have the same experience as the single experimenter in the Bohmian world.

This is not simpler. I have no reason to believe that there are infinitely many copies of me out there. Everett's theory says that there are. Fine. I can't disprove it. I also can't disprove that every instant of my experience is being carefully orchestrated by a thousand angels. It is experimentally indistinguishable from any theory you care to posit.

But I prefer theories where my actual experience is supposed to be a reasonable reflection of reality. I experience a single me and therefore I would prefer a theory in which there is a single me. Bohmian mechanics provides that and in a completely natural and reasonable way.

Everett categorically disputes my experience as being reflective of reality. There are infinitely many copies of me and my experience of being singular is an illusion. I can't dissuade people from embracing that, but it certainly strikes me as peculiar.

Also, in terms of experiments, Everett has infinitely many copies of the universe where all of the statistics of the experiments come out wrong. There are infinitely many that come out right. Is that experimentally indistinguishable? I don't know. Kind of a strange question in the context of "most everything happens".
Well, we're all saddled with git's total disregard for the user experience.

We'd still be struggling with the positive and negative aspects of open source software if Linus hadn't existed, just as the first world war would probably have happened anyway if Gavrilo Princip hadn't precipitated it. Bear in mind that however good a coder Linus might be, RMS is still an influential figure for political reasons despite checking out of the coding business years ago. Politics, charisma of one sort or another, celebrity...
Yeah, I think you're correct to point out the tension between designing up front and adapting to reality you learn as you go. If you haven't been exposed already, the way Datomic approaches this problem has been eye-opening for me: https://docs.datomic.com/on-prem/best-practices.html#plan-fo...
It has become apparent that since the all-hands meeting after the 2016 election that Google views it's role as someone to socially engineer society because of "low information voters" and other topics they dislike.
People also readily undervalue things that come to them easily - relationships, friendships, money, power, etc. I work at a multi billion dollar facility that is routinely taken for granted by workers. “Oh it’s just this place” sort of thing. I’ve known men and women to undervalue relationships that came to them easily. That exact concept was on display in Hemingway’s The Sun Also Rises. I think the “struggle” really does make people value things and others more highly and the lack thereof less.

My working hypothesis is our brains are always learning - literally everything. We learn our concept of time from our experience with it. We learn our concept of a relationship with another person from our experience with them. If someone comes into our life easily - relative to other relationships - our brain associates them with less value. It’s also horrible logic.

Edit- as for whether someone likes you: people accept, overlook, and tolerate more aberrations from normal/good treatment from people they value or like. If they’ll accept little of your aberrations then they’re unlikely to ever like you - run for the hills. That’s one of my tricks for likeness.
Definitely Applying UML and Patterns https://www.amazon.com/Applying-UML-Patterns-Introduction-Ob...
Hmmm, a banner with a call to action does not seem out of the question on issues like this, tweaking the results not so much.
Depends on your starting point. You can prove 1+1=2 quite easily from the Peano axioms:

1+1=1+S(0) [definition of 1]

1+S(0)=S(1+0) [definition of addition, a+S(b)=S(a+b)]

1+1=S(1+0) [transitivity of equality]

S(1+0)=S(1) [definition of addition, a+0=a]

1+1=S(1) [transitivity of equality]

S(1)=2 [definition of 2]

1+1=2 [transitivity of equality]
Just click the link from google search results https://www.google.com/search?q=Google+Workers+Discussed+Twe...
WASHINGTON—Days after the Trump administration instituted a controversial travel ban in January 2017, Google employees discussed how they could tweak the company’s search-related functions to show users how to contribute to pro-immigration organizations and contact lawmakers and government agencies, according to internal company emails.

The email traffic, reviewed by The Wall Street Journal, shows that employees proposed ways to “leverage” search functions and take steps to counter what they considered to be “islamophobic, algorithmically biased results from search terms ‘Islam’, ‘Muslim’, ’Iran’, etc.” and “prejudiced, algorithmically biased search results from search terms `Mexico’, `Hispanic’, `Latino’, etc.”

The email chain, while sprinkled with cautionary notes about engaging in political activity, suggests employees considered ways to harness the company’s vast influence on the internet in response to the travel ban. Google said none of the ideas discussed were implemented.

"These emails were just a brainstorm of ideas, none of which were ever implemented,” a company spokeswoman said in a statement. “Google has never manipulated its search results or modified any of its products to promote a particular political ideology—not in the current campaign season, not during the 2016 election, and not in the aftermath of President Trump’s executive order on immigration. Our processes and policies would not have allowed for any manipulation of search results to promote political ideologies.”

Next week Attorney General Jeff Sessions is scheduled to meet with state attorneys general to discuss concerns of anticonservative bias. Conservatives recently expressed anger after Breitbart News released a video of a 2016 company meeting in which Google senior managers lamented Mr. Trump’s election victory.
Same here, looking hard for it. I'm even considering writing it myself.
Most software is shoved down our throats by other people. I don't get to chose the OS I use at work, I can't remove the sluggish virus scanner or other software IT installs, and I can't pick the chat client someone else wants me to use to chat with them.

In markets where individuals do make the software choice, buggy and slow products are often punished. You see a lot of warnings about bugs and performance problems on video game reviews, and those reviews do seem to hurt the sales.
The YubiKey Nano is meant to be left constantly in the USB drive, essentially turning your entire laptop into a key. That doesn't work if the key is meant to be used to unlock the laptop.
Doesn't work for me for some reason (maybe some privacy extension).
I remember there was some news at the time about Googlers rallying against the Muslim ban, in part because it directly impacted a couple hundred Googlers:

https://www.recode.net/2017/1/30/14446690/google-rallying-se...

https://www.buzzfeednews.com/article/williamalden/nearly-200...
"Show me your flowcharts and conceal your tables, and I shall continue to be mystified. Show me your tables, and I won’t usually need your flowcharts; they’ll be obvious.”
It's not the reminder of emails that the OP is talking about. You can do that in Gmail. It's the freedom of adding any reminder to your inbox, not related to emails, that made a huge difference.
I don't want to get into a lot of details, but I will give one example.

I had an affair in my twenties with a man whose life could have been absolutely ruined because of it. He wasn't especially good looking, but he had beautiful blue eyes and I had a thing for blue eyes and told him how much I liked his blue eyes. We were not sleeping together at the time and it wasn't an unreasonable thing to say, given circumstances. This was a huge turning point in the relationship and he ended up nutcase levels of obsessed with me.

This man is the reason I did not use my first and last name online for many years -- because it is a fairly unique combination and I didn't want to be easily and readily found by him. Five years after I ditched him, he hired a fucking detective to track me down and called my house where I answered the goddamned phone in front of my children, like that isn't awkward as all hell.

No, he hadn't filed for divorce from his alcoholic wife. No, he hadn't left his incredibly conservative career. No, he absolutely was not in any position whatsoever to say "Oops, sorry. You can move in with me." if his phone call outed me to my husband and resulted in a divorce.

I'm not exaggerating when I say psycho asshole monster. It's only not been more of a debacle because avoiding drama is one of my skills, thankfully.
GitHub: Elevated error rates
Just a question of starting point. Linkerd 1.x has been running for years on multiple platforms, and we'll get there with the 2.x line as well.
One related wrinkle that can catch out UK people (who tend to conflate local non-summer-time with UTC) is that the epoch is not midnight 1 Jan 1970 in UK time -- we were in the middle of a "UK time is GMT+1 all year round" experiment in 1970...
I have met very few masters, yet they're all extremely humble and open to learn from anything/anyone.
YouTuber
Actually, that comment by BrandonM is occasionally referenced as a good example of how YC startups have an unhealthy advantage on the forum, as YC startups can have their posts deleted but regular users such as BrandonM can not, hence their comments live for an eternity (which in this case seems to be a good thing).
Did you mean to write “there is no effective procedure to determine whether an arbitrary formula follows from those axioms?”

A proof is exactly how we demonstrate that a formula follows from the axioms.
Comic Con Experiênce
I've encountered just about every item on this list working on my Apple Watch complication, Better Day[1], which supports 11 calendar systems in 21 languages. The funny thing is, the last item on this list — always use ICU through the NSCalendar API — is the exact conclusion I arrived at, and one that I preach to anyone who will listen.

Especially with modern Swift syntax, complex questions like "what's the current day of the year" end up having simple, almost poetic answers like "calendar.ordinality(of: .day, in: .year, for: date)". And you can trust that they are correct for every calendar and every locale. Usually. [2]

[1] https://itunes.apple.com/us/app/better-day-a-complication/id...

[2] https://www.joeycastillo.com/notes/2016/09/18/of-crescent-mo...
Just prepend "outline.com/" to the URL: https://outline.com/https://www.wsj.com/articles/google-work...

(For now. Why does this work, anyway?)
Note that they didn't exert any control. It was discussed between colleagues. The email chain contained many warnings not to do this. Ultimately nothing came of it.
Starcity (YC S16) Is Hiring Full-Stack Software Engineers
Where does one have a guarantee against unbiased internet search results?
I thought only cable and broadband companies spammed their customers with marketing material, but clearly I was wrong.
How many employees does Google have?

What precisely are a few emails from employees supposed to show about the company? I mean, seriously WSJ. What if some employees sent around emails saying they approved of cannibalism, would people be like "Google is about to start eating humans!"
Foxconn Interconnect Technology Limited Acquires Belkin, Linksys, Wemo, and Phyn [pdf]
The jiant sentence representation learning toolkit
https://outline.com/t85mra
I can say what I'm saying because that's explicitly what the law says, and it has been litigated and adjudicated. Maybe I should have been more precise and have said you can't legally get a FISA warrant for a purely domestic criminal case. The only way it comes into play for a purely domestic case is if the FBI/DOJ lies to the judge, or the judge is corrupt. And I'm sure that's happened, and it is in part a consequence of the secrecy that shrouds the court.
You can statically compile your go and c code into a single binary.
I love octopuses and I hope they're given a fair chance to evolve to their full potential, perhaps as the next caretakers of Earth to succeed us if not as the second intelligent species to cohabit this planet with us.

It seems their biggest disadvantage is their very short lifespans? Apparently they get to live for barely 5 years! Worse, their reproductive system also seems to be rigged to make them die of starvation. [0]

[0] https://en.wikipedia.org/wiki/Octopus#Lifespan
> no-one actually wants to separate the content from the presentation anyway.

Except of course the developers who are using react & friends because it allows them to separate content(data) from presentation(view).
News regarding ABC conjecture and [proof of] Riemann Hypothesis
Appreciate this is a tangent, but if you learnt almost 30K trivia questions off by heart.. have you found that has benefitted you in other ways? Like, being killer at quiz shows or University Challenge or something? :-)
"if it doesn't hurt, it isn't a strategic decision"
Depends on which ones. There was that video of the all hands with some of their senior leadership literally crying when Trump got elected. If it includes one of them, either directly or looking the other way, it could be a big deal.
Sorry you had to go through such a shitty aftermath. That sounds terrifying.

It sounds like he took the compliment as a sign that you were really serious about him and the relationship, whereas you intended it just as a statement about his eyes.

The “nutcase levels of obsessed” part sounds like a pre-existing problem / part of this guy’s temperament, rather than a normal response to receiving compliments. The people I know who attracted stalkers didn’t so far as I know trigger them with any particular action.

Dunno, I’m not a psychologist. I would be interested to hear more about this kind of compliment-as-behavior-switch in other kinds of circumstances.
Not to jump on the bigotry, but two of the three bugs mentioned in that comment were in proprietary software (Java and RRDNS) that merely runs on Linux. The hrtimer issue in 2012 was a real kernel bug though.
I get the impression that this was just chatter on some internal mailing list, not anything that was seriously considered by Google management. Aside from the meta-questions of "Who gave the WSJ these emails and why?" this seems like a non-story.
I believe it is because propellers get lift from air pressure, which is more efficient than just pushing air for thrust. If you are sucking air through an engine you don't get that bernoulli effect.

I could be wrong. I am not an aerospace engineer
Because there are a number of people constantly reverse engineering these clients to be sure that it doesn’t.