skysight-inc/HackerNews huggingface dataset:
That's exactly what I had expected. I had a suspicion that Manapouri may not have been adequately connected to the grid for sufficient power distribution in the very short term; but even more so, I thought National's assertion that closing down Tiwai wouldn't affect power prices was quite likely disingenuous.

It is quite a complex issue, yes. Looks like treasury was fairly firmly against subsidising the smelter from an economic standpoint. Of course there are social issues, too.

More efficient how? Power consumption? Or just better margins? If power consumption; presumedly not enough to significantly alter electricity prices for others? Is there anything I can read on this?
Do you think environment should never change?
Without some changes (thanks cyanobacteria) we wouldn't even be there to speculate about it.
More than 80% of species were wiped out without any help from humans at least twice.

So, http://www.youtube.com/watch?v=NL8HP1WzbDk
Poll results: http://poy.time.com/2013/11/25/vote-now-who-should-be-times-...
ANPER sistemas de embalaje
I don't agree with this statement

"It is not sufficient merely to prove a program correct;
you have to test it too."

It is sufficient to prove a program correct - as long as your proof is not faulty! The problem in this case was not that the program had a bug despite being proved correct. The problem was that the 'proof' was not a proof at all.

Machine ints are not mathematical integers. Floats are not real numbers. You can't prove things about programs that use ints/floats without taking these things into account.

Of course, the question of how one knows that a proof is correct is still left open - but that's a metatheoretical argument that it might be best to leave aside. I suspect that most faulty proofs are faulty for pedestrian reasons (incorrect type assumptions, failing to deal with null/NaN etc) rather than high-falutin' concerns about the validity of first-order logic.
First of all: News != Truth

I do not belive all Texans (or even the most of them) are as bad as one might think, but the tiny bits of information we get about Texas paint an ugly picture.

We do not get Reports like "Things are going well in Austin!". In the internatiol news reports. We get reports like
"Stricter abortion laws, force clinics to shut down", "Armed Militia hunting illegal imgrants at the Border", "Patent troll wins in Texas", "...".

Texas is a great target for critics all over the world:

Texas is well known and is closly associated with Cowboys, strict laws, and the death sentence.

Liberals have someone, to bash and local conservativs are glad that critics get distracted by someone far far away.

So I´m sorry Texas reputation is bad, not only among IT folks, and not only in small hardcore leftist cells.

I do _NOT_ say that all this true.
Hell, I would be shocked if it really was!
I'm pretty new to angular. Which medium/large-scale open source project do you recommend to learn writing idiomatic code.
Please do! I've been keeping an eye out for a post from you on the haskell subreddit announcing some work.

I have some ideas for some numerical code in Haskell, but I keep coming back to numpy/julia/matlab for my day-to-day.
"toto" and "tata" may well be easier for you, but I find it easier to see "foo" and "bar" as examples. The point is that no word will be universally seen as an example without meaning, so documents like the one in the link are necessary.

Comments like "xyz is easier" forget that we aren't all the same.
Nice, was looking for that...
>To be clear, it's perfectly fine to say, "I don't think this is a good feature to put behind the paywall." I'm just balking at the whiny and entitled tone of the original post. "How dare they ask me to pay for the things I want!" If I were trying to monetize an open source project, per Jacques's comment above, this is exactly the kind of high-scale feature I'd target for that.

And you would be an anchor dragging the project down. You aren't considering the angle of external contributors. As someone who submits patches to open source projects, I would be pretty damn pissed if the project I spent hours/days/weeks learning the architecture of pulled some shit like this. Especially if they rejected a patch because the feature in the patch was too 'useful'. Disgusting.

How long do you think you will keep getting external contributors when they can't even use the full software and are afraid to put the work into patches because they might conflict with the 'enterprise offering'?

If you open source something and allow external contributors, you are going to receive this entitled tone when you pull these shenanigans.
Well practically speaking you could just use images and then have the first book as a sort of pictionary with words and pictures that demonstrate them. Once they figure out enough words they can start to figure out other words that can't easily be explained by a single picture, and grammar can be worked out from there. Sort of like the Rosetta stone.

