skysight-inc/HackerNews huggingface dataset:
Exactly my concern. There are special (very expensive) bacterial supplements (e.g. Mutaflor) which reportedly help people with Colitis Ulcerosa and other inflammatory disease, and they are nothing other than special E. Coli strains. I wouldn't want a supplier to silently introduce something that can kill beneficial gut flora. This is the kind of stuff that lifestyle diseases are made of.
Not having fees is great... having a sane API would be much better.
That question was...unexpected to me, to say the least. I was expecting something obscure, maybe related to meta programming, certainly not something about flow structures!
3D Printer Extruder Filament Drive Gear Review & Benchmark
They aren't self-entitled if the project has any sense of community and has accepted external contributions of code/documentation/etc. Lots of external hours go into projects like this and moves like these are myopic and generally a big 'screw-you' to active external contributors.
I can completely understand your position if you are an American. And I'm sure you can understand us foreigners trying to show our appreciation for a man who uncovered this extensive evil intrusion into our lives.
I see that as a limitation. "works only with data sizes up to half of MAXINT" is not a very surprising limitation of

int mid = (low + high) / 2;
Making relative line length limits usable
> The ruby community does not really believe in documentation

made my day, thanks.
Wait, let me get this straight. So in Iran where most people are tech savy enough to use external VPN or proxy services to bypass the government firewall you suggest that they offer VPS and domain services to anonymous bitcoin users.
Good Strategy/Bad Strategy: the difference and why it matters
Putin and Miley Cyrus is currently close to the top. Together with Snowden, they create a holy trinity of heroes.
Strange looking list. On my browser Rand Paul's name is truncated to "RAND PAU.." (ironically all such truncated names are cut off at the last letter, making them all longer). Many longer names are not truncated, though: "RECEP TAYYIP ERDOĞAN", "DZHOKHAR AND TAMERLAN TSARNAEV". Several names end with full-stops, too: "MALALA YOUSAFZA." is one.

I wonder if it is a secret message.
I have never heard of 80% of the names in there. How can I name that blue?
>The author goes out of his/her way to pick out what's wrong with NGINX due to the inadequate SAN infrastructure

Wrong. NGINX has recognized this as a problem and discovered apache solved it years ago for a reason. So they decided to play catch-up, but charge for it.

>company can continue to milk the free software of the backs of others.

>It's somewhat disgusting.

That's FOSS. If you don't like it, don't use it. What NGINX is doing is disgusting. The FOSS community actively invested in NGINX via external patches, documentation, bug reports, how-to's, chef-scripts, etc and NGINX is paying everyone back by charging for features.
Bottom line, he's a traitor. Beyond that, most of the laws that helped start this were set into effect years ago. Where were the people crying then?

Most people complain about having their privacy taken away when using free online services. All I see are a bunch of ignorant loud mouths who got angry too late.
I voted Lebron James.
Vote for Narendra Modi as TIME's Person of the Year 2013
From Rags To Owning Game Dev Studio
Providing a semantically equivalent construct is a fair enough reason.

> Furthermore, the difference between the two really is negligible.
> ...
> The difference is an increment to a number, i.e. a single instruction which is probably the fastest instruction in the ISA.

Whether or not it matters will depend greatly on how often this loop is executed, and what else it does, and the ISA and available address modes, as well as whether or not the pointer and/or counter can fit in available registers.

If the pointer and counter is not in registers, and you don't have a suitable indirect indexed type load/test instruction, you can easily end up with 3+ extra memory reads. Memory access gets expensive if/when those kind of loops are run often enough.

