skysight-inc/HackerNews huggingface dataset:
> I think this is the red herring at the heart of the problem. Those bugs really aren't a big deal, they happen rarely once you're proficient and they are quickly solved on the rare occasion when they do happen.

This is simply not true. I don't only work in Haskell. I also work with many colleagues on C and on Python.

Virtually every bug in C or Python that we encounter, including ones we have to spend a significant amount of time debugging is a bug that cannot happen in the presence of Haskell's type system.

> I'm talking about logic bugs, the kind that your compiler isn't going to find, or even that a "sufficiently smart compiler" couldn't find because it's a misunderstanding in the specification that you have to bring back to the product owner for clarification. Or bugs that occur when 2 different services on different machines are treating each other's invariants poorly. Those are the bugs I spend time on.

If you had experience with advanced type systems -- your claims here would carry more weight. People who don't know advanced type systems tend to massively understate their assurance power. For example 2 different communicating services might use "session types" to verify that their protocol guarantees invariants. Or maybe the only type-checked programs are ones forced to reject invalid inputs that violate invariants.

> I haven't spent any time at all with Haskell, really, but it seems like a poor trade off to have to learn a bunch and engineer things in a way that's more difficult in order to prevent the easiest bugs.

They aren't the "easiest bugs" at all.

For example, consider implementing a Red Black Tree.

In Go, imagine you had a bug where you rotate the tree incorrectly, such that you end up with a tree of the wrong depth -- surely you would have considered this a "logic" bug. One of the harder bugs that you wouldn't expect to catch with a mere type system.

In Haskell, I can write this (lines 27-37):

https://github.com/yairchu/red-black-tree/blob/master/RedBla...

to specify my red black tree, with type-level enforcement of all of the invariants of the tree.

With just these 10 lines, I get a compile-time guarantee that the ~120 lines implementing the tree operations will never violate the tree's invariants.

This logic bug simply cannot happen.

Learning a bunch of techniques is a one-time investment. After that, you will build better software for the rest of your career. Debugging far fewer bugs for the rest of your career. How could you possibly reject this trade-off, unless you expect a very short programming career?
so do they get paid to run ads like that, or are they just stooges the same as reddit?
| catching people who were actually guilty

Not every crime deserves to be punished. For example, a conviction of, "lying to a Federal officer," for providing false information to an undercover Federal officer.
It only means that you haven't face a project that requires a CS education (compiler design, statistical analysis, etc.)
I agree there's no conspiracy against Bitcoin. I agree that in the view of particular people Bitcoin is money and they want it to be regulated according to their agenda.

What I don't agree is when people use made up definitions with straight face within a rational argument. It's not that you are wrong, it's that arguments like yours implicitly justify certain things as objective (e.g. differences between money and not-money).

In other words, Bitcoin services are being regulated not because Bitcoin is (or not) money, but because there are people with guns who want to control certain things in certain ways and use made-up definitions to justify their actions. When you use their definitions you just add up to global confusion and hide their lies.

And I'm not saying how things ought to be, I'm not suggesting what's good or bad. I'm saying that without honest clear terms we cannot easily decide for ourselves what's good or bad. Maybe it's good for someone to be controlled by people with guns. I just want to point out that there are guns and many people are afraid of them.
You might be able to say that in ten years, but today self driving cars are far beyond trivial tech.
I wonder which is a better approach: an unilateral barring of WFH days, or an effort to improve team morale to the point where people actually want to come to work.

Yahoo is unilaterally cancelling all work at home plans, but my friend's manager was organically trying to get his team to come in on the WFH Fridays with Friday team events centered around alcohol, and other ways to build camraderie and morale.
The "drone" itself is a DJI S800 and not autonomous in any way. It is technically a Remotely Operated Aircraft (ROA), so a fancy RC helicopter.

