skysight-inc/HackerNews huggingface dataset:
Anecdotally, I can say living near Boston I've heard plenty of families justify their choices to move to certain suburbs or neighborhoods on the basis that they prefer the diversity over a more homogenous subdivision. Of course, equally I've met people who live in a whitebread suburb and praise its diversity because of the number of Asian doctors' kids in the schoolsystem.

I think that suggests the flaw in this simulation - sure, segregation decreases overall if -everybody- is a little more tolerant of diversity. But how does it work out if some people prefer a diverse neighborhood, and some people don't? My guess: you get a new kind of segregation between homogenous neighborhoods, and diverse ones. Kinda like you do round Boston...
Study: Causes of Calif. drought natural, not man-made
Well, there isn't any generally accepted definition of what a type system is. _Types and Programming Languages_ (2002) start out with the sentence "a type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute", a definition which is both not very precise ("tractable"?) and is also not general enough to cover dependent types (where we care about both presence and absence of behaviors).

Similarly, there isn't really any definition of a logic. Some authors talk about a proof system + a semantics, which is also not precise, and also not general enough (some constructivists don't want the semantics).

So it seems hard to do better than this?
I imagine the first recipients of Social Security paid for themselves.

This page has the story of the first SS beneficiary:

http://www.ssa.gov/history/imf.html

This wasn't until 1940, even though the program began three years before.

As far as I know, SS benefits are and always have been determined by what you pay in, from the beginning. Do you have information to the contrary?
The fact that any rejection is 'valid' or that there is a process for rejections to begin with, is absurd. iOS is NOT developer friendly.

I wish iOS didn't have the market share it has, it is so depressing: you either are under Apple's boot or have to abstain from a large segment of the Mobile Market.
I've been using Chrome to Phone pretty much every day for the past couple of years, for this and other stuff. You look up a route, click the button, the link is sent to your phone, you click on it, it opens up in Maps. Then it works the same as if you manually enter the route query on your mobile device.

I'm not sure how the could integrate it more (or even less) with Maps or Android or what the phone being off or locked has got to do with it. It syncs the same way all Google services do. I suppose it may be working less well on an older or oddly (manufacturer) customized device.
Certainly it's a model but you can work up to more complex models. Check out NetLOGO, which comes with a huge library of simulations and a fairly friendly IDE for creating your own agent-based simulations.
How to Build a 7-Figure Software Business from a WordPress Plugin
I dink around in SEO a lot because I find it fascinating, fun and occasionally profitable. As a fun anecdote, at one point I wrote a ridiculously sarcastic post about "how to rank #1 on Google" and held the number one position for that query for at least a year. [1]

A long time ago, one of my friends came to me saying "When I googled for a picture of a bird wearing a tucked in shirt, I couldn't find anything!"

Clearly this tragedy needed a remedy, so I MSPainted a shirt onto a bird, tucked neatly into its little belly and plopped it onto my blog [2] with most of the SEO best practices check boxes filled in. Since it was of so little value and competition it took about three days for it to rank number one for "bird wearing a tucked in shirt" - My friend thought I was a wizard, telling her coworkers of my mystical powers and ability to manipulate the internet. "You have very powerful friends" her boss would proclaim.

Point of this story? Well, there isn't really one.

Unfortunately, I broke my blog a few months ago in a host migration resulting in a crash for all my useless rankings. The image was lost in that migration as well... Perhaps someone else can provide the world with an image of a bird wearing a tucked in shirt it so desperately needs.

[1] Here's the now broken post for anyone curious - http://stentontoledo.com/blog/how-to-rank-1-on-google-guaran...

[2] http://stentontoledo.com/blog/a-bird-wearing-a-tucked-in-shi...
It already works for simple builds. It's a bit harder if you have many MK files for various libraries. I migrated my Cocos2d-X game to Gradle a while ago and I could only solve the problem through a gradle exec task. Still, the build is already much saner than the Maven version. I just wish they would give the NDK more attention, because the problem exists for well over a year.
Very few governmental systems should operate in secret. Agency procedure _is_ defacto law.

If they have a non-documented system for stalling, sidelining or giving greater scrutiny to patents yet have a 1500 page operations manual doesn't that strike you as odd?
Just a few days ago there was a lot of discussion here about std::string performance:
https://news.ycombinator.com/item?id=8704318

