skysight-inc/HackerNews huggingface dataset:
> 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.

Just for the records:
http://www.ohloh.net/p/nginx
http://www.ohloh.net/p/nginx/contributors/summary

Indeed there are useful patches/bugfixes from the community, however nginx has always been almost a "one-man operation".

To the best of my knowledge, syslog code in nginx plus isn't based on any 3rd party work too.
The Difficult Art of Contributing to Open Source
> I use schema libraries and asserts to both document the code and make sure you can't feed it wrong data.

Dependent types to the rescue!
A Block Eruptor ASIC (BE100) uses 10W/GH/s, a newer chip like Bitfury uses 0.9W/GW/s, the Block Eruptor 2 chip uses less than 0.2W/GH/s. It's decreasing rapidly.
"I don't know enough about mechanics to make a proper assessment of this, but my bullshit detector is bleeping, though shyly."

Mine too…

One of the fundamental problems regular wind turbines need to deal with is the "V cubed" term in the power contained in moving air. For exactly the same reason that you need eight times as much power to make a car go twice as fast – if you build a turbine that can produce it's "nominal power" output in, say, 10m/s (~22mph) of wind, it'll need to be able to somehow deal with the turbine operating at 8 times nominal at 20m/s (45mph, a not unreasonable occasional windspeed in many places) and 27 times nominal power at 30m/s (a high, but certainly not yet "beyond reasonable safety design limits" speed).

My problem is with the numner on their Field Data page - they say they get an average "speed Ratio" of 1.8, and their turbine is rated at "600W at 12.5m/s". Ballpark extrapolation follows. I'll assume that's 12.5m/s at the turbine, or 12.5/1.8 = ~7m/s wind speed. About 15mph. At half that windspeed, there's 8 times less energy available, so 7.5mph of breeze will generate 75W, halve it again and output at 4mph drops down under 10W, and 2mph means low single digit Watts of output.

Now think about what happens to their turbine in a stiff breeze of 30mph? Where does the 4.8kW go? and when the once-in-5-years 60mph storm comes through, somewhere the best part of 40kW needs to be dealt with. Who engineers things with almost two orders of magnitude margins of safety?

It doesn't smell right to me.
This is a nice concept. In populated areas there is quite a bit of pushback from the population to install wind turbines due to the distracting movement of the blades and their shadows. This idea solves that nicely by hiding the turbine. Maybe the marked for this is densely populated Europe?
IIRC they weren't exactly open about losing a satellite in a ISS resupply mission[1].

1. http://en.wikipedia.org/wiki/SpaceX_CRS-1#Secondary_payload
Oh, this already is a response to a posting from yesterday

https://news.ycombinator.com/item?id=6829725
Still haven't ever managed a successful shuttle landing...
At first I thought this was a joke or some april fool.
Sam is only highlighting an aspect of a company making it big. This is a multivariate problem with no single trick for solving it.
I assume you could have something which only lets air in but not out, like a https://en.wikipedia.org/wiki/Check_valve but for wind.
So is that about the pricing or the closed source? Would it be different if the pricing was something else? Just curious. Also, like quite a few people pointed out, why not request "the best pricing" given certain deployment scenario?
surprised to see zero working class backlash or jokes just because its for bankers. i'm sure that says something about the 'class' of people who frequent HN...

good work though. whether or not its useful it works and its finished, and those two things are worth a lot. :)
Dependent types to the rescue!

