skysight-inc/HackerNews huggingface dataset:
There's a non-profit organization in Germany called Leonhard, which educates and coaches inmates to become entrepreneurs when they're released from prison:

http://translate.google.de/translate?hl=en&sl=de&u=http://ww...

I think that's a wonderful example of how to both treat prisoners respectfully and at the same time provide a benefit to society.
"The thing with the war on drugs, and the question we have to ask is, not why is it a failure, but why given that it seems to be a failure - why is it persistent?

And I'm beginning to think: Maybe it is a success. What if it's a success by keeping police forces busy? What if it's a success by keeping private jails thriving. What if it’s a success keeping a legal establishment justified in its self-generated activity? Maybe it’s a success on different terms than the publicly stated ones."

The US justice system works great for the ones who are being paid to keep it running.
Google self-driving cars are better than Californian drivers.They don't accelerate quickly, they don't speed, they leave plenty of space and are very polite to pedestrians.
Sure, but it's the fact that he was rapidly cooled in the first place that made ECMO an option at all.

You can't just take someone who has been dead for 40 minutes and slap 'em on an ECMO machine...
Shirt/mug/case store doesn't pay royalties for offline sales of submitted art
This page is from 2006!

I guess the official homepage http://ocaml.org would be better for up-to-date information.
OCaml is a hard sell for me. I want to really like it but everytime I start to play with it, I drift back to F#, .net core, service stack, and all the other open source projects are really hard to compete with. The Syntax is similar to OCaml (really really close IMO) and other then it's ties to Microsoft it's seems to be all upside with F#. Is there a compelling lib or advantage of OCaml over f#?
This is really an awesome business model for them. They get to print a million shirts and sell them through brick and mortar retailers without paying any royalties to the artist.
Spinning gold into dollars: how BitGold intends to become a new standard
Yes, I think you can compete. Google has a core group of products (search, android,chrome, new products) in which they invest most of their time, and the rest has little or no development occurring. Google news fits this category, so you probably could compete.
Everything about ReactJS, the simple, declarative and composable js framework
> Are VCs geeks, fans, MOPS or sociopaths?

You really need to ask?
Women seem to happily use android. So, technically, they are on linux. In the article, they probably mean: a linux desktop distribution, such as for example ubuntu. I am not so sure that there would be just a few women using ubuntu. Furthermore, approximately everybody hosts their web sites and internet applications on linux. There is almost no windows hosting going on. I know for a fact that there are lots of women who have web sites, web shops or other internet applications.
I still want the main benefit of a smartwatch: not having to pull out the smartphone to see what my smartphone has to tell me (I have very few notifications, but there are some occasions where immediate response is necessary).
http://adios-hola.org/advisory.txt oh dear.
The weird virtual reality of Project Tango
Hear me out. Perhaps the law should assume innocence and not think I'm guilty just because it looks like I am downloading something "bad".

In a perfect world, there would be no laws against downloading or uploading anything on the Internet. If you order a hit on someone, we have existing laws against that. if you threaten to kill someone, there are laws against that.

What a wonderful world that would be!
Too bad there are no second chances for the victims though.
Throughput is not really mentioned here, which is the key bottleneck I think.

Nobody really has huge issues parking their bike at home. Humans are sufficiently spread out around a city, and so bike density is similar to human density, which is not that bad.

The problem areas for storage solutions for bikes is at areas with very high density. Here in the Netherlands that's the train stations. At the Central Station of big cities like Amsterdam or Rotterdam, hundreds of thousands of people pass every day, relatively small areas. Many of those arrive or leave by bike. Storing those bikes is tricky, not only because of space concerns, but also because the vast majority of people (probably 80%) arrive/leave during two periods of about 90 minutes of peek travel time in the morning and evening.

In other words at any one point during those periods, you have hundreds of people storing or retrieving their bicycle at the same time.

That is totally incompatible it seems with this device, which retrieves at most 2 bikes or so per minute. A person has to walk up, enter his card, his password, then the device has to do some stuff, then he has to retrieve it from the device, walk away.

