skysight-inc/HackerNews huggingface dataset:
>If we found bug x, y and z will necessarily be found, therefore VeraCrypt is insecure.

I did not make that argument, I made a probabilistic argument. Trying to apply deductive logic fallacies to probabilistic arguments is a type error.

>if you can't identify or find them, you can't claim they exist.

I made no absolute claim about the existence or nonexistence of bugs, only about the expected number of bugs, that is, a probabilistic estimate.

> There's no such thing as a bug "hit rate".

Of course there is, it is, trivially, the number of bugs found by the audit / the total number of bugs.

Look at this way: I have two auditors, Alice and Charles. Charles is known to be pretty sloppy, he looks over code quickly, skip parts, etc, but the bugs he finds are usually actual bugs. Alice is extremely rigorous and misses very few bugs.

I have 2 pieces of software, SuperCrypt and UltraCrypt.

Charles audits SuperCrypt and finds 137 critical bugs. He audits UltraCrypt and finds only one.

I know Alice will review both code bases next week. Where do you think she'll find more bugs?
Er. Again? When was the media ever honest?

At least they pretend to be so now. Traditionally, newspapers were not terribly concerned with that, and didn't even bother much to hide this fact.

It's actually better than it's ever been. Not that it's good now; it was just much worse before.
What Vim, and a lot of other programs, really need is a single plastic-covered card which tells you how to use the program. You can squeeze a summary of calculus on one such card. Is it too much to ask for software?

(I really, really want that for Blender. The Blender hotkey document is 9 pages and years out of date.)
Well, I'm not saying this is why, but it's not like he hasn't quite visibly paid off prosecutors when charges were being considered against his organizations, so it's not implausible he'd do the same thing when he was in personal jeopardy.
Also colour blindness is sexist (1 in 12 men vs 1 in 200 women has colour vision deficiency).

There are some anecdotes that colourblind sharpshooters find it easier to see through camouflage as they're more sensitive to shapes (i.e. because for them a lot of things are "naturally camouflaged" they have more experience detecting shapes) but I'm not sure how factual they are.

I'd say the 1 in 12 vs 1 in 200 difference alone might account for a significant difference when looking at a uniform sample of both sexes.
I hope Disney does more of this! They're a tech company in a lot of ways. I believe they're using Rails for their site (which would make it amongst the biggest Rails sites in the world) and I hope they release some Rails stuff too!
Same.

I don't doubt many lower income families pressure kids to get merit scholarships, but it's not true that higher income families don't pressure kids as much.

In fact, I'd argue (anecdotally also!) that the American upper middle class has the most pressured kids. It's not always to say that "my kid goes to Harvard" but rather it's some strange attitude that parents have one they reach a "not wealthy enough to not work, not poor enough to get state financial aid" stage.
I wish someone was working on nuclear propulsion technology with Isp of 1000-10000km/s. Chemical rockets are a dead end for space exploration even within the solar system.
It's worth noting that both Kathryn Keneally, the assistant attorney general mentioned in this article, and Kevin Downing, the lead prosecutor that got him jailed, both now work for private law firms helping large corporations shelter their taxes.
You want her to insert herself into these women's personal choices? Can you imagine the outrage from the right if she tried to convince these women of anything? You're not making any sense, it just sounds like you're looking for an excuse to put down Clinton over a situation she has zero involvement in.
> Insults do not qualify as a debate.

"She’s saying Russia, Russia, Russia… It could also be China… It could also be somebody sitting on their bed who weighs 400 pounds."

"If I were running ‘The View’, I’d fire Rosie O’Donnell. I mean, I’d look at her right in that fat, ugly face of hers, I’d say ‘Rosie, you’re fired’"

"I have never seen a thin person drinking Diet Coke."

"She doesn’t have the look [...] She doesn’t have the stamina."

"How is Bernie Sanders going to defend our country if he can't even defend his own microphone?"

"Everybody is laughing at Jeb Bush [...] A pathetic figure!"