But this is useless to the post-apocalyptic hunter gatherer, civilization would have to be reestablished by then. And hopefully they at least understand the idea of writing words on paper and don't just worship it as a religious thing.

There has actually been work on doing that, attempting to mark radioactive waste dumps in a way even someone in a completely different culture from a distant future could understand. It's really interesting and there is pdf on it here: http://prod.sandia.gov/techlib/access-control.cgi/1992/92138...

If you are going to communicate with a completely alien civilization, that is one that can't even understand images, expressing information is even more difficult. My best guess is that you send a message with a really obvious pattern to it, then use that pattern as a basis for sending more information.

For example, send a ton of examples of simple code in a simple programming language, and their output. They can figure out what it means. Then encode your messages in the programming language somehow. Send a simulation of 3 dimensional space and little objects in it interacting, for example.

Somewhat related: http://lesswrong.com/lw/qk/that_alien_message/
How can your average startup and company owner rest assured that they're not unconsciously walking into a patent troll's lair? I might be unknowingly infringing patents nobody has heard of (except companies like these).

Business idea: a service that investigates your stack (with your permission) and verifies that you're not likely to be sued.
Seeing that 90% of Firefox money come from google, that's not much of a surprise.
It's a sad reason to have to drop a piece of software and learn the config management of another. logging, really?

Perhaps in the next version it will be free for up to 20 concurrent connections and then $1 for each one after that.
Read some of the other stuff this guy has written - he's not the type to rant against low level stuff. He is the type to warn beginners about common pitfalls.
Docker replacement with emphasis on tool reusability. Docker made incremental builds right, and I love the idea. However, it reimplemented the whole tooling around it instead of using what's in there.

It will support FreeBSD/ZFS/Jails and Linux/LVM|BTRFS|ZFS/LXC on the first release. My goal is to re-use existing tooling as much as possible.

I am writing it in Haskell.
Anaconda is another option. Comes with almost everything I need and you can use pip to install the few things it doesn't come with
Vulnerability bidding wars and vulnerability economics
排名加速器
排名加速器
http://prog21.dadgum.com/179.html

This is my favourite article of him :)
> 64-bit floats lose precision before 64-bit ints overflow.

More precisely, a 64 bit IEEE 754 ("double precision") has 53 bits worth of "integer"[0], which allows for 15 digits (and almost, but not quite, 16: it can encode 15.95 decimal digits)

[0] even though only 52 bits are allocated to the fraction, because the fraction part has an implicit 53rd bit set to 1 outside of special values
Can you just pick any court you want? And the appeal would be held where?
My use case is exporting a private mediawiki for use at a prison.

Kiwix is a lot more polished than this, especially the user experience.

This looks interesting becuase reproduces mediawikis very well. The text-only dump imported pretty well once I figured it out.

The kiwix ZIM files are a pain to prepare, and use the public facing API that can be pretty unreliable, especially if your mediawiki hosting is of poor quality. It also forces you to hand curate what you export.

Using the direct XML dumps prepared server side is much cheaper, but then you lose the curation. The image situation is unclear here. There are some really confusing instructions about it, but I wasn't able to figure it out.

I'll keep using and recommending kiwix for now, but this could be promising.
Korean Startup Coinplug Raises $400,000, Half in Bitcoin, Half in Fiat
> AdBlock features "Acceptable Ads", by means of which advertisers are blackmailed to pay AdBlock so that their ads still go through.

Why should I care? By installing AdBlock I've already declared that I don't care about the "moral" side of ad revenue. If browsing the web without AdBlock is annoying, and browsing with AdBlock is non-annoying, I'm going to browse with AdBlock. If this paid exemption mechanism let enough ads through to make the web annoying again then I'd feel the need to do something about it, but so far it hasn't.
First, there is no proof of how much profit comes from nginx in a stack with PHP so you can drop the 'profit greatly' line.

