skysight-inc/HackerNews huggingface dataset:
> You may have abstract types in which case equality should not be implicitly defined. You may also have codata types where you cannot merely compare "value containment" since it's no longer a concept. These are both important things which are sometimes called "objects" and shouldn't be eliminated from languages.

I think it's important to distinguish equality from equivalence. There are many cases (e.g., enumeration types) in which equality is a perfectly appropriate definition of equivalence; but there are also many cases (e.g., some codata types) in which equality is an inappropriate definition of equivalence. Therefore, equality-as-equivalence as default behaviour is probably a poor choice— though it should be easy to opt for that behaviour.

As for equality (i.e., intensional equality) itself, I think memberwise equality (or perhaps even equivalence?) is a perfectly reasonable definition. There are times when you really want to discriminate on object identity (in the storage-location sense), but you needn't restrict equality to object identity to allow that.
Security-Cleared Population Drops by 10%
"He doesn’t sleep. He doesn’t lose focus. He will even forget to eat. He executes again and again, inspiring those around him to have the same passion for the end game as he does."

I really wish we'd stop using sleep-deprivation and similar unhealthy patterns as a gauge for level-of-dedication. I'd hazard a guess that what makes Travis Kalanick so effective at what he does his willingness to do hard work, effectively choose between various risks and business strategies, and network well with other motivated people. The part where he doesn't eat probably isn't what's helping him.
Number theory. Set theory. Category theory. Combinatorics. Graph theory.

Linear algebra certainly has applications in some of the above. But I don't think that calculus & linear algebra can be fairly described as "father & mother" to these areas. (Am I wrong? I could be missing some connections; I'm not a mathematician.)
I thing this is a testament that strong typed is more desired than dynamic.
The author seems to have written this as flattering to Travis, but he comes off as an arrogant jackass.

At the end of the day, he doesn't care about _people_. He decides he wants to own something and ruthlessly pursues it. There is merit to success in a narrow field of life (e.g. business), but on the whole I wouldn't put him up as a model citizen.

Would I want a world full of people like that? Not particularly. Reminds me of Thomas Hobbes' "endless seeking of power after power, that ceaseth only in death." A recipe for success, in a very narrow sense, but not happiness.
Interview with Peter Todd, one of Bitcoin's core developers
How about putting up a windshield on the top part of the truck?
Particularly impressive when you consider the human genome is only ~700 MB.[1] So this is like a million times as much data as human DNA stores, but in the same DNA format. Impressive.

[1] http://stackoverflow.com/questions/8954571/how-much-memory-w...
A question that's somewhat akin to asking, 'How robust are humans to flying projectiles?' ;-)

Of course, it's all about the energy. I'm not a biologist, so I won't speak to the details of how resilient DNA is to specific types of exposure or why, but I am a physicist and I can tell you that if you blast DNA with high energy radiation, like gamma rays, it's gonna have a bad time. That said, if we want to talk about robustness in terms of what it's likely to be exposed to, then it's pretty darn robust. We are exposed to a wide band of EM radiation on a constant basis, and can even withstand exposures on the higher end without becoming 'corrupted'.

I'd also note that standard, non-specially designed electronics aren't very resilient to radiation either. Not to mention, if you could reliably read/write data using DNA, I'd expect that redundancy would become... easy. Security on the other hand...
mystifying..

but make sure to pronounce it "beˈzje"

http://en.wikipedia.org/wiki/Pierre_B%C3%A9zier
Press the right arrow a fourth time :)
Don't forget that Testosterone "feeds" prostate cancer, and that most men will have one variety of prostate cancer or another by age 75. It's often slow growing, but if one feeds it, a different story. So potential "T" users should think twice about messing with this particular hormone.
Everything you ever wanted to know about Git submodules and more
I don't really understand the first part. So you contacted them, and they agreed to correct it, and you're angry they didn't notice the problem and correct it ahead of the report?

