skysight-inc/HackerNews huggingface dataset:
> In Scheme (hopefully close enough to CL

Actually, I know Scheme much better than CL, so no problem here :)

> So you apply the Fundamental Theorem of Pretending You Understand Category Theory, and prepend co- to all technical terms in the description for data.

That, however, is a bit of a problem...

> There is a slight analogy with setf but it doesn't go very far.

Yup, that's what I had in mind; it really looks similar to setf on the surface. That it's something completely different inside should be obvious from it being Idris, category theory, dependent co-typing and co-everything else I don't understand at all :)

Thanks for the link, I love the blog, will need to read this post.
"Indeed, in America there is a strange and powerful belief that if you stab a black person 10 times, the bleeding stops and the healing begins the moment the assailant drops the knife. We believe white dominance to be a fact of the inert past, a delinquent debt that can be made to disappear if only we don’t look."
Ta-Nehisi Coates, The Case For Reparations http://www.theatlantic.com/features/archive/2014/05/the-case...
Right. I know the Hodinkee blog well actually, and I agree with you. I was just pinning on the first part of the article, where he compares the Apple Watch with sub-350$ watches.
What? I could not believe what you wrote but you are right, it does go through transparent background.

http://i.imgur.com/byfmzAJ.png

How did he make it work? I didn't think this would be possible.

Yes, extremely impressed with the tool.

EDIT: Looked at the code. He takes screenshot of the active tab when extension is clicked. And then parses the PNG in measureDistances function when mouse moves.

https://github.com/mrflix/dimensions/blob/master/extension/d...

For a mouse at position X, Y, it tries to find the farthest Top, Bottom, Right, Left points with same color/threshold. This is why it is able to see through 'transparent' Google logo.

https://github.com/mrflix/dimensions/blob/master/js/worker.j...

Great work.
Ask HN: How to open source?
I'd be glad to hear some success stories on how you went about open sourcing a project.

In what stage of development is it smart to put things out there?
How do you make it easy for others to contribute?
Have you ever just randomly released something only to later find out it's catching on?

I'm personally more interested in the case of pet projects that become successful open source software, rather than companies opening their products, but this is interesting too.

I'm asking this because I'm working on something that I believe could be OSS and I want to do it right.
Seems to me like it can be harder than launching a closed/paid service...
I don't think U2 gives an awful lot about music charts (any more).

Personally I always liked U2 (grew up in the 80's, so...) but I also think this is an awkward move and maybe more importantly, unnecessary. It just feels out of place.
there are many retailers who the publisher has to make amends to for this stunt. Some have rules where they will not sell physical copies for albums released digitally first.

so I have read there will be exclusive tracks to make up for it. As for it being on phones and such, not mine or those devices I gave my parents.

It was presented to me in iTunes on my iMac but the interface was so horrid it really came off bad. Use the cover flow mechanism that shows artists and such I saw the U2 banner and it being free, when clicking on that the normal purchase button was there but inoperative. Instead you had to click else where in iTunes to get the music, I think it was on your previously purchased items page which is not clear! The should have adopted the purchase button to take you there automatically, instead it was a work flow CF
It's not silly, at least not on the face of it to a complete duffer in nutritional science (me). Intuitively it seems like nutrition is a highly interdependent system of variables. The effect of a food on your body and blood chemistry might be completely different when consumed in combination with other foods.

Or it might not. Testable! Give subjects the same combinations of foods (maybe scaled by body weight) a set time before consuming the test food, and measure blood sugar delta.

In any case, it might be wrong but it's not silly.
Toogethr is closing down and here is why
Diet is complicated. Its not at all obvious you can 'control' for an effect in a complex chemical system like your body. In fact its known that you can't.
Try it like this. site:www.google.com (About 34,000,000 results) or
site:http://www.google.com inurl:search (About 185,000 results)
It costs you guys money to make bank transfers? Wow. For the record, I can send and receive money (for free) from my phone only needing the other person's phone number at this point. (Australian. Also, I've never used the pay-to-phone stuff because I just prefer to use their account number. I can do that for free from my phone too.)