Second, the entire point of open source software and the FOSS movement is that you shouldn't be extorted for functionality. Do you harass people that file bug reports or submit requests for features to the Linux Kernel for not paying?
its hard to guess what trolls will do. You could come to Europe.
> Python has a long integer type which won't over/underflow unless you run out of memory.

IIRC, so do Erlang, Ruby or Haskell (when using `Integer`), FWIW. And Java has BigInteger (though that one's a pain to use).

But there's a cost to their existence (they need to check for overflow at every operation), and a cost to going above machine word size. Also, now you've got "integers" which can take arbitrary amounts of memory and integer operations in O(n)

Still, definitely a plus on the correctness side.

There's also the option of type-encoded value ranges as in Pascal or Ada.
Probably premature since it appears that 23andme ignored the FDA for six months.
Anyway, please don't cast the return value of malloc() in C (http://stackoverflow.com/a/605858/28169).

It's C++.
One of the uncommon times a sensational headline is actually correct!

I love this bug - it's been my go-to example of how there are bugs in every piece of code, no matter how supposedly common. A bug in Java's implementatino of Binary Search - one of the most popular languages, and one of the most used algorithms - and still a bug managed to lay in wait for 9 years.
Mission impossible, as any business that operates is likely infringing on thousands, it not tens of thousands of patents every single day.

Patent law has transformed into basic extortion, and it's interesting (for some definition of interesting) to see that such extortion is actually legal in the United States.
What's ironic about it? What would you expect to be the most voted ruby question?
>second, I think, at least for me, what bugs me is the massive entitlement on display. God forbid devs who built an awesome piece of software get paid; instead, dude whinges on the internet that he might have to gasp patch and compile an rpm or fork out some money. The horrors!

On the surface yes, but consider the betrayal to all of the external contributors. Is the money going to them too? What about the people that wasted time proposing a patch that overlapped with this 'enterprise feature'. Open source is not a one-way street.
While true, depending on the language it can be quite be quite an interesting experience, depending on well well the language supports data manipulation.

For example, I have some books about writing Pascal compilers in 48K ZX Spectrum Basic.

Quite an interesting read about code optimization.
Not that it detracts from your point, but the phrase is a reference to a famous Knuth quote:

http://www-cs-faculty.stanford.edu/~knuth/faq.html (see the last question)
That is incredibly pessimistic. We shouldn't be figuring out how to cut back and be austere, we should be making smart bets that will pay off big in the future. The libertarians are dangerous this way.
Is there a good resource or book on how to write high performance C code?
I just started learning programming, and I will need to write C for simulations (well, it will be CUDA version of C or C++).
How on earth did this get to the front page? :D
And their lack of attempts to improve it; I mean, it's an open source project, there's a big "IMPROVE THIS DOC!" button on every documentation page.
Once civilization recovers enough they should be able to reconstruct the language from just the corpus, a la Linear B.

For less advanced future generations, given the lack of a universal language I think the best you can do is store copies in many languages and/or translation dictionaries, and hope that at least one of them survives. http://rosettaproject.org/disk/concept/ is an interesting take on this.
Is there no equivalent of php.net that explains this simple control structure?
Also related is David Schwartz' answer to this similar question "Is there a way to set up proof-of-work systems so it would be even more useful?"

David responds, "The work is not useless, it secures the transactions. The public hash chain ensures that Bitcoins can only be spent once... There is currently no known way to make the work more useful. " See http://bitcoin.stackexchange.com/a/334
RubyMine 6.0 Released
Although a bit out of date, the Dragon book is always worth a read.

http://dragonbook.stanford.edu/
Actual wrecks, or just pictures?
I've tried to attend LinkedIn of their horrible mobile experience. No change as of yet. Any link you click in an email of theirs, or any link while on your phone for that matter, brings you to that stupid app promo and breaks whatever deeplink you clicked.
What I would like in something like that is the ability to push from outside an image to be used. Docker has push to a central location and then you need to pull from it which makes it harder for a small setup like mine.
I think those synchronous communications should be minimized.

They break you out of a flow and bind you.

Chats/Forums/Emails are easier to integrate into the day.
As a theory guy I'd argue you're looking at it backwards.

The proofs are fine in that the correctness logically follows given the appropriate assumptions. In this particular example, it's implicitly assumed that integer overflow isn't a concern. Ideally, something like that should be explicitly stated, but let's be honest, Algorithms and Math in general have to be shorthand heavy - the alternative is painful and often not human readable.

It's always been the responsibility of the implementer to dive deep enough into the theory to grasp all the omitted assumptions. A less gratuitous headline might read - "Common implementation pitfalls: Integer Overflow"
Poll requires Facebook

0/10 would not vote again
What about Australia, Canada or New Zealand?
And what happens if you would like to offer products and services in the US(which is a huge market). I'm assuming just like Samsung they are still liable if they want to sell something.

I'm genuinely curious and concerned.
Surely not a question which could be easily answered with a LMGTFY like this http://lmgtfy.com/?q=switch+statement+in+ruby
>I do however stand by my original point that syslog support is an excellent cleavage point to segment the customer base.

Probably because you are not a systems engineer. Did you see what it resulted in here? Many of the people who have systems large enough to hit these issues will just work around it using the ramfs approach or by just dumping nginx. Either way you have a skilled engineer disappointed in your product.

Don't differentiate FOSS with paid on something that simple, especially something that has been supported by apache for almost a decade.
The TOS is perfectly valid. It is a solid document advising people to take any results up with a medial professional. The service tells people that the product is not a medical diagnosis, however the service does provide medical information. This clearly puts said service in the realm of the FDA. Therefor compliance should be sought.

Really this goes for any company building medical services. Consulting someone on HIPAA compliance, as well as, FDA standards and practices is a must.

Is this fair in this case? Who knows. It is irrelevant. Resistance is futile.
How DARE they do what they want with the code they wrote!

this hip young whatever rubbish can not even handle load generated from HN front page, maybe they should not ditch Nginx for now and use it to survive slashdot effect, but then of course ditch this horrible horrible web server...
I like this idea. Hope it catches on.
Well, history sadly dictates that the interface to the upper layers it based around code units because those have always been fixed-length. Unicode came to late to most operating systems to really be ingrained in their design and where it was (Windows springs to mind) it all got a turn for the worse with the 16-to-21-bit shift in Unicode 2 with Unicode-by-default systems being no better than 8-bit-by-default systems had been a decade earlier.

That NTFS uses GUIDs internally to reference streams is news to me, though. But I think on Unix-like systems the equivalent would be inodes, I guess, right?
RC4 is no longer recommended, but is the best supported method as I understand it [0]. There's also the issue that the most widely available versions of openssl do not support PFS or tls 1.2. You need to download and compile a newer version of openssl (rather than using packages - RHEL in particular since that's what we use), and then compile whatever web server or proxy again with the newer openssl support.

