skysight-inc/HackerNews huggingface dataset:
Have a look at the 'Multicore OCaml' presentation here:
https://ocaml.org/meetings/ocaml/2014/

TBH I don't miss multithreading in OCaml, if you write applications which expose some sort of API over a socket that will scale to clusters, not just multicore. And you can program those kinds of applications quite nicely with Lwt or Async already.

Regarding FFI, ocaml-ctypes is interesting, it allows you to bind to a C library at runtime using pure OCaml (and a wrapper around libffi), or to generate C stubs.

Regarding OpenGL there is a new binding called 'tgls' for OpenGL 3.x/4.x (besides LablGL) that is mostly generated from the XML description of the OpenGL APIs.

Regarding Windows support I can't say much because I don't use it at all, but there was a new 'Self-containted OCaml distribution for Windows' called ocpwin-distrib posted to the ML recently. If you care about Windows support you should probably give them feedback on what is missing.
> But then, just as this story was to be published, to be extra sure, we went to Google Earth, typed in "Agloe" one last time, and, whaddya know? It isn't there any more!

> It was removed this week.

Partially, perhaps.

Start at any old place in GM, and search for "Agloe, NY", and I get Aglow Dermatology and Aglow Decorating Corporation, both in New York City.

BUT, search for "Roscoe, NY", and then search for "Agloe, NY", and it finds the place just fine.

Maybe the removal of the imaginary town hasn't been pushed out to all users yet. Or maybe it's just been given some kind of lower-priority status -- "of local interest only", or something like that.
I always find it ironic that this comic gets posted on blogspammy content farms, but this one seems to be not so bad.
Avoid JavaScript Clashing and Have Faster Page Loads in Your Rails App
His Gnosticism reminds me of http://slatestarcodex.com/2014/07/30/meditations-on-moloch/
Ireland was probably chosen because of low corporate tax rates.

This might have been more important when the first location was chosen than it is now, and latencies in Europe are mostly pretty minimal anyway.
Blockstream SEC Filing Reveals $15M Raised Series A
Thank you Sarkie!
Just confirmed that the UID follows the SIM, so even swapping phones won't save you.
> departure from ... our obsession with certain abstractions (the poorly defined "real vs superficial", "honor", "the dignity of work"¹...etc)

That's easy to say in California, but not New England. Mental models give one the ability to plan ahead, and are necessarily based on heuristics. Winter is coming.

Some specific heuristics, and the ways they are interpreted, are a bit outdated. But it sounds like you're advocating for letting go of independent moralistic thought, and going along with the flow of what feels good.

> It's also a bit grating because I sense some condescending overtones. "Look at all those people who don't care about the world but just distract themselves with popular entertainment. How shallow!" Obviously you, the reader, do not belong to this group ... I mean, I follow the news, I care about recent events and where does it get me? Nowhere

I take the opposite analysis - World events are a stratum of popular entertainment, and politicians are just a different set of celebrities. Each focused topic makes you feel a way, but it's ultimately tourism because your opinion on something that will not affect you and that you have no input to does not matter. Any discussion of topics where an intelligent decision could actually be reached ultimately get lost in the noise and clamped to one of two choices. Voting itself has devolved into a team sport where you channel all your built up outrage at the "other people" who are messing up the world, but it ultimately just signals assent to the entire system.

My two main points do seem a bit at odds, and I think the second is what causes people to depart from the first. They don't want to be like the people who cling to the first yet deny the second and thus spend their time shouting at the TV, especially as we all now carry self-activating TVs in our pockets. But I think the resolution is embodied in phrases such as "be the change you want to see in the world", "cypherpunks write code", etc. (Not that any mantra is free of problems, but I digress..)
Hilarious 5 month year old baby doing Jiggle dance (Must see)
> Or using an enterprise certificate.

Be careful with this!

I see a lot of companies using this as a way to avoid the pains of obtaining UUIDs (for testing) or of distribution on the App Store, if their production product is not intended for public use.

