skysight-inc/HackerNews huggingface dataset:
The compiler doesn't necessarily have to have that level of inference; it can simply require the code to prove the constraints. For instance, parseInt will return an unconstrained int, so you'll get a type error trying to assign that to a range-constrained int. For your first and last examples, the multiplication operator on range-constrained ints can easily propagate the range constraints. In your last example, `z = w * x` would work, but assigning through the unconstrained int y may simply cause the last assignment z=y to produce a type error, forcing the code to re-establish the constraint explicitly.
Allow me to quote (gay rights activist) Andrew Sullivan, via The Economist, over the Eich issue. I think it mostly applies here -- http://www.economist.com/blogs/democracyinamerica/2014/04/to...

"The ability to work alongside or for people with whom we have a deep political disagreement is not a minor issue in a liberal society. It is a core foundation of toleration. We either develop the ability to tolerate those with whom we deeply disagree, or liberal society is basically impossible. Civil conversation becomes culture war; arguments and reason cede to emotion and anger."

Also available at above link: select quotations from John Locke.

--

Postscript. Oh, of course I'm going to be modded down for this. Civil conversation has been replaced with culture war. Well, maybe not culture war, but a close analogue. :P
The War Nerd: This Is How the Carriers Will Die (Updated Version)
Open source software isn't rocket science. Well, okay, now it is.
Writing JSON Schema by hand and embedding it into Markdown sucks. MSON provides a Markdown-compatible way.
In Finland all changes to your .fi domain (renews, nameserver changes, etc.) are snail mailed to you. It was a confusing experience for me when I registered a .fi domain on Gandi, but still got all the mails sent to me. Also, I can't control my domain on Gandi, as the credentials were snail mailed to me by my country's authorities. The only place I can make changes to my domain is on Finnish authority's website - with the credentials which were snail mailed to me.

In here postmen only check your ID when receiving or retrieving packages, but I've understood that you can buy the same service for letters as well. Most online identity checks are made by logging in trough banks, which can verify your SSN and alike.
Another missing sorting option that blows my mind is sorting issue tags.

I find it hard to quickly search Issues tags when they are in no specific order. I would settle for letting me drag them in an order I want rather than order they were created.
So desperately want a way to sort repos other than by most recent commit time. I think I'd give a toe for this.

Needs to be a sort selected for others to view when they look at my or my organisations' repo list.
What is Edgerank and How Does it Affect Your Brand?
Edgerank is the algorithm that Facebook uses to decide whether or not your page will be visible and to whom it will be visible to.
Petition Demanding Removal Of Condoleezza Rice From Dropbox Board...
Third class citizen on iOS? Safari does have the fast JIT javascript runtime, but native apps don't - so it's somehow not good for the open mobile web but good for native apps? I fail to see the logic in that. If you have a pure web-app - which you can pin on your homescreen, you do have the full speed Javascript engine, just look at the financial times app (app.ft.com) for a good example.

Also - 'the mobile web' did not exist before the iPhone popped up. Now you have a blazing-fast mobile webkit used in Android, iOS and on more recent Blackberries, and have a quite decent mobile IE on windows phone. Each generation of mobile OS, the mobile browser performance improves massively, adding more and more features with every generation. But somehow they are blocking 'the open mobile web'?

Also - a browser is not the only 'web application'. You already have mail, RSS readers, calendar apps, twitter clients, ... in whatever form, webapp, native desktop app or mobile apps - they all exist. They're all using 'the open web'. I think inter-operability is more important than "it has to be html5". The open web is in my opinion: open API's and data format. And that is exactly what we have, a large amount of mobile apps are just a native more intelligent client for some web API or content for which a website is also available. Twitter, Facebook, Reddit apps, Kickstarter, ... all have 'native' apps - does that mean it's less open than using a web-browser? No - it's just optimized for mobile use, something that is very hard to do with pure html5. REST/JSON api's have taken over the open web. Native or web-apps are just front-ends for these api's - that's the direction it's moving in.