However, yes, I too would balk at the offer to give them more money for "faster" internet when they cannot deliver the current "slower" internet you're already paying for. It is pretty ballsy for the CS to even ask, but I suppose they are required to.

I think you're pretty quick to dismiss the local DSL provider. How bad can they really be? Keep in mind that review sites only list negative experiences, and I bet you can find just as many Comcast negative reviews as them.
Bitcoin now accepted by 100,000 merchants worldwide
Ask HN: Where can I read about warranty policies between OEM/ VAR?
Hi!
I am interested in what are the warranty policies (in general) between OEM / VAR partners in electronics.

Example - Intel/AMD & HP.
If the HP finds out that one of their products fails b/c of an Intel/AMD processor failure what happens between the companies?

a) In case of systemic failure (above N% - and what can be N here?)?
b) In case of non-systemic failure?

Would that be much different if it's some OEM smartphone + VAR brand? I am implying that OEM smartphone is a more complete package than just MCU (as above).
Ironically, EE had by far the most maths and maths-related courses of the other degrees, at my Uni. But we were still required to study those ones, along with the civil and chemical engineers.
Make sure you're not stopping at absolute difficulty when you should really be thing about difficulty in the context of technological capability. The near-arctic is a remarkably hostile environment, but humans can live there and thrive with only stone age technology. We are far beyond the stone age level of technology. The number of places that private citizens can live is far expanded as a result. (There are actually people now who have privately-funded undersea habitats!)

The decision of some individuals to move from the british isles to N. America for religious reasons happened in a specific economic, geopolitical, and technological context. If the available vessels and navigation were poorer or more expensive, it would not have happened, and they would have done something else. You have to consider these things in their specific context.

So, given a strong enough desire for people to live "in space" or "on Mars" or "on Venus" combined with the technological and economic wherewithal to do it, people are going to try. Combine this with very wealthy national powers led by a class of engineer-technocrats with a demonstrated track record of implementing multiple decades long-term payoff projects (China) and the conclusion I come up with is that there is a significant chance that we will wind up with civilizations elsewhere in the solar system.

Also, the specific environment they're talking about in the article isn't anywhere close to the Mariana Trench. It's at about 1 atmosphere pressure. The most hostile thing about it would be constantly encountering sulphuric acid clouds. (This would also be a tremendous benefit, however.) Another important difference: The physics of building livable volume favors by far Venus human-aerostat altitudes over the Marianas Trench. Equipment for working "outside" in that specific Venus environment is something we already have a good idea about implementing inexpensively. The basic physics of the Marianas Trench makes doing the same down there orders of magnitude harder. Likewise, other basic physics around energy would preclude economically feasible agriculture in the trench, but indicates that it's quite doable at those altitudes on Venus.