It strikes me that our NFC infrastructure is way better than yours too. Somewhat a reverse of most patterns in tech-infrastructure. It's just a pity Google won't support the Nexus' NFC capabilities in Australia - I bet Apple will.
He has my vote.
Google has sleep pods, Yelp has beer – why don’t we just live at work?
4. If so, and if the user intentionally deleted a contact from device A, shall the sync program:

x. Restore the contact missing from device A from device B, or

y. Delete the contact missing from device A from device B?

Stop thinking in files and start thinking in actions, and the answer is obvious. The delete action is being synced, therefore the contact should be deleted from B. If the file is merely missing (e.g. due to filesystem corruption), it should be created from B, since you are syncing the create action.

There's no directionality needed or implied, it's a merge of two trees.
And in maps you can't just type "Location to Location" anymore, either.
> Sure, mud-huts do have problems with mould

Yeah, mold tends to be the default trade-off when you choose any method of cooling other than AC.

As someone who is allergic to mold, I'd choose an air-conditioned glass-and-steel box any day over a moldy mud hut if they were equally cool. But I do wonder if, given better technology, we could come up with buildings and cities that have the best of both worlds.

Maybe we should look to ancient building materials and methods for new ideas. The Seokguram grotto in Korea, for example, had been dry for over a thousand years until modern "restoration" projects messed up the delicate balance of air and water. Now there are dehumidifiers running 24/7 to keep mold out of the grotto. It's really pathetic. If pre-modern Indian mud huts can reduce the temperature by 10 degrees without electricity, why can't modern science come up with structures that reduce the humidity by 30 percent, for instance?
Thanks for the assertion that everybody can understand you when you use terms without defining them. Not everybody here is so lucky as to have the same educational background as you.

What is a rewrite rule? To me, it's something you put in a web server configuration.
Would be nice if you add a "copy size to clipboard" function, when click on an element.
I was with you until the last sentence. I'm from a whole family of skinny people. We eat like horses, just to maintain our weight. Nobody gets even a little tummy bulge until they're 45 or 50. My middle son is currently 6'3" and 150 lbs and eats constantly, the highest-calorie foods available to him, as much as several other people. Always has. When in high school for an after-school snack we baked one frozen pizza for the family, one for him.

This is clearly some genetic thing - I was the same way; my nieces are the same way (one getting married in a size 2, that had to be taken in). Eats ice cream by the quart, as often as she can get it.
I really like tape, been using it for a while now and it's come in handy a lot.
Element of flags: colors
That seems like a great idea if you happen to build near a functional qanat. It's irrelevant to 99.9% of the locations where humans build homes.
I'm a Yazidi girl given as a gift to an ISIS commander. Here’s how I escaped
Doesn't work on my machine :(

Uncaught TypeError: Cannot read property '0' of undefined tooltip.js:84
Brushless AC motors (short circuit cage type) are extremely reliable, there are only two things that can happen: eventually the bearings will run out or the coils will short due to the mechanical friction resulting from the changing flux which tries to push the wire around. The stators are usually cast into a resin to counteract this as much as possible but in spite of that some freedom of movement usually remains.
3. For (2) to be true, the program must know which directory tree is the source.

Nope. Both are the source of their own actions, and both are the destination of each other's. You're inventing restrictions that haven't applied since at least the first DVCSs.
Renounce your US citizenship: what happens to your passport
It says +25%, so should be easy enough to guess.
I stand by my verdict. He was stating that ring fenced measurements are blown out of proportion because they do not reflect real life behaviour. I'd expect a citation otherwise I am happy to dismiss it as silly.
Your 3D printed car will be ready in 44 hours
Optical sensors currently don't give that data.

So far only chest straps deliver that data.
Like http://xscopeapp.com/ but in browser
I find it interesting that google is building a self-driving car for public roads. There's such a vide variety of other applications (like agricultural and industrial vehicles) that would require much simpler control mechanism.
Under the Hood of Revenue-Based A/B Tests: A Bag of Problems
Personally, I see no difference.