Indeed, they do not.
In prison, I wrote a code editor with intellisense in VB.net, but I had a computer to use.

I spent about 4 years at one federal prison. I first got a job in the laundry. To pass the time at that job, I took over the khaki shirt area, and re-folded every shirt until they were all military inspection ready. The laundry was beside the Commissary, and the officer who ran it noticed and hired me into there. I worked there for about 9 months, during which I started and completed the Drafting Vocational Training school. I am such a meticulous person that my skill at drawing on the drafting board and with AutoCAD landed me a Tutor job at that school. That gave me access to one of the computers for about 11 hours a day, 6 days a week, for the rest of my time at that facility.

When I first began on that computer, I knew VB.net, and I knew that XP had the command line compiler for it. So, using notepad, I slowly crafted up an editor until it was useful enough to start using. I eventually had the full intellisense function working, where it parsed every file in the currently loaded project, and parsed every dll referenced, and presented a list which gave me full access to all the library functions without having documentation. It was my personal masterpiece, programming-wise.

Incidentally, I used AutoCAD to give me the command prompt. We had 4 icons available on the desktop and it was locked down pretty good (but not good enough for me ;D)

I had to leave my code editor program behind. No way to smuggle it out.
> I have no desire to learn JavaScript...
> ... and I have no desire to use the Apple ecosystem.

I would recommend to take a look at Typescript and Swift.

Typescript is a better JS and Swift runs on Linux too.
Nope, you nailed it. You've read enough of our prostitutes to correctly identify the state of US journalism. Fortunately, they should be completely ineffectual very soon thanks to efforts of my write-in presidential candidate Wik I. Leaks
I doubt safety will ever get to the point where crash worthiness is not an issue. The Washington DC Metrorail system is an excellent example. It was built to be fully automated, with the operator being there only to close the doors at stations.

The systems have suffered many failures and crashes over the years, due mostly to poor maintenance and gross mismanagement.

Now the agency is under pressure from government regulators to retire old cars because they are not crash worthy. I find it alarming that we would talk about rail cars being crash worthy. Why not improve the system so cars don't crash? Nonetheless, new cars are much stronger and more crash worthy.

Since there are many more possible points of failure with autonomous cars (bad roads, non-autonomous cars being out there too, objects in the road, bad programming like that involved in the Tesla crash, etc) autonomous cars are going to have to be at least as crash worthy as Metro cars for the foreseeable future.
I'd be hard-pressed to find one that didn't live in fear. Perhaps we can except the ( us - I are a late, nearly cusp) Baby Boomers and the only fear then ( nuclear war ) wasn't a fear any more , once you'd read enough game theory.

My folks were silent generation, and images of Detroit and Watts burning, campus unrest and cops bustin' heads at the Chicago convention unnerved them. Not even growing up in WWII prepared them for that.
Why not do it yourself. Millions have died due games that Russians and Americans like to play.
I'll instead answer you in regards to the original Elite. In the original elite, there was a simple emergent effect with regards to highly profitable but short "milk run" trade routes. Pretty shallow. (I may add to this answer later.)
This is pretty disingenuous for the definition of charity. The Clinton Foundation perhaps redefines what political bribery means in the 21st century, in an attempt to skirt the laws set up to prevent power, via money, government leaders or corporations influencing policy or private citizens.

The Clinton Foundation is the new SuperPAC.

At what point is a $1 million birthday gift seen as a gift from a friend? Or a "charitable donation" ?

Sure, there's no evidence of pay for play in explicit terms. Doing so would be tantamount for a legal definition of bribery. However, consider the natural progression of the PAC if it were to use the same loophole of charity instead. Would a charity request for money be considered access, at the same level as PAC influence?

At some point, the foundation should be considered a profitable business rather than a charity, given the immense staffing and expenditures of operation in a billion dollar+ charity organization.

It's not trivial to ignore the oddities that abound when it does not operate like any other charity organization. Plane tickets for Hillary and Chelsea, car expenses, six figure living expenses, etc.

