skysight-inc/HackerNews huggingface dataset:
See my question from yesterday: How does something like Tack fare in a mass certificate revocation scenario like Heartbleed: https://news.ycombinator.com/item?id=7554302
This has nothing to do with political beliefs or a conservative background.

You can be a conservative in all possible ways and still uphold moral principles. The last time I checked morality does not include lying, undermining human rights, waging foreign wars.
A bit off topic, but Varnish seems to have a valid point about using Varnish and SSL.

https://www.varnish-cache.org/docs/trunk/phk/ssl.html

"There is no other way we can guarantee that secret krypto-bits do not leak anywhere they should not, than by fencing in the code that deals with them in a child process, so the bulk of varnish never gets anywhere near the certificates, not even during a core-dump."

I came across this when looking for https support few weeks ago.
There should have been some warning on this link. That picture of that grieving (I assume) father was too much. I get the point the author is trying to make but it didn't have to be an /r/wtf subreddit.
Soooo, putting public pressure on a company that is employing a very controversial politician who is linked to war deaths, mass surveillance and torture is left-wing totalitarianism. Care to explain yourself?
So you refactor until the noise goes away. Why throw out the signal with the noise? Modern software engineering theory 101.
> while all that really has ever been shown is that they were tragically, woefully and extraordinarily wrong.

I find it very odd that, despite the fact they had access to allegedly better intel than everybody else, they were the only ones who were that substantially and, adding to the oddity, conveniently wrong.
Conflicting information, I just talked with someone from Sensirion who was quite central to the the SHTC1 project, he confirmed it was NOT the waterproofing that was the issue and pointed out there are Japanese devices with the same chip that are waterproof, even to IP68 (2m depth).
Eich donated $1,000 to a campaign he agreed with. Rice helped run part of the country you are lucky enough to live in. Get over yourselves. I bet everyone of you would work at Dropbox or Mozilla in an instance, even if they were prominent figures in the company.
I disagree with product boycotts in general, including this one. It means we're "voting with dollars", which means people with more dollars have more votes.
Excuse me? Not doing business with companies who do things we dislike is exactly how we settle political disputes in a civil society.

Seriously, what the hell is with all these idiots lately saying that we're not supposed to even vote with our wallets anymore? I apologize for my harsh language but I'm just so flabbergasted, and it's such a stupid thing to say that I think "idiots" is justified. Do you really think that we should limit the expression of our dissatisfaction to the ballot box and the internet comment box? Why shouldn't we change how we do business to make a point?

The way some people react to this stuff, you'd think we were talking about assassinating political opponents, rather than criticizing them and taking our business elsewhere.
It's probably too expensive to use as a standard method, but I would be willing to deposit some money with Gandi just in case they need to ID check me.
"Can a dependent type system catch all type errors at compile time?"

Provably not, if you want a type checker guaranteed to finish.
both parties played their role and I hope we hold them both accountable. Have you seen any of Kerry's talks on Syria, Libya, etc.?

I also don't feel theres been more justification for our actions in Pakistan, Afghanistan, Libya, Syria, or Egypt than Iraq. So changing parties didn't help... at all.
In France I regularly had non-compete clauses in my employment contracts except here, it has to be specific, limited in time (1 to 2 years max) and you have to be compensated for it (usually 30% of your salary) otherwise it's legally void. The employer has the choice to enforce the clause (and to pay you) at the end of the contract and must notify you within 15 days.

You're usually notified that the clause is dismissed and that's it. I was told that it could be useful in some edge cases like if you know an employee will start a competing business with your current clients but I've never heard of such cases. Also I think the former employee could already be breaking confidentiality agreements, nda, etc. doing so.
Better Type Inference in Java 8 Generics
factchecker is right. they didn't "lie." as numerous insiders have written (paul oneil, richard clarke), they were preoccupied with invading iraq and cherry picked dubious intelligence that supported their claims... like curveball, the niger uranium, etc.
How to ask for a Startup Job
Does the employer have an option to cancel the non-compete and not to pay the full salary?
Correct me if my memory is failing, but they had several UN inspectors go to Iraq who found nothing and Tony Blair had his aides fabricate some false evidence that was later used by Powell to declare "hey, we found 'em, now let's nuk'em". When you need to fabricate evidence, you do it because you lack of actual one in the first place.
That's unfortunate and I, too, will be closing my account with Dropbox. Moving to SpiderOak.