But if you read the fine print for enterprise certificates on iOS, they're not actually supposed to be used for distributing applications for test-use on-site, or non-test use off-site ("site" in this case referring to your physical office), or for use by non-employees (this includes contractors!).

It's completely ridiculous, and I was shocked to discover this, but as far as I can tell, it's true (I even had a phone call with an Apple rep who explained the various certificates to me).

Of course, if you're operating on a small scale they're unlikely to find out if you're using the enterprise certs in this way. But it's still a risk to be aware of.
I vote. However, for particular positions like judges, I won't because I am not educated. I spend a lot of time researching propositions and candidates. If all the candidates look the same, I won't vote. I also won't vote on the "lesser of two evils".
Fascinating stuff, not at all what I was expecting. Two things come to mind reading this.

1.) The crowdsourced and algorithmic solutions seem to be framed in contrast if not exclusive to each other here. I wonder if combining the two couldn't have helped avoid this:

>'However, the crowd was hopeless against a determined attacker. Before the first attack, our progress on the fourth puzzle had combined 39,299 moves by 342 users over more than 38 hours. Destroying all this progress required just 416 moves by one attacker in about an hour.'

I'm wondering if it's easier to create a 'bouncer' algorithm that detects and blocks/reverts aberrant behavior than to solve the core puzzle itself. If that problem is in fact easier - identifying 'hurtful' or unusual moves, could addressing it help the core solution by helping avoid non-malicious 'back sliding' too?

(I have no clue about these things.)

2.) The sort self-importance expressed by the attacker is just awful.

Unlike the author, I don't see it as a concern about "how crowdsourcing puts the collective potential of humans above technology". That almost sounds noble.

This impresses me as plain old envy and entitlement, an overgrown cousin to every "Why is this on HN?" or "Why is this on the front page? I submitted this before and no one voted for it." comment on HN. The whole thing is one big "should" of personal gratification.
The ability to ban rogue users would likely have helped them immensely. An invitation-only system would probably have been of benefit as well.

Nothing is foolproof, obviously, but their users were working quickly. They only would have needed to keep malicious users away for a limited time in order to achieve success.

The author likely doesn't have much real-world experience with users or his team would have built this sort of capability into the software from the ground up. Any dev worth his or her salt knows to never trust any user.
Interesting hack. The video is interesting starting from the beginning, but the URL as submitted adds t=1849 which is the discussion about bitcoin.
Phonopath
I freaking love this.
Sure, but wouldn't automation provide something more? If people know it's automatic, they're less enclined to assume the driver will stop; There is also less risk that the computer-driver is at fault; and last but not least, the video of the accident could be tweeted immediately so everyone is convinced that the biker/pedestrian/car is at fault. As opposed to human drivers, who are more reluctant to be filmed because it invades their privacy.
Francis Fukuyama's definition is "liberal democracy", i.e. democracy, rule of law, human rights, etc. And few could object to that. But I guess Mishra argues that description itself is an inaccurate description of what the system in the West looks like, and that what was actually starting to take over the world in the late 90s and early 00s was "government as practiced in the West", e.g. capitalism, colonialism, oligarchies, etc. The main message I took away from the article was something like "to see why Western-style institutions are failing to take hold in the world, we have to look more clearly at the failings of Western-style institutions".
When unity got their mono license xamarin wasn't yet a business, hence the license was most likely zero.
> If you expect to have a balanced-family-life and still also out-work / out-hustle 20-year olds or 40+ year olds (older kids) that are out for your blood you are setting yourself up for failure.

This seems to imply the only way to out work 20 or 40 year olds is with time and because of your family you won't have time but that's not true. Hard work is only part of it. It sucks in your situation you had to chose and sacrifice your family but I do not believe that has to be typical of all Y Combinator applicants.
Absolutely - I realize that there are lots of what-have-yous. I'm not prepared to go into the deep waters at the moment. :-)

I meant a philosophical, rather than a legal assessment.