I don't see the problem really, web-browsing still is one of the killer apps of a mobile device - tablet or phone, and that's something neither Google, Apple, Microsoft, or any other large corporation will ever limit. Yes some apps are rejected for whatever reason, but there is competition to choose from if one of iOS, Android, Windows Phone, Firefox OS or Mobile Ubuntu makes choices in their rejections that conflict with your personal beliefs.
Cryonics or why freezing your body could be a good idea
I did this while I was a QA guy who was transitioning out of law in my late twenties. Progressively working through the web stack is good for learning, but I've found myself most employable as a new guy doing iOS. It took about a year.

Let people say what they want about Xcode and Objective-C, but I prefer it over working with Javascript and one of 50 frameworks.
I suppose everybody has to draw their own line. I feel differently about Eich because I think he just participated in a democratic process and he has an unpopular opinion. I can understand reasons to be against gay marriage (even though I am personally in favor of it). But it seems to me he always was honest and upfront. There is no reason for me to believe he would not accept a democratic vote pro gay marriage. I would have felt differently if I had seen any evidence of him being an actual homophobe.

Rice seems to have gone far far wider than that (beyond democracy). But of course you could argue that she nevertheless remained true to her beliefs or whatever. So at the end of the day, it's a personal decision...
Exactly. Plus, while the content might be vacuous it's often quite entertaining and the editorial style is genius, in my opinion. I think writers can probably learn 41 things from Buzzfeed.
How would you settle political disputes like this in a civil manner? Doesn't get much better than withdrawing support for a product, at least for regular people.
Why what's wrong with it?
Do you even know who the stakeholders are?
Anyone who finished Entrepreneurship 101 will tell you the stakeholders include users, general public and various advocate groups. So yeah, stakeholders are making their voice heard.
IMO the way that functional programming is declarative is that you can spell functions out like definitions. Like "fac(x) is

¤ 1 if x == 1

¤ x * fac(x-1) otherwise"

This is at least more declarative than describing the function with a loop. With an imperative program you kind of have to describe as a series of steps, because the order matters so much.

Personally I prefer this kind of declarative programming over something like Prolog since I get a simple way of describing what/how the program is, while still feeling declarative. With Prolog I still have to learn how it works, and the way that it works is more removed from imperative and functional programming (while functional programming can be done (maybe with, but in principle) in most imperative languages as long as you restrict your use of certain features). Plus Prolog has un-declarative things like the cut operator. I don't really have much experience with declarative programming outside of these two.

Something more declarative might indeed just be to give invariants and let the program find an implementation for it.
http://en.m.wikipedia.org/wiki/Cedar_Rapids,_Iowa
I've used Typelite and T4TS to generate Typescript definition files (interfaces effectively) for my C# code. I'm not sure about going further than that and exposing logic.
If your pi is just running ownCloud and it's got access to a relatively fast connection, there shouldn't be any problem with doing that.

I'm thinking of getting a VPS to run my own server as the limitations of a hosted account are pretty important when it comes to running your own stuff (as opposed to 'just' hosting a blog or whatever).
> and expansion into Asia.

Well, that’s certainly something Condi know something about.
Perhaps of interest is that non-competes are unenforceable against lawyers. There are many reasons but the prevailing reasons are that a non-competes against lawyers interrupt a client's right to hire counsel of their choice and otherwise significantly limit access to the Courts, both are constitutionally protected rights.

Enforcement of non-competes in any jurisdiction is a complex analysis, where the scope, term and geographic restriction must be applied to a given job/industry. A general problem (from both employer/employee perspectives) is that people assume because they exist they are enforceable, it would lead me to believe people would be surprised how often, when challenged, they are found to to unenforceable.
not ethical

Can you elaborate, please? I honestly cannot make a connection between the original post and any question of dubious ethics. While I am unlikely to use Authorea any time soon (not in the target market) it seems like a very cool idea. Where do the ethical concerns arise?
You aren't buying a bike for $85/year, you are paying for a service. It's like the difference between buying a server and paying Amazon to do it for you.

