skysight-inc/HackerNews huggingface dataset:
> fairly easy to verify that they're indeed Google, considering they just published their public keys on their own website

This doesn't prove anything, unless you already trust another CA which can vouch that you're looking at Google's site in the first place. Or by some sort of consensus with other people that you see the same key.
On mobile apps, URIs are more like actions than like navigation state. The navigation state can be quite complex because there are often several navigators in an app that each need to maintain the state of several screens.

For an example of how this works on web, try browsing to a doc on on reactnavigation.org, then navigate to the home page, and navigate back to 'Docs'. Notice how the state of the docs tab is retained, even though the previous URI had no awareness of that state. Most websites don't behave this way, but mobile apps do.
I find it telling that GP hasn't responded to this counter argument. It seems like people/entities committed to the libertarian POV are stubbornly unwilling to acknowledge the extent to which their success was contingently enabled by pre-existing societal structures. It's the height of solipsism, refusing to see the historical context that led to your current situation, and it's exactly this solipsism as practiced by corporations and the mega-wealthy that has led to the crises of inequality and instability we face today.
New kind of Lisp macro discovered
You need to be an optimistic fool to support Trump in the first place.
Precisely - calling it an "encoding" here is more of a tongue-in-cheek nod to how simple the steganographic rule is than an intention to imply that it be used as a straightforward representation.

Also, "steganography" tends to imply that the intent is to hide the underlying message, and that's not necessarily the case here, such as when employing alphabi for mnemonic purposes ("Baywatch hologram lemonade asteroid" being easier to remember than "52.84.24.108").

Furthermore, the purpose of the "encoding" being so flexible (and, consequently, low-density) is that it can be used, then, as a medium of expression - it's not that the "message" is hidden, it's that, well, [the medium is the message][], and per Article 19 of the Universal Declaration of Human Rights linked there (emphasis mine):

> Everyone has the right to freedom of opinion and expression; this right includes freedom to hold opinions without interference and to seek, receive and impart information and ideas through any media and regardless of frontiers.

[the medium is the message]: https://en.wikipedia.org/wiki/The_medium_is_the_message
I think historically the Curry-Howard correspondence grew out of the observation that combinatory logic and Hilbert proofs look very similar. There does not seem to be a large overarching story that doesn't makeup some history after the fact.

What I can say is that these days the Curry-Howard correspondence is typically taken to state that "Propositions are Types". And for typed languages, the difference between intrinsic types (Church style) and types as properties of programs (Curry style) are just two extremes on a very fluid spectrum.

You are absolutely right that this realizability interpretation as stated doesn't really help you define a complete notion of truth, since it doesn't solve the (unsolvable) problem of telling which proposition a program realizes. This is one of the reasons why Brouwer was so opposed to basing everything in mathematics on a system of inference rules. Without "intuition" about whether a particular program realizes a proposition you cannot really get off the ground.
Sadly, with the current GitHub OAuth flow that's the minimal permission needed to access GitHub Issues.

See https://developer.github.com/v3/oauth/#scopes
OpenBazaar are using IPFS over a Tor transport.

You could have a fast lane direct from the (http) server, then a slow P2P lane over Tor, both using the same content addressed protocol, and caching the results locally for instant reloads.
oracle forces you to arbitration for sinister reasons, and the effect is usually for the company's benefit and the employee's harm

since oracle lost this time, it is very obviously angry that it has to pay money (cost cutting is king above all)

so it will use every available method to exhaust the employee suing

it's pitiful and totally par for the course for all of us
This fake tweet sounds scarily close to something Trump's economic adviser actualy said:

"Peter Navarro, who leads the White House National Trade Council, said during the campaign that tariffs would not cost U.S. jobs.

"The tariff is not an end game, it's a strategy -- a strategy to renegotiate trade deals," Navarro told CNNMoney during the campaign. "Tariffs wouldn't put U.S. jobs at risk.""