[0] https://community.qualys.com/blogs/securitylabs/2013/03/19/r...
I would advise "Compiler Construction" from Niklaus Wirth book over that tutorial.

http://www.ethoberon.ethz.ch/WirthPubl/CBEAll.pdf

Of course, the best is to do both. :)
The article's actual title is "Apache 2.4 Faster Than Nginx?" . As most articles having a question mark at the end of their title, not surprisingly the answer is "no" ... Quoting from the article itself:

>> It turned out that it’s a false claim. Apache 2.4 is actually much slower than Nginx!
Can we please stop conflating C and C++. I know I'll be called a pedant, but it's just misleading and a little dishonest.
The ruby community does not really believe in documentation, so you have to go for third-party sources[0] or books

Also, it's not a simple control structure, Ruby's case/when does not do equality checks (via ==) it does match checks (via ===) so you can match integers to ranges:

> (1..3) === 2
=> true

or instances to classes

> String === "foo"
=> true

But `===` is not commutative:

> 2 === (1..3)
=> false

and the matches can seem somewhat arbitrary:

> (1..5) === (2..3)
=> false

[0] http://www.techotopia.com/index.php/The_Ruby_case_Statement
Great, don't use it then. Why do you believe you have the right to tell other people what to buy for their money?
Tesla Model S: Even After Update, Vampire Power Draw Remains
A CEO disagreeing with gag orders has not been a good indicator in the past.
Or twitter.