I think refcounted strings are falling out of favor. In a multithreaded environment you need to use atomic ops to maintain the reference count which gets expensive. (folly's fbstring class does use them for large strings though)
Do We Need Hundreds of Classifiers to Solve Real World Classification Problems? [pdf]
I don't ever, ever use the Mac App Store for anything. I avoid apps that don't provide an alternative. Just put a download on your site and keep the old version on the store.
Wait, IntelliJ is open source?
I'm interested in how you would do it better. This syntax seems fantastic to me, both terse and readable.
Why are you so incensed by this? Does it make any difference at all if you know that the only other country in the entire world that taxes based on citizenship rather than residency is Eritrea? Even assuming you grant that the state is a reasonable entity to begin with and it is due tribute from everybody whom it claims ownership over, why should somebody pay tax in a country they no longer reside in for goods and services they no longer make use of?
Using Selenium and Rspec to Test Any Web Application
xCode today is and extremely sophisticated IDE. I think there's no other software more complex than it that is so well designed to maintain simplicity, ease of use and speed. It was ultra slow years before, but nowadays every time I develop for Android I'd kill for having an xCode like realtime autocomplete and documentation. XCode it's extremely solid and you feel it every time you use it. Android Studio is build on Java, then it's slow and the UI is nowhere near as polished as Xcode. If I were Google I'd start coding my own IDE from zero ASAP.
Interesting to see how even though % with bachelor degrees has grown since 1980, salaries have decreased and poverty has increased. Obviously, not all correlated, but still interesting.
hopefully they improved resiliency. my first experience with android studio beta was: 1. create one project and close it 2. edit single file outside. 3. reopen project on android studio and watch it go down in flames.
Probably because that's where the casual users market is.
The bigger problem is open source software as a business model incentivises making the software over complicated, as if it just worked properly there would be no need for value added services. This is what lies at the core of the Docker/Rocket fiasco. (And possibly systemd too).

This means that good open source projects almost by definition rely on being produced in someone's free time, or as a side effect of something else (such as Rails), because any company funding something they don't directly use will have some extraction motive which will eventually lead the project into a quagmire.
Investing 300 btc in each Bitcoin startup
They actually didn't intend to; it was supposed to have around a decade of money paid in before any started going out. Also, though, remember that it didn't cover the same people it covers now.
>Everything else is in the small single digit percentages.

What is aggravating is that this is where they want to make the most cuts. Not to defense or large social programs. 2 or 3 billion to NASA will make huge progress for our country and technology, and it is a drop in the pond for the government. Yet, that is where they want to make cuts.
I've worked in a remote-ish location in the middle of farms. Part of my work there involved some recruiting for my team. Let me tell you, moving to a place where the only career opportunity was the company talking to the candidate was basically a deal breaker. I left them because, broadly, it would have broken my career too.

" the good employees would quit because they wouldn't want to compromise their salary, marketability, and ability to take a new job, "

The good candidates wouldn't touch us with a 10ft pole, the ambitious graduates were getting out of the farmland and over to the cities. So we generally had a great intern pool (lots of sharp people in financially strapped situations not wanting to move) and second to third rate hires. Not bad hires, but... not close to best in class. So while I can perfectly understand bootstrapping or running a (very) small business in the boondocks (many many reasons to do so), I can not advise locating an office there. Nor can I advise any enterprising and ambitious student to move to the boondocks for a job. Networking matters.
Plan9: Moving Directories and Hard Links
Don't know about Norway, but here in New Zealand there is a personal income tax with progressive rates from 17.5% to 33%, with an additional ~1.5% ACC levy (essentially accident insurance). There's also 15% flat-rate GST (a value-added tax) applied to everything at point of sale.

Councils also charge rates for local road, service and facility management based on land and improvement value, this works out to around $1000-$2000 per year for a family-size house. This is simply invoiced to the home owner.

There are limited rebates for low-income people, especially families.

This covers healthcare - both emergency and elective (though there are waiting lists for elective procedures), education at pre-univeristy levels (though schools do ask for donations because the funding is low after decades of cuts), road maintenance, public transport subsidies, unemployment and sickness benefits, armed forces and various other things.

All this is deducted as I earn, I haven't filed a tex return since I was self employed 8 years ago. As a self-employed contractor I could claim business expenses against income and then paid the personal income tax on the remainder. I did not have an accountant for this, though I have accounting training.

Incorporated companies pay a flat 28% tax, though there are some company types where the shareholders simply pay personal tax on dividends. There's no requirement for a company to be registered or incorporated though, simply pay personal tax on any profits.

Also we don't have any capital gains tax, stamp duty, or pretty much any other sort of tax, other than import duties.

Everywhere overseas looks so complex from this perspective.
I'll take the bait: what kind of system would you run? Linux? No evil web browser plugins? A personal computer which you never use to browse the web (RMS style)? Anything more exotic?
An alternative: pay for open source software development out of tax revenues.
I'm 23, it's meh. I think most 18-24 kids browsing hackernews will be ok, but I have a lot of smarter classmates who are having trouble in other-than-CS fields.
Show HN Show coverage information generated by Istanbul in Vim
Get User ID, log in as user (no passwords), check "your" post history.
As there is pretty much no regional section of California that is representative of the State as a whole, that's a fairly easy guarantee to make.
Yes, it is. You can also get a version without "enterprise" features for free (called "Community Edition")
I'm not sure I see how generics help at this particular problem. Functional languages have advanced type systems, but still use pattern matching all the time.
It always seemed to me like the academic-style sabbatical was a nice solution to this. Instead of trying to convince a bunch of people that what you're going to do is going to be worthwhile, you develop a culture where capable people are regularly given time to work on whatever they think is important.

Clojure's a nice example: it's been hugely successful, but I have a hard time imagining anyone raising two years' worth of salary up front to work on their idea for an idiosyncratic Lisp implementation. It looks like he had to fund that work himself; how much more innovation would you see if this kind of extended project was common?
I was trying to do that actually, but encountered the inherent issue of css not being able to only fix an element for only one axis. But i guess there is a solution for it, and i completely agree that it would be better :-)
C# 6.0 – What? C# is being updated?
I'll give it a shot! Thanks for the feedback :-)
My response was this: Honestly, there's not that much that is a trade secret about how we operate. We're not running at such high margins that there's a big opportunity for somebody to take what they learn from these blog posts and build a cheaper service to undercut us.