Compare storing your bicycle at a train station for example with buying train tickets. At the Central Station you'll easily find dozens and dozens of machines to buy a ticket, and lots of booths to do so as well, and still you see rows of people at peek times. Even after we've had subscription based tickets for decades (e.g. take any train and pay x per year) and card based systems (if the balance on your card drops below $10 it can get automatically refilled. Just swipe your card to enter the train) for years which means most travellers don't even need to purchase a ticket.

So you'd need quite a lot of these machines and I don't really see how that'd make economic sense. We've had a lot of good experiences with manual underground, cheap, low-maintenance facilities now that are a better alternative. And for low-throughput areas, storage of bicycles isn't a very big issue, meaning the economics (premium price, no doubt) make even less sense when there are plenty of free storage opportunities (on the street).

For certain bikes it makes sense (those costing $10k). But that's not the norm in countries with high per-capita rates of bikes. I and everyone I know have had bikes costing at most 200, I tend to buy them for 80 or so second hand with 20 of annual maintenance. I can store it infront of my house just fine, it's never a problem. The rate of theft means it's cheaper to buy a new one / insure the bike for a fraction of its cost, than to pay $100+ a year for storage like this (and even that rate is unlikely to be profitable for this facility). And at the central station where it is hard to park a bike without adequate facilities, retrieval would be too slow, and manual underground facilities are fine.
What vpn does HN recommended?
Quite sure the OP is talking about developing on Linux.
Creepy... :(
Same feeling, and why are they ignoring EVERY programming convention ? One more thing I really hate is there are many way to the same basic thing, ie. declaring a new function or doing a pattern matching.
Finally, standard libraries are not well named (List.split will not do what you think) nor easy to use (List.last ? Nope !).
I hear they censor genitals in Japan too. ;)
> the Red Pill movement , PUA, MGTOW, manosphere, men's rights as new movements/subcultures

I would have a hard time qualifying re-brandings of misogyny as subcultures. Misogyny is traditional, normative and reactionary; subcultures are non-normative by definition.
Running Man Ep 249 Eng Sub Full Episode – 런닝맨 249회
Yes, and those non-validated compilers, and even the validated ones, had lots of bugs. We had to get legal with a compiler vendor because of the number of bugs. This took disassembling the compiler on our end to prove our points.

"Ada is safe". Yes, if it outputs correct code. Otherwise, not so much. Lives were at stake here, and like you say, I'm not sure all the vendors were prepared for what that meant in terms of their product.

I really enjoyed working with Ada, but don't think I would want to go back to it today.
> it will be cost effective to employ ever more expensive robots to do the work

That sounds like a wonderful thing. It means that the work gets done and we free up the workforce for other things. :3
Interesting to note is a very good FLOSS Weekly interview with BSDGirl (is that her handle?) had an interesting project announcement discussion to prevent harassment, called OAPI, with an institute she wants to create to keep it non-corporate.

http://twit.tv/show/floss-weekly/331

I bring this up because the last time she came up on HN, I read her interview about the Linux vs BSD community treatment of her, specifically an insecure partner. Anecdotal or not, the fact she is driven to do stuff like the current project, even if it is in reaction to Gamer Gate and not Linux in particular, says a lot about society I wish I had not heard of.

Anyway, downvote away! Thought some would appreciate this in the context of this post.
Apple prepares a better software update for its intelligent SmartWatch
That is a risk they take. That's what I was saying about transparency. If the Hola website made had made the whole situation more obvious, then users either take this risk or pay the $X a month for an actual VPN service.
F secure freedome is good.
That's the guy, thanks.
Which ones would that be? The Eclipse one has a million knobs and twiddles, and is bearable in 95% of the time after fiddling with them a lot, which I'm okay with.
Set up an OpenVPN server on Digital Ocean's Germany region.
Hi @daanavitch. Thank you so much.