The grey area of having ~70 year billionaires running for president is when you see just how they live and work, and how they got there... It's usually disgusting or disappointing. It almost always has to be.

If you disagree, examine what it is you believe is good about the process of allowing, then choosing between the richest of egomaniacs, to lead a nation with a sense of morality or ethical standards. The democratic process is acutely broken by any standard if you believe that PACs and now, "charity organizations" is a net benefit.
Not for breaching Federal Law (FOIA)?

Not for circumventing record keeping and transparency measures?

Not for destroying information relevant to an investigation?

I'm with you. The horse is anything but dead - take for instance the "quid pro quo" FBI 302's from todays news.
I've often found a problem with open source projects is that they aren't set up for non-profit, so you can't claim a donation on taxes. Perhaps minor but this could mean a lot for, for example, an organization looking for a donation target.
http://www.salon.com/2016/10/11/leaked-hillary-clinton-email...
> That is, the Democrats are looking further left/liberal, and the Republicans are looking more right/conservative.

True, but misleading without comparing the degree of the same on either side.

For example, on the right, the manifestation of partisan polarization was the emergence of the Tea Party, which had successfully ran many candidates across the country, and significantly redefined the party platform at its peak of prominence.

What's the left equivalent? Sanders? He came later, and his successes were far more limited.

Here's a very simple exercise you can do. Look up Democratic and Republican platforms for every electoral cycle in the past decade. Observe how much each has changed.
Why would Russian planes fly over American ships.
... their cost-saving structure is an unfair advantage, and that they owe taxes on those savings to the government.

From what I remember, it's not about unfair advantages, but simply that they could have charged higher mutual fund fees, and thusly owe taxes on the fees they could have charged instead of the fees they actually charged.
If you see troll armies everywhere you look, I wonder how much you actually believe your own opinions. It seems like some sort of defense to me.
While it would be unconstitutional in the United States, keep in mind that in certain countries "ex post facto" making certain tax avoidance schemes retroactively unlawful is not unheard of, e.g. BN66 in the UK: https://en.wikipedia.org/wiki/BN66
Not sure what you mean about economic hitmen - if it's sanctions, then Trump has said that he would increase sanctions on Iran, and on terrorists.

He's literally saying that the current policy (of the Obama administration, that for a while featured Hillary Clinton) is too gentle.

Elsewhere you said that your concerns were drones and missiles that miss their targets. Trump has explicitly said that he's in favor of collateral damage when attacking terrorists. He's also said that he'll bomb oil wells and put boots on the ground to take oil. Transparency maybe, but if so he's being transparent about the fact that he'll do all the things you said you dislike.
illustration: https://www.youtube.com/watch?v=Fgcd1ghag5Y
Maybe. Stories like this are what make me sick when I think about our Justice department. That, and Aaron Swartz...and a slew of other things I guess.
Being so fast(at such a complex node), it makes me wonder: was moore's law, i.e. a doubling every 18 months just an anti-competitive collaboration among the industry to slow down ? could they have improved the technology much faster ?
There goes whatever credibility they had left. Ecuador shut him off, but they deliberately word the original announcement to make it sound like it was the US or the U.K. Good going, guys.
Who I Am
I am comfortable and uncomfortable. I am what I have sown and reaping wasn’t what I thought. I am my biggest enemy. I say I hide from you, but I hide from me too.

I want victory, but I won’t let it come to me because I feel I don’t deserve to be recognized, because I’ve been taught that. But I started a new journey, when I choose to put armor on, placing all the old stuff in a vessel, that is when change happens. Will I think about the old stuff? Yes, but I can turn my back on the container and love me because the true problem isn’t what’s in the cup it’s how I hold, love it, tend to it, fertilize it and let it go.

It’s up to me to take control! All the hard work I put into myself I came to realize that I own my power. I’m not at a loss anymore. Even when internal struggles arise, I know where my joy is. Happiness is easily obtained again, and I’m comfortable with being me.