If you are discerning enough to buy a decent bike on (e.g.) craigslist for $50, and are confident that you can do any probable maintenance, the service probably is not for you.
One could argue she was the temporizing influence in that administration...without her, Cheney and co would have had unchecked free reign...
I'm jealous -- I would love to telecommute from my home town in the Upper Peninsula, but it just wasn't happening when I was looking for jobs after college. I ended up moving to a bigger city just to get a job as a software engineer.

Still looking for a way to get back home, though. There have been so few options, and none where I felt I'd be able to advance my career. Self employment has always been the most attractive option.
If you're used to riding in traffic, it's not really any riskier than other seasons -- they salt the roads heavily and tend to have the main ones pretty clear the day after a storm.

Probably the riskiest part (as a commuter) was that with shorter days, I was often riding home well after sunset.
I read the article you're linking to, and I don't see any allegations that the 900+ false statements were known to be false by the administration at the time[1]. This particular article certainly doesn't meet my standard for "[showing conclusively] that they lied, that they lied knowingly, and that that they lied a lot". Perhaps that evidence exists in another form, but I think you strengthen the GPs argument by presenting this as definitive evidence when it's not.

Addendum: The money quote from the Center for Public Integrity and the Fund for Independence in Journalism run study is this: "In short, the Bush administration led the nation to war on the basis of erroneous information that it methodically propagated and that culminated in military action against Iraq on March 19, 2003". The use of the word erroneous here is problematic. It doesn't imply intention. If they had used a word that implied intention, then they would essentially be saying that the administration intentionally propagandized with information that they knew to be false toward the goal of leading the US into war with Iraq. But they don't go that far. They use the word erroneous. IF the administration was unaware of the eroneousness of the information, then there's no reason that "methodically propagating" it is immoral, I mean, this is called "consciousness raising" in other contexts. Perhaps the authors are just being cagey so as not to paint themselves into a corner, but this is not a clear statement that the administration lied.

[1] Perhaps my reading skills aren't up to par, and I missed it. If so, let me know.

[edit 11:06 CDT to add addendum]
This was a company with under 50 employees who had a full time general counsel. They had no lines of business that were remotely related to law.

Maybe that's not abnormal but I had never, and have never since, seen a small company who didn't outsource their GC needs.
Well then it's time people drop the box; after all its dropbox.
It doesn't work that way, sorry.
That would be great. Maybe we could get some TDD people in there. Some competent c engineers, rather than code cowboys.
Angela Merkel denied access to her NSA file
http://en.wikipedia.org/wiki/Anwar_al-Awlaki is the case most people bring up. Killed by a drone strike without due process, but nobody claims that he was anything but a terrorist.
Building Precise Maps with Disser.... using NYC census data
Agreed 100%. It may not be fully enforceable but it certainly helps startups to protect their IPs to some extent.
>Americans that act in these kind of thought police exercises instead of actually investing in the system should be ASHAMED of themselves. Is what she did illegal? Nominate politicians that will instill FBI leaders who will prosecute crimes. WORK FOR IT. Don't just talk. You need to do more than vote.

Yeah, many of us did exactly that back in 2007/2008. We nominated and worked hard to promote and to get elected a politician we believed -- based on our candidate's deeply-persuasive statements -- who would be "different". We did much more than vote. We built amazing software systems for our candidate, went door-to-door in places that almost got us shot, worked 80 hour weeks at the grass roots level, and in some cases estranged ourselves from our families. And of course we voted for him.

And look how things turned out.

So don't go fucking blaming the victims here. Our political system is deeply flawed and heading toward a cliff -- with both parties at the helm.
As discussed in the MSON README - there is this Markdown format for documenting APIs; discussing / describing API payloads and resources in JSON Schema felt complex and not suiting well the settings of a Markdown document.