It looks like this was filmed in the UK (from the .co.uk address on the side of the box). Had it been filmed in the US, they could run into serious legal problems for not having a Special Airworthiness Certificate from the FAA for commercial operation.
I dunno - with USB debugging turned off, you can't do much to an Android device even if you can plug an arbitrary device into its USB port. There's a reason I make sure it's turned off every time I leave the house!
Looks like someone has a case of the Monday's
Yes, I sometimes wonder what a veteran of the American Revolutionary War thought when he first saw the Gatling gun.

What would be unusual is if weapon technology _didn't_ increase exponentially in lethality over time.

Given enough time even Little Boy will, to future generations, look to be nearly as puny as a flintlock. Hope we don't do ourselves in.
I am 100% sure that automatically landing a pizza in your front yard will be technically feasible long before the theft rate of these neat gadgets would drop to an acceptable rate. Maybe the first copters will parachute the pizzas :)
Elon Musk only wishes he were a part of this
There's no subtext. The article was written to share my experiences, experiences of friends, and the challenges we go through.

Startups are tough. As founders we are responsible for our teams, our customers, our vendors and partners, our advisory boards, our investors, family, friends, significant others, our health, and vision. It's not a compliant. I could go make a ton of money working a 9-5 without any of this type of stress and I choose not to because I love what I do and I love to build.

The reason I mentioned Startups Anonymous is because it's a resource for founders and team members (I don't like the word employees it creates that separation you noted above).

Thanks for sharing your thoughts.
Who cares if it is a commercial. People need to realize drones can be used for other stuff than military. Maybe this ad will serve as a good tool to democratize drones as that "Pizza for Bitcoin" website did for Bitcoin, even if it's just a small step.
I could see this being semi-automated to the point where the drones can travel between the home base (there can be special devices to assist the drone with automatically landing that you wouldn't have on a home or business) and some radius near the drop location by themselves then you have some human assistance with the final 100 feet or so. This would make it possible to need only 1 operator for a small city, I think. He'll only need to be concerned with landings/near-ground hovering then getting back in the air for the trip back home or to another drop.

I'm sure there will be some kind of regulation/standard that will deal with the way drones avoid other drones (and other tall structures) while in the air.
Introducing Shoptopia: your new personal, digital shopping companion
Keeps their HR busy.
"Something like the $900 knife in the article is/could be a mass-produced stamped piece of metal"

Very well could be some liability potential wrapped into reuse of a device. After all part of the cost does go toward covering things that go wrong for whatever reason.

If you take the device fresh and something isn't right you can claim it was defective. If it was used for another operation who is to say when something happened to it?

An inverse analogy might be the difference in potential problems from using a hard drive that has been previously used where something is later found vs. using a brand new hard drive.
... we already do. It's called radio :)
It is possible to use docker/lxc as a Vagrant provider. This means when you run 'vagrant up', your 'machine' could be a lxc container instead of a VirtualBox VM.

https://github.com/dotcloud/docker/issues/404

http://fabiorehm.com/blog/2013/04/28/lxc-provider-for-vagran...
Short feedback loops are a good thing

That's what service packs are for. With a product that has as big a footprint as Visual Studio it will be impossible for shops to keep up with the annual versions. Many will simply delay updates. Ironically, increasing the speed of major release may actually delay the introduction of some improvements by customers.
Ask HN: Are any startups interested in Windows Phone/Blackberry?
Reading the latest Who is hiring/Freelancer HN posts, I was a little bit surprised about the number of Windows Phone and Blackberry related offers. I know they're not as profitable/big market as Android or iOS, but I didn't expect so little attention (3 offers at most out of ~400).

I'm pretty curious about this, both personal and professionally (I'm a WP dev), so I wanted to ask if this is the actual scenario. Maybe there are startups working on Windows Phone / BB that don't think HN is the best way to find the proper dev, maybe no one is interested in such a little markets... I would like to know your opinion.
"I wonder why there aren't more Americans who go to the UK for surgery?"