Also, if e.g. a straight person says they have experimented with the same sex, I take that as potential evidence that they only like a few members of the same sex, but (comparably) many more members of the opposite sex.
I work for the company that is building this 3D printer (Cincinnati Incorporated). I am only a software guy but if anyone has any questions let me know and I'll try to answer them!
Quote from an interview with Armstrong, their CEO:

For the expansion, Armstrong said that Coinbase reached out to a number of countries in the region, writing letters and engaging local regulators in dialogue about its ability to extend its services to their jurisdictions.

Countries were then given the greenlight based on how favorably they responded to this outreach, and how specific their regulatory requirements were for bitcoin businesses.

Armstrong said:

“We reached out to each country in that region on a case-by-case basis. It was a lot of bank partnerships, a lot of legal and compliance work and some technical integration as well.”

From: http://www.coindesk.com/coinbase-launches-bitcoin-buying-sel...
Bordeaux Mixture is relatively benign. Copper, Sulfur and Lime are all naturally occurring chemicals, which (as you say) have been used to fight fungus for hundreds of years.

Not all "chemicals" are evil.
Pink Lady isn't an apple variety - it's just a product trademark. I think most Pink Ladies are actually Cripps Pinks.
Having never liked U2, I now have this thing in my music list I either have to figure out how to either or scroll around forever. It may only be an inconvenience, but so was junkware that carriers would preload up. Bono is apparently the carrier that Apple can't resist.
Reasonable prison systems incarcerate much smaller percentages of their populations than the USA one does. Any reform worth contemplating will result in the release of many prisoners, and the closure of prisons in all but the most overcrowded states.
You can use violent language to sensationalize it, sure. But its always seen as a stretch to me, to use ancient history to explain the current generation. Native Americans are jobless and alcoholic? Must have been those Indian wars 200 years ago. African-American folks uneducated and over-incarcerated? Blame slavery.

Everybody is born into their own life, and make of it what they can. Some change their position dramatically, some sit where they started. How do we explain that? "My parents were poor and uneducated because..." is just an excuse for one's own failures.

I understand that culture can strongly influence outcomes. But do we really believe that ancient wrongs have so warped a demographic's culture to the point they are doomed? And need 'reparations' to make it all right again?

I favor the process in the parent post - help those in need, sure, who demonstrate a willingness to use that help (send the poor to college etc). Blindly. That's important because people game any system, and others use quotas and officially-sanctioned profiling as further proof of whatever bigotry they already harbor.
Oh my god the kerning on that font.
C library with macros
And Kiwi Fruit is a Chinese Gooseberry!
I guess they might still be awaiting some regulation, which is still heavily in flux in the UK. And the UK is definitely outside of the EU on some issues, in particular currency, as they retained the british pound. Onboarding tens of countries by adding 1 currency makes a lot more sense for a startup than adding just 1 country for 1 currency.

It'll definitely happen at some point though, in fact some weeks ago before all of this was announced a dropdown menu with 'US' and 'UK' suddenly appeared in the country selector, sparking speculation of their first foray outside the US.
I'm not sure what the point of your comment is.

As for the article you've linked to, I don't think it's a bad idea to repair past injustice, but you need to do it in a good way. For example, I see denationalization (which happened after communist countries of E. Europe adopted capitalism) as something positive (if done in a transparent way). Likewise, if the US government decided to pay out all descendants of slaves, I'd be ok with it. But it has to be specific, intentional, for a specific cause. In contrast, racially biased college admissions are just that, racially biased.
Celsius used two very reproducible tresholds (freezing and boiling points of water), associated them to two very easy to remember values (0 and 100), and defined his scale according to them.

The way Farenheit got to his scale seems really less practical to me, from Wikipedia :

