skysight-inc/HackerNews huggingface dataset:
> "Static languages, in particular Haskell, PureScript, etc, are unparalleled when it comes to fast prototyping or design space exploration. The compiler can show you whether your idea even makes sense before writing big chunks of business code. How? By building the structure/hard stuff first and letting the compiler verify it while leaving out the uninteresting parts."

Why shouldn't I be able to do this on a meta-level? There does not appear to be any restriction on, for example, Lisp code regarding the use of problem solvers and provers. The same should go for other metalanguages (perhaps even better, without forcing me into specific semantics).

(Likewise, generative solutions might reduce this problem simply by performing a sequence of correctness-preserving transformations from a higher-level specification. That would shift the burden to checking the specification, which would require a custom checker anyway. Haskell's capability to check or automatically derive stuff seemed limited the last time I looked at it.)
Soaps and shampoos are a bit of a luxury item, which is why there are whole stores like "Bath & Body Works" that just sell them. It's a marketing opportunity for the manufacturers to pay hotels to put out their mini-bottles for free. There's no such niche for boutique toothpastes.
Sounds like a certain US ally in the Middle East!
Services like the NHS are money pits: no matter how much money they are given they will always be broke, and given the total lack of accountability inherent in the system there will always be regulations trying to improve their efficiency. Thus ANY public healthcare service, at ANY time, will be perceived by some large part of the population as "laden with excessive regulations and budgetary constraints".

This is not some neoliberal conspiracy, it is the natural consequence of any system which allocates money without sufficient accountability.
Offering it in schools makes sense... it's education. If "compulsory" wasn't being implied, then it's an obvious non-issue, and I'm not sure why anyone brought it up.
> 1. scientific method is not a good fit for 'mental health' research

What exactly is a good basis for mental health research then in your opinion? twisi the scientific method is basically all you've got even if it doesn't work as well as it does in other types of research. Yet what other options do you have besides anecdotes and woo?
I agree. I've thought of writing a CoffeeScript-for-Ada thing with slightly nicer syntax. (I don't dislike Ada's syntax, but it's occasionally quirkier than necessary.)

That said, its easy range types and discriminated unions make writing C-level code SO much nicer.
I've put placebo buttons on forms that autosave in order to give the user a feeling of resolution. Never thought about their meatspace analog.
Unbelievable that you would get charged for someone saving your life.
Scotland can do this partly because it is heavily subsidised by the English. If the subsidies vanished I think NHS Scotland's performance would be significantly worse.
I just about died from scarlet fever a year ago in the US because they wouldn't prescribe me antibiotics since the strep antigen tests kept coming back negative. I didn't get better until two weeks later when they finally gave me the antibiotics anyway. This was despite that fact that I displayed all the classic symptpoms: 107.5F fever, full body rash, chest pain, and blood in my urine.

In my experience the only thing exceptionally good about US healthcare is its astoundingly effective PR team.
The plural of anecdote is not data. But while we're here...
This is called Boustrophedon [1]. I don't know if I've seen it for English text before.

[1] https://en.wikipedia.org/wiki/Boustrophedon
Absolutely. In modern JavaScript engines, for example, dynamic typing makes something as basic as |foo.bar = 7| extremely complicated internally. In SpiderMonkey, |foo| could be a native object with |bar| in some varying location on a fixed or dynamic slot, or it could involve a proxy, a setter, unboxed or unboxed expando object, DOM or cross-compartment wrapper... To make the whole thing efficient, a particular property access could go through engine code, specialized JIT-generated native code after enough type information has been collected, or one of three inline cache systems, which generate multiple native code stubs |switch|ed on checks based on previous (slower) executions. A given get or set could even pass through more than one of the above, if too many checks fail and bailouts are required. And |bar| could be located directly on |foo| or on some object in |foo|'s prototype chain, requiring on-the-fly verification of additional invariants to ensure correctness.