Potential issues with follow up care as one drawback.
Flying drones are easy. Driving cars is hard. Parent agrees, but the top-level post either disagrees, or has his less than backwards.
You would be right. I'm definitely not a dude.
Highly relevant: https://plus.google.com/112678702228711889851/posts/eVeouesv... (Steve Yegge's platform rant)
Here is an idea for an awesome law that might fix some of the problems with the medical industry! Remove the ability of the billing departments to determine who has insurance and who doesn't. That way, everyone is charged the same amount for similar procedures. The whole practice of over-billing insurance companies has simply become ridiculous.

Why do the insurance companies tolerate this practice?
Yes and no. There's a tricky stage for a company, where revenue hasn't caught up yet, but you've raised a good amount of money. That money is still your main lifeline, so you have to be stingy with it to some degree. But as the employee, that shouldn't be so much your concern. You should demand salary an not bank on equity making up for it later.
I had my ACL repaired in 2007. I don't remember the costs any more, but I had essentially the same procedure using my patella and a meniscus tear repair. While I was able to put weight on my injured leg and was out of physical therapy after only a few months, it has taken several years to "fully" recover; even then I have the occasional gentle reminder that my knee is not the same as before my soccer mishap.
Of course the data tells you something.
- http://en.wikipedia.org/wiki/Non-response_bias
- http://en.wikipedia.org/wiki/Social_desirability_bias (quote: Personal income and earnings, often inflated when low and deflated when high)

Something to cope with it: http://en.wikipedia.org/wiki/Heckman_correction
Unless there is some great AI that can handle the landings I think that part can be left to a human. Each situation can be very unique with obstacles such as trees, power lines, other buildings in the way and a human can make better decisions about those on the fly.

Plus if you are delivering to a business in a crowded downtown area you'll probably need to call the recipient while hovering then identifying and directing them to a safe drop off spot :)
Spot on. If you start with the wrong metrics, and blindly chase any metric, you're on the road to disaster.
I find that for tech follows, it works better than twitter and fb... but there's much less signal overall, which is nice... for random musings, I'll glance at a twitter feed now and then... it's more of a highest noise platform to me. FB is mainly to keep up with friends/family, some of whom I'd otherwise never talk/communicate with.
An iconic photo (e.g. Tank Man photo [1]) opportunity is a black swan event, after all.

The photo opportunity is, but the ability to exploit the opportunity and get a good photo is not.
It's too bad. Nobody wants HN to become Reddit or Slashdot, to be sure. But at the same time, I think it could be argued that we're too stuffy around here sometimes, and take ourselves way too seriously. Letting something in that's silly and light-hearted, but that actually touches on an important touch, seems like a good thing to me, as long as it isn't too often.
Woah... digg.
"with insurance only for real medical emergencies"

You then have people putting off preventive care, tests etc and then you have to cover a bigger problem down the line.

I'll give you an example. You are a landlord with a tenant and you tell the tenant "you have to take care of minor repairs I will cover anything major". As a result they don't do normal maintenance either because they forget, don't care, who knows. Then because of lack of that maintenance the compressor fails on the HVAC and you end up having to replace a unit. Good luck with trying to tie that to the lack of maintenance. Or saying you won't cover it.
Yes, but so hard to get this right. Start this early. Things you get in the habit of holding close to the m-team will probably stay with the m-team forever. This is something that's worth to spend mental energy on early, even though it won't matter until you're bigger, because it's so hard to do once you're bigger.

What do you mean by this? Could you please expand?
> "And why has no one attempted something like this before?"

"However, if you've been around the Python community long enough, you might also know that the GIL was already removed once before--specifically, by Greg Stein who created a patch against Python 1.4 in 1996." (Also mentioned in the OP)