"Fahrenheit proposed his temperature scale in 1724, basing it on three reference points of temperature.[9] In his initial scale (which is not the final Fahrenheit scale), the zero point is determined by placing the thermometer in brine: he used a mixture of ice, water, and ammonium chloride, a salt, at a 1÷1÷1 ratio. This is a frigorific mixture which stabilizes its temperature automatically: that stable temperature was defined as 0 °F (−17.78 °C). The second point, at 32 degrees, was a mixture of ice and water without the ammonium chloride at a 1÷1 ratio. The third point, 96 degrees, was approximately the human body temperature, then called "blood-heat".[12]"
Automatically package your Golang apps
I didn't know fruits were bred - I thought all Red Delicious were grafts of identical genetic stock?
> I most states its legal for cycles (motor and non) to pass cars and pull to the head of the line at a light. Not sure why; but that's the way it is. Stopped cars + agile cyclist = no problem.

A lot of lights in London have a space marked out at the front reserved for cyclists and motorcyclists so that they don't get cut up by vehicles making a turn.
Your reasons are those of someone deeply involved in technology, which is not the case for the mass market. For them, just looking and feeling good is far more important.
Can't quite see myself using Coinbase over Bitonic as the 'fast but pricy way', or using it over Kraken as the 'slow but cheap way'.

Except on the selling end of things, Bitonic has great buy prices but selling is pretty crappy.
I would say it's pretty easy to infer the meaning from context.
The Paranoid Style in Gaming Misogyny
Oh no, am not a developer I'm more of a consultant
Why India’s best tech schools produce more entrepreneurs than the Ivy League
Or: How Apple played favorites with a band that needed no promotion whatsoever.

I remember when Windows came with a copy of Edie Brickell and the New Bohemians 'good times'. That was at least a discovery of a nice song by someone I never heard of.

U2 is past it's 'best before' date anyway.
> Once all the meatspace human drivers are off the grid, you can remove traffic lights.

You will always have humans on roads, whether they are pedestrians or cyclists. Not everyone is going to want to drive everywhere - if nothing else than for cost and exercise reasons.

You can't turn roads into people-free death traps. In the UK, the law is very clear that cyclist are permitted to cycle on a road (that isn't a motorway), even if there is a parallel cycle path. However, many people take the view that a cyclist "should not" be on a dangerous road, and that if an accident occurs then it is the cyclist's fault for being in the wrong place. There is quite strong pressure from cycling groups to keep roads safe, rather than banning cyclists from them.
Be fair. Most grocery store fruit is a gamble - you know that going in. But Red Delicious, properly ripe and picked at the right time, can live up to its name. A perfect one is really, really good.
It could copy to clipboard on click, or Cmd+click.
Thanks, bro. You must think I live in a world of smiles and compliments. If only.
Yeah I grew some 'heirloom tomatoes'. Small, bad color, flavorless. They hybrid them for a reason.
I make Android software, but not for businesses that rely on app store retail sales for revenue. There just isn't enough of that.
Even if one finds the conclusions extreme, they can be valuable if they're extreme in the right direction. We have to move the Overton window somehow.
I am always wondering what kind of job a consultant do?
No, this has mostly been done in a single human generation. We haven't evolved during the evolution of the plants.
> it was more secure to do it server side

It's not it was more secure,it's that it is impossible to secure anything on the client(native or html,by the way) if there is no interaction with a server doing access control somehow. That one reason why old facebook app was downloading HTML instead of having it bundled and just requesting json payloads).

What is a single page app? a single HTML file.How can you secure anything in a single HTML file? there are no "pages", the browser history is just tricked into pushing or poping url states.

You can however decide that an API call will fetch resources like js and css right after a user is logged in,but that's the server doing its job,and the assets would be served either through tokenized temporary URLs , or read on the server's disk , streamed through a server-side language then dumped in the client.

I bet that a majority of SPAs out there dont do that,and sensitive assets are downloadable even when a user isnt logged in.