Static typing would mean the engine can know for sure what |foo| is and where to look for |bar|, allowing faster, guaranteed-correct code to be emitted ahead of time. Dynamic typing makes it harder to offer speed, correctness, security, and good memory usage all at once.
'interface builder' 1991 reminds me a lot of interface builder from xcode in 2016
I mean, let's be real, which is worse, dying or being in debt?
Beautiful, thanks a lot. Time to search about photochromes ...

ps: not a lot of techniques came before https://en.wikipedia.org/wiki/Category:Photographic_processe...
It depends what you're writing.

I wrote an incremental generational garbage collector in C, and rather regretted the time I spent debugging it. If I wanted it to be at all concurrent, I think I would've given up doing it in C.

Right tool for the right job and all that. But lately I've strongly been preferring Rust, Ada, and ATS for anything I'd use C for.
You realise the UK has a large deficit, right? And taxes are comparable to other western countries.

The NHS will never not be broke. Your position is typical of the British left but is entirely meaningless: the government could go into Greek style debt to double the budget of the NHS tomorrow and 10 years later it'd be once again constantly broke.
Why do you think that? Isn't that similar to how labour and income evolved since the industrial revolution?
Hugo Awards Celebrate Women in Sci-Fi, Send Rabid Puppies to Doghouse
How is that easing the transition? Sounds more like making sure the current working environment doesn't suck, and that the benefits of technology are actually passed on to those who are using it.
Mac OS X: Sane way to switch between windows
>"I honestly live in fear of having an accident or getting sick here in America."

Hmm, I live in fear of getting sick in Cameroon or Honduras. Maybe we're afraid of different things.
بنت تتناك بزب كلب كبير يهري كسها نيك سكس حيوانات
Nobody's arguing they aren't possibly voting for something that isn't in their immediate economic interests. But we can argue about their motivations.

Someone's said that it's because one day they think they'll be rich, and suggested that this was foolish. An alternative explanation is that they're voting for it because they've considered the question very carefully and are voting for what they think is morally the right thing, even though it'll harm them. In which case it's far from foolish.

I think the offence was taken in assuming the foolish explanation instead considering the one where people were making a sacrifice to do what they think is the right thing.

We don't know unless we ask them, of course.
The odd thing about the linked post, is that the book in question is aimed at people who don't have a depression, and it explicitly asks readers with a depression to hold off the book until that depression has been dealt with.

It is part of a type of psychology called "Positive psychology", that works with how to be happier and how not to fall into depressions. This is in contrast to the traditional "disease model", which is only about curing psychological problems, or as the Author states "Making miserable people, less miserable".

See the authors TED talk: http://www.ted.com/talks/martin_seligman_on_the_state_of_psy...
Some phones come with very good "wide-angle" cameras. Not 180, but similar to what a GoPro gives. Ever since I got one, I've been amazed at how I ever got by with a crappy "boxed-in" field of view camera on a phone.

With the wide-angle view, even pointing it forwards you can get quite a bit of the surrounding area.
I was replying to a message saying "Americans live in fear of getting in an accident".

Everyone lives in fear of getting in an accident. Therefore, I assumed that what codegeek meant was that Americans live in fear of getting in an accident because they won't get treatment. But that is obviously not the case, so I'm not sure what codegeek's point was.
Fair enough, I do like ATS as well; but there are a lot of programs which are just too frustrating to write at all without being paid a lot of money for a decade.
So this is a neat idea, because Credstash and Sneaker are certainly not perfect gizmos, but it leads to the turtles problem: how do I securely handle the initial key that's being plopped on systems? If I can do that, I don't need Cryptic.

I've become a big fan of Credstash over the last few months largely because it solves (well, more like makes irrelevant, I wouldn't really strongly say it's "solved") this problem through using AWS as a trusted third party. Further, Credstash actually handles key ACLs in a much, much smarter way in that it uses KMS encryption contexts, which can be dropped into an IAM policy's Condition block, to further restrict access to secrets. Cryptic doesn't seem to offer this, and its use of Redis as a backing store (itself intended to be used in trusted environments) makes me worried, too.