(Written with the help of my closest friend and sister, Sarah Harp)
It's "Swartz". Aaron Swartz. Not "Schwartz".
I don't think the low level technical expertise is going to transfer, but their higher level management experience of integrating hardware, software, and manufacturing can probably transfer.

The best example I can give is stuttering when you drag stuff around. Android phones had issues for years with this because it's not really a hardware or software issue it's both. Eventually you can throw enough processing power to make this go away, but being a few years ahead of that curve is the kind of thing people will pay a premium for. Ed: It's the kind of issue you can't just point at one group and say fix this.

PS: That said, I don't think an iCar is a good idea right now. We seem to be in the Palm pilot stage of self driving cars, give it 15 years and apple could make a killing, but it's still a little early.
I guess all I can say is that the truth isn't subject to voters approval.

Human rights and LGBT rights, and women's rights are part of a natural truth. Maybe you can spin that as an opinion, but to me you're denying a logical sequence of reasoning that tells me that everyone deserves equality and respect.
To be fair, package managers and SSL certificate issues are a PITA in pretty much all ecosystems.

On the JVM, even if you stick to pure Java, you still need to figure out where and how the dependency resolver is launched before you can override its settings, which can depend on things like your build tool and IDE. But at least, adding your own certificates to the keystore/truststore is fairly straight-forward.
Unfortunately Hello Games didn't go in the most interesting direction I think procedural generation has to offer, which is to, however it is accomplished, create content that is actually interesting to the human player. We're way too smart to not recognize the random planets and creatures and so on as samey and pointless rather then something to be discovered and learned and overcome.

Also, using procedural as a "force multiplier" for content developers is really interesting: Letting them make snippets or "mad libs" and have algorithms mix and match and adjust under constraints that make the content make sense (i.e. buildings where the rooms have purpose and their interconnections make sense).

I know this has been explored in some games, particularly rogue-likes like Spelunky and Rogue Legacy.

What about shipping a trained neural network with your game taught with human-made levels to create even more levels? How neat would that be?

I just hope procedural generation doesn't get a bad name and is explored even more.
I'm not sure I'd be able to find a job if I told people I have a degree in procedural epistemology.
> [...] this guy confessed.

Yes, he did, but after:

> All I asked for in return was a subpoena or immunity. They said no.

I wonder realistically how long can you drag this out as a whistleblower? How many times can you say "I'll give you these people if you don't charge me", especially when your document stash is well hidden.
Because Putin has genuine widespread popular support in Russia. There's no viable way to check him from inside the country at this point.
Companies Tell Customers to Keep Quiet If They Want to Cancel
You'll have to ask them why they do it.

http://www.cnn.com/2016/04/18/politics/russia-jets-buzz-u-s-...
Agreed. There is very clearly a double standard for Clinton vs Everyone else in the Govt/Military. Perjury is still a crime (one that got her husband impeached). Her lies weren't to the public, they were to the Justice Department - not knowing that the red "C" stood for classified. Furthermore, her concealment and destruction of her emails were federal crimes (plural).

Not only would this end in discharge for military personnel or removal from office of a government official, but criminal charges and restriction of civil liberties. Of the millions of federal employees, she's proven herself to be in the distinct minority as disqualified to hold a position of authority.

See:

18 U.S. Code § 2071 - Concealment, removal, or mutilation generally

(a) Whoever willfully and unlawfully conceals, removes, mutilates, obliterates, or destroys, or attempts to do so, or, with intent to do so takes and carries away any record, proceeding, map, book, paper, document, or other thing, filed or deposited with any clerk or officer of any court of the United States, or in any public office, or with any judicial or public officer of the United States, shall be fined under this title or imprisoned not more than three years, or both.
(b) Whoever, having the custody of any such record, proceeding, map, book, document, paper, or other thing, willfully and unlawfully conceals, removes, mutilates, obliterates, falsifies, or destroys the same, shall be fined under this title or imprisoned not more than three years, or both; and shall forfeit his office and be disqualified from holding any office under the United States. As used in this subsection, the term “office” does not include the office held by any person as a retired officer of the Armed Forces of the United States.