A Venus colonist would probably sing songs praising PTFE. (One's already been written: "Polytetrafluoroethylene -- that's Teflon, you @ssholes!") Fortunately, we already know that one could condense fluorine directly out of the atmosphere of Venus with basically just energy as input.
In general I think this is a sign that many people in D.C. actually do want to do the right thing, but have (for too long) let the wrong people tell them what the right thing is.
Free market is great if there are problems to solve and they require creative solutions. When an optimal solution is found, competition based on that one aspect of the market doesn't make sense anymore.

In this case, I truly believe net neutrality is an optimal solution for consumers. The goal of society is not to make things easier on companies, the goal is to advance society as a whole. Freedom of speech and expression of ideas does this, but allowing companies to block this at their whim benefits nobody but the companies. Battling internet providers day in, day out is tiresome enough without having net neutrality on the chopping block constantly. I don't want to have to switch providers every time they start blocking content. How do I even know they are blocking or throttling content? Will they even tell me? The free market offers me no protections against this. A company could be lying to be and I'd never know.

With a regulatory body, at least there's some oversight, and by default a good amount of protection.

I think if enough people in society determine they want something, that becomes a public matter. Trying to shoehorn every problem into the free market is a lot messier, IMO.
If they have possible values: TGAC, why not convert everything into base4? Wouldn't you get astronomical gains in storage?
Motivation can work for a while, but ultimately how I see it comes down to discipline.

Motivation will fail you when you are left with those last 10% of a project that feel like the first 90%, but now with uninteresting tasks like tweaking the hell out of a UI, fixing all those bugs resulting from code optimization in obscure cases, implementing database integrations to assure backwards compatibility with earlier versions or some such shit that is impossibly uninteresting but required to finish the project.

Then in play comes discipline, and that is something you have to learn systematically, and when you don't feel motivated at all to continue through and just wish to quit it all.

But you are correct, you have to get satisfaction from the process. Maybe the motivation is to see the end result. But still, there is that phase where all hope seems to be lost, inspiration and motivation are nowhere to seen and all that remains is just grind and decide to follow through.
My path was different.

I was decent enough to implement basic algorithms and data-structures since high-school. I couldn't build apps of course.

Then in the first year of college I got hired for a small and shitty company doing web development, on a very low salary. My first project was to clone a popular dating website (Match.com). For me the project was overwhelming, as I knew nothing about what it meant to do real things. But I felt the pressure of delivering and I really needed the job, so my path from a near zero to somebody hirable took one month, because that was the deadline for showing something working.

So basically for me the driving force was hunger - and I'm talking about both the attraction towards CS and the need for an income.

Of course, from there to somebody that can call himself a decent software developer, well, that took another 12 years. And the kind of projects you're working on matters a lot. At some point I worked for a startup that had crazy technical challenges, crazy constraints, crazy deadlines, crazy everything. For 3 years I worked on that and learned much more than I learned in the other 9 years.
The 3 Types of Things a Startup CEO Does
The Facebook detox that will make you happier
Congrats to the Sunrise team! They built the calendar app I always wanted Kiko to be. Pretty cool to see startups succeed in this space.
Even though it stops folks with updated browsers from accessing your site?

http://i.imgur.com/3GCKrzr.png
the market for archival storage solutions is getting bigger and bigger... this seems like a great step forward for biological storage.
So are you going to pick F# now? None of the arguments in that post have convinced me to switch.
> But if you're writing a 10-line program and you forget one of the lines (or even one character), the program isn't 10% wrong, it's 100% wrong. (For example, instead of compiling and running correctly, it doesn't compile at all. Completely different results.)

This is where the beauty/simplicity of some programming languages, namely, intepreted languages (e.g., Python), comes in: if a bad line of code never gets executed, then the program itself will run fine. In other words, if the line is never called in the program, then you'll not know that the functionality that that line presented was bad. In this case, the analogy breaks down a bit - and also shows why certain languages are easier to learn than others (e.g., Python vs. C++).
Founder here. Would love to hear feedback.
>Surveillance != censorship

Only if we ignore the chilling effect that surveillance has on the First Amendment.
I'm not sure why this is on HN. Might as well change the title to "Owner Of Taxi Company Stock Thinks Taxi Company CEO Is The Shit". This is almost as earth shattering as a blog post in which the Winklevosses recommend that we all buy Bitcoin.
He got a 3/2 split on the redefinition of broadband with one of the yeas publicly admitting that she would have rather seen 100Mbit as the threshold. It stands to reason that this will pass too with the current committee makeup.