So, US jobs would not be at risk, they'll just pretend to put them at risk to scare the Mexicans. And then they'll announce that strategy to the press in advance.
The Wayland transition will, itself, probably leave people with my preferences (tiling WM, a stack of other small customizations that depend on X) high and dry for a while, but I guess one can hope that it'll be a solid foundation for future development.
Yes. And I thought backstabbing was out.
The Techcrunch article is framing it as an "escape hatch," but offers no evidence that Thiel actually purchased it for that reason.

He may have purchased the NZ citizenship for tax purposes, or so he could buy this "sensitive land." Neither of which are going to win him a Humanitarian Of The Year award, but neither do they indicate that he foresees or is trying to bring about an economic catastrophe in the United States.
I think what bluecoat proxy at my work does in this case is just inspect traffic and pass invalid cert to the client, since it is invalid already. If the cert is valid, replaces it with its own cert.
Enjoy your horse then; I'll just speed off into the sunset with the latest model Generics Motors has to offer. :)
Is the state of the world a fact? I'd argue it is. Are some states of the world have greater likelihood of global catastrophe than others? Likewise, I'd argue there are. Trying to determine whether that likelihood is greater or lesser compared to other times is useful, though it might not be easy (or even possible) to measure it quantitatively with arbitrary precision. In that sense the Doomsday Clock represents an opinion as opposed to a absolute numerical value.

Some opinions are more valid than others. I think it's reasonable to weight the opinion of the The Bulletin of the Atomic Scientists' Science and Security Board heavier than the average person, and I also think its something reasonable people can disagree about.
It also notes on that page:

> if they perform certain specified acts voluntarily and with the intention to relinquish U.S. nationality

It looks like intent to renounce US needs to be explicit, not just implicitly inferred by performing the act.
It doesn't handle glob expansion.

bash(0)> awk '{print $1}' access.log*
+ awk '{print $1}' 'access.log*'
awk: cannot open access.log* (No such file or directory)
I'd prefer the manager getting up and tapping me on the shoulder even if that is more distracting. Then at whatever review you might have (or not) say that constant interruptions have a negative affect on the work you do. Your manager sounds like a bad one.
You can just disable caching altogether in Dev Tools. Extra refresh levels are unnecessary.
Image-to-Image Translation in Tensorflow
This should be done using subresource integrity. Then, you know it hasn't changed. There should be some convention for encoding the hash into the URL, so that any later change to an "immutable" resource will be detected.

With subresource integrity hashes, you don't have to encrypt public content. Less time wasted in TLS handshakes.
You made me notice that my ranking right now is 1337, which is 1337. That is an average of 0.64 per day. I previously cared, but only because I was learning to hear and trust my inner voice, neither of which I was ready to do when I started participating on HN. Sharing my opinion here and having it be appreciated by others has been a large confidence booster.
Sure, but I notice a distinct absence of any justification for why your concerns should hold a higher priority, which says to me that you consider harassment to be an issue of inherently low importance.
Ask HN: What do you jedi masters think?
https://medium.com/@HarshSikka/the-future-of-human-health-fc43bb0a238#.iiq1a3ry7

I wrote this related to a project I posted about a few days back, and a lot of you really resonated with it! Would love your thoughts
Apparently in internal Palantir communications he talks about how their software helps the good hobbits resist the evil orcs and stuff.

It's amazing how easy nerds are to distract from the true implications of the work they do.
"The suit accuses Anderson of having tried to recruit away employees from Tesla"
...
I hope not, since that's not a thing that's illegal.

Tesla should certainly know that most non-solicits are not enforceable in california (and i only say most because occasionally, one is found valid, but the vast majority are not)
Anecdotal: I used to play chess frequently against a friend, who smoked pot pretty regularly. When he was sober, I usually would win. When he was starting to get high, he would usually win. When he was fully not sober, we would usually tie.