Besides some payloads are not just a JSON. So there is a need to describe these data in a media-type agnostic form.
The "well prepared" part makes me wonder. What kind of infrastructure would you need to handle google.com's traffic? I don't think any of the cloud providers can scale up to that kind of traffic out of the box, and it's not like someone can just build and staff a dozen data centers in preparation of this hijack attempt.
Heartbleed bug fixed. Incapsula is reissuing all SSL certificates
What worries me, is that the Snowden leaks didn't seem to have a strong emphasis on SSL encryption suggesting to me that they could circumvent it.

For reference take a look at this article from September.
http://www.reuters.com/article/2013/09/05/net-us-usa-securit...
I am a bit ignorant here. What makes Rice a good candidate for the board? Because she has good tie ups with political big wigs of other countries?
Yes, please!

I would also be happy with just being able to create groups on the repositories tab. Nothing fancy, just being able to say: "Hey, these are my old WordPress plugins; these are my esoteric projects etc."
I appreciate your feelings towards the matter, but I don't support your action. An open letter to Drew Houston would have been enough. It's a corporation, we cannot force it to do something we want to. Boycotting them is not a good option.
The check there is that all cabinet members have to be confirmed by the Senate, which are all elected officials.
I think you are. This http://www.saturnsys.com/ "local" (as in ~200 miles away from me) Minnesota company has been using the tagline "Offshore to the North Shore" (...of Lake Superior) in their radio advertising for years. Their home page touts their "Rural outsourcing model."

Outsourcing is exactly what it is. Nothing to be offended about.
"You need to do more than vote."

Could you be more specific? It doesn't help to berate me for not doing more without actually telling me what I can do. Because I feel pretty helpless here and I have no idea what I can do besides vote and talk to people.
They kept the Cambridge ones open this year, though, and it seemed like they were still regularly used.
Just curious; what services would you not abandon if say, Bashar Al-Assad were to join the board?

I thought maybe GMail for me, but then I decided maybe there aren't any services I wouldn't leave.
> "I can change my argument at will and claim "I was only being ironic" with prior claims."

This is solved by explicitly stating when you are being sarcastic, or following up the sarcastic paragraph with a paragraph that non-sarcastically explains your position.

> "The problem with sarcasm is that, when I use it, I'm not putting my own opinion out there to be critiqued, I'm only attacking the other guy's."

I don't think that is actually problematic. There are certain issues that I do not have strong feelings on one way or the other, so I consider my opinion on those issues to be of relatively little consequence. Nevertheless, I am still capable of analyzing and critiquing the merit of arguments made by others.

For instance, if the topic is tidal power stations being placed offshore of expensive private beach property (a topic that I do not care about one way or the other) and somebody objects that the view from those beaches will be destroyed, I might sarcastically quip that all transmission lines near golf courses and country clubs should be razed, because rich people should never be forced to gaze upon infrastructure. I would give this sarcastic quip because, although I don't really give a shit about tidal power, I can still recognize a ridiculous argument when I see one.
How to win friends and influence people… NOT.

Someday the Americans (including the NSA, CIA, White House etc) will finally wake up and realise they have pissed off their remaining friends in the world. I suppose their partners-in-surveillance (GCHQ, Mossad etc) will still hang around.
First Mozilla for Brenden Eich and now Dropbox for Condoleezza Rice -- is this what Hacker News is now? a tool for the Internet lynch mob? Disgusting.

"First they came for the Socialists, and I did not speak out-- Because I was not a Socialist.
Then they came for the Trade Unionists, and I did not speak out-- Because I was not a Trade Unionist.
Then they came for the Jews, and I did not speak out-- Because I was not a Jew.
Then they came for me--and there was no one left to speak for me." [1]

Some will say "But Dropbox/Condoleezza Rice is no victim here! They're just reaping the results of their actions." But that's exactly the point, isn't it: it's all fair until the Internet mob turns on you for something you've done that they don't approve of.