Unfortunately dependent types are incredibly difficult to get working (Scala's type system is already turing complete (and can handle path-dependent types) and true dependent types would make reasoning about nigh-on impossible).

I would argue that you're dealing with a sub-typing problem here, Email <: String, LongLat <: (Int, Int)*

* I would say in Scala:

case class LongLat(longitude: Int, Latitude: Int)
I remember you also slated my own programming ability for no reason what so ever, after seeing one tiny script that I wrote in 45 seconds.

You sir, are the kind of person who honestly believe that you're better than everyone else, and quite frankly mate, you aren't.

Are you a multimillionaire? Sometimes it's not about the code quality, it's about the ability to produce a product.

I don't revere Notch, but I do think he's a better developer than most, especially you.
This is the most amazing thing I've seen in a really long time.
An understandable opinion coming from a client accounts manager.

Now try and see it from the viewpoint of the poor sods who have the unfortunate fate of being this incompetent fools clients.
An algorithmic way to plan your travel.
Scala doesn’t support dependent types AFAIK
This is one of the reasons why Proof of Stake was proposed as a more efficient alternative to Proof of Work while keeping the incentive for miners to keep their rigs validating transactions.

Other cryptocurrencies such as Peercoin and Novacoin use both systems, but will shift to PoS only at some point in the future.
Neither of your arguments really make sense, unfortunately.

For your first argument, the number of nodes in your tree isn't equinumerous with the naturals. If it is, can you define an injective function which takes as its input any (potentially infinite) path in your tree and returns a natural number?

For your second argument, what do you mean by "we have a list of all the even numbers assigned to a natural number?" Assigned how? The map n↦2n puts the naturals and even naturals in 1-1 correspondence and so we're done proving that they're equinumerous.

It sounds like either you imagine multiple even numbers being "assigned" to a particular natural number (which isn't what we care about) or that you're thinking of adding lists of an infinite number of even numbers somehow?
Dunno about going out of business, but there's been a major decrease in competition in the HD industry due to companies merging or discontinuing entire product segments.
Is this really real, or is this something misguided like the "flowerpot candle heater"?
I don't think the author is denying this fact at all?

There's plenty in Scala that other languages do better, the author's claim is that no languages puts all of its features together better than Scala.
Yes, but they aren't mentioning that, and I suppose this is quite an important ommission. And btw, valves would create additional drag and reduce efficiency of the device.
Of course it is, however my complaint was targeted to all supported Visual Studio languages.

My employer won't pay for the listed plugins, given what is already being paid for MSDN subscriptions.
I think smsm42's point is pretty clear. Reading the first phrase and stopping is not conducive to a reasonable discussion.
For context: I'm sat on a trading floor in the City of London right now.

I had a similar idea (inspired by Slashdot) about ten years ago but, like so many of my great ideas (e.g. time travel, teleportation), I never got around to implementing it.

A site like BoredBanker.com will almost certainly be targeted by wannabes, trolls and banker-haters. If you don't keep them off the site, real bankers will be turned off by the low SNR and abuse.

If it were my site, I would put in place a mechanism to filter them out at registration. People registering with the site would be required to supply an email address. Anyone who could provide a Bloomberg account (i.e. an email address @bloomberg.net) or an email address at a domain on a whitelist of known financial institutions (e.g. morganstanley.com, citi.com, gs.com, etc.) would automatically be accepted (and potentially given downvoting rights straight away) and so would anyone they invited/recommended/vouched for.

Anyone else would either (a) go into a queue for approval or (b) be given "on probation" access. If (a), someone would need to review the applications (presumably by checking the domain name of the applicant's email address (and, if appropriate, adding that domain to the whitelist) and/or reviewing their LinkedIn profile. If (b), there could be a feedback mechanism that would automatically hellban the user if they received enough downvotes (or were flagged by a moderator), or promote them to "approved" if they received enough upvotes.

You could also allow "approved" users to hide comments from "on probation" users (similar to how Slashdot used to - may still do, for all I know - allow you to set a minimum karma limit).

That way, you make it really easy for legitimate finance professionals to join, while putting hurdles in place to make life difficult for the trolls and Occupy-ists. And you also generate a bit of scarcity-desirability through the invite mechanism.

Of course, as soon as it becomes successful/popular, you'll probably find that the site gets flagged for filtering out by the web proxy filters the banks use. :-/
Yep, driving wind faster is the key to lowering the size of the turbine's rotor blades.

It's an interesting optimization, but the broad design of the tophat might face challenges from adverse weather. During hurricanes or say something like 100mph wind, the upper flower has to recede to save itself. This is not the case with standard wind turbines that just rotate only faster. I am sure they must have thought through all these situations, simply considering only 600% improvement over standard installation doesn't seem like a good way to compare.
Radioactive Truck stolen in Mexico - What could they do with it?
Travel Surveillance, Traveler Intrusion [Cato Institute talk]
Guardian may face terror charges over stolen secrets (see comments)
It's the first time I've run across the term "Gresham's Dynamic"; it very clearly captures a concept I've been trying to explain to explain in my own words, albeit applied to a wider topic. Is the use of the phrase limited to discussions about economies?
Subverting security with kexec
Doritos Locos Tacos visionary dies at 41
Venturi effect could be used to make it a constant head of pressure. Or you could use a turbine with variable pitch and an infinitely variable transmission.

Either way, agree it's hand-wavy.
There might still be something interesting in this design compared to the conventionnal wind turbines, if you imagine several output tubes and control the closing/opening of those tubes according to windspeed you'll be able to modulate the nominal power you mentionned.
Please make it an API. Much easier to create custom clients for different platforms.
You realize you can define your own types, right?
Although the Daily Mail is known to be a hotbed of right winger view, I found that the comments against this article to be quite fascinating.

This is the side of the UK that deeply believes that Snowden is a traitor, and that the Guardian (and the BBC) have a dangerous communist agenda.

I have previously discussed the anti-Snowden sentiment within the UK here: https://news.ycombinator.com/item?id=6610513
This is where the 4.8kW will go if they haven't thought of the possibility of high winds.

http://www.youtube.com/watch?v=_e9uRSVun30
My biggest problem with it is that no one outside of SheerWind has been allowed to test the system.

It kind of sounds like what happens with Andrea Rossis Energy Catalyzer[1], he was able to get milions in fundings over the years but never allowed to test it objectively claiming the reason is that he sold his patents or something. Several years later you can still not buy a cold fusion reactor.

[1] https://en.wikipedia.org/wiki/Energy_Catalyzer
http://stackoverflow.com/questions/2693067/what-is-meant-by-...

they are kinda cool, but also limited as hell.
WOMENS PATENT FLAT DOLLY BALLET PUMPS SHOES LADIES
> this comment seriously offends me

"So fucking what?" © Stephen Fry
http://www.youtube.com/watch?v=zqPcjm-X5GQ
I don't think you understand, it's not about a reward; it's about having a clearly defined process to report security bugs that is inclusive of every kind of bug.

If you don't have that, people don't know if they are breaking the law by sending you a bug report, and they might not report the issues.

Most of the time, the bounty is not going to pay for my time anyway; I just do it for the fun of it, but it definitely says "security issues are welcome"
http://stackoverflow.com/questions/12136309
The moral of the story seems to be "never give forums a password you use elsewhere".

I'd like the entire web to move to Mozilla Persona, really.
I disagree. I've used Clojure, Scala and Haskell in numerous projects and I'd personally choose Scala over Clojure every single time. Language arguments like this are pointless.
I still admire some of the work he has done, but I have to also count myself among those who would not want to work with someone so willing to grand stand and just generally so hostile to another human.

One phrase I remember from Cantrill re: Oracle & Solaris was that "People Innovate, not companies". Commits contribute, blog posts rarely do.
History may repeat itself or who knows...

"The Goiânia accident was a radioactive contamination accident that occurred on September 13, 1987, at Goiânia, in the Brazilian state of Goiás, after an old radiotherapy source was stolen from an abandoned hospital site in the city. It was subsequently handled by many people, resulting in four deaths. About 112,000 people were examined for radioactive contamination and 249 were found to have significant levels of radioactive material in or on their body. In the cleanup operation, topsoil had to be removed from several sites, and several houses were demolished."

Source: https://en.wikipedia.org/wiki/Goi%C3%A2nia_accident
Why should I not be allowed to allocate a buffer that has like 10 or 20 extra characters of space and use a format string with %d in it? Why does sprintf have to be banned?

But banning gets is obvious because it is by definition facing external input
The Netherlands thing was likely a proxy server for C&C, not a targeted attack on users in that country; they're pretty much all the same IP
Coudldn't you just close the tube? I assume they already use some kind of a one-way valve so the wind on the other side wouldn't suck and lower the preasure in the tube, you could just close this valve if the wind is too high, or even just open it a bit so you could still generate electricity?
Incidentally all those comments seeking shut down of the 'left wing rag' are anonymous. Ah, the irony.
It would be great if it would completely run on bitcoin microtransactions.

Charge 0.01 mBTC per comment (to limit spam).

Charge 0.01 mBTC per vote, pay a portion to the commenter.

Integrate tipping.
> In my opinion types are a poor man's schema

What's the distinction you're drawing here?

> my email is not a string, it's a email, and my longitude/latitude pair are not just ints they have specific ranges, saying that longitude is 500 is as wrong as saying it's "foo"

I fully agree. Those sound like exactly the kind of thing I would enforce using types.

> and this only in the places I need, no need to a schematize or assert every simple function with obvious parameters.

How do you enforce that all code paths go via your schema? Just visual inspection?
"butthurt" is the pain you feel in your anus after being anally raped.

If you scroll down on that knowyourmeme page that you linked, you will see a set of memes in the "Buttfrustrated" category. The Brony meme has a set of insults that reference the anal rape: "Im sur thers sumpony who can help fill ur ass with semen laced hrut".

The percentage of cases in which a person is referencing "butthurt" to indicate a spanking is vanishingly small. Play the game "League of Legends" and complain when you lose. Ask people what they mean when they claim you must be "butthurt".

Did I just type those words?
I think the problem is refactored code that still compiles but fails in subtle ways now. Of course testing should catch that, but we have to accept that the reality of most testsuites is very different from the ideal.
I think the idea is very interesting. Though, unlike the HN community - which is mostly tech audience - I don't think that using HN's design is a good idea. Programmers really don't care about the design as long as it serves the purpose well and is simple. I think you need to customize the design a little bit. Overall, it really is a great idea. Goodluck!
It doesn't sound like "closed source = sucks" to me. It sounds like "I love open source, so I'd better support it", which is a great attitude.

I'm fairly neutral in this. I love open source, and I do believe in many cases, open source can be a lot better than closed source options (look at Apache httpd, many web frameworks, git, etc), but there may also be instances where closed source results in better software, and those developers deserve to make a living too.

I love open source, but I don't mind paying for quality when it really is better than the free version.
Buttercoin In India Soon
What's the best iOS Hacker News App?
Was a bit worried until I saw 'Wind returns to environment.' Thought they were going to keep it.
In their FAQ they say:

- What are the details of the system inside?
Sorry, we do not comment on the details of the inside of our INVELOX system because they are part of our trade secret.

So it is not unreasonable to assume that they have something in there. And they could be needing the valve anyway to close the tube if the wind is too strong to protect the turbine.
SpyFu Review – Competitive Research Tool for Intelligent Data Analysis
Have you ever worked in enterprise projects with distributed teams, around > 30+ developers per site, grokking hundreds of code lines in a dynamic language without unit tests, because they are a waste of employee salary time?

I really value strong typed languages in such projects.
John Hancocks arent particularly secure anyway, and I actually have little use for my digital version, other than using it on documents to be sent to people. Everything else is handled via other ways (or require actual pen on paper!) :)
Book Review + Summary & Cliff Notes on Slow Down, Sell Faster by Kevin Davis
Complete Summary, Review & Notes on Peer Power Book
BackerNews
Even though the work environment is peculiar, the technical contents itself is far from exceptionnal, really.

If you'd like to read more about this kind of systems, this document could be a starting point: http://www.ti.com/lit/ml/slup232/slup232.pdf

It sums up pretty well the stakes and technical challenges with digital power supplies.
a down vote? :O but why? i thought we were unanimously against plugs?
Introducing Dogecoin.
This is going to be interesting since the volatility of bitcoin price in USD is so high. If you have +15% one day and -30% two days after, this completely destroys your forecast if and when mining is still profitable.
So how did we implement our new front-end development workflow into Symfony?
Related to this, take a look at how lobste.rs handles new members: you either need an invitation from an existing one (and your behaviour is associated with that person in the public tree of membership referrals) or you go into a member-visible queue until someone who knows you and is a member can invite you personally.
I want a strongly and statically typed, preferably compiled, multicore PHP, basically. With good tooling, if the world was perfect. Scala seems to fit that in my limited playing, and seems to be the closest in terms of what I want out of a language in general. I'm still keeping an eye out though, as Scala does have some rough edges.
I wonder how long it will be before the sex industry catches on. Surely realistic and anatomically correct androids are preferable to blow-up dolls are what have you... even Star Trek mentioned the issue.

It might seem flippant, but I genuinely think that is a potentially huge market (though probably not Google's cup of tea). After all, why create a robot that is shaped like a human? The human form is remarkably versatile, but there's a reason that industrial robots don't look even remotely human. Each has a specialised function and corresponding form that makes them far more efficient than a human being.

The best reason for having a robot that emulates human form and behaviour would be for interacting with other humans. There are fewer more basic human needs than that for sex, as much as we'd all like to be prudes and deny it. Though the uncanny valley may be an issue, human nature makes it unavoidable that this will happen eventually.
Interesting to contrast this with Cards for Humanity, which links the same offensive cards with the goal of donations to charity.

http://cfh.io
Looks great. Collaboration is the only way tech is going to make a real impact in health.
I beleive that artificial intelligence reproducing the brain capabilities is just behind the corner.

Why?
Fine fine, i'll play nice...

Ps: the idea is pretty cool. So is the implementation =) though how would you guys have handled if an issue like this occurs on your platform? A submitter submits a bug but the company refuses to pay for it citing "out of scope" ??
The first question that popped my mind is how long until the amount of produced energy exceeds the amount needed to build such a device.
The most efficient way to get from low Earth orbit to a point further away from Earth is with a single burn of your rocket engine. This burn close to Earth launches your rocket on a ballistic curve to the target point, with the least energy on arrival at the target (slowest speed) necessary to get there. Necessarily, this means you start off going fast after the initial burn and you slow down due to Earth's gravity as your altitude increases.

Trying to do it more slowly will just waste fuel. It would mean burning your engine less when close to Earth, not enough to reach your destination, then burning it again at higher altitude to stop Earth's gravity pulling you back down again. To understand why this is less efficient, check out the Oberth Effect (1). Trying to get to a distant point like the Earth-Sun L4 point doesn't fundamentally change any of this.

(1) http://en.wikipedia.org/wiki/Oberth_effect
What is important is that a society has reached a level of sophistication where discussions about relative costs of handling different money can and are possible

it's an impressive leap from cutting doubloons into 8 pieces
The Challenge of Cross-language Interoperability
No, but there is thousands of years of history that show us what happens in revolutions of that nature.
The HN source is already available: https://github.com/arclanguage/anarki/blob/master/lib/how-to...
The solution is to ignore .NET entirely and only use Mono, even on Windows. Then you get the same platform everywhere, as you would with the JVM.
If you don’t have unit tests in a distributed team of 30+ devs per site you are screwed in ANY language.
We were talking about mobile apps; how can you build those with MonoDevelop on Linux?
Dependent types to the rescue!

Dependent types are nice, but much what the grandparent wants can be achieved fine with normal types. E.g. in Haskell, define the Longitude type and some helper functions

newtype Longitude = Longitude Double

fromDouble :: Double -> Maybe Longitude
...

And don't export the Longitude constructor to maintain invariants. Obviously, the same can be done in OO languages that allow you to hide members, C (via opaque pointers), etc.
Jokes already been done before and done better
http://www.cyberbeans.org
It's nice to see Mac OS X stem from Unix
For Java: http://blog.paralleluniverse.co/post/49445260575/quasar-puls...

Yes, you can use Akka from Java. Just to show that you don't need something like Scala to implement an actor system.