If the GOP wins 2016, however, the future may not be so bright once they install their pro-business people and fix all of this "Socialist" claptrap.
The approach is similar to the one chosen by Haxe. I would keep a close eye on the progresses made by this open source language. For the moment the most mature translation target is the C++ one, however there are also targets for Java and C#. Sadly the community seems to be 95% focused on mobile gaming.
5 free apps for cleaning crapware off of your PC
I tend to think of this approach as "a company that hasn't had a big HR incident yet".
The tracking on that wasn't easy to align with these data, but from what we've seen the shucked drives seemed to perform similarly. At this point, the percentage of shucked drives in the data set is fairly small.
5 Irreverent Words That May Save Your Business
Nadella has surpassed expectations to date, he has a plan, and is implementing it in a rigorous and competent manner. I expect the next year will be a good one for the "ruffians from Redmond." And I just can't stress enough how important it was for Balmer to yield when he did. Steeped in the past and his old ways, he wasn't the new leadership the firm required. Nadella is just that.
The ease with which you code is directly related to your general problem solving ability. The better you are at solving problems, the more simple and straightforward you'll find programming, because coding is simply an extension of the thoughts which are already floating through your head.

This is why learning to program is so difficult for some people. If you have poor problem solving ability, putting a second abstraction layer over it (thoughts -> something the computer can understand) can be ridiculously difficult. This is especially true for abstractions which don't map directly to thoughts human beings typically have (recursion, pointers, etc.)

This is also why learning to program is so effortless and simple for others.
They refused to attempt to troubleshoot it until I got a new modem. They refused to correct it.
I just want to link to this since it contains several images which help explain the plans:

http://www.standard.co.uk/news/london/truly-a-cycling-revolu...

Kind of similar to Denmark but obviously they've already rolled out very extensive cycling infrastructure. This would be some of London's first.
Agreed. Lots of aspiring entrepreneurs copy that kind of stuff, doing 80 hour work weeks on Red Bull, modafinil, and ramen because correlation equals causation.

Many great musicians had problems with heroin so shooting smack will make you a great musician, right?
non-existent? telcos have blocked all kinds of apps on mobile, from Facetime to tethering, and of course throttled Netflix.

http://lifehacker.com/5933152/the-right-to-tether-what-the-v...

http://www.savetheinternet.com/att-facetime
Windows Phone isn't a distinct product anymore with the launch of Windows 10, is it?
Is your first grader college ready?
GroupAhead (YC W15) – Building dedicated mobile apps for real-life groups
I might. I really like F#, I was hesitant about the .NET and Microsoft infrastructure. There was minimal interaction with it on the business side (all Linux). Only recently have started playing with Mono. Now that .NET open source, I might give it a second look!
Software engineers should be able to test their own code. The faster they get feedback on their code and its impact to users, the better they understand the various cases and can strive for better quality. Having a separate QA team has a fairly long feedback cycle.

Ideally you'd get both engineers writing tests for their code as well QA teams for products.
You're gonna kill your new account. Don't post stuff like this people will down vote it and you'll be hell banned.
The-other-good-DVCS-that-everyone-almost-forgot-about, Mercurial, has exactly two solutions to the problem of overly large repos which, I presume, contain a lot of BLOBs.

First is Streaming Clones[1], whereby Mercurial server just takes all the files from the repository and transmits them over the transport connection, significantly decreasing TTFB.

The second is Largefiles extension[2], which turns Mercurial into more of a CVCS, but allows for efficient storage and retrieval of large binary files.

[1]: https://hglabhq.com/blog/2014/6/20/working-with-mercurial-ov...
[2]: http://mercurial.selenic.com/wiki/LargefilesExtension
This might be the worst post I've ever seen on the frontpage of HN.
It depends on the relative predictions of the profitability of neutrality vs. of non-neutrality.
You could do a lot worse that going here https://www.khanacademy.org/math to "Start your math adventure!" Khan has set up learning math as an RPG-style skill tree http://www.semko.nl/wp-content/uploads/2014/02/khan-map-half...
Also, the 'official' schedule is only the 4 main tracks (plus music and kids activities, etc). In addition, there are several DIY tracks at the various camps, including the "Alt Expo," which has many of the more advanced tech talks (about a quarter mile from the main pavilion as the quadcopter flies).

There was also a 'pirate tent' which had a PGP-keysigning / local beer exchange party that was absolutely over-the-top.