And of course, silly decisions at a city or county level are less damaging than at a state or especially national level.
Dig. This actually affects policy too, considering its for sale to the folks who end up with our money for their goods or services.
My "Relevant Mobile Advertising" was already long-ago opted-out ("No, I don't want to participate in Relevant Mobile Advertising"). Still, last night, my "Verizon 3G" (iPhone 4s) was definitely adding the header to all plain-HTTP traffic, including that from private/incognito-mode tabs, and from another machine sharing the "personal hotspot".

I then changed the other two settings ("Customer Proprietary Network Information" and "Business & Marketing Reports") to opt-out, and it was still sending the header about a half-hour or hour later, and I contacted @VZWSupport on Twitter. This morning, the header was no longer being sent.

So I don't know if:

• one of those other settings eventually took effect; or...

• contacting @VZWSupport caused them to fix something with my account, either based on my support-expressed preference or remedying a bug in respecting prior preferences; or...

• general reporting of this has caused a change at VZW, perhaps in finally respecting previous opt-outs
Create your own cryptocurrency on the Bitcoin blockchain
My claim was anecdotal. For some data, TIOBE tells a different story than what your source claims: http://www.tiobe.com/index.php/content/paperinfo/tpci/index....
It also works with #t=30m49s at the end of the url.
I read the title and realise I'm in the exact same situation: I have a wife, a 2nd year-old son, and my wife is 5 months pregnant. And tomorrow my startup finds out whether we got into YC W15!
Good question. In theory, Docker should be able to be compiled for all ISAs, but it's written in Go and Go does not have compilers for many ISAs. (gccgo is more portable but it's incompatible enough with real Go that it's a net negative IMO.)
I read that the beta app review only applies for the 1.0 version, or if you make significant changes. Not sure about the time frame though.
> Is smoking really an autonomous behavior? It is a common behavioral symptoms associated with a nicotine addiction.

Yes, it can be. Many nicotine users are social users, and not all of them become physically dependent.

> Should people with uncontrollable addictions have rights outside of the right to treatment? I'm not so sure...

Yes, of course they should.

I'm hoping you meant: "Should people with uncontrollable addictions have the right to continue that addiction"

To which I would answer: Yes, as long as the addiction does not lead them to violate other laws.

From your PDF:
> No safe levels of exposure to second-hand smoke exist.
Obviously not true, except under asinine definitions of 'safe'. By the same argument, I should be calling for a ban on cars.

We have acceptable levels of radiation exposure.

> Approaches other than 100% smoke free environments, including ventilation,
air filtration and the use of designated smoking areas (whether with separate ventilation systems
or not), have repeatedly been shown to be ineffective and there is conclusive evidence, scientific
and otherwise, that engineering approaches do not protect against exposure to tobacco smoke.

I am 100% certain that there are engineering approaches that can limit exposure to any tobacco smoke to levels which are as safe given a reasonable definition of safe. Any claim otherwise is patently false.

Now, the degree to which these engineering approaches are economically feasible is a valid question.

That PDF, and the anti-smoking movement in general, tends to avoid any facts that don't perfectly match their message and whitewash the issue.

I am a former smoker who quit, cold turkey, on my first try. On rare occasions, I still like to visit hookah bars. 100% smoking bans, as advocated by that WHO document, violate my right to engage in that rational desire and to live my life the way I choose.

Now, I'm done being off topic. I continued the discussion of smoking in my previous post only to draw out my point of how outright bans for undesired are bad when there are alternative that can protect the rights of involved parties.
I change my answer to yes. See _random_ 's comment.
Thanks, best of luck to us all balancing in a world that is all about maximizing.
I'm opted out of everything on that page and I'm still seeing the header sent.

Maybe the header isn't being sent for you due to this change possibly being a gradual rollout.
Knot DNS 1.6.0 (final release)
Huh -- I had always assumed when people talked about e.g. GNFS being the fastest known, they meant proven. I had no idea about this, thank you.
Ask HN: Why does Google adblocking extensions?
Since google generates revenue from ads aren't they losing money from then not being displayed?