I've seen speed improvements of 30%-50% from a couple of hours of work from production systems just from trivial rewrites to reduce memory accesses like these. Some fixes like that have paid my salary for months in reduction in server investments.
They do have deposits for USD too. And I like this feature. I have a small deposit with namecheap (around $100) and it's good if I want to register my next domain instead of going through the CC transaction thing.
Ugh, do people still waste their time with TIME magazine and their "storied" polls? Sorry, but it is the equivalent of a tabloid because for the last 10 years the quality of articles have been continuously dropping. To see it linked here on HN is unfortunate. Lets spend our time on more interesting topics.
Are these polls typically good indicators of TIME's official choice? Or is this going to be a way of making Snowden "the people's POY" without TIME officially making it so?
Given the content of at least 1 other related site hosted on the same IP (simulantproductions.com), I think it's fair to say this article is satire and should be considered flamebait.

http://viewdns.info/reverseip/?host=www.hipyoungstartup.com&...

The three other websites mention the same people so it's fair to say the fourth is just another project of theirs.
Computers are now complicated enough for Computer Science to have turned to some extent into an empirical science - it is impossible for a single person to have in their head everything that goes in a typical computer, operating system, compiler and so forth, so one is often forced to resort to experiment to find things out, it's no longer a theory where you can just reason things out, maybe it never was one in fact, because many simple imperative programs are so complex to reason about.

In empirical sciences, you not only have to have a mathematically valid theory, but you also have to check if the theory fits reality by making predictions and experimentally checking them with the real world. It's the same now in Computer Science, there are so many places where theoretical assumptions might deviate from reality that having a proof is not enough. In fact, you have to have those assumptions to make things mathematically tractable. Imagine mathematicians or computer scientists re-proving real analysis theorems using floating point arithmetic...

In other words, your vision of proofs being enough as long as all the assumptions are part of the theory, seems utopian to me. In fact, even some of the most devoted advocates of correctness proofs have admitted this:

http://www.gwern.net/docs/1996-hoare.pdf
An ex-follower of the Everyman Schedule’s current views on Polyphasic Sleep
What you are suggesting is the part of a greedy FOSS project. One that enjoys the external open source contributions, yet still charges for features in the software. It's disgusting and an insult to your contributors, unless you pay them all money as well.

There is nothing wrong with making money, but don't to it with sleazy tactics like this that put you in a conflict of interest. Charge for support or a hosted version, but don't artificially cripple the software. If you do want to go that way, don't be open source at all because you are just a leech on the community.
It would be interesting to see some of the cases where the plaintiffs have not won in Marshall.

As this place in Texas has over the last 10 years built an industry around the IP cases going to trial there (with e.g. short-term office rental rates as high as in NYC) - maybe those are cases that are not "supporting" their continuing gold rush.

None of that of course touches on the fundamental flaw in the system that IP cases are so exorbitantly expensive that most have to pay those modern "highwaymen" even when knowing that their demands are most of the time completely without base and are solely a legalized form of extortion.

Just consider how you feel, when you worked for years and developed / invented a large scale real-world solution and those crooks with IP / patents originally being provided to protect their work on bicycles and abacuses are lining up outside your office all claiming that they would have done all the work.

So the first step to cure this must be a protection of business that have invested substantial time and money into their products, are bona fide and actually running a business based on their work, to be able to defend themselves against such frivolous law abuses.
You say that like it's a bad thing.

Traitor (noun)

a person who betrays someone or something, such as a friend, cause, or principle.

Damn right he's a traitor, but only a traitor to the US government. To millions of people (like me) he's a hero.
I had MySQL on the mind obviously. I meant 2.4, thanks for point it out though!
They wouldn't take it because it competes with the enterprise features. Do you see why this model is fundamentally incompatible with open source now?
Yeah because how dare any citizen question it's government, right?

/s
Just compare it to other languages, there is a clear difference.

Java: http://stackoverflow.com/questions/11227809/why-is-processin...

Php: http://stackoverflow.com/questions/60174/how-can-i-prevent-s...

Javascript: http://stackoverflow.com/questions/111102/how-do-javascript-...
I do agree with the quoted statement. I have a lot of experience with machine-verified proofs (in a language called Coq). Even though Coq guarantees that an accepted proof is correct, you still can't necessarily trust it, because your formal model of the program may be not accurate enough, or your statement of correctness is improperly stated.