Yes you're right. We realized that using binary data would help speed up the connection a lot. But it's really hard to improve. SocketIO already supported binary data but its core was built for transfer JSON data at first.

I'm starting a new project and still considering using Node/SocketIO or C++ for my server. Writing WebSocket server in C++ is not so popular and there will be a lot of problem if we're out there with it and need help.

I've read about the client-side logic and server-side correction solution, but it's too much complicate for a clone like this :D But thanks for a great direction, I will need this for my next production project.
OCaml has cool stuff like MirageOS, as one compelling lib (still a research project). It's a library that constructs unikernels. You write your application, build it, and out comes a VM that you can run.

I feel that many of the advantages of switching to OCaml are minimised when you are already using an ML!

Soon, there should be a compelling performance case for using OCaml. There are rumours that in the next release, there'll be an MLton type whole program optimisation setup, which should reduce the cost of abstraction to zero.
How can your reputation be bad if they removed the post from reddit? They can't even google it or your comments anymore.

This is an opportunity. Stop worrying about your reddit profile and work with those 300+ people to make a fantastic product that more people want
'academics' is an abysmal choice of words, alas.. hn locks the state of statements

the base generalisation was a direct analogue to isacc's referenced educational hierarchy:

I knew very few English Lit majors who are equipped to teach me science

i have known great members of academia, i suppose i would replace the word with 'exclusionary pedants'
missing context. what is hola

i can google it, but still missing context. is hola popular. are some of its claims not true. was it obviously a scam already. what is notable about this.
This whole situation baffles me. I understand that the Hola service is not well executed in the slightest and should most likely be avoided if you do not want your net connection shared, but this is going way over the top IMHO.

The FAQ page had always mentioned that resources were shared unless you paid for the premium service. Yes, it could have been a lot clearer, but they have never out right denied it as many people seem to be making out.

People complained that their FAQ and information pages were not up to scratch to explain the details behind their network. So they update it with more information and now people complain that they updated it? Damned if they do, damned if they don't.

The service they provide is obviously targeted at non-technical users so it is completely understandable why they wouldn't be mentioning the technical details. This scares and baffles the users. If they were purposely deceiving the users with flat out lies then that wold be another thing but that doesn't seem to be the case here.

The exploits are serious and extremely stupid in the way they had developed launching the binaries and people should be made aware. However it does seem like Hola is getting a lot more flack than most others would.
The process outlined in the article echoes the theory that capitalism always will take over and repurpose any opposition to it, and it echoes some of the ideas from the Situationists Society of the Spectacle.

The "Society of the Spectacle" is an awful term, but it basically means a consumerist society. A consumerist society is one where having the appearance of something is more important than the actual something.

The process is one from: being to having to appearing. For example being very wealthy (an upper class landed gentry family) to having wealth (middle class earning money) to appearing to have wealth (people wearing the same clothes as rich people, bling).

I'm thinking the same process is in effect with subcultures.
The creators are the ones who are cool (being cool) - the fanatics are the ones who have cool (they have good taste, have the things the creators produce) and the masses afterwards buy the appearance of cool (the image of what is cool is able to be bought, authenticity is less important).

Another example: hippys being all hippy and being all free and socialist, later on other hippies having the music and then later on everyone else buying jeans to look like a hippy.

This leads me to thinking of today, and The Hipster. Is being a hipster about buying things, or appearing to have things? Is it mass marketable? (beards, haircuts, clothes) Is it a sub culture? Does it have any defining principles?
To do what Hola appears to do best (bypassing filter protection or basic traffic forwarding) I just use a socks5 proxy server, all you need is a box with ssh and make sure your dns requests as well as the http data go through the proxy.

I think you can even set it up with chrome/ff without addons, but I use foxyproxy since you can switch in seconds.
> reputation on reddit

Oh boy...
Dr Dee Darika – Am Now Based – Lyrics – Money4music.com
As a note, this was last updated in 2002.
Mullvad works very well for me.
I'm honestly pretty surprised that so many people were unaware about how Hola worked up til now. I've had a seperate Chromium installation for Hola for years now, since I didn't want to contribute bandwidth/my IP.