I realize, though, that neither me nor thousand others will change the Dropbox policy. They most likely anticipated the public outcry over Rice and considered it not a threat.

They play in the big league now, increasingly catering to the enterprise world. And those guys are not particularly worried about privacy issues. They rather cooperate, like the PRISM companies.

It's not the first nor last time a nice, user-friendly startup turned "evil" over a certain threshold of growth. If you happen to find a large influential company that stayed true to its original promise to their users - cherish it with all your heart. They are a very rare kind.
The NYC equivalent is losing money because everyone got a annual pass and not many tourists are using it. The tourists are the real money makers, as only 10 daily passes or 4 weekly passes will be the same cost as an annual pass[1].

If I was the program director though, I wouldn't be worried yet. We just got out of the coldest winter in recent years, and in a few months we can tell if no one is riding the bikes because the novelty wore off or because it was cold.

http://www.citibikenyc.com/pricing
Yep. As one of the results in your linked Google search says, a decent headline summary is "Gore blasts Bush on Iraq war".
How about she has a questionable approach to privacy and Dropbox is an application where privacy is key?
In France I have never worked after 6pm, even with two-hour lunch breaks (though I only have a one-hour break where I am now).

I don't know of anyone working until 7pm.

Almost everytime I read an article on rudebaguette.com, I feel like either I live in a foreign country, or they do.
Iraq Body Count
Apple Data Detectors and how Samsung and Google teamed up to steal them
You make it seem as if she had no way to stop it. As far as I'm concerned, if you can stop violence, you have a moral duty to do so. Otherwise, you are complicit in said violence.

At the very least she should have SAID something about it. But no, politicians stay quiet instead of rocking the boat so that they can keep all "buddy buddy" with their fellow ruling-class members.
>This is good. I am puzzled why the anti-vaxxers still exist at all?

Vaccines aren't "natural". Parents are easily scared and ill educated.
Let me say up front, my politics and Rice's are at odds.

But specifically to this issue, my views and Rice's views on privacy are diametrically opposed. When it comes down to it I simply do not trust her with my data. So it's not so much that I dislike her politics, it's that I think her decisions could have a direct impact on me as a customer.

I know dropbox has terms and conditions on what they will do with my data, but once again, my take is that Rice has a history of weaseling out of those kind of things.
I believe that people are far more invested in non-profits to which they donate money, as opposed to companies whose products they merely purchase. I do not find it at all surprising that a person who wrote a check to Mozilla (possibly one of a handful of donations to non-profits they made that year) would feel more invested in Mozilla's actions than, say, someone who eats a lot of Nabisco Graham Crackers. Even when the money spent on their consumption of graham crackers over the same year period may exceed the amount of the Mozilla donation.
I missed a coherent logical thread to follow in this article.
Bingo Card Creator and Appointment Reminder. The latter is big enough he's started doing angel investing. Keep in mind, he runs both of them by himself and he no longer consults. I'm not saying he doesn't have an ulterior motive, but his motives are considerably more pure than 99% of the articles on hacker news.

Not that it matters. Who cares where the advice comes from if it works? And if it doesn't work, the purest motives in the world isn't going to make it work.
What do you think about Teleport [0]? It is more like an actual type system (with dependent types!), with type signatures that get encoded in JSON. In Python (the only functioning implementation thus far), a real definition looks something like this [1].

Rather than providing a big fixed set of types, Teleport provides just the basics and allows you to define your own types, be it JSON-encoded primitives or fancy deeply nested structures.

