skysight-inc/HackerNews huggingface dataset:
> Unfortunately for the author, there is a chicken and egg problem here. Few programmers understand the sophisticated type system required for the reasoning solution, or can understand the weird errors that the type system can give you to say why it won't let you do something stupid. So developers shy away from languages that provide such types. Therefore there is little demand for languages that provide it.

Somehow Haskell and OCaml programmers manage to get by! OCaml has proper variance management built into the core language. Similarly, GHC Haskell with Rank2Types (or anything subsuming it) enabled, this is what lets you say things like “every Lens is a Traversal”: Lens (resp. Traversal) has a Functor (resp. Applicative) constraint in contravariant position in what's otherwise the same type, and Applicative is a subclass of Functor, so Lens is a subtype of Traversal.

The notions of covariance and contravariance are too natural and useful to get rid of them. If your type system doesn't have them, people will work around it to express as much variance as they needed. Except the workarounds will be clumsy, ad-hoc and most likely incorrect.
Not really, AI is still absolute shit at most tasks, and programming requires many different skills. AlphaGo, for example does a fairly simple task (relative to programming), which was trained on tons of existing and very simple data. If you are automating coding and design tasks that means you are adding new tools, that people on both ends on the automated process will need to learn and understand, this adds extra cost and complexity. I agree that many programming tasks can be automated, but I don't think it will have a significant impact in the next 50 years. I think automation will hit most other sectors a lot faster and harder than it will IT, and the new automation will require more engineers to manage it.
That's a good report and I've read it before - but still looking for something about the actual performance (latency, throughput, concurrency) that it can handle.
Not an atmosphere like we know it, more like a wispy and weakly-bound envelope of outgassed material (probably mostly water vapor). If Earth's moon had volatile components on its surface it would have this kind of envelope, too. The term atmosphere may be misleading in this context, because this is not a stable pressurized reservoir of gas, it needs to be replenished constantly.
How can I write an unkillable program, redux
I've seen multiple UPS Stores with 3D printers on-site. (Granted I do live in the SF Bay Area.)
The problem with general relativity is that general relativity can't be quantized. We have produced quite a few theories of gravity that can be quantized...then subjected them to experiment and they all failed.

These days theorists are trying to create theories out of which both QM and GR could arise in the limit. An unbelievable amount of energy has gone into things like string theory and loop quantum gravity. True believers believe that a theory will be found..but they haven't succeeded yet.

Back to pilot-wave theory. In special relativity, no inertial reference frame is privileged over the others. In pilot-wave theory one must be..but no experiment can reveal which one is. This is aesthetically ugly, but not actually a contradiction.
> Perhaps wealthier whites are more informed on average? Why does race or class matter?

Perhaps they are more informed on issues that affect wealthier whites and on the ways they affect wealthier whites. They probably are much less informed about what's affecting the poor Latino district.
As a German I have to thank luckily timed elections [0] and a chancellor Schröder, who I imagine could not believe his luck to get served both an upcoming war and an historic flooding [1] while campaigning. He thanked good, put on gumboots and a rainjacket, and won even though Germany was called the sick man of Europe [2] under his chancellorship.

3 years later his party lost so much support that he semi-lawfully dissolved the parliament, campaigned, made a huge comeback and had the balls to tell Merkel on live television on the evening of her victory, that his party will never collate with her and she will not become chancellor - legendary show [3]. Well, 11 years later Merkel is still chancellor, his party back-paddled many of his policies and is nearly dead (<20%).

[0]: https://en.wikipedia.org/wiki/German_federal_election,_2002#...

[1]: https://en.wikipedia.org/wiki/2002_European_floods#Germany

[2]: http://www.economist.com/node/209559

[3]: https://www.youtube.com/watch?v=IYs4CjWMkIM
Congress is as deadlocked as can be. We have a system in which the President, the Speaker of the House, the Majority Leader in the Senate, the Supreme Court, the Majority in the House, the Majority in the Senate, the Majority of the Majority in the House, the Majority of the Majority in the Senate, and 41% of the Senate can stop a bill from becoming law or nullify it.

Add that the districts are drawn by elected officials and easily and regularly manipulated to give parties disproportionate power and we end up with a situation where very few people in a very big country are able to completely disrupt the political system and hold the sovereign debt (and the economic stability of the world for that matter) hostage in order to try to take health care away from poor people.

I can't speak much about the political system of India, but I think it's quite evident that with the rise of politicians like Donald Trump and Bernie Sanders, people are very dissatisfied with the politicians we've been electing. And by virtue of that, the way we've been electing them.
Same thing happened for the react native unveiling, Facebook dev don't seem to care about Firefox.
NYC elections are the worst. In congressional, state representative, or city council election years, there are so many candidates running in so many districts within the single media market that a TV station could cover nothing else 24/7 and still only spend a few minutes on each candidate per week. You could have an entire edition of one of the tabloids devoted to nothing but a couple paragraphs about each candidate for each race. And that's for a general election, let alone a primary.

