skysight-inc/HackerNews huggingface dataset:
> Like Python, Haskell does not require you do "assert that x is a Collator" before doing some collation. It tends not to lead to complex hierarchies.

It tends not to lead to hierarchies at all, with the whole subtype polymorphism thing not being supported.

> They have rather more to do with manifest/nominal vs. inferred/structural typing

Type inference can be supported in nominal type systems, it just hasn't been explored as much; and there are languages like scala that at least do local type inference while having nominal constructs.
Senators Ask CIA Director to Correct Testimony and Admit Search Was Improper
San Francisco has bigger issues with class/job sector warfare instigated by city politicians.

"The tech industry has come like a train wreck into this neighborhood and into this city," [0]

Theres this backwards mentality purporting the idea that market-rate housing development will drive out long-time residents. In reality, its the lack of market-rate development that leads to tech workers out-bidding low-income families for apartments (especially in areas like the mission).

0: http://www.sfexaminer.com/sanfrancisco/campos-to-propose-mor...
> Free community college is the way to go. Give everyone an opportunity to see if they can make it in college

I might have agreed, but it turns out that such a path doesn't work well:
http://www.nytimes.com/2015/04/26/upshot/college-for-the-mas...
https://github.com/polegone/gonix/search?utf8=%E2%9C%93&q=re...

Goodbye, memory.
Private universities in Chile devised tactics inspired on Hollywood accounting to extract profits: for example they don't own the buildings and pay hefty rents to landlords who are shell corporations of the owners.
It would be neat to have an interactive demo where you could explore the space of possible cameras.
I'm always surprised when people omit to point out that "the LXC team" is basically Canonical, the corporate sponsor behind Ubuntu (including the kernel bits).

Perhaps now, but historically you are very much incorrect. IBM funded it originally, and it was conceived and implemented (ie. as in they made it reach the "actually working and in-kernel" state) with the goal of segregating concurrently executing workloads on fat IBM-supplied mainframes.
While I'm not sure if he posts here, I used to work in the same group with Jim Meyering, who maintained/maintains coreutils. Great guy.

Anyway, he told some great stories of the complexities of POSIX, and what happens in Solaris when you have directories 20,000 lines deep (and how to do it efficently, and the fun of teaching various coreutils commands about SELinux). Lots of it gets surprisingly low level quick.

Coreutils is complex for many good reasons, so while these tools look all nice and clever, they are not dealing with alot of the same kinds of issues.

(I also recall some of the heck Ansible had to go through to deal with atomic moves, groking when something was on a NFS partition, and so on. Not the same thing, but small seemingly easy things get tricky quickly.)

Bottom line is appreciate those little tiny Unix utilities, a lot went into them even when you think they aren't doing a whole lot :)
Here is my go at #4. It took me more time than I would like to admit :)

http://play.golang.org/p/CTZahLt7g1
So no, it's not fair at then.
I suppose. Kinda like => for "maps to" in some math / theory classes.
Re Point 1: Australia is very cheap to get an education - IF you're Australian or a resident. There is a large desirability (especially in conjunction with proximity to Asia and many Asians desire for a 'Western' education) that allows international student fees (which is what the article you quote refers to, NOT the cost of education for your average local student) to provide large subsidies to the cost of education.
I he think the regards the creation of a federal income tax as the beginning of the end of the American experiment, going by comments in some other threads.
"What is justice/fairness?" is one of those philosophical questions that will never be closed. Claiming that there exists some ground truth definition of fair is, frankly, naive.

Terms like "just" and "fair" are over-loaded and refer to an ephemeral concept for which there are multiple, competing explanations and theories. No consensus or ground truth exists, so it's always fair game to introduce new explanations and theories. This has been the case for at least thousands of years.

Progressive politics didn't "redefine" fairness in any meaningful sense. Whose definition of "fair" isn't a "redefinition"? Rawls? Plato?
I agree that they have a lot of things to improve, yet I'd argue that Cities: Skylines is the best city simulation so far (disclaimer: I loved SC3000, I hated SC4 and 2013). But maybe I'll change my mind, I'm playing Skylines just to relax once in a while so I haven't had a chance to hate it yet ;).