I'm not saying I approve of Condoleezza Rice being on the Board at Dropbox, but using HN for this sort of activism disgusts me.

[1] http://en.wikipedia.org/wiki/First_they_came_....
To my mind, the most relevant issue here is that someone asked Rice something along the lines of "Should we illegally wiretap these people" and Rice then said "Yes." It seems clear that she believes the government, law enforcement, etc. should have access to whatever data they feel that they need.

With her on the board of Dropbox, it seems reasonable to fear that she'll err on the side of providing data to government and law enforcement rather than fighting to keep Dropbox data private. This alone strikes me as a good reason to want her off the board and, consequently, to move to another product.

I don't see this as being a direct parallel to the issues around Eich and Mozilla. In that situation, many people didn't feel that his personal beliefs and personal behavior would materially effect the quality of Firefox or it's feature set. In this case, it seems we're talking about almost the opposite situation: wondering how a person's past professional behavior and views they publicly held while in their past professional roles might effect their decisions in their new business role.
HexEdit.js – Browser-based Hex Editing
The buzzword term I've seen used is "Onshoring", also, fellow midwesterner here
I write JSON schema in YAML, then js-yaml it to JSON. The source YAML looks remarkably similar to MSON
Nothing like rejecting all the alternatives and getting a brand-new shiny set of security holes, amirite?
Wow, I've seen some cherry-picking in my day but parent tries to bring out a message that is the complete opposite of what the speech says.
Troubled sleep (how babies cry at night to delay the birth of a younger sibling)
I'm not buying it - I transitioned to full-time developer older than he is. Maybe he won't get a job at the hippest companies in Silicon Valley, but by my experience (currently doing .NET in Houston) there is a tremendous demand for programming skill in all of the un-sexy industries out there. I get like 3-4 Linkedin inquiries for positions here every time I update my profile, and I'm set as not looking. If you can get stuff done, and articulate your ability to get stuff done, then you'll be able to find jobs easily.
and yet I still switched to Git, knowing all this, and don't regret it, because it gives me enough power to fit my workflows rather than me serving my VCS all day.

There are now a large number of friendly ways to learn git, if you don't like the man pages then don't use them. It's not exactly uncommon for man pages to have technical material in them
When I worked for a small research firm, we basically wouldn't have employment discussions with anyone who had a non-compete even if it seemed unlikely their current employer would go to the mat over it. Just the existence of a non-compete would have meant getting lawyers involved and it was just too much hassle and risk.

(It's also the case that one of our large competitor firms, at least at the time, put non-competes in place that effectively wouldn't let anyone who left work for any competitor. i.e. they couldn't do the same job at any other firm. And, apparently, they enforced these agreements rather vigorously.)
which spec are you working off? I am really interested in hearing what you think is not powerful enough. The meta-schema unioned all the types together. I find that annoying, but its drafted to be fixed in v5

anything else?
Let's get rid of employee non compete agreements once and for all
When you own your own bike, you have to deal with storing it in your possibly cramped apartment, and locking it up outside wherever you go. Then you need to worry about it being stolen or vandalized while you leave it outside. And you need to do any maintenance, which may not be your cup of tea.

With bike sharing, you just leave the bike in a docking station and you don't need to worry about it ever again. The only problem with bike shares is if there isn't a docking station near where you want to go, which is at least a plannable inconvenience, as opposed to getting your bike stolen and needing to walk home 4 miles because there are no good bus routes near you.
Wrong. You should read further US money processes topic, you'll be surprised.
> "I think it's important to realize that removing cruft is virtually impossible."

With a browser from 1995 probably 95% of the popular websites are not usable. Truth is that backwards compatibility mostly reaches only a couple of revisions into the past as it’s the case with the web standards. And given how easy it is nowerdays to update a system, I wonder why it is not considered to make a clean cut and introduce a modern standard. The standards will simply co-exist for a couple of years until the new standard reaches a critical usage share.
This seems like a thread that would benefit from that "pending" feature...