That is, if the races were contested. Which they aren't because nobody pays attention to them. Which is in part because there's no information to be had on them even if you look for it. Stupid vicious cycle. So people vote for those offices along party lines or leave the ballots blank.

I've been thinking about trying to build something that would help solve the problem, but it's really a social problem more than a technical problem, and who has the time to go chasing down bios and position statements from hundreds of candidates every spring and fall?
Sorry, but no. No decent religion sets a date for the apocalypse. Try again, great AI worshiper! ;)
Sure. Places like Detroit are very affordable for "weird people" looking for a challenge. It's a shame that cities like San Francisco have decided to raise the drawbridge on future inhabitants and set their current density rate in stone.
Unfortunately it's an almost weekly occurrence that a site I'm visiting clearly was only tested in Chrome and something critical doesn't work in Firefox. For those instances I use this extension to open the current page in Chrome https://addons.mozilla.org/en-US/firefox/addon/open-in-chrom...
Relative.

People are eating kilograms of meat a week, and colon cancer is far from the leading cause of death.

Remember dosage is important!
I couldn't agree more. Local elections matter a lot. Especially when local elections in places like Seattle, WA are generating insane amounts of campaign money.
The bigger issue is that the DAO has raised >$120M, and Slock.it hasn't said how mich funding they need. Many people are fully expecting the ask to be much larger than they would have originally asked for. It's a terrible decision on their part and raises a red flag for me
But that'd contradict the 0th law of robotics
Infinite universes isn't too far fetched. Any interpretation of QM is going to require exponential computing power to simulate all possible states. MW just asks, why assume these other states stop existing when you observe them?
It seems to me that Rust would be pretty much strictly better than this.

In particular Rust has similar syntax, seems to have all Reason's features plus the linear types and regions/borrowing that allow memory and concurrency safety while still being able to mutate memory and not being forced to use GC.

They are aware of Rust since they cite it in their page, so I wonder why they decided to create this instead of using Rust.

It would be nice if they explained this in the FAQ.

I guess it might be useful if you have an OCaml codebase to interface with but don't already know OCaml, but given the relative obscurity of OCaml that seems a pretty narrow use (and also Facebook isn't known to make extensive use of it, afaik).
Without details (breaking/following license rules) this looks scary and unrealistic if you consider that they want many Axolotl implementations out there. Proteus being written in Rust could make it the prime implementation if it were liberally licenses. Finally an OTR-next competitor that's built statically and doesn't require a VM while being implemented in a reasonably safe language (which is important for security software).
Presidential elections have what are called coattails [1], ie, the act like major marketing campaigns that drag voters into the booths so smaller-electorate candidates get votes due to that.

[1] https://en.wikipedia.org/wiki/Coattail_effect
Never mind that at the end of the day, the federal government has very little control over elections.
I am not sure if they are still running, but some time ago I wrote a large number of Oracle PL/SQL procedures activated by cron jobs. The source database schema did not change very much ( JIRA ) and those procedures ran for at least four years without needing any attention or maintenance.
صور سكس بنات شقراء كس بنات شقراء طيز بنات
They've already been hit with that in the EU. And, I imagine the first thing after this current election cycle in the US ends will be newly minted (or newly defrocked, as the case may be) politicians attempting to take a cheap shot at Google -- especially since Popular Luddism is circling the political backwaters these days.
Failing elites are to blame for unleashing Donald Trump
Another favorite of mine. I won't spoil it, it's an entertaining read: http://www.ee.ryerson.ca/~elf/hack/recovery.html
A representative present for a roll call and explicitly abstaining is a form of voting. A citizen staying home on election day is indistinguishable from apathy.
> does that happen here or is that only a reddit thing

Each registered user can upvote each comment once; with a little accumulated track record, they alternatively can downvote once. Soliciting upvotes, etc. is against guidelines and generally not done. Talking about voting, rather than the subject at hand, is generally frowned upon.

So, more importantly, why do you support this comment so strongly?
Get the inside scoop on Google I/O 2016
not sure js is pretty yet. It's getter better though.
Facebook just won't let OCaml die.
I'm going to take the other side of this argument and suggest that we didn't create the dog and the limitations in the dogs abilities.

I suspect that this will be difficult for the HN community to hear, but we must face the upcoming realities.