In this case, it seems like their proof was correct with respect to their model, but their model did not match up with reality. No amount of formalization will ever be able to solve this problem completely. I think the role of testing in this context is to make sure your formalization of the problem says what you meant to say about the world that you meant to refer to. Input/output examples (aka, tests) are a great way of convincing yourself of this.
This makes me wonder why we couldn't have a DVCS with encyclopaedia content in it. That would be easy to "pull" offline and update regularly and "push" back up with changes. It'd be easier to distribute content and version it as well. Oh and patch queues could be used to review and edit content.

A local HTTP service or desktop app, DVCS and indexer would do a fine job of this.
Swearing in an XBox One Skype call can lead to a 24 hour ban
> Or the OS/360 which uses virtualization for all OSs, like Hyper V does on Windows

No, the hypervisor was called VM. According to WP it most frequently ran CMS guests, which was a light weight single-app OS. But could also run OS/360 guests (which predated VM).
Or Resilient Distributed Datasets
https://www.usenix.org/system/files/conference/nsdi12/nsdi12...
I definitely think jurisdictional issues can be interesting from an intellectual point of view. Especially since the Internet has made many such concepts far less obvious. One could of course argue that discussions (especially outside of obscure technology) rarely reach a level where they become interesting.
This article is worse than the original, and the original article was crap because it never addressed flagging. I have on occasion flagged articles on a particular topic...sometimes I just get frustrated with recycled topics. It also doesn't address the possibility that penalties are applied when HN's heuristics suspect vote rings.

And given that the hackaday article is blossoms, don't be surprised to see it fall.
I never understand why USAians refer to Benedict Arnold as a "traitor". It's a really stupid word to bandy about in a civil war. The country was governed by Britain. Everyone who fought against the government was, by definition, a traitor. Using a word with such a definite negative connotation in such a complex environment is either disingenuous or obtuse.

For similar reasons, using the word "traitor" is also stupid in the case of Snowden. Against whom / what was he a traitor? - The government? A branch of the government? The constitution? The people?
Highest Voted java Questions - Stack Overflow
hm... why teach Julia, if everything (90%) in numerical/scientific community is Fortran/C(++) ?
AdMob Student App Challenge
Poll 2010:

http://content.time.com/time/specials/packages/article/0,288...

And then it became:

http://content.time.com/time/person-of-the-year/2010/