Honestly, It's easier than making people sign up for an account (safer too, since they don't leave an unhashed password in their database)
Sharing Gmail Tasks gmailsharedtasks.com
It's definitely on the todo list to categorically make sure I'm complying with each feed. I think the biggest thing I'll need to change is perhaps to not allow download the zip of the most recent feed.

Can you share what it is you're working on?
Do you have any examples of specific topics?
Is this money going to the external contributors as well? Volunteers that submitted patches, tests, and documentation?
> Doesn't that sound like a very unhealthy national self censorship?

Fortunately, Hacker News is not a nation, and can censor all it likes to keep out all the crap.
'3. "Earnings missed estimates."
No. Earnings don't miss estimates; estimates miss earnings. No one ever says "the weather missed estimates." They blame the weatherman for getting it wrong. Finance is the only industry where people blame their poor forecasting skills on reality.'

I reckon the software industry could give that last claim a run for its money. Ignoring incompetence, sometimes there simply isn't an elegant solution that fits time, budget, stability and technical debt constraints, yet it's somehow not an estimate issue.
This is what I had in mind. Interesting to note that it's getting suggested already.
Inheritance with JPA
I agree. The OP's examples are lame. Anyone who has written a memory allocator (I've written at least a couple) knows there's overhead for each allocation.

There are many ways you can shoot yourself in the foot with C that are much more obscure.
Price restriction in this case. 100 vms * $1300 a VM = a big pile of cash that wasn't in the budget.
UrtheCast Successfully Launches its Cameras into Space
>>Show me the numbers

https://amplab.cs.berkeley.edu/benchmark/
Innovation Prize Africa meeting, calling innovators
Online shoppers more likely to buy from White sellers.
>What about OpenStack? Maybe Linux or Firefox? None of these projects turn to their users to squeeze money out of them to activate basic features.

Thats disingenuous. Linux squeezes money out of users via RHEL and SUSE. Firefox straight up sells your data to Google (who in turn provides over 90% of Mozilla revenue).

Even Apache, a "good" open source foundation, houses Cassandra, which is largely contributed to by DataStax, which sells its own version of Cassandra which has "pay-only" features such as Hadoop integration without the need of HDFS.

Long story short, there are large number of OSS that function the way nginx is running things right now. You could probably throw a pebble in the OSS/Enterprise ocean and land on a project that has "pay-only" features. Unless you are willing write the solution yourself, no one in obliged to take up the mantle and fix your problems for you.
Is this perhaps because ruby calls it a case statement instead of a switch statement?
Probably because of /b/'s vote manipulation in previous years. Another reason we "can't have nice things" on the internet -- systems that rely on implicit codes of civility still seem to break down when people can remain anonymous.
> removing the "disable javascript" checkbox from prefs (yes I know it can still be turned off in about:config but that's unacceptable)

Why is that unacceptable? How many pages actually work without javascript?

Like it or not, javascript is an essential part of a web browser. To disable it you should have to know what you're doing.
No way, I don't vote for traitors. All his US supporters are a bunch of Benedict Arnolds.

BTW, just voted for Miley. She definitely made my year.
Yes, $1350/server per year * 100 VMs which just broker requests from clients to php-fpm. Totally reasonable. /s

For that price, they could pay someone who's sole job is to maintain a private fork with the feature. It's not like they can submit it back since nginx would reject an enterprise competing patch, but at least they would have the functionality and the benefit of another dev on hand.
Godwin's law, pal..
That's exactly why it would be the most voted question. It's a common thing to Google, and the Google search leads to the StackOverflow page linked, which leads to lots of upvotes.
Government: Snowden is a terrorist.

People: Snowden is a hero.

What a great way to bring this difference of opinion to the fore.