More info can be seen at http://dabeaz.blogspot.nl/2011/08/inside-look-at-gil-removal...
I am moving to Linux as main OS the moment someone tell me a sure Haswell combination of CPU and MB that can do VGA passtrough so I can visualize one proper windows for gaming.
So what's the new data access paradigm?
Holy Capacity issues batman. the vines are not loading for me...
To view anyone in Japan, or more accurately, anyone in any of the great powers as a "civilian" during the wartime of WW2 - is pretty naive. All of Europe, Japan, and America were in a state of Total War - Every available resource was being put towards the production of munitions, every able-bodied man was being drafted, every spare cent was being spent on the war.
> That's not the case with the microtransaction free-to-play model -- they need you to not just play the game, but to feel a need to play the game.

This is actually more true for subscriptions than for F2P. With F2P they need you to have a reason to actively buy things. With subscription, they need you to play enough to find the next month worth paying for.

Whereas one-time box sales the way you're talking about is all about getting you to make the purchase at all.
The Sound of Quicksort
I'm really new to this email security stuff, and I feel like I know nothing... Would using third party end-to-end encryption service be a good idea? Something like a free service like penango.com?
But would he pay his workers in Bitcoins?
Disagree; Python's hardest problem is packaging, followed closely by bikeshedding over networking libraries and an ever-growing dichotomy between the Python 3 and Python 2 universes of code.

You can skip all conversation about the GIL and threads neatly by simply preferring a different concurrency model. There are plenty of ways to do this (see above re: bikesheds and their colors), but being permanently tied to CPython and the threading module is increasingly uncommon for professional Python, and it isn't as unavoidable as things like networking or even which language you're going to use.