So probably this year it will be Miley Cyrus...
Sadly, the site seems to be down (http://www.google.com/ads/admobchallenge)
Ask HN: Curiosity advertising
This is an idea that has been doing the rounds in my mind for years and I'm hoping I can develop it and possibly take it further by putting it on HN. I have the firm belief that Education is about encouraging curiosity and providing the tools to deal with the unforeseen outcomes of said curiosity. I also have this (possibly crazy) idea that advertising, while I personally often dislike its general commercial use, will eventually be but a step in the intelligent distribution of information.

The idea would be to create a form of knowledge advertising network that arouses curiosity. In very much the same way usual online ads work, it would show users banners (as an example) containing a snippet of information relevant to the page they're visiting, their general activity and so on. Weight would be added where people take interest and as they encounter and use those "ads" more and more the ads would become more targetted. For instance, your first ad could be about "Metals", then if you seem interested, the next ones could revolve around, say, the physics involved with metals, and so on.

While I'm talking about advertising, I'd like to be clear that in no way would I want this to be commercial. I'm thinking the information could be extracted from Wikipedia, and as far as the advertising algorithms go, I'm hoping someone more qualified in the subject might be able to point to some good libraries out there, ideally open-source. The whole thing would also ideally be on an opt-in basis, with websites using the system hopefully sharing the load of this advertising network.

I highly respect the opinion of many here on HN and I'd like to know your thoughts.
Crazy. Zero chances of that auto-rotating you safely down to earth when you lose power.
Nevertheless is kind of weird that in orther to show that I'm not a bot I have to allow some app to read and post on my tweeter timeline... I guess this vote is a joke. Snowden might win but the lesson is that people haven't learned anything. :)
What changes would you like to see?
Yes, but if I want informations about Ruby switch statements it means you are a newbie that should refer to a whole language syntax reference; you could say that Ruby has not an official language syntax reference (this is the most "official": http://web.njit.edu/all_topics/Prog_Lang_Docs/html/ruby/synt... ) so newbies are forced to google for syntax explanations, which is true, but it seems too little to make it the first Ruby question.

And I think Ruby management has its negligence; it's weird that a so popular and mature language has so much lack of informations about its behaviour.
Can you appeal these cases? I mean 2 million dollars is no pocket change and instead you can afford some good lawyers for that much money.

I mean to appeal the case judgement in another state...
The masses read the tabloids, if they are not on your side then you're the minority.

Which leaves you with the only other options put up with the status quo or leave.

Until we get our seasteading going the tabloids are very important.
≥ If vision correction surgery is too expensive for you, you can wear glasses or contacts instead and be totally fine.

As someone who had lasik to correct a 9 dioptre astigmatism/myopia, I can tell you there is a world of difference between prosthetic correction and native correction. It's not just in terms of comfort. I can see better than I did with the perfect prescription glasses. I have a much wider viewing angle. I don't have to worry ever again with lens angle rotation.

For high corrections, glasses are anachronic, and should be considered the wrong treatment.
Brilliant. Wasn't it also promoted as the perfect device for small business owners to do videochats with? I bet they'll all flock to this now that you are guaranteed to have a civil conversation, "or else"
Not a chance. They would charge him with whatever they could find - true or not. Probably in a secret court no doubt.
I think it's just not feasible/useful for most people. The latest copy of Wikipedia is 42GB, and that's not including images or earlier revisions.
GoldieBlox, fair use, and the cult of disruption
Because duplicates are useful. I hadn't seen the original post, I've seen this one. Disallowing reposts is one of the HN policies I don't agree with.
Are you serious? You can question everything you want as an ordinary citizen. The moment you sign a contract, specially for the military, you agree to keep your word.

So, right, how dare the government hold someone to their word?
You're basically advocating lying and not honoring your promises.

BTW - I basically make a living honoring promises and contracts, otherwise we wouldn't have customers ;)
This should not be a vote. End of story.
Are you planning on creating the sass-convert utility?
>It is sufficient to prove a program correct - as long as your proof is not faulty!

This is unquestionable truth. Proof:

Proposition A(X): X is true in theory

Proposition B : For all X such that A(X), X is true in practice

Theoretically, there is no difference between theory and practice. ... (1)

Theoretically, statement B is true. [using (1)] ... (2)

Therefore, B is true in practice. [using (1) and (2)]

QED.
Encapsulation is advisable because it allows controlling the scope of variables. It's not the wrong thing to do when you keep state. It's the right thing to do.
Yeah. That "fix" immediately jumped out at me in the sense of WTF??? All he did was double the max size of the array before his code fails again!

That so-called "fixed" code just couldn't do anything useful in a 32-bit address space. A billion 32-bit ints completely fills up the address space by itself. As you note, perhaps it could "technically" be possible to search a billion 8-bit bytes, but that's not what's being passed in to the function.

And if he's running in a 64-bit address space (otherwise how could he pass in an array of a billion ints), then he should be using 64-bit integer arithmetic. (I don't know enough about Java to know how feasible it is to do that).
On the flipside then, a business that investigates a company's potential patent violations and makes them known to patent holders, but offers companies a paid way to opt out from their investigation (beforehand) sounds much more likely (and much more ignoble)
Tacx Turbo Trainers
Or twitter:

----------

This application will be able to:

Read Tweets from your timeline.

See who you follow, and follow new people.

Update your profile.

Post Tweets for you.

----------