Examples:
Adblock plus: adblockplus.org
Adblock: getadblock.com
Adblock for youtube:
https://chrome.google.com/webstore/detail/adblock-for-youtube/cmedhionkhpnakcndndgjdbohmhepckk/details?hl=en-US
I will make sure that this gets to the ElastiCache team! Please feel free to send more info my way; my email address can be found in my profile.
Founders Circle Wants Founders to Have Basic Financial Security
BNW is about infantilisation of the populace. Amazingly, nobody here seems to have talked about ownership of power/wealth - that's the difference between the sedated, patronised citizenry and the conscious, responsible one.
That's not true at all, There is indeed a "self", and nearly all functions are executed in a context with a valid self.

Additionally, there are plenty of nodes such as "Get Player Controller by index" which allows the user to access and modify global state.

There is a "pure" option to check on a particular function, but the language itself makes no checks as to the validity of this, it just allows the execution engine to make assumptions.
You can even host a Tor relay on Hetzner without issues, but if you receive a SPAM complaint, you'd better reply within the 24 hours they give you...
A company that profits as it pampers workers
Don't read too much into downvotes. With no ability to correct a vote, it's sometimes just fat fingers.
Just How Good Was Mark Zuckerberg's Mandarin?
At a base price of ~$800 and a high end of ~$1500: 600,000 to 1.15 M
One concern here is portability: If you write your game logic in C# on Mono, it won't run on all platforms (possibly for either technical or licensing reasons - you're limited to where Mono runs). For example it won't run on the HTML5 target. For comparison, Unity has written il2cpp to replace Mono to get around that,

http://blogs.unity3d.com/2014/05/20/the-future-of-scripting-...

it basically compiles C# to C++, which they found is much faster.

I wonder if this project has a solution in mind for platforms where Mono won't run? Or maybe it targets just a subset of the things Unreal Engine can target?
Terrible analogy.. Your wife complains about you being away so you tell her to shut up becuase military families have it worse? Yeah... when my kids are hungry, I'll tell them to quit complaining because some kid in Africa is worse off....
The deleted content could be replaced by "[deleted]", like on imgur/reddit.
Free Book – Advanced Data Analysis
I just followed some of these links back to your website. Just a bit of feedback for you which I hope is useful!

I'm on a mobile device and when I try and look at the screenshots on the app they keep moving. They are impossible to look at properly. It's like trying to nail jelly to the wall. Maybe a simple image slider would be better?

As a father of two children I found your article interesting. For the moment I have decided that I would prefer to stay contracting in the enterprise on extremely fixed working hours rather than try the start up route. It is a personal decision and each of us needs to make our own choices. My choices are about having a lifestyle that is comfortable and secure but where my career is mediocre. I know that and I accept it.
Still not going to be interested in Apple Maps until they start to update their data. Mercer St in Seattle is one of the main east-west routes between the highway and surface streets, and they still haven't figured out that it is a two-way street (which happened close to a year ago), and that most of Broad St no longer exists. This makes it useless for quite a lot of people here: basically anyone in the Belltown, Queen Anne, and Magnolia neighborhoods.
Wait a minute - 5:30 to 8:30 PM is about as much time as any working parent gets to spend with their kids on a weekday. Little kids go to bed by 8:30 PM!
Keep in mind that time zones will also play a large part in your development process. Do you have someone who can do a regular eyes-on code review, to ensure that it's being built properly? If so, why aren't they building it?

In my experience, things go really well in the beginning, during the honeymoon period, but as bugs start to crop up and the deadlines creep closer, things start to fall apart when you can't get hold of the people building it because they're asleep in their part of the world, or they refuse to fix something because their interpretation of those tight specs wasn't your interpretation of those tight specs. Make sure you are dealing with someone who speaks perfect English, too. If you can't really understand them in either spoken or written communication, or they can't understand you, don't write just it off, it'll come back to bite you when you have to explain something intricate.

caveat emptor.
I have not found myself needing to change those things very often once I have created the initial Dockerfile.