I do not smoke, so I was always sober during these games.
Interesting times, we live in. We now may need more than 4GB of RAM (per process) just so we could read email and browse the Web.
Same exact thing happened to me on Instagram. Which is crazy to me, its really the first time I was hacked, as I usually am very careful with passwords and security. I used 2FA and password managers and so forth.
yes, you absolutely nailed it. oracle actually does it on purpose, since cost cutting will always be more important than employee retention in the eyes of the company

oracle wants all of its best people to quit, especially if they are walkin away from a high spending account. they will put a younger employee to service the account at 50% cost, and whether the relationship gets better or worse they don't care, because they've realized the cost savings...

... and any revenue growth the company needs comes from acquiring other companies, not from happy customers
On electricity to train all those deep neural networks.
Yep, agree with all of this. However, I think you can go overboard with not taking photos. I'm not naturally inclined to take photos, and as I get older, my memory of great trips/events fades. I often wish I had more photos of my younger days – not a ton, just a few to help me remember the experiences and get back in the mindset.
Apache Eagle Graduates to Top-Level Project
The Electome: Where political journalism meets AI
Great! Coming from using NavigationExperimental, I am happy that we have converged on a solution that is much easiee to implement.
I was thinking about LEM today. Without the oracle, you can prove that the double negation of the law of the excluded middle is true, which can be represented with the following type:

negneg_lem :: ((Either a (a -> r)) -> r) -> r

I'm using a polymorphic r to represent the void type, and I'm using the idea that "not a" is the same as "a -> r".

The proof of negneg_lem is just

negneg_lem f = (f . Right)(f . Left)

No oracle there. If you had an oracle

oracle :: ((a -> r) -> r) -> a

then you would get the normal LEM as

lem = oracle negneg_lem

An interesting thing about the type (a -> r) -> r, i.e., double negation, is that it is the type for continuation-passing style. This suggests that a classical proof is something which is allowed to do backtracking search, but I'm still trying to understand exactly how that is.

(Also, the oracle is somewhat absurd. Really, if you have a function which takes functions, you can produce an element of the function's domain? It might almost make more sense if r was a void type.)
I found this to be a bit counterintuitive:

"We conclude that in sum, the present study shows that pharmacological modification of complex cognitive performance in a highly demanding task is possible most likely by modifying decision making processes. More reflective decision making may enhance performance when no time limit for the task at hand is present but may have (emphasis mine) disadvantageous effects under time constraints especially in individuals who tend to be rather slow thinkers."

Doesn't that mean stimulants are effectively useless for someone who tends to be a "slow thinker"? I would expect that stimulants would speed up the underlying decision making processes of a slow thinker, especially during times of stress/limited time constraints.
its not because the movie was filmed there that it means anything for LOTR. Tolkien pretty much had a in mind Europe in terms of Inspiration for his book.
> Often for non-gun related threats.

People carry guns because they're afraid of all the dangerous people out there not carrying guns? Uh huh
It's obviously a scam to call me in and bill the government $50-100 to read me my negative result in person. I don't understand how you can defend this practice.
I've also found IP bans to be ineffective due to serious collateral damage. I think shadow-banning is one of the most effective methods.
Talking with Oakland Tower
So children's opinion is possibly accurate. However if current state is not the desired state we may choose to educate children in a way that does not reflect current state of affairs but rather such that will lead to the desired one.
We keep reading comments like this about Trump.

But consider the alternatives. You have to admit to having the wool pulled over your eyes to vote for Hillary.

And there's nothing good to be said about any politicians. They're all self-serving lying scum. Some of them are only slightly less ugly.
Getting the heat for tax avoidance in multiple countries?
I appreciate distros that continue to offer 32-bit options. They have given old computers new leases on life and distros like arch allow these users to run the latest and greatest software on such hardware. I feel the days of being able to run a popular Linux distro on "any" hardware (old or new) are unfortunately numbered with many major distributions dropping 32-bit support.
I don't mean to diss the KDE project, but my experience with KDE, ever since around 2., has been that it feels optimized for screenshots: Everything looks gorgeous* out of the box, but when you start actually using the destkop, a lot of things feel clunky, cluttered, buggy or they just don't make sense in the current world (Plasma, I'm looking at you.) I also can't understate the "buggy" part. I've never experienced as many crashes as when using applications in the KDE suite of utilities.
Perhaps the blocks aren't implemented as naively as you assume. It wouldn't be too difficult, as per your example, to distinguish between an IP that is shared by many devices and one with more limited use. There are also other ways to block besides just IP-based.

I do agree with you that the nature of the internet makes blocking people from free (non-paid) sites inherently difficult though.
It's not really that much about secrecy. Most of the tools are free or open source (with the exception of audio tools which can be for the most part substituted with eac3to).

The problem is that the "body of knowledge" is rather extensive if you want to cover all the corner cases and imaginative ways in which authoring houses screw things up. To be able to filter the video correctly you need to know a bit how the h264 codec works, learn your color formats, color spaces, a little signal processing, a few tables from ITU-R recommendations and some proficiency in RPN wouldn't hurt. As such it is difficult to put it all down in one guide. To make it worse, as with every niche community there are disagreements and transient "fashions". At the end of the day though this is very much chasing rapidly diminishing returns.
Wow! Looks great. Love the simplicity of drawer[1] and tab[2] navigation as well. Compared to current offerings, a lot less intimidating.

[1] https://reactnavigation.org/docs/navigators/drawer
[2] https://reactnavigation.org/docs/navigators/tab
For many of the foundations we've spoken to, we would need to change the license.
Really? I've been programming for almost 35 years and I can't think of many languages that made such big changes. Java, for example, is still compatible with 1.0.
Please work faster, I wasn't alerted that a webhook would be added and now I have 200+ repos that need to have a webhook removed...
That, and the consuming the blood of young children :) so, consuming the blood of young children AND second citizenship.

Easy to get them mixed up, I know :)
IQ tests only measure one's ability to perform IQ tests, are widely criticized as flawed indicators of performance and are at best tangentially related to what most of us would describe as genius or brilliance.