Though I think the article may be assigning more abilities to AI than is actually feasible in our lifetimes, let us not forget that most back-end developers are doing basic I/O and data manipulation tasks. Put something into a database, get something out of a database. Front-enders are doing layout, animation, sizing and colouring.

The average modern programmer doesn't spend their time writing if/else/then statements, I believe the average programmer spends their time writing GET/SET/EDIT/DELETE flows.

I believe in the next 10 years, artificial intelligence will be able to model and create these basic systems based on human input. UX and possibly even UI can also be trained. A/B testing can certainly be trained.

Those who think programmers can't be replaced begin to sound like the Luddites who felt the loom could not match the quality of their craft.

Note: I am a full-stack developer, I believe 90% of my day job will be replaced by AI in the coming years. That final 10% often deciding what to do or the best how, will likely be the main task.
Right... 2PC is where all nodes have to respond and the entire system blocks until they do.
but empirically it works in many other cities in the Real World. Something something Europe Japan.

I stated this but if you ask most people whether they'd want their office to be moved close to their house, I imagine most people would want their office to be close by. And people are willing to pay a premium for this.

Even if they don't take jobs in their building, at the very least this will cause other people in nearby residential zones to be closer to other jobs. Of course people will still use cars (and traffic will probably suck! But that's what you get for driving). But you'll reduce how much people need to drive.
>I wonder if in the limit we'll hit a future when people will be selling each other stories and dreams, not bothering with actual products or services anymore? :).

I think they call that "Kickstarter".
Apparently 0.8% of DAO token holders own >50% of the tokens. There is lots of potential for conflict of interest
Try Dina, it's like Terminus but comes out even more crisp. I get giddy every time I open an emacs window.
People keep saying this and year and year it keeps "booming"
On the contrary, immediately accepting non-determinism simply because that's what you seem to have measured is also unscientific. Or do you believe dipping pencils in water actually breaks them, and then reconstitutes them when you pull them back out? Don't mistake an illusion for reality.

We shouldn't simply naively accept what our experiment seem to be telling us, we should always seek alternative avenues to explain the evidence. It can yield compelling insights.
Nice, but I always wonder why function is abbreviated as the longer unambigous fun and not just fn?!
great tool and awesome UI. can't wait to use this when i mentor.
When I mentioned federalism, it was more about the fact that local and state governments have a lot of control on the education level. Usually meaning a lot of different kinds of books.

If we weren't a federal system, the national government would be dictating much more about education than it currently is.
So does Intel and many other "trusted" vendors, we all know about the power of default values.

As I said, people shouldn't be upset at Google, installing Chrome was a significant improvement, or would you rather see IE8 still as the dominant browser?

I blame Adobe, Oracle, etc. because they have the trust of the users and a piece of software considered essential by many people, yet they decide to use the shady practices that cheapskates use.

If it weren't Chrome it would be the dreaded Ask Toolbar or something even worse, so it's not the fault of Google, quite the contrary, installing Chrome as a byproduct is possibly the least negative outcome.
I liked the article. Very objective and helpful. I think that estimating the impact of your solution to a problem could guide you to avoid misfires. However, I believe the experience you get from anything (success or failure) will lead you to something greater. It's a trial and error for me. Also, I think knowing when to let go of a project is an essential trait. My opinion though is that the most valuable thing we have is energy. So my comment is "pick your battles, preserve energy for a big one but be sure about the impact first". Doing some research maybe at first could help. Thank you for sharing your experience.
I hope this doesn't sound like trolling, but JavaScript's syntax is now a selling point? I kinda-sorta get the reason why people want an actual JavaScript stack on the backend, but I never heard that syntax/semantics brought people from e.g. Rails to Node.

Sure, OCaml isn't even the nicest syntax in the ML family, but I'm not sure whether that's worth it, especially considering that almost any "X-like" language often turns out to be an Uncanny Valley for "X" programmers -- close enough to make some frustrating errors.
well, in every way but cost
Might be of interest:

http://arxiv.org/abs/1406.0901

No-Go Theorems Face Background-based Theories for Quantum Mechanics

"Recent experiments have shown that certain fluid-mechanical systems, namely oil droplets bouncing on oil films, can mimic a wide range of quantum phenomena, including double-slit interference, quantization of angular momentum and Zeeman splitting. Here I investigate what can be learned from these systems concerning no-go theorems as those of Bell and Kochen-Specker. In particular, a model for the Bell experiment is proposed that includes variables describing a 'background' field or medium. This field mimics the surface wave that accompanies the droplets in the fluid-mechanical experiments. It appears that quite generally such a model can violate the Bell inequality and reproduce the quantum statistics, even if it is based on local dynamics only. The reason is that measurement independence is not valid in such models. This opens the door for local 'background-based' theories, describing the interaction of particles and analyzers with a background field, to complete quantum mechanics. Experiments to test these ideas are also proposed."
Yes, it got fixed: https://bugs.launchpad.net/ubuntu/+source/file/+bug/248619