Edit: I see that the author's in this thread. Nicely written article, but a tad hyperbolic.
Apple Just Dropped a (Not So) Subtle Hint
I think you underestimate how willing people are to share chargers. If you make one of these malicious chargers, and mock it up to look similar enough to an Apple one, I bet you could compromise a decent number of phones just by hanging out in a popular place (e.g. a coffee shop, or an airport) and making your charger available to folks.
And indeed, that's why they've hired at least one behavioral psychologist. (http://www.time.com/time/magazine/article/0,9171,1940668,00....)
Android also has decent command line tool support and a build system based on Ant. I'm not a huge fan of ant, but the default setup works all right and is extensible. I've mostly managed to stay inside Emacs for Android development.
I'm still holding out hope for Tacocopter.
I think this speaks to the idea that start-ups are becoming the new form of labour. We are happy with the idea of just working with strangers as labourers. Oddly we don't start great passions and journeys with them so much
The Importance of Sketching in Product Design
Coursera Scala online course: a (data) retrospective
Democracy has always struck me as an interesting form of government, precisely for the reason being shown here: If the voting wasn't rigged, and we have no reason to believe it was, then Erdoğan was indeed voted into office according to the laws of Turkey, and thus has about as legitimate a reason to do what he's doing as anyone in his position would, at least if you buy into how a representative democracy works.

So then a man who was ostensibly elected by his people starts taking actions that some (it's not all) of his people disagree strongly with, and they attempt to show that disagreement in the form of protesting. So far so good, right? The system is working, about as well as it can. There is a vocal minority attempting to gather numbers by protesting the actions of an elected official the minority disagrees with. That sounds like a country I'd like to live in, right?

But then the oppression begins, and here is why this got so bad, from what I've just read: out come the tear gas and the riot shields. This goes from a beautiful process of democracy in action to what we in the US would call a blatant violation of First Amendment Rights (capital F, A and R). Now you've got a national incident, which grows as the mistreatment grows, and soon it's an international incident that looks a little bit like what many other countries in the area have gone through, which lead to the ending of a government. But it's not that, because what would you replace this government with? A democracy? That's what got them to this point in the first place.

So what exactly happens now? By all rights, Erdoğan should remain in office for the remainder of his term. How can the protesters ask for anything else? He is, after all, a fairly elected leader of their country. I honestly don't know what the alternative would be. I keep trying to imagine how this would go down in America, and I can't imagine a President stepping down because of violent protesting in NYC or D.C..
I saw that, 10.2 would be a workable size I think. Then a bunch of smaller ones surrounding, for a sort of tiled wm.
That article was much more informattive than most that have been posted on HN but it still misses a lot of issues. For instance it leaves out the fact that Erdogans party first came into party with 35% of the votes. That shows that theres been a steady inccrease in support for his party over the years.

I think HNs need to realise theres more to this than a simple park and underlying social tension. There are a lot more issues at play. There are political parties taking advantage of these protest tto cause social tension. There is unacceptable police violence which is fueling protestor anger and there is a constant superficial narrative as to why these protesst have started and continued. This is a very complex issue which isn't black and white and which can't be summed up in a 140 character tweet!
2. Why does the struct need a zero value? If it does, why not wrap it in an option/Maybe?

3. So that means you might get both a success and error value at the same time? And ignore one of them?

As for concurrent problems being worse than nullability, that sounds very plausible -- as Go also messed up concurrency by making any guarantee about immutability of shared state impossible.

4. That means the threshold for using sum types is pretty high -- which means you end up not using them when you ought to (e.g: error products rather than sums).

Sum types would make error handling significantly cleaner, but are not used that way in Go.

5. I think C++ programmers rather like const. Maybe you are confused with C programmers? C just got const all wrong.
Java got checked exceptions wrong, too.

Haskell logging is not a serious problem in my experience. Debug logging is done the same impure way as in other languages. Production logging is easy to add as a feature to your monad stack.

Some bad type systems become cages -- and then people hate all type systems. Ironically, Go also has a type system, and since it is a rather poor one, it is a cage as well.

5.1: I'm sorry but this point of yours shows rather extreme ignorance about Haskell. Haskell can statically prevent race conditions. The facilities for writing concurrent code in Haskell are far more advanced than those of Go.

> But there isn't nearly as much evidence that it is a smart choice for production code.

I use a bunch of languages for production code, including Haskell. In my experience, Haskell is the best choice for production code of most kinds.

There is likely a selection bias in Haskell. That isn't why Haskell code tends to be good. As an example of a measure of quality: Haskell makes it easy to verify there are no runtime crashes in your program. Even excellent programmers will not be able to make that guarantee in Python, Java or Go. This is a pretty huge thing -- having a guarantee of no runtime crashes. The same Haskellers who can give this guarantee for Haskell code would have no hope of giving this guarantee in these other languages. I'm not talking about a big "try: except:" clause -- but about a compiler exhaustiveness check that verifies all functions are total, and a cursory check that all recursions are well-founded.
Medical liability costs are about $55 billion in the U.S., or about 2.4% of overall costs: http://www.hsph.harvard.edu/news/press-releases/medical-liab....

There are debates about how much "defensive medicine" adds to the cost, but those aren't all that relevant here since the costs presented are exclusive of additional tests, etc.
I truly hope this is a "cut once, cut deep" action. There are still a ton of extremely smart people at the company, I just hope they stop overreaching.
Bike thief
Somewhere within the regulatory frameworks in which health insurance and hospitals operate, there's got to be the leverage to make pricing and other metrics like infection rate, readmission rate, etc., transparent.

Otherwise you can hide some serious price gouging in that fog of bogus prices.
Non-apple connectors are still just USB cables, which have to be plugged into somewhere. That somewhere could be malicious.
Sorry, I meant to add, "nor do I believe they haven't seen mobile games coming."
Data Visualization Dos & Don'ts: Improving how we present data
These protests remind me a lot of protests that were seen during the world trade talks or other free trade conventions in the US. Passionate young people protesting about injustices they see in the world and severe retribution by an aggressive militarised police force.
Bitcoin is clearly money. The people who made it consider it to be, the people who use it consider it to be, and the people who want to regulate it consider it to be. This is no more made up than any other human terminology.
An interactive 3D model of the Lamborghini Egoista