Your assertion that brilliance is more common in men than in women is unsupported.
The Palantiri don't inherently corrupt their users, they were only dangerous because Sauron had captured one of them and was feeding bad info from the other end.
Google is selling ad inventory where it didn't previously. Google Shopping is slowly rolling out across the world, initially in new markets there is a lot less competition than established ones, so the clicks can be had a lot cheaper.

For example we are probably paying half for the same quality Google Shopping clicks in New Zealand than we are in Australia or the US. This won't last.
How do they know it's not due to confidence boost?

These drugs can make you feel "good" and confident, which all top competitors spend a lot of time trying to build up.
Proven: Performance-enhancing drugs for chess
From my understanding, a key point in the lawsuit was that he was still working for Tesla when he was recruiting people for his new job.
Even if the lawsuit is without merit, Tesla still wins because future former employees will be more reluctant to try and recruit their former coworkers if they know Tesla will sue them for it.
I've wondered about this question myself. Wondering whether a financially well-resourced group would just use money to get access as an easier and more efficient approach to influence of a member of Congress. That to simulate an avalanche of calls from concerned citizens by paying people to call is a less financially efficient method to get influence. (I'm just speculating.)
Thanks another ton.
Some data to back up the closing price (all but useless given the after-hours price and the apparent open for tomorrow being pretty much what it was today before earnings): I took the last 20 days of adjusted closing prices for GOOG from finance.yahoo.com, and a -2.18% change is 2.76 std-deviations away from the average fluctuation. Not significant but still a lot.

Thanks for response.
Show HN: Juicebox – Listen to music with others
So is he okay? This makes me feel relieved if he is okay.
Usually I ignore recruiter spam, but a while back I got this one that started off with the line

> I recently came across your blog (one picture of your cat had me dying).