If you've got the time I'd love to hear more about your workflow at david@nitrous.io
Same. Opted out of everything (since months ago). Still seeing the header. :(
Unity is writing a C#-to-C++ compiler, il2cpp, see

http://blogs.unity3d.com/2014/05/20/the-future-of-scripting-...

it's much faster that Mono on some things currently,

http://blogs.unity3d.com/2014/10/07/benchmarking-unity-perfo...

but it is so far only used in the WebGL port. Long-term, il2cpp is meant to replace Mono in Unity, according to the first of those links.
Lytmus.io does something similar to this with their "lytmus test" it records the user programming to solve the given problems. But it is limited to when they are having events for specific companies.

A platform that companies could use would be helpful in my opinion.
he doesn't seem to care about bitcoin. that's okay with me...
Anatomy of a code tracer
Report a problem - they take them quite seriously in my experience.
But if the US Government decided to tax sales of iphone screen protectors Ebay would not be responsible for direct payment of the tax. Ebay could facilitate the collection of the tax, but in the end it is up to the seller to to take responsibility.
Does this mean google maps is using ripped off IP?
The header is sent if you opt out. It's explicitly stated in the privacy policy, which i've copied into a parent post on this HN thread.
Not DPR wares, your wares.
What resources do you use for your research?
Just like Intellij! Omg the Russians own our codes
> "Screenshot & open Rooms app to enter"

This is the worst hyperlink system I have seen, ever.

I both cannot click to get to it, and it is designed to look like a QR code, yet I cannot take a snapshot of my own phone's screen apart from a clunky use of a mirror (which probably doesn't even work).

The fact that there is no Web frontend is obviously an abysmal choice.

Beyond that, the idea behind this app is amazingly great.
> The fear of WMDs was also shared by Bill Clinton when still in power, Hosni Mubarak, the French Intelligence services, Nancy Pelosi and Harry Reid.

Based on misinformation, paranoia, and earlier perspectives.

> The WMDs found

The 'WMDs' were only found when you equivocate on the term 'WMDs' to equate the terrifying prospects specifically laid out by Bush & Cheney, the details of which I quoted in my link (nukes, mobile bio-labs, etc), with the tiny supply of chemical weapons already known about and dealt with by the UN. By your logic, white is black, and 0 is 1. After all, they're very similar, it's just a matter of scale...

> or even on a scale with what was expected.

Bingo. You even understand the point. It's like claiming to be a millionaire when one is actually unemployed and has just a few dollars left in one's bank account. 'Yes, maybe my wealth was not on a scale with what you expected, but it was there!' They're only equivalent if you're blind.
Was not expecting that low blow on bitcoin.
Yes, what a horrid fate to have the weeks and months needed to think ideas through.

Thing is, thinking ideas through on your own sometimes doesn't help much. For ideas to really develop, they need dialogue, and experimentation and evidence, and for people to communicate with each other. IMHO People who are left to think about things on their own for too long can become defensive and obsessed with their own ideas and end up in dead ends, like Huxley did with his ideas about drug-enhanced hypnotism.

The internet is like a Large Hadron Collider for Ideas.

How horrible to go to a library to find what you need.

Well, frankly yes I find the notion of going to a physical location to find out simple bits of knowledge pretty horrible. You really shouldn't underestimate the immense potential we now have to access knowledge very quickly. Its fashionable to disparage it but frankly I think its a wonder of the modern world.

The sheer inhumanity of going 20 minutes without compulsively checking a glowing screen because you feel restless

"Haha they made a handheld device that contains all human knowledge and now we make fun of each other for looking at it too much"
https://twitter.com/Arr/status/309565153924505601
Why Isn't the Whole World Developed? Lessons from the Cotton Mills (1987) [pdf]
“The Final Countdown” by Jonathan Dale
There are certainly enough similarities to make Orwell's review[1] in which he describes the plot of We as "rather weak" and suggests Huxley borrowed heavily from it rather uncharitable.

[1]http://theorwellprize.co.uk/george-orwell/by-orwell/essays-a...