The `file` utility failed to recognize PostScript files due to conflicting signature data at the magic file. The issue has been resolved long ago.
UNSW Engineers set solar energy world record
> But trying to strictly define this - which is necessary before we can meaningfully talk about it - ...

It is difficult to formally define, but it is not necessary to have such a definition to meaningfully talk about it. This is quite general - many concepts do not have formal definition and certainly not all can have one - formal definition only works well when its expanded form has root in concepts that require no formal definition. "really happening", like "matter" are intuitive concepts that refer to experience, do not have formal definition and so cannot be further reduced.
Rust lacks a REPL right?

REPL is quite nice for programmer productivity.
> if you are pulled over, you roll down your window, keep your hands on the steering wheel, look straight and answer "yes sir", "no sir".

This is just common courtesy? I've always acted this way, and never had bad experience with the police, because I treated them with respect.

Sounds like your GF showed a lack of couresty/respect for the officer's safety and got treated like a threat as a result.

That's not racism. That's an officer protecting himself from an unknown quantity.

>you will never understand their point of view.

Because every human being is completely devoid of empathy...
Since white people are disproportionately less likely to be convicted of a felony (even when committing the same crime), aren't proponents of the idea that every eligible voter must vote also insisting that voters in the US be disproportionately white?
You are indeed confusing special relativity with general relativity.

Special relativity says that when things begin moving fast, they weigh more. Gold's properties are due in part to the fact that the electrons move so fast that relativistic effects alter the shape and energy of the orbitals that they stay in. That's special relativity.

In order to get significant curvature you would need the amount of gravity to be created to be significant. But electromagnetism is about 10^39 times as powerful as gravity. We only notice gravity on a macro scale because positive and negative charges almost perfectly balance. However on an atomic scale, the theoretical effects of Newtonian gravity are many orders of magnitude smaller than any possible measurement error. Let alone the size of general relativistic corrections to that theory!
The Democratic Party doesn't just exist in federal government, so I'm not sure how that's relevant, whether or not its true.
Congrats to Ryan and the cloudguru team. I used http://acloud.guru for all my associate level AWS certifications and they were so great I ended up co-authoring the DevOps Engineer certification course with them.
Thank you, let me amend my statement and we just need to better educate people on where to find this info.
A lot of corporate companies have a mitm or some form of network monitoring in place.
There are a ton of products out there to do this, for example Microsoft forefront TMG.
I never access personal stuff on corporate internet at work for this reason.

When I was in school, there was always some acceptable use policy for accessing the internet.
While it didn't prevent some people from watching porn on the network, etc, It was implied that you should only use it for educational purpose and I doubt there is much urgency to fix something that is not school related.

If I were in your shoes, The best way to get it fix is simply raise an issue to someone in IT that you can't access a certain website/app and ask them to fix it.
Bonus points if you can find a website/app that you need for school.

If there is a mitm in place, I doubt you can get them to remove it. However maybe you can get them to whitelist gmail, banking sites, etc.
Supposedly they are making the materials it can use 'open,' meaning that you might be able to refill it with your own powder. The interesting thing is, they have to do this because of the market they are targeting.

HP is targeting the service bureau market with this machine. Services bureaus are companies that 3d print parts for people. Service bureaus really like to run a wide variety of different materials. Like special high strength blends, flexible, lost wax casting blends, and special fireproof materials for airplanes. Running different materials lets service bureaus differentiate themselves from other service bureaus. In addition, certain markets like lost wax casting and aerospace have to use certain special materials.

Although what HP might end up doing is selling ink or inkjet heads. This machine literally works by spraying black ink down where one wants part.
I'm not the poster, but I have a story which might elucidate this.

The application I was working on, which had a C++ front end for a mainframe with three databases involved caused an IMS segment to crash. The guy who saw the message got in touch with our senior user and discovered exactly who was doing something to cause the IMS segment to crash. This was at about 4:30 on a Friday in a corporate government type office where about 4 out of 5 people had already gone home.

Within 30 minutes he had examined the crash dump, pulled out the COBOL program that had caused the issue and found the constant that had been set 20 years ago that had now been validated. He quickly go the user to alter the case so it didn't happen and he and I put in place new higher constants to protect the data from being damaged in future.

It was damn impressive.

But well, there are guys like Raymond Chen at MS who can do this for windows programs and in about 20 years, when node.js often means terrible hacked together code there will be JS gurus who can do the same.

But if the mainframe systems are still in operation, we have to hope those COBOL guys are still around.