One thing that's great is the community (and Colossal/Paradox attitude towards people that mod the game). The game is pretty new and there is already tons of different mods, it'll be interesting to watch how this evolves over time. So, you say that you don't like Chirpy - you may be interested in this mod: https://steamcommunity.com/sharedfiles/filedetails/?id=40579... (fun name, isn't it?). AFAIK, there are already multiple communities that build mods, for example: https://www.reddit.com/r/CitiesSkylinesModding
Biasing is indeed non-trivial, and most designs require temperature compensation to keep drain current constant. In fact, it's pretty easy to fry a GaN part without proper bias sequencing at power-on and off. At least it is with the parts I'm using.

Edit: parts like MAX881R [1] make it pretty easy though :)

[1] http://datasheets.maximintegrated.com/en/ds/MAX881R.pdf
My definition is that they use tech as their differentiator and/or as their value proposition.

You can be a tech company and sell commodities, Amazon is an example of that.
So music really HAS gotten shittier since I was in high school.

But seriously, using the "Billboard Hot 100" is pretty unscientific, that list says more about mass media than it does about musical styles. For example in the early 90s there was a lot of independent radio stations fueling that boom that were gobbled up a few years later. MTV was also huge and was getting pretty weird with 120 Minutes and Yo MTV Raps. The music being produced hadn't necessarily changed but more people were suddenly hearing it.

And now because of how schizophrenic everything is, the Hot 100 is a list of names most people have heard of but nobody actually listens to: http://www.billboard.com/charts/hot-100 Okay maybe not NOBODY, but since radio airplay is a key consideration that list has all kinds of problems.
Forget the haters, this is awesome.

GNU started as GNU's Not Unix, reimplementing Unix userland for free. The people who are adamant about calling it GNU/Linux are, on some level, remembering that the userspace is historically a reimplementation.

Give me a busybox that I can 'go build' and that becomes really quite interesting.
Does it need an argument?

To me, open borders are an obvious thing to strive for.

The only reason not to have them is as a sort of hack to hold together systems that are going to fall apart eventually anyway (e.g. welfare systems that treat people differently based on a bit of land they were born on).

It really seems to me that the only argument against is basically 'I deserve my wealth'.

Can people not see how ridiculous the current scenario is? Westerners are basically superhumans, welcome almost anywhere, with a bunch of money that allows them to basically go colonial if they decide to leave.

Just be honest with yourself. You can be hypocritical and vote against it whilst accepting that it makes sense.

Similar example: meat production, especially battery hens etc. It is mind blowingly obviously a cruel and bad thing to do. You can accept that and still eat meat. You don't have to lie to yourself and others and pretend that you have a 'different opinion' or whatever.

I use and buy leather. I know that it is not morally a nice thing to do. But I am human, I have vices, I am imperfect. What I refuse to do is somehow pretend that it makes sense or is kind or rational or should be done.
There's a huge spectrum from 'no tests at all' to 'tdd'. Spend a day setting up jenkins, and another day writing a minimal test suite to run on it, and then spend a little bit of time each day building out your test suite, and it'll add up.
If that's true, why has it produced such incredibly mediocre end results across the world?

Outside of an extremely small number of countries, socialism-tilted education systems have been complete failures at leading to superior results for people, economy, innovation, and so on.
SELinux by default has gotten a lot more usable over the years, so that in most cases, the only thing you need to know about is "setsebool" to turn the can_network_connect boolean on for Apache processes (in my practice, anyway).

It's worth leaving running, and much easier than it used to be.
Unfortunately I don't know how to help you. If you're in academia, maybe you should check various colleges and universities' websites?
Seconded: Steve Jobs just rolled over in his grave.
So when is David Campos up for reelection? How quickly can we mobilize to eliminate him?