SRSLY?
How HN page rankings really work: you vote stuff up, and then the flag mob and hidden moderators axe right off the front page whatever irritates the pro-capitalist internet-libertarian techno-optimist idelogical sensibilities of the
white male Californian HN hive mind even in the subtlest of ways.
And where were people like you several years ago when the laws were signed that allow the government to tap into network lines?

A hero and their army are useless when they're late to the war.

I don't honor traitors, but go ahead and worship him all you want.
Why not overdose ?

http://en.wikipedia.org/wiki/Paracetamol

> While generally safe for use at recommended doses (1,000 mg per single dose and up to 4,000 mg per day for adults), even small overdoses can be fatal. The ratio between fatal doses and therapeutic doses (the therapeutic index) is much smaller than for other over-the-counter painkillers. According to the US Food and Drug Administration as little as 25 percent above the maximum daily dose can cause liver damage when taken over several days

> In the United States, over 150 people die each year from overdoses, with up to 78,000 emergency room visits
Ended up not voting because they are asking for way too many Twitter OAuth privileges (including following and posting with my account, plus updating my profile).
> Linux squeezes money out of users via RHEL and SUSE.

Linux is not RHEL and SUSE. You can use Linux without using RHEL and SUSE and still get all of the Linux kernel features, which is the entire point. That's exactly what makes it a good foundation. They aren't arbitrarily screwing their users out of features. There is no such thing as an 'enterprise-plus Linux Kernel'.

> Firefox straight up sells your data to Google (who in turn provides over 90% of Mozilla revenue).

This is a blatant lie that shows nothing more than your ability to troll. If you can't handle a specific search provider getting your data when you search, change your search provider.

>Even Apache, a "good" open source foundation, houses Cassandra, which is largely contributed to by DataStax, which sells its own version of Cassandra

It doesn't matter, you seem to be failing with basic logic. Cassandra may be contributed to by DataStax, but DataStax doesn't control the gate so they can't stop contributions that overlap with their product's functionality. nginx can and does stop patches that duplicate 'enterprise functionality'. See the problem?
It is easier for you now that you know that they are examples. The syllabe repetition in toto and tata make it a little more obvious I think.
But you are right we aren't all the same, which was the point of my initial post. Then I managed to pretend we are superior :)
I know that most species that have ever existed have gone extinct, but every time I hear about a new one I can't help feeling sad. That doesn't just apply to the cute an cuddly ones either. Insects and fish are ace.
Eh, vote then revoke access to the app.
> Imagine mathematicians or computer scientists re-proving real analysis theorems using floating point arithmetic...

Mathematicians and computer scientists do prove theorems about floating point arithmetic! For example, the most widely-cited floating point reference contains no fewer than fifteen theorems about floating point:

http://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.ht...

Or here's a presentation about representing functions with their Taylor expansions using floating point arithmetic, providing strong error bounds on the result of adding or multiplying two functions represented in this way:

http://perso.ens-lyon.fr/nathalie.revol/talks/ICIAM07.pdf

I agree that many proofs in computer science are harder than proofs in mathematics, because you can't deal with idealizations - you always have to think about the machine. But unlike empirical sciences, we have access to the design of the machine. We know what many of the axioms are. Formal reasoning is valid for a far larger part of computer science than for the natural sciences.

I'm not going to argue that proofs are a panacea for every situation. But I also don't categorically reject them in the domains where they can be usefully applied.
There is a torrent distribution channel: see https://meta.wikimedia.org/wiki/Data_dump_torrents

However it suffers the number one torrent issue: they do not tolerate change. This means that

- When an article changes, you need to generate a new torrent
- When a new torrent describes the archive, it needs to be downloaded from scratch by all peers, so that the maximum number of peers are available for a newcomer.

I hope you'll understand that this is not the official way to distribute archives...
Where was I? School
Behavior does not necessarily depend only on state. Behavior depends on state and the code that uses state to implement said behavior. Encapsulation allows us to think on terms of behaviors and not of internal states.

That said, this paradigm is easily broken by bad code.