Dozens of - probably over a hundred - NH beers (many of which were single keg or smaller) for trade only (no money exchanged hands) and a pretty serious PGP web. Quite a freaking sight.

June can't come quickly enough! :-)

I'll actually have a newborn at that time, so I'm not 100% sure of my ability to go this year.
I don't quite buy it. I'll guarantee that there are figures who call the shots in the company, whether they are called "managers" or not.
7 simple rules for mobile typography
This makes sad, as Douglas Crockford said in this recent talk

> The prototypal school has a lot of advantages particularly compared to the classical school

> So in the classical school you have to create a classification of all the objects that are likely to be in your system. And, it's a lot of work to figure out what they all are and identify them and what their characteristics are and so on and then you have to determine how they are all related to each other, what’s going to inherit from what, what’s going to implement what, what’s going to interface with what, and that’s really complicated. And it usually happens at the beginning of the project before you fully understand what all this stuff means. So it’s likely your going to get the taxonomy wrong. It’s inevitable.

> And then you’ve got two hard choices. One is you have to live with a broken taxonomy and if you do that then with each new class you introduce things get weirder and weirder because everything’s wrong, or you have to refactor and refactoring is hard and it’s error prone and it’s another world of hurt.

> Those are your two choices and people who grew up in the classical school assume that’s just the way life is so no sense in complaining about it since that’s life.

> But in the prototypal school you don’t do any of that. You just make an object, if you don’t like the way it works you make another one and that is literally it.

> So you can tell people from the classical school “You don’t have to do all of that” and they go “Yea, I hear ya, but you still have to do it” and you say “no, you don’t have to do it” and they go “yea, yea, yea” (blowing you off)

> And so that’s why I think classes in ES6 are a bad part because they lock you into that paradigm.

> applause

> So when you’re locked in a paradigm like that, when you can’t see past it, you just have no understanding how miserable you are. And you’ll never know until you change your model

from https://www.youtube.com/watch?v=bo36MrBfTk4#t=28m50s
I remember that conversation. The lead developer of the project had C# and Java experience and had already written his prototypes there.
How a HyperLogLog works
Ala "improving gov efficiency through smart use of tech"...I've worked in mil/Fed IT/telecom/technology-development for nearly 30 years. The problem isn't a lack of desire by the metal-benders trying to employ better/faster/cheaper tech, the problem is getting the Jabba-the-Hut career-protected SESs and their minions out of the way, along with instituting Fed procurement and contracting processes that actually facilitate a delivery timeline that at least keeps up with Moore's Law.

The challenge that USDS will need to overcome is one of culture and regulation bureaucracy, not one of throwing a unicorn cavalry at various IT dragons. You go pure "change from within", you'll fail. You go pure newbie/private sector, you'll fail. You need to find fresh and innovative eyes and pair them up with existing Fed ITers that haven't yet been jaded into submission.

Like you, I'm excited to see how it turns out. They need to succeed. If they fail, it will be a long-term failure, and that will do no one any good.
Right... I'm very confused by that first paragraph. The whole "sooner" thing seems to be lacking context. Sooner than what? What was that reply in response to? This reply seems to add new information, but hasn't really clarified what you were trying to say earlier.
First, my suggestions above were made originally in January of 2012, at which time I committed $50,000 to the FreeBSD project in return for adopting something like those suggestions.

So your "put your money where your mouth is" trump card was not quite what you thought it was. Thanks for playing.

Second, I reject the notion that nobody but core developers and big business has useful viewpoints as to the direction of the FreeBSD project (or any project, for that matter). You think you know what kind of resources you are talking about, above, when you speak of developing and maintaining a custom branch and backporting drivers, etc. Take that number and triple it and that's a starting point for the true amount of cost something like that would take in a real organization with real HR and QA and benefits and shareholders and a functioning board, etc. ...

... and that's out of the realm of even mid sized shops.
I don't know much about pellets other than I have read forum postings about people not liking them and I prefer injections.