ETA: Next year, 2016, so we have about a year and a half.
There are a lot of papers to follow, unfortunately. Listed here:
http://open-std.org/jtc1/sc22/wg21/docs/papers/2014/
http://open-std.org/jtc1/sc22/wg21/docs/papers/2015/

You'll want to follow mostly Mysen's and Kohlhoff's proposals on executors.
Access to education in Australia is definitely better - for most courses entry is egalitarian - students are ranked and preferences orders determine what courses you get offered (it's very different to the US system - you nominate the course you want to take, BS, BA, including the major area and while you can transfer later, relatively few do). Obviously art and music courses often have an audition requirement, and exceptionally high demand or courses deemed to have a desire for 'suitable' people (without getting into a debate about that), such as medicine may also have an interview requirement.

However, the general philosophy is the Higher Education Contribution Scheme. This is a fee that is largely flat, only paid on graduation, as an increased income tax requirement (a few percent more), if and only if your salary is above a threshold. Drop below that and you're no longer paying on your HECS debt. However, you can also voluntarily opt to pre-pay your debt for varying discounts. When I went to school (mid 90s), this fee was $1800/year. Any course at any university, from liberal arts at a country college to medicine or law at the most prestigious of institutions.
Read my reply to Daishiman. In the longer term, it's fair to them as well. And in any case, fairness is a relative term. It's fair to the country as a whole.
Yeah, it's incredible. But AFAIK, it's not only cars, agents are everywhere in this game. If I recall correctly, latest SimCity also was focused on agents, but it seems Skylines devs are better ;). Good discussion: https://www.reddit.com/r/Games/comments/2rm5k2/cities_skylin...
Real estate everywhere is entirely backwards and will only incentive siphoning as much money as possible though such a limited supply side market.

Low income developments only happen as mandated by local municipalities, and even so developers do so reluctantly only to qualify for the tax breaks on their larger maximum market rate brand new condo in the freshly gentrified neighborhood developments.
I tend to agree, only because the Bluetooth guys are kind of a PITA when it comes to calling stuff "bluetooth" (when I last checked they wanted either a big annual membership investment or a per system royalty deal). Of course I don't know if you can call it "similar to the wireless protocol your phone uses to talk to headphones" and get away with it.

Reading Bunnie's blog about the ecosystem in China though I doubt AllWinner cares. They are certainly in the "Why ask permission? Is weird! Hey look how cheap this is?" camp.
Linux containers have existed for longer, in the form of OpenVZ.

Also Linux-vServer, yadda-yadda. Not only OpenVZ.

what's the great advantage of LXD vis-a-viz OpenVZ, which is a more mature and well-understood technology?

OpenVZ took approaches that meant it would never be accepted in to the Linux kernel. This means, frankly, that it is dying as people move to LXC, whose components are in the kernel. Claiming something is 'mature and well-understood' that is essentially destined to become a footnote in history may be correct, but it's also rather short-sighted and increasingly irrelevant.
except to you know, learn stuff
The same thing happens in Java… and Ruby… well, maybe every language.
In 1991, around one of their "revolutions" the ADAT was released[0]: "While synchronization had been available in earlier machines, ADAT machines were the first to do so with sample-accurate timing - which in effect allowed a studio owner to purchase a 24-track tape machine eight tracks at a time. This capability and its comparatively low cost, originally introduced at $3995, were largely responsible for the rise of project studios in the 1990s"

Technological revolutions that have lowered the costs of recording and distribution have often precipitated changes in the music itself. Not to mention the new capabilities introduced by new technologies like electric guitars, magnetic tape recording, sampling, digital recording, and whatever that robot-death-sounding thing that they keep doing in Dubstep is :)

[0] - http://en.wikipedia.org/wiki/ADAT
On the other hand, people are perfectly willing to argue that capital markets must be both global and open, and that markets can't operate effectively without free movement of capital. Any country that institutes currency controls is heavily restricts capital inflows is regarded as an economic basket case.