If continuing along with this project--and please don't take this as discouraging, it seems largely reasonable as a thing!--I would look in more depth at how Credstash uses KMS and bloodily rip it off to improve Cryptic's KMS functionality; it's very, very good at what it's doing.
> There are people on the job market who write and read on a level you had when you were 10 years old.

10 years old? Really? Do we expect those people to be useful? Why not just give them a basic income and take them out of the workforce?
It's very easy to convince riders if it's cheaper.

It's very easy to convince drivers if you give them a bigger cut.

If neither is possible, then Uber has already optimized the market, and there is nothing to complain about.
are them sold in supermarket from cold storage, or do you put them in fridge after going home?
Performant is not a word. Use a word more specific to your meaning, perhaps "efficient" in this context.
I wonder if Patrick O'Brian read through this book. (I know he read many naval dispatches in the course of his research.) It never ceases to amaze me how completely he managed to inhabit this world in his fiction. His prose is indistinguishable from every piece of primary source material I have ever read regarding the British navy during the Napoleanic wars.
Somehow I managed to write lots of software between 1986 and 1993, the year I used C for the first time with Turbo C 2.0 for MS-DOS.

Turbo Basic, Turbo Pascal, Modula-2 did the job just fine.
Huh! I have a beard and don't shave regularly but I sometimes want to on longer trips. I'm sort of a lightweight packer and resent taking even the travel-sized shaving creams for something I might use once but never found a more compact alternative that I liked. I will give conditioner a try.
"My cousin did not need to see a doctor or a nurse practitioner to get an x-ray. I’m not sure I’ve ever seen that happen in the U.S."

I've had a few internet discussions with this particular doctor before and what I've learned is that she's used to things in California because what she describes above is definitely something that I've seen and experienced in the US.
Kid fell off bike. We went to ER. Doc & tech met us in triage. Went right back to x-ray. We were in and out of the ER with imaging taken care of in less than 90 minutes.

Also, being punted to urgent care isn't always a good thing. This is how Kaiser missed a damaged disc in my lower spine. They had a habit of turfing me to urgent care and brushing it off as sciatica. It was when I moved to Texas that a Baylor ER did an MRI, revealing the true source of the problem, and was shocked that in all the years before, nobody had ever done that.

Health care systems aren't identical in every state, as I've found out the hard way.

"The nursing triage was wonderful and actually doing nursing"
This might be another reason things are so expensive. Not every single aspect of emergency department care needs a full blown RN to take care of it. But when attempts by other levels of provider (LVN, LPN, EMT-Paramedic) are made, nursing unions come in like a hawk and lobby to crush whatever efforts are being made. It's frustrating to see happen.
You're immigrant to the host country and an emigrant to your country of origin. Exit/Emigrate from country A and In/Immigrate to country B.

Expat somehow has the connotation that you will return, which is the equivalent of migrant worker.
Immigrant assumes one wants to make the new host country a permanent one.
We’re speaking the English language here, and the usual context where this word comes up is conversations among English people, or Americans, or more generally English-speaking Europeans ...

England has a long colonial history, wherein they sent colonists, soldiers, merchants, engineers, diplomats, bureaucrats, etc. to far flung parts of their world, inside and outside their empire. Some of these folks moved around from country to country, or migrated seasonally back to their homeland, while a few settled down in their adopted countries.

Some of these folks are unquestionably emigrants, while others are transients, but their minority enclave communities can be easily summed up by calling them expatriates. A description like expatriate community is more informative than emigrant enclave or whatever.

The word expatriate emphasizes that these folks are (in general) not intending to assimilate, and see themselves as foreigners in the countries where they are living.

The same word could equally be applied to “non-white” migrants to “white” countries, if you wanted. I have heard such usage before, and it was not controversial or confusing in context.