Since my partner left to work on something else, work on Cosmic slowed down, but I'm successfully using Teleport at my day job and planning a new release soon, along with a complete JavaScript port.

[0] http://www.cosmic-api.com/docs/teleport/python/latest/

[1] https://github.com/cosmic-api/cosmic.py/blob/master/cosmic/t...
It's one thing to express and/or support a political view that others may disagree with, within the accepted bounds of our democratic process. (You can disagree with the viewpoint, but the act of making the donatio itself isn't illegal or immoral.)

It's another thing to subvert our system of government via deception, surveillance and/or intimidation, either by taking action outside the bounds of legal limits, or working to redefine those limits to suit your own purposes. There's a fair argument that these two situations are not comparable, regardless of how you feel about Eich's donation.
Just delete your account already instead of tweeting empty promises

https://www.dropbox.com/account/delete

Reason: Other

Care to elaborate: Condoleezza Rice
In this case I would replace "stupidity" with "assumption". It was code-reviewed so that level assumed correctness. It's in OpenSSL, which is written by experts, so the millions of us that use it every day assumed correctness. Our customers know little about the workings of the internet, so they assume correctness.

This, incidentally, is the same sort of thinking that sometimes kills experts in dangerous situations: the assumption that someone smarter than us must by definition know more than us, so we can be lackadaisical. Witness Snow Fall (http://www.nytimes.com/projects/2012/snow-fall/?forceredirec...)
Heartbleed Aftermath: How Secure Are Your Documents?
I mean, "actioncrime" is closer to what's being alleged here. So, "crime".
This thread here:

http://openssl.6102.n7.nabble.com/Coverity-coverage-of-OpenS...

mentions that one OpenSSL developer used to see defect reports from Coverity (probably through Coverity's scan project). He states:

"Coverity used to, and perhaps still do, run scans of OpenSSL, which we had (have?) access to. I used to look at them and fix relevant ones, but got irritated with the false positive level in the end.

If Coverity were interested in fixing their bugs, I might get interested in looking at their reports again."

Of course this doesn't demonstrate that Coverity found this particular problem, and since he doesn't state what the false positive rate was it's difficult to know how reasonable his statement is.
Gödel guarantees that full-blown theorem provers, even with human guidance, cannot prove all true statements about sufficiently rich systems. 'Sufficiently rich' here just means 'includes Peano arithmetic', and you can find tons of tutorials for doing just that (Church encoding) in even the simplest type systems.

(This bit of pure-mathematics wonkery ignores the substance of jarrett's question, though; one doesn't need the full Gödelian power to observe that a priori theorems that must be verified at compile time can never account for data that are provided only after compilation.)
So my first thought looking at this was, "Companies in modern times are forced to pay dues of this type as a cost of doing business and not having the government randomly shut them down." In other words, that Dropbox doesn't have much of a choice in the modern business environment.

Does anyone in a position to know, by which I mean that they've actually been in politics at the national level, care to tell me whether I'm right?
Couldn't agree more! It was both parties and every last one of them should be held accountable regardless of affiliation. The votes are public knowledge!

People are too quick to in-fighting over sides. Right now both are doing it and both are getting away with it. Just look at Kerry's recent syria, libya, etc. talks.

I don't forgive Condosleeza a pass just like I don't give Clinton a pass for bombing Iraq. (yea, we should remember that far back!)
Ex-Gowalla Founders Raise $2.1 Million for Last, a Stealth Mobile Startup
Complexity of FreeBSD VFS using ZFS as an example. Part 2
They'd rather have you believe that voting with your wallet doesn't work. They would prefer that you think the only way to enact change is through coercive governmental power. It fits their world-view and pocket-book quite nicely.
Entirely my fault, very sorry about that. Should be fixed now.
I agree with your overall point of looking in the areas around DOE labs (disclaimer: I'm at one now and worked at a different one in the past), but maybe only half-ish of them are truly in nowheresville. I would say Idaho, Los Alamos, NETL, Pacific, and probably Ames definitely are; while Oak Ridge is kind of on the bubble. This might just be my bias having grown up in the Midwest.

The rest are in major metropolitan areas, or very close by, such as: Livermore, Brookhaven, Argonne, and NREL (among others).

One thing you might notice is that many of the more out-of-the-way labs are on or next to the campuses of large universities with strong technical bases that maybe you didn't know about, like Iowa State for Ames and West Virginia University for NETL.
Everything you need to know about Heartbleed
Datomic and Datalog continue to amaze me, and give me hope that there might be a light at the end of the tunnel in terms of bringing us out of the depths of the SQL quagmire we've been stuck in for decades. Having the ability to persist, retrieve, and query data directly within the language you're using feel so much more natural than trying to mix in another language with a foreign paradigm into your applications (SQL) or sticking a contrived layer on top that tries (sometimes effectively, but with lots of edge cases and inside-baseball stuff to grok and deal with -- ORMs) to hide it away.
I use SQL every day -- heck, to a certain degree even like SQL -- but this just feels... better.
I find this board appointment alarming for what it signals.

We know that the NSA et al. are always seeking access to new sources of electronic data. It is beyond doubt that they have considered how to get access to Dropbox user data, and almost certainly beyond doubt that they have approached Dropbox about it.

To me, this appointment signals that Dropbox wants to reach a negotiated settlement with the NSA over their access to Dropbox user data. They hire someone who knows all the key players and issues, to negotiate on their behalf. Presumably Ms. Rice will be instructed something like:

"We're getting a lot of pressure from the NSA. If the public knows we are giving away their data, there will be a shitstorm, it'll cost us a lot of business. So, you have to make sure NSA access to our data is somewhat limited, there's some kind of plausible legal authority, a court order or something, make sure they pay us for our efforts in copying the data over to the NSA, that sort of thing. Set it up so we can put all the blame on the NSA if anything leaks, and claim we were mandated to comply by law. Okay?"

And then Ms. Rice will be dispatched to undertake that negotiation.

So, if the NSA doesn't yet have a pipeline from Dropbox to that datacenter in Utah, they will soon.
Here is the cartoon Knuth refers to.

http://www.danzigercartoons.com/archive/cmp/2002/danziger141...
Not too deeply, I think. Outsourcing implies the use of second-rate talent (and literally refers to sourcing cheaper talent outside of the company, which is not the case here). It's definitely condescending, and I understand why tech talent in the Midwest would take offense to this tone. There is definitely a large pool of top notch talent in the Midwest, and it's no secret at all that it's the most cost effective part of the country.
I don't really see a big difference between whatever political parties exist in whatever country you're in.

To go through a few places the two parties in the US differ substantially - voting rights, civil rights, healthcare, minimum wage, immigration, unemployment benefits, unionization, SNAP.

You know, small stuff.
> Rice has never held a democratically elected office

Technically true, however, she WAS approved by 2/3 of the Senate to hold what is widely considered the second-highest administrative office (after the President).
Is it a human right to approve torture, work towards starting a war and helping installing mass surveillance? I might have missed the U.N. meeting protecting those "rights".
I am sure this has been brought up already.

Why would a company that can store people's potentially most sensitive documents want to bring someone on board that directly or indirectly was a part of shaping the NSA programs?

That boggles my mind. How does the conversation go in this situation? "Hey, we don't leak your information but guess what, we just brought someone on our board that fully believes taking a peek at your documents is A OK and was involved with making sure the government could take a look."

That to me is a bit mind boggling.
Starting a startup is the new writing a novel
Have you got a startup on the side and you think you’re disrupting whole industries? Think that you’re unique? I’m here to say you’re not. Let’s face some hard truths together, I’ll hold your hand through it.

Starting a startup is the new writing a novel.
TransFirst and CRi Develop Game Changing Mobile Point-of-Sale Solution
Can someone post up Dropbox alternatives? Particularly any service that is blessed by, or maybe created by a HN user?
These are fair points, but I think the GP comment above was referring as much to political economy type espionage.

Say, for example, china wants to spy on a military contractor. Unless the NSA is sharing its secure pigeon network with every US defense contractor (and many of them, large and small) some pretty important US national security assets might be in play. So, perhaps not "state secrets" but things like technology inside of some tactical weapons guidance systems, or similar. The downside for the NSA of sharing any secret-pigeon networks would op-sec goes down as info dispersal goes up.

* Also for companies like a tesla or a space-x who may have purely industrial know how.
Yes! GitHub, over here! We really want this! Please! ... And thank you!
The Last Guide Company
Banks spend a lot of money on their login stuff. Some of those are really awful. Be careful what you wish for.
Very troubling hire. Very bad pr move by Dropbox.
I relly don'why they would choose such a polarizing person.
Bluetooth Wants To Talk Directly To The Internet–And Soon It Will
Ok sorry if my question came off as snarky, the first example in your readme shows how mson can be converted to json which doesn't seem to be very useful.

I think you should better highlight the connection to json schema.

Also json schema is new to me. Any examples of it being used in the wild?
In DT languages you can even do something like:
x of type: > 0, skyIsBlueNow().
Why is this? Because she was a part of the Bush administration? Because she is a Republican and we should hate Republicans? I mean, come on, isn't Al Gore on Apple's Board? He's no saint! No. This is not an issue of partisanship."

They then proceed to bring mostly partisan viewpoints to the table. This is usually what those on the left do (yes, yes, I know, not all). Set things up as non-partisan and then proceed partisan attacks. We have A) Iraq War was wrong B) Torture and Bush lacky C)Warrant-less wiretaps D) BIG SCARY OIL