https://www.law.cornell.edu/uscode/text/18/2071

Whether it's her use of elaborate mechanisms to circumvent federal law, lying underoath or the astounding acceptance of foreign donations for a charity that directly supports her family (uhh, bribe?), I don't understand why her actions are excused away by otherwise rational people.

See: State Dept. official accused of offering 'quid pro quo' in Clinton email scandal

http://www.politico.com/story/2016/10/fbi-state-department-c...
Scala's poor documentation stems from a much more fundamental problem - the absence of a Clojars/Rubygems/PyPI for Scala libraries. It's in the process of being fixed now, I believe, but why did it take so long? The Clojure community has a much lower profile in industry than Scala yet right from the beginning they really valued their community and produced an excellent repository for Clojure libraries and an easy-to-use build tool - Leiningen. The Scala community, by contrast, comes across to outsiders as just not that interested in community. Maybe it's the Java legacy.
Might sound silly, but I think more adjectives equals less trustworthy. So when I see words like 'powerful, emotional, hateful' I tend to dismiss the article as rubbish. Try it sometime.
It's a shame there is nothing much about animation. The rest is pretty much the simplest possible approach you could take, and nothing special at all... but the animation seems genuinely interesting.
Clinton talks like a professional politician, Trump says whatever comes to mind at the time. I'm not sure I like how professional politicians talk, but I'm a little nervous that "comes to mind at the time" might lead us into a very bad place.
I'm confused by the reporting, as I didn't follow Cartwrights case very well.

The article states that they are charging him for making false statements to the FBI. But also that the Justice Department had been after him because he was a potential leaker of the fact that Stuxnet was an American sabotage project.

The way I'm reading the two together - the article doesn't make this clear - is that the Justice Department had not been able to prove that he was the source of the leaks, but were able to prove that he lied to the FBI during questioning, and so are pursuing a punishment.

Anyone follow this case very closely care to chime in and clarify exactly what's going on? The article and the title are very different.
It sort of looks like this bank exec traded 3 years in minimum security prison for more money than any of us could ever use in a lifetime.

I'm pretty OK with that precedent!
Ведение бухгалтерии ООО 1С ИП
I was so confused by the chronology, particularly with respect to smuggling diamonds in a toothpaste tube[1], which I'd read about previously.

What I can't figure out is if that evidence was actually retained and entered as evidence at trial, or if the image in the article I linked was a reconstruction.

[1] http://upstart.bizjournals.com/views/columns/2008/09/17/UBS-...
Just curious why everyone loves throwing around the term "fascist" so much. Why not use more precise language to describe what you dislike about a candidate? The term seems ambiguous, and no one seems to have a clear definition of what it is. At most, there seems to be some related factors. For example, my image of Fascists is that they heavily promote war and expanding the empire. But, in contrast, the "fascist" candidate in this election wants to reduce our military footprint, and have other countries defend themselves.
It's easy to find a "job" if you don't need the money earning part, though. There are nonprofits all over the place that will happily give you all the tasks you want, even tasks that you can do from home if that's what you need, as long as they don't need to pay you.
Such an apologist.
NY Times sent stories to Hillary for pre-approval.
I worked in journalism. In my time, this was a scarlet-letter offense. The conspirators should be black-balled from journalism.
Well, most of the people I knew in prison used weight-lifting, tennis, jogging, arts and crafts, instrument playing, card games, reading, cooking, TV watching, naptime, and even alcohol to manage the mental wellbeing.

What can really be tough is if you have someone on the outside you care about who is struggling with their own issues. That, more than anything, puts an imprisoned man into depression.
But how is that a defense? Surely by that token you have no complaints about anything in the world. Just because a person does something unethical for a reward doesn't mean their actions are justified, just rational.

The whole purpose the press existence is to be an independent check on government and to pose to politicians the questions that the electorate cares about.

edit: Just to be clear, nobody (or nearly so) finds your claim controversial or new. It's flaw isn't that it's incorrect, it's that it isn't useful*.