It would have been impossible for them to give people unlimited IPs in almost all the countries in the world for free if they themselves had to buy and maintain them like a traditional VPN service.

Apart from the exploits (which should be fixed ASAP ofc), Hola is a great thing for the internet. Geofencing is the real enemy, and Hola kills it.

The problem with Hola isn't really that it shares your connection, the problem is that it is too uncommon. The internet would be a better place if you weren't responsible for what exited through your IP, if everyone were an exit node nobody could be held responsible. Plausible deniability only works if it's actually plausible.
You do realize that HN is more than one person, right?

Tomorrow you should ask, "What text editor does HN recommend?"
The US prison system is actually an industrialized slavery system for US corporations. The prison system here has a "work program" for inmates where they earn pennies per hour to manufacture products for US corporations. Investigate how institutionalized this practice has become. We need to stop this immediately, as it can and will spread unless we do. This is evil unmasked.

http://www.globalresearch.ca/the-prison-industry-in-the-unit...
http://www.alternet.org/story/151732/21st-century_slaves%3A_...
http://www.forbes.com/2008/08/18/prison-small-business-ent-m...
Its not just about being a helper. All peers have complete access to each other's machine, not just to initiate http requests. It even allows peers to download files from each other, and steal other personal information. Its just insanely stupid to come anywhere near this software. They should immediately patch the software, well before changing FAQs.
Difference between driving a car and using Google owned self-driving car is like difference between kings carriage service and owning a horse.
Huh... i started to post that it was Janis Joplin, then decided to fact-check myself before I go all 386[1] on it. Humility FTW[2]!

[1] https://xkcd.com/386/
[2] http://en.wikipedia.org/wiki/Me_and_Bobby_McGee
Are all tHe employees and assets going to be physically located outside the U.S. too? Otherwise IRS still wants a piece. If it were that easy to avoid taxes everyone would do it.
Is CP on the clearnet really still a "thing"?
Ah, granted, that makes sense. The automated part is mostly fluff, I guess. I do understand the appeal for automatic car parking, though, as the facility can be more space-efficient then.
Robert Shiller on stock market bubble
Am I missing something here? Don't you have to dig a massive hole for this to work? Why not a tower that sticks up instead?
Well, except that aircraft pressure is applied outside-in while soda can pressure is inside-out. Put some outside-in pressure on a can, and see how well it handles it.

Both are engineered in a way to make pressure not a problem. The can is subject to stress if you refill it, the airplane is a bit overengineered so it's not subject to stress. Increasing the width of any wouldn't lead to an increase on their safety.
I do this with bcache. 250GB SSD, ~50 GB for / and swap and then 200GB for ssd caching, which is paired with a 1TB drive for a total of 1TB /home.

With ~250GB SSDs going for like 100 bucks it's like a no-brainer to add one to a desktop.
"But I'm not sure that the current situation is a classic bubble because I'm not certain that most people have extravagant expectations."

So if there aren't extravagant expectations shouldn't/wouldn't the increase in asset values be attributed to expansion of the money supply (Quantitative Easing 1, 2, 3, ...) and inflation?
Looks like OCaml was not your first language. I suspect you are coming from a imperative language background.

OCaml is slow? and your recommendation is to use Haskell instead... That doesn't compute well if we were to assume that you are writing some compute-intensive tasks for which (unoptimized non-C language can be "slower".

It more likely the case that students hate whatever languages the university teaches in place of language-de-jour. (Just read the reviews of SICP on Amazon).

And yes there are pages on the internet that are older than 2006, so what? No one goes "Pffft.. this is 300 years old.." when they come across Newton's Principa.
Yes, images of child sexual abuse still exist on regular Internet, no darknet services required.
Hmm.

So, I can vividly remember being young. 13, probably back to 10 or so.

I did all this stuff. Looked for porn, played online games, chatted on IRC with 'old people'. Etc.