Let us back up and acknowledge that Congress okayed much of this, so any member at the time who is now a board member of any company should also be tarred and feathered.

You have the right to disagree with dropbox, but come on, drop the "this isn't partisan" partisan arguments.
Without really addressing your question, notice that the power of dependently typed languages is not in the intelligence of the compiler, but in the expressivity of the type system. That is, the question becomes not "can the compiler catch this error on its own?", but rather "can the compiler verify my proof that I have not made this error?" A language with a very powerful type system can still have a very dumb compiler (although it will generate extremely slow code).

EDIT: It occurs to me that this is well summarised by the apparently facetious remark "Ask not what your compiler can do for you; ask what you can do for your compiler."
Home Of The Brave Music Video
Build an mvp, get paid, with a chance to become a co-founder. Interested?
I am looking for a full stack web app developer to build first version of a web app from scratch.

Here's what I am looking for
- Solid experiece in building web apps, preferably using PHP, with a good grasp of Javascript. Building simple websites doesn't count.
- You'll be responsible for end to end development, from design till deployment, so you need to know your database design and web app deployment and anything in between.
- Based in the UK or Europe (in order of preference).

Initial contract will be for three months.

I am looking for a co-founder but you'll get paid for the development work.

In case we both like each other and you like the product, I'll be open to sharing equity later.

Please respond with a brief profile/cv, with references to the work you've done, your rate/salary expectation, location and availability at fmwtechjobs@gmail.com.
If GitHub profiles really are becoming the "new resume", I think users are need more control over them. Certainly sorting projects is a good start.
Dropbox will have zero impact in China.

Forget the trust and security angle and just look at the local competition - TenCent offer 10TB of free storage!

Google, Facebook and Twitter are all banned in China and there is nothing they can do about it.
The question was not so much "do they have WMDs?" as the answer was clearly yes, they had chemical weapons we gave them. The question was, do they have any substantial quantities, do they have the ability to make more, and most importantly, do they have the ability to use them to attack us?

The answer to that last question was always clearly "no". Having a nuke does you no good if you can't get it to your target.