But of course any words related to migration have racial/class overtones. We’re talking about humans here. Pretty much everything people do involves some amount of social posturing.
Apple Weekly 2016/33 is out, enjoy
for me you are an expat if you are 1-2 years in one country, and then another, and then another. You follow the business with no intention to settle in one country.
Steemit provides an example of the failings of an oligarchy. When you give power to a limited few it is exceedingly rare that any equal distribution of power and wealth is to exist.

Democracy tries to solve this, however whilst it is not direct (also known as true) we still have an oligarchy, just an elected one. It shares all flaws with an oligarchy except how permanent those in power stay as usually a new election is held every 4 or 5 years within a representitive (or false) Democracy.
> And, it just seems completely idiotic to compile standard packages for the second most popular developer ABI on the planet. How many rainforests have Homebrew users burned down to get the same binaries as the guy sitting next to them?

I find 90% of the brew things I install are binaries (they call them "bottles"), and I don't even use brew in /usr/local (where even more binaries are available). Have you used brew recently or is your experience from some time ago?
Why? Google Streetview stopped because public backlash, not because there's any law against it (it's actually even explicitly allowed through Panoramafreiheit)
" Insurance companies still have too much power and they call the shots, not the doctors/hospitals."

This is where the plan that Trump has makes sense. It takes away a lot of the decisions from the insurance companies and puts it back with the healthcare providers. In addition to letting the existing insurance companies compete across state lines.
Now it's clear that in addition to knowing nothing about CBT, you also know nothing about what it takes to become a licensed therapist. My fiancé just became one, so I can help educate you: it goes far, far beyond textbook learning. After you get your Masters, you have to accumulate 3000 hours of supervised professional therapy under the guidance of another therapist who is licensed, and then after that you must pass an ethics exam and a clinical exam as well. Therapists are rigorously trained.
> The amount of waste in terms of time and money were eye-watering, every time.

While there is waste in any organization, overall the NHS is perhaps the most efficient healthcare system in the developed world. The US spends as much on public healthcare as the UK yet large numbers are left uninsured (while spending the same again on private healthcare.) [1]

> I'm not saying we should copy the Americans, no way, but the Japanese system is private, the German system is private, the Dutch and French systems are also private.

If we want Japanese/German/Dutch/French levels of service then we have to be willing pay what the Japanese/German/Dutch/French in their health service, around 11% of GDP instead of the UK's 9% of GDP.

Yet despite spending significantly less than Germany/Franch/Netherlands the UK mostly compares favourably on health outcomes. [2] [3] [4]

Should the UK spend more on healthcare? Probably some. But it may not be the best way to improve health outcomes. Infant mortality is higher in the UK than France or Germany (though not nearly as bad as the US.) Given infant mortality is highly correlated to inequality it may be more effective to spend more on redistribution than health care.

As populations age, and the need for healthcare increases commensurately amd efficiency becomes vital in healthcare provision. Insurance based system (as in France and Germany) cost more for equivalent outcomes.

[1] http://stats.oecd.org/index.aspx?DataSetCode=HEALTH_STAT

[2] http://www.commonwealthfund.org/publications/fund-reports/20... (full report http://www.commonwealthfund.org/~/media/files/publications/f...)

[3] http://ec.europa.eu/eurostat/statistics-explained/index.php/...

[4] http://ec.europa.eu/eurostat/statistics-explained/index.php/...
> In the case of a fever, that might be enough, but for psychological disorders it is not so likely.

That might actually likely be enough. The reason why you have psychologist using CBT as therapy and not just self-help books is to identify if it is enough.
The full paper seems to be more of a study of studies, in that it mostly cites other research projects, and groups together studies that hold water.

http://m.brain.oxfordjournals.org/content/early/2016/08/18/b...

In the "challenges" it warns against reinforcing one's own opinion by cherry-picking data that suites preferences, and also falling into chicken-and-the-egg situations, where cause and effect or symptom and disease might invert.