There never was an issue. The weird fears people seem to have like video chat with pedophiles didn't happen because, well, it was just as odd to me then as it would be now.

This was with little guidance from parents... in the early days of the Internet I think they just didn't know how to use it as well as I did.

I have the vague sense that barring some sort of learning disability, the idea of 'protecting' kids from most stuff is silly.

Sure, I look at a 13 year old now, and see their immaturity, but part of me feels as if that's mostly just that they don't have the pressures adults do to be respectable, to act in predictable ways, to not burn money and so on. I acted out on purpose then because society was broken for me; it still is, but as an adult we must conform to not starve and die.

Am I just weird and special or do other people feel this way too? I have the same attitude about e.g. violent video games... it doesn't really matter how much I played them when I was younger. I am not violent because a) it's not ethical and b) it has negative EV.
How Companies Turn Your Facebook Activity into a Credit Score
For bypassing geoblocks Hola is great. Just have a seperate Chrome/Chromium installation just for Hola.

Or if you're a little bit evil, you can just use the Hola IPs as a regular HTTP/HTTPs proxy:
http://milankragujevic.com/uploads/hola/

All the benefits, none of the downsides.
I don't think programming languages implement decorators in order to facilitate type checking. They implement decorators because they are a nice generic way to reuse code in many functions / classes.

Now, once you have support for decorators, they can obviously be reused for type checking, but the linked repository also contains a few more decorators such as a memoization decorator.

I think those that add type checking decorators do so because it is a convenient way to add a some common code to multiple functions. The alternative for those that add decorators is to manually add a set of type checks in the beginning of each function.

Of course, if the language supported type checking they would simply use that, but if not, this is a simple way to save some lines of code.
I'm confused. Can't you get a 990 from any nonprofit in any state by just asking them for it?
Is there a typo on the Currying example?

let addToFiveAndThree = addFive(3);

Should be:

let addToFiveAndThree = addToFive(3);

I belive.
Sociopaths stand away from it because it's too toxic to provide anything of value: rather, they build at its fringes (e.g. 9gag)
This is just a list of resources to learn OCaml, there is nothing about convincing skeptical people here.

Also, this page is almost ten years old.

Not sure how this kind of post ever makes it to the front page.
State of the Map US Program Preview
Wouldn't those be compensated by inefficiencies introduced by the lack of negotiating power?

Prime example here is Medicare - it has an (albeit limited) ability to dictate the prices to participating providers due to its size. Remove the program, and everyone is left out to negotiate with their medical provider on a case-by-case basis, and we already know how well that worked out in practice (googlable via "runaway healthcare costs").
If anyone has any questions about this post or the conference, fire away!

Last year's first conference was a big success in my opinion. Videos are available at http://juliacon.org/2014/, although the speakers weren't mic'ed so the sound isn't so great - we'll be fixing that this year.
Here's the direct YouTube video - https://www.youtube.com/watch?v=O7zewtuUM_0
This does runtime checking. Flow and Typescript do static type checking. Which, as long as the systems are sound, means you don't need a runtime component.
> And yes there are pages on the internet that are older than 2006, so what? No one goes "Pffft.. this is 300 years old.." when they come across Newton's Principa.

The difference is that programming languages evolve all the time. Having such an old page still up and promoted to the front page of Hacker News tells everyone that OCaml hasn't evolved since 2006.
There are two things here:

1. "unfamiliar" syntax. Well... It is unfamiliar if your first exposure to programming stopped at Java. Guess what .. pattern matching is quite an old convention in programming languages old (Prolog, Erlang, ML, Haskell)... and new (Rust, Swift)..

2. Standard libraries are a crap shoot... cruft accumulates in standard libraries just like any piece of software but harder to clean up owing to demands of backward compatibility. Just go and look at Python standard library. Even on a superficial level, the stdlib is a mix of CamelCase and under_score .. which can be irritating.

OCaml is not unique in this regard.
Trove of stories and drawings reveals life growing up in 19th-century America