I'm fairly certain the recruiter did not read the whole blog post [1] because it is a eulogy for my dead cat. Normally I'm fairly calm and try to be understanding and empathetic especially for people just doing their job, but this put me in such a white hot rage. Not only did I email the recruiter back telling them off, but this was the kind of rage where you are no longer acting impulsively, but have come back around the other side to being calm and rational in your rage, so I tracked them down on google, figured out who their boss was and CC'd them on it. I felt a little bad about it, latter I've had shitty sales jobs too, but man rule 1 page 1 of bland icebreaker email openers has got to be 'make sure it's not a god damn eulogy'.

1. http://calvinmetcalf.com/post/94533627852/a-thousand-days-of...
That's a real asinine assumption to make. I explicitly said in my comment that harassment is a worthy cause, but that a half a million dollars is excessive.
Unless he signed a 365 day non-compete which is fairly standard. In which case he would be in breach of contract.
Yes, you're right, Army firearms go through a ton of rounds, but I've pulled brand new Berettas out of the plastic and they're just not the same weapon. I mean, they're the "same weapon" but they're just not the same. The Berettas I've fired in the civilian world are virtually night and day compared to the ones manufactured for the Army, the ones I've seen and used. It isn't fraud, but it isn't the same sidearm. Sig Sauer firearms are beautiful and built to some pretty tight specs. I think the only Sig firearm I've ever had problems with was the P250 subcompact, which had a weird problem with the ejector. They fixed it for free, though, and I haven't had a problem since, many rounds later. This P320 is going to have the same "problem": It's going to be a P320, but not really the Sig Sauer most people are expecting it to be, and probably not even manufactured by Sig Sauer.
Software team KPIs for competitor beating software
If an API changes, I can catch up with it in a quiet afternoon - instead of buying whatever hardware they tell me their next update requires.

Catching dark hardware is really easy - just allow each component to die if it can't reach the hardware, and then catch their 'last will' messages in mqtt (mqttwarn is great for this, I can get an email whenever a 'last will' is published). Also a problem the vendors won't solve for me ..
It's consistent with his libertarian values to explore and strive for systems that have freer laws. I don't see the incongruence. It's good to have multiple irons in the fire.
DWave next redesign will allow for 4000 qubits by late 2018
Yep. In medicine "other people's stuff" is used quite often...blood transfusions...sperm donors...organ transplants...etc.
>Also, it doesn't cover all the cases properly, because the page with versioned URLs can be cached as well.

If even the page with the versioned URL is cached, what good would a "Flush-Before" header do you?
Quite an interesting time to be alive in this country. Ideology is split about 50/50 (if voting patterns are a clue) and both sides believe the exact same thing about each other.
Undue attention is paid to short term blips. And it is indeed silly to get excited about exceeding analysts guess or falling short by a couple pennies a share.

About the 22% growth, that isn't being called a miss. They actually exceeded guesses on revenue. Net profit, while up, is what is being called a miss. Which net profit you want to use changes the increase but GAAP earnings were up 7%.
Is this talking about harassment by moderators? Serious.
> there are more chunks of content in the world than there are bits in any of the hashes we could use

The probability of collision is still negligible.
On ships, it's a crime for members of the crew to abandon their posts in an emergency if there are passengers at risk. Similarly, when you are working for the government in some capacity I think you ought to be fully committed to it. If you prefer to put your own interests first, then stay in the private sector.

And yeah, I do think it's a bit of a problem that the United States doesn't have any real civil defense infrastructure in place although realistically geography largely insulates the United States from conventional military attack and so there's much less practical need for such options compared to countries in other regions.
Really? Linux was ready for high DPI screens well before windows. I didn't compare to MacOS back in the early '00s, but (at least for what I use), it may have also beaten MacOS to the punch.

Concretely, I used an old > 1600x1200 21" CRT with Linux starting during the dot com crash, and was bummed when it died and I had to switch to low DPI flat panels.
How possible is that on Wikipedia though where you are expecting to see your edits? On Reddit people rarely go back and look at a thread they commented on from an unlogged in computer.