A non authorized user shouldnt have accessed to these assets,or even endpoint URLs meant for authorized users.But yeah,it means using a proper server-side language and not just serving everything from S3.
Named recursion requires a notion of time, which is clear from your distinction between "permanent" and "temporary" names. This can add unnecessary complexity.

Let's use an analogy: is it ever useful to call a function with another function's return value?

p = \q. f (g q)

We can implement the same thing using named arguments with permanent or temporary names, for example:

p = \q. let g_of_q = g q
in f g_of_q

That forces us to write the same boilerplate every time. We can do better by encapsulating it in a function (DRY):

compose = \a. \b. \c. let b_of_c = b c
in a b_of_c
p = compose f g

The Y/Z combinators do exactly the same job as compose, except for self-application rather than chained application. They let us write down what we mean, directly, without having to break it up into artificial chunks and chain them back together. Notice that the final definition of "p" doesn't even need a lambda abstraction, since the function is being calculated automatically rather than defined manually.

For example, I've used the Z combinator when defining arrays of functions in PHP. Without it, I'd have to define the functions separately, using brand-new function abstractions to inherit the self-reference (which is horribly verbose in PHP), then combine them into an array; or I'd have to define them separately, using brand-new function abstractions to inherit the array, then combine them into the array. Either way, it would add a bunch of complexity and boilerplate.
> The dangers he is referring to include exposure to harmful content like pornography, bullying from other kids, and perhaps worse of all, becoming addicted to their devices, just like their parents.

I threw up a little bit while reading this. Prohibiting rather than engaging in meaningful discussion is a surefire way to cause harm (it's the same thing with alcohol, for instance); bullying is a fact of life, and learning to deal with it is a valuable life lesson. And yes, you can spend too much time on your device. Calling it addiction, with all it entails, is a step I wouldn't make. It's 2014, I thought the sillyness about being addicted to video games and computer was over. Apparently not.
They are developing their own in-house solution for this called il2cpp - translator from IL to c/cpp, which then gets compiled natively for/on the target platform.
The first supported platform is WebGL, which should be available in 5.0 with iOS following afterwards.
That means that they should be fine with L/GPL latest Mono since they won't it even use it at runtime.
Unfortunately, they are bit slow; I expect fully working translation for iOS being available in several months at best
Oh and our cholesterol is 125 too. And no heart disease.

Folks, denial isn't an argument, so please say something instead of just clicking down. I've just mentioned all this not as a straw-man but because a claim of an absolute (Everybody who is skinny isn't eating much) can be disputed by a single counter-example. That's all.
> Apple played favorites

I don't see that as the point of this article. I see the point of this article as that if you buy from this vendor then you have, in the final analysis, no control over the device you paid for, over your own property.
Strong Solar Storm Heading to Earth
CP/M, the IT world's Gros Michel?
It's probably not wise for Apple to show how little control users have over iCloud stuff, considering the celebrity photo leaks of late.
> I don't think U2 gives an awful lot about music charts (any more).

Well, in 2009 U2 complained a lot about the disappointing placement of "No Line On the Horizon" in the selling charts.

> "[We didn't] pull off the pop songs," Bono admitted. Bassist Adam Clayton agreed. "The commercial challenges have to be confronted," he said,

http://www.theguardian.com/music/2009/oct/26/u2-bono-disappo...
Hailo launches payment service to help cabs take on Uber
Had you considered growing one?

http://www.coroflot.com/LukeJ/Harmon-Splinter-Wooden-Concept...

Congratulations, and good luck with your product.
Yeah definitely. I get tagged in photos of my son, because he's my son and it's normally one of the grandparents taking the picture when we left him with them for the night. Our family Christmas party must destroy the algorithm when everyone who attended (50+ people normally) get group tagged into every picture.

I do not doubt Facebook is running into problems because humans have a 3-dimensional perspective of time and events. It's the classic "why isn't mommy in any photos with us dad?" because she took them! Dad remembers, he was there. He's not seeing the photographs perspective, he's seeing his own perspective standing with his kids looking at his wife. To him his wife is in that photo even though she is visibly absent.