I'm still on the train on the way to work - my wife starts work earlier than I do, so I have to get the kids to school first. I pinged the rest of the team over IRC, and they added:

"we don't have any trade secrets. email isn't unknown, just complex. if you have a team of appropriately skilled people you can do it too, but if you have a team of appropriately skilled people you're probably going to do something less painful"

The thing is, it is actually pretty hard. I got paged in the middle of the night a couple of days ago when our forwarding IP got listed on ips.backscatterers.org. We watch a ton of blocklists to make sure our outbound IPs are clean, so legitimate email doesn't get blocked. In this case it was a forwarding account, and they said "check your logs at this timestamp plus or minus a minute, it will be obvoious which email caused you to get listed". Yeah, right. There were thousands of emails within those couple of minutes - it's OK if you send 5 emails per day. The only option would be to lock the user who was the cause of the report through innocently reporting an email that was forwarded through a FastMail alias. So we had to stop checking that blocklist.

We deal with stolen accounts _every_day_. We deal with hacking attempts, DOS attacks, weird crap like Optus/Vodafone mobile networks in Australia being unable to access us for a few hours because of a fault in Singtel's network for packets going _back_ from New York. Nothing we, or even our datacentre could fix - but of course most of our customers don't know, they just want their email, and it's not working. Most of the other sites those customers access are in Australia or at least US West Coast, so it looks like it's just us that's down.

So yeah, if somebody reads our blog posts and decides that running an email service is for them, good luck to them I say. I welcome their contributions to the Open Source projects I work on :)
Will try to fix this. Thanks for the feedback! :-)
Curious: Why weren't the Asian companies involved in the scheme prosecuted?
It is painful to watch a company as awesome as Panic have to go through these contortions, and make these kinds of gobbledygook doublespeak statements.

"It’s hard to describe the legitimate emotional toll we feel when we’re angry or frustrated with a company we love so deeply. But then we realize it’s never Apple we’re frustrated with. It’s always the App Store."

It's quite similar to the feeling of having a friend or roommate in a dysfunctional relationship. You like your friend but... yuck, you really wish they would break up.

EDIT: Also, as a Transmit user, I'd just like to add my own fuck you, Apple for forcing the removal of a very useful feature.
http://www.jetbrains.org/pages/viewpage.action?pageId=983225

The Community Edition of IntelliJ is open source. Android Studio, which is a fork of Community Edition, is also open source.
To paraphrase the problem: 'Lots of people are relying on volunteer created code running for free. How do we fund the development of useful tools and software collectively?'

I'm not sure what the best mechanism is, but making some group pledge on a website probably isn't it. I can't envision that any substantial fraction of people would contribute regardless if other people are helping.

Instead lets restate the problem a little: '$Billions in value is built partially relying on the use of these tools. How do convince the whales that they make money by contributing?'

I wonder if people from the operational side of the house could start this conversation. Business will already do something similar with legacy systems. I.E. Vendor disappears and management finds one of the developers formerly employed at the vendor and cuts them a check for help. When X critical system is at risk everyone gets their checkbook out. We need to connect the operational risk from things like heartbleed with a cost that business people will understand. I like the free software/paid support model, but clearly there could be something better.
But if you're going to abandon your green card, you need to do it before the eight year because doing it after that makes you subject to the exit tax where abandoning your green card requires giving up a nice chuck of your net worth.
Steve Wozniak Debunks One of Apple's Biggest Myths
Unpatched Atlassian products still reign over a critical security flaw
> In that case, sandboxing could never be introduced. It is quite literally impossible to provide entitlements for any and all functionality under the sun, unless you include the entitlement "allow anything" in the mix.