ISTM that if you want a proper free market you have to allow free movement of both labor and capital. Willingness to work is what the poor have instead of capital, and it's their only option for accumulating some capital. Furthermore, if you have open immigration that means migrant labor is also free to leave during times of low demand because departure isn't necessarily a one-way ticket, which means that labor markets can be more flexible and responsive to economic conditions.

I am extremely distrustful of free market advocates who say that their principles suddenly shouldn't apply where labor is concerned. Last time we tried that inside the US, with towns posting signs telling economic migrants to keep going and using vagrancy laws to criminalize the poor, it didn't work out well for anyone. We shouldn't be looking to go back to that.

Really, we're approaching an era of increasing wage equalization as more and more of the world falls out of abject poverty, such that wealthy countries like the US may well face demographic problems from about 2030 onwards due to an inability to attract sufficient numbers of younger migrants to offset the fiscal costs of looking after retirees.

I refer you to this study from the Social Security Advisory board for a more in-depth explanation: http://www.ssab.gov/documents/immig_issue_brief_final_versio...
It's not as though those contributions come for free though. If talent leaves other places to go to NYC/SF/SJ, those other places become less productive.
It's the ~$1.7 trillion boost to GDP that is difficult to believe.

The entire GDP of all of California combined is $2 trillion.

It's blatantly obvious that 9.5% GDP boost is a fraudulent number.
Yes, for any substance and temperature, there are ranges of pressures where it's gas, liquid, or solid. Look up "phase transition diagram" to get a better idea. But it's basically going to be different for every substance and every mixture of substances, so it's probably hard to predict at what pressure the gases coming off a corpse are going to liquefy.
I don't want to turn this thread into a political debate, but I'll just leave this here:

http://www.sfhac.org/stop-the-mission-moratorium/
In SF, From Miami. Wife is Cuban. Same.
The last good one that I know of was the Sidekick 4G from Samsung. Great keyboard. In sure you can get a used one cheap these days. Put Connectbot on it and you've got a small handheld terminal.

Another option is the Motorola Photon Q.
Stay out of the backwash though :-) The Dyson paper is excellent. Unfortunately, for now at least, it is hard to launch a nuclear RTG without a lot of resistance, imagine how hard it is going to be to launch what is essentially a retriggerable hydrogen bomb into orbit. Does solve a lot of 'time of flight' problems, but adds a few shielding problems of its own.
Those requirements [1] state the following:

 Train developers in secure coding techniques, including how to avoid common coding vulnerabilities, and understanding how sensitive data is handled in memory.

 Develop applications based on secure coding guidelines.

It says nothing about automated testing, which is precisely my point. The requirement is that you attempt to follow security best practices and train your employees well. My point is that even the best-trained employees make mistakes.

The reason unit tests exist is to make sure you didn't accidentally break stuff when you write code. I'm arguing that automated security tests should exist for the same reason, and that's what we're trying to offer and build.

Incidentally, section 6.6 does state that you should use manual or automated testing at least annually; PCI 3 added a new clause which states 'after any changes.' Also, it explicitly specifies that you need /either/ automated or manual testing, /or/ a WAF. WAFs, as you're likely well aware, miss things very often. [2] WAFs are a good stopgap, but should not be relied upon to provide actual security; they should only be relied upon to attempt to prevent an attack while you are in the process of fixing the vulnerabilities underneath.

Because penetration testing is so expensive, typically, I suspect it will be more common for people to go with the WAF than to do a pentest with every deploy. I don't have stats to back that up, since PCI 3.1 hasn't actually been enforced yet, but I strongly suspect that will be true.

[1] https://www.pcisecuritystandards.org/documents/PCI_DSS_v3-1....

[2] http://www.slideshare.net/zeroscience/cloudflare-vs-incapsul...
As well, you may get "false hits" (note the quotes) because recruiters stuff every keyword they're aware of into their job ads. Even if it has nothing to do with the job itself, :-(. We just don't highlight them (yet).
Ubuntu testing Snappy for Desktop Next
the point being?
err, 180K and
2+ years of professional programming experience with.. blah blah blah