There aren't any actual experiments in this paper. It just says bayesian analysis is a useful tool, and cites instances of success.
Land for housing is only semi-fungible.
There's back and forth about that in the comments at the link. Note that 'jesolem' over there is the CEO of Mapillary.

The short answer is that if you sign up for a normal account and upload a photo to Mapillary, it appears for all other users on their website and is available in some OSM editors. Getting the complete raw data is not currently possible.

Mapillary also apparently offers private databases to users, those photos aren't available to the public. But those users aren't going to be naive to that fact, they are paying for the private instance.
I love all of the advanced functionality hidden just beneath OSX's user-friendly veneer. Sadly, it's been one of the first casualties in the post-Jobs Apple. Every new release of OSX along with Apple's own apps, the first thing I check is holding down the alt/option key while clicking the various menu items to see what nuggets of alternate functionality appear. Every day, every release - less and less, if any at all. So sad.
I might be missing something here. The business model of AdSense is pretty straight forward. Google makes money on AdSense via margin on inventory sold at a CPM rate, or arbitraging those impressions into a higher eCPM by shouldering some risk and selling it on a click basis.

That doesn't even get into the value of the data collected from having publishers tag a significant portion of the internet for you.

Is the accusation that they needed to juice short term revenue numbers by ending publisher relationships that were printing money for them? Because that seems incredibly dumb even for a publicly traded company that is focused on short term profits.

Shooting themselves in the foot several years out I could potentially see happening, but firing the most significant revenue drivers of one of your flagship products seems like it would cause things to crater the very next quarter, not several years out.

I also find it odd that the demand side of Google's products wouldn't raise hell for so many inventory sources being cut off if the cut were in fact that substantial. AdSense directly fuels the GDN and that is something Google has been pushing very hard to grow for years.

Many things here don't add up, but please do correct me if I'm missing something obvious in this. I've only managed tens of millions in spend on the buy side over my career and just made pocket change on AdSense on an ancient crappy side project I launched almost a decade ago, so I'm clearly not as familiar with the inner workings of their sell side as I am the buy side beyond comically horrible experiences with AdSense reps trying to sell me on adding it to the site of a company I worked at.
For one of my summer jobs in college, this is around 2005, I had to port an old NeXTSTEP phone system to Mac OS X. I was amazed at how easy this was, considering it was just taking Carbon to Cocoa, and amazed at how ahead of its time NeXTStep's APIs were. Project Builder (XCode) and Interface Builder were created on these machines. Then bought by Steve@Apple.
Building Games with React and Immutable and Flux (YouTube, 2015)
> while the NHS just skips straight to treating patients efficiently and professionally.

NHS clinicians have brutal amounts of paperwork. That tends to be done out of sight of patients, but it's there.

Some things are helping: digital dictation; "mobile working" (community staff being able to do electronic paperwork on laptops in the car between appointments).
I really dislike using a different toothpaste than usual, but it doesn't bother me to use a different shampoo.
I actually had a much easier time getting most common GNU things running under CYGWIN than under MacOS. There's really no reason for a "Unix/Linux" developer who uses a lot of GNU and FOSS tools to use Mac. Use Windows / Cygwin / Windows Services for Linux / and VM if you need the real thing.
Apple has an entire army of volunteer Astroturfers to spread lies about Windows, it seems.
Well, what once was not, certainly now appears to be. It's been used so much, I think it's fair to say it has become a word. Moans and koans to contrary will be accepted, however. And hey, if you're lucky its existence will be short-lived.
Local police often only act on request from Beijing, in the spirit of: "we have a new national crackdown on <subject X>; go arrest some people". We have a saying here 山高皇帝远 ("the mountains are high and the emperor is far").
In Belfast, there don't appear to be any placebo buttons, and yet I wonder if everyone else knows something I don't.

People here seem to like spending their lives congregated at traffic lights waiting for someone else to push the button so they can cross.

Maybe they're just waiting for me so I don't have to cross by myself?