That doesn't follow. Sandboxing privileges present a wide spectrum ranging from providing no entitlements on one end to providing an "allow anything" entitlement on the other. Obviously, as developers, we want as much functionality exposed in a secure way but the unfortunate reality is that Apple either do not have the resources or willingness to do so.

> However, Mac apps are not required to be sandboxed. Only apps distributed on the MAS are.

While that's technically true, an argument can be made that due to the inclusion of the MAS as part of OS X, it's practically required for an app to be on the MAS as that's where a lot of the users are and it's how they get their software.

> Can you give examples?

Yes, Coda 2.5 [1] was not released on the MAS due to sandboxing issues. There are some radars on openradar [2] referring to other sandboxing issues, too - some of them are reasonable. Obviously, I do not have access to Radar itself otherwise I would have provided more examples.

> But that's not even remotely a trivial task.

I don't see that as a valid excuse for not providing an API while at the same time rejecting the usage of a temporary entitlement due to lack of said API. It's a given that providing functionality in a sandbox compatible way would not be trivial - the work needs to be done if we want everything to be nice and secure. I'm perfectly aware that the effort required to implement such an API would be considerable and it might not be worth it but that doesn't make it the right approach. And that's why I accept the current situation - it's a compromise between what could be and what Apple have decided to implement at present.

> Others would require massive work.

Yes and in an ideal world, if we're fully committed to sandboxing, that work would be done. You said:

> Apple developed the OS that you're using, so there's hardly a trust issue when talking about running applications from Apple on top of the Apple-developed OS.

Sandboxing is not just about trust, it's also about security. Apple's own software not being sandboxed means its vulnerable to exploits, exactly what sandboxing is trying to prevent. If you check Activity Monitor, you will see plenty of Apple and others' apps being non-sandboxed - all of these are potential targets. A system is only as secure as it's weakest link, so if we want a more secure system, we should working towards having more sandbox entitlements.

As a side note, the trust side of things is taken care of by code signing.

> And implied that this means Apple should allow third-party apps to continue violating rules because the existing experience of using that 3rd-party application somehow trumps everything else.

No, the implication is that Apple should be working towards exposing more functionality in a secure, sandbox compatible way.

[1] http://www.panic.com/blog/coda-2-5-and-the-mac-app-store/

[2] http://www.openradar.me/search?query=sandbox
Scrabble: what makes good players good (2012)
Always after the workout?
Qlobe – great example of quines
> I'm living in California. California has a considerable amount of Spanish speaking hispanics for historic reasons.

More for geographic reasons. The Hispanics that are here for historic reasons (e.g., descendants of Californios) largely speak English.
Tim Draper Is Making a New Silicon Valley Reality Show
In similar vein, it would be neat to compare this against Blueflood http://blueflood.io/.
Disclaimer: I used to be a committer.
Imagine someone born in the US. They leave the US at three months old. They live their entire lives in their parents - in their - country. They are educated there. They work there. They don't have a US passport and haven't ever visited the US.

In your opinion: should that person pay US tax?
Awesome news! Boost is an amazing resource for emerging Bitcoin companies and has helped our Palarin team develop and grow.
Jetbrains is working on a C/C++ IDE (CLion), so I would expect this functionality to flow over.
I spend most of my time in AppCode and IntelliJ, and core functions from other projects flows between their IDEs regularly.
Relevant SSH bashing:
http://harmful.cat-v.org/software/ssh
:)
I'm not sure I follow the story. He was fired or demoted? And now he's back as the CEO again?
Designing in the Borderlands
Thoughts on the App Store Review System
Mapping the Atari – Introduction (1983)
Working on it. Thanks for feedback :-)
Agreed. Seemed more like 'growth hacking' or social engineering for popularity.
This site doesn't help: http://www.integernumber.com/
This is the most popular criticism it seems, so I'm fixing it right now :-) Thanks for feedback!
It is precisely because of this that I refuse to build for the iOS platform (for my own projects) and avoid using it. Freedom matters.
> It seems, that the author has a good understanding of a not well understood relationship i.e. the relationship between Types and and what we refer to as "a logic".

The article was probably not meant for you. It's probably meant for someone not familiar with the subject who can handle some hand-waving. But way to be an ass about it.
Right, but you can't demand more realism for the results you don't like and accept the conclusions for those you do like.

For example, in a more realistic scenario people move for all sorts of reasons: leaving parent's house, changing jobs, marriage and divorce, etc. This stirring may lead to decreased segregation for slight decreases in bias, unlike what this more static model suggests.
I agree on this, and will look into it :-)