2 years of experience and 180k?! What do I get for 10? Im in the wrong city I guess
1 is true, 2 and 3 might be true, but there are many variables that could lead to other outcomes. Double the density, you might lower the desirability, driving the current high GDP producers out. Then you have a downward spiral as revenue drops, incomes drop, rents drop, vacancies rise, crimes rises. Or it could be the next Tokyo. But there is no certainty.
Something similar was done by journalists for the UK 2015 General Election. They took Democracy 3, an indie game with a very complex neural net simulation, and attempted to find out how the various main parties' policies held up: http://www.newstatesman.com/writers/116017
Surely you meant "left side".
Multiple small rotors is much less efficient than one big rotor, especially at bigger scale. So it's not economical.
It takes less than five minutes to register to vote by mail in San Francisco, and doing so means you're a lot more likely to vote, and to do so while carefully reading a voter guide.

Here's how: https://www.reddit.com/r/housingforsf/comments/22xoht/help_h...
How do you abort an unpowered plane landing?
High-Performance Implementation of an Extreme Learning Machine
Seeking to maintain a balanced economy, culture, and community isn't "class warfare"; it's just city planning with a view beyond the next MVP.

You can never build enough housing in a high-demand city without destroying the city; the demand is too elastic, the incentives between neighborhoods/culture and developers too misaligned.

San Francisco's problem is in the externalities levied by the immature VC-valley monoculture; significant increases in market rate housing density bring corresponding increases in the societal/cultural problems underlying this issue.
I think that the idea that you can succeed without "knowing what you're doing" may be more common to Silicon Valley. From what I've seen, the startup environment in most other places is not so forgiving.
What I meant is that the current Docker-based solutions are often done without much experience. I'm certainly not against experimenting, but I think that that there are many benefits of running a containerized environment and LXD takes the pragmatic approach that can be used right know with the tools everybody knows.
I think composite video is built into the chip.
Not meaning to bring up a Rust vs Go debate, but since there are a few comments claiming that this is a waste of time, I figured it's worth mentioning the Rust based re-implementation of coreutils:

https://github.com/uutils/coreutils/

And another by suckless in plain C:

http://git.suckless.org/sbase/tree/README
This reminded me of a cover page Economist article in early April called "Space and the City"

http://www.economist.com/news/leaders/21647614-poor-land-use...

In the article: "The costs of this misfiring property market are huge, mainly because of their effects on individuals. High housing prices force workers towards cheaper but less productive places. According to one study, employment in the Bay Area around San Francisco would be about five times larger than it is but for tight limits on construction" ... "Lifting all the barriers to urban growth in America could raise the country’s GDP by between 6.5% and 13.5%, or by about $1 trillion-2 trillion."

Conclusion... not completely implausible
Strategy in SimCity & Cities: Skylines wouldn't survive politics.

The games greatly reward spending all of your money as quickly as possible, and deficit-spending on services until your city grows into positive income. In other words, spend as much money as quickly as possible building and supporting zones, since they make money; then, even though your budget is negative while you spend on the services to support those zones, you will have not wasted precious dollars on services you can pay for in deficit.

This is a really tricky part of the game, and extremely nerve wrecking. If you neglect to spend exactly right, you end up with $0 and no way to fix a mistake once you hit the play button. On the other hand, your city will grow as quickly as it can given your budget.

You could say this is a really accurate model of real life. If you have an efficient way to spend money, should you spend all of it? You could say that governments rarely have efficient ways to spend money, but they always have a most-efficient-among-the-options way to spend it.

If there's anything to take away from the simulation, it's that cash surpluses don't make sense. Not for governments, not for Apple, not for virtual mayors or StarCraft commanders, not for anyone.

A cash surplus is a symptom of playing the game wrong, not a problem with the game. And in our politics of austerity, that's really crazy.
It's possible that there are errors in the reasoning, but I think you're taking things a step too far with "blatantly obvious" and "fraudulent".

Why not read the study and look for oversights?