skysight-inc/HackerNews huggingface dataset:
It more looks to me that Turing was saying that the essence of the brain is not from its using electricity. Nor is it valid to say that computers and brains are alike because they both operate with electricity; instead, their essential similarity is that they are both expressible in terms of what he called a Universal Machine.
> while the US just nominated its first (viable) female candidate for president.

And as someone who isn't from the US, I find it incredibly bizarre that you haven't had a female leader yet.

The UK has had 2 female Prime Ministers (1979-1990, 2016-), Canada has had 1 (1993), and Germany (2005-) to name a few.

> I find it bizarre that Japan is having an contentious debate about if it's appropriate for a woman to ascend to a completely powerless role

Considering your country is just getting to the point where it's socially acceptable for a woman to run for the position of President, maybe you will consider that your country also looks comical from an outside perspective, instead of just taking a negative tone toward Japan for not already having gender equality in their monarchy.
Robert Kennedy on GDP (1968)
Really? Let's hear that "argument."
"And it seemed certain that 31-year-old Chahal was one Silicon Valley start-up star for whom IPO would now stand for Initial Prison Offering." Really? A pun when the topic is that serious. I'm all for dark humour, but domestic violence and puns shouldn't mix.
A war with who?
Whether they do or they don't, I guarantee they make significantly more than the proposed UBI amount.

Given the choice between making $12k with UBI and sitting on one's ass, or making $50k (guessing here) + 12k UBI to work as a garbage man, do you really think people would just up and quit?
Given the multitude of good quality food you can get in Singapore (and presumably also HK) I cannot imagine that there's a hawker stand worth waiting 90 minutes for. Am I missing something?
Produced and consumed digital works, which have no deleterious effects on the environment.
+1 for The Martian - fantastic book!
Install BotBrew and use it as FTP/Web/File Server.

Use it as a Chromecast controller.

Maybe build a cool robo/drone/tool using Arduino and use your phone to control it.

Maybe, as a paperweight too? Even a non-functional phone would work here! :D
No, but it is rumoured she is not a Europhile.
Sur/petition: Creating Value Monopolies When Everyone Else is Merely Competing

Edward DeBono

https://www.amazon.com/Sur-petition-Creating-Monopolies-Comp...

This is the book that inspired me to start in the world of business.
The cage may be golden, but it still is immoral to lock up a family in it.
How to properly secure cryptocurrencies exchanges: HSM based architecture
Which is good. With TLS variant you would have to ensure that anyway for security reasons or you open doors to injection attacks. Mitigated by keep alive with pipelining and socket reuse, but there.
Not at all.

When you have the requisite density of Michelin reviewers, you can be in the arse-end of nowhere and still get your stars if your food, service and venue are up to scratch.
What is actually found to be true can play an important role in understand past attempts. Imagine one sends a group of ships on exploration with each ship given a partial and inaccurate map. One can use an accurate map (along with the ship maps) to understand how the various ships meet difficulties and have to change course(not finding expected land in the inaccurate map). Sociology of the decisions in the ships would be incomplete without an accurate map as success/failure affects the social process in the ship and this success depends on accuracy of ship map as well as the social forces (like two conflicting groups in the ship, some who want to get gold, some who are more inclined towards safety).

See an old article posted here on discovery of an explanation for scurvy https://news.ycombinator.com/item?id=1174912. Note that a correct explanation can help us to understand the partial success of past theories and also why they dont work fully. It is also important to understand the dynamics of the social groups and who is more likely to succeed.

Your link is a good post, but "does deny" is too strong, a better expression of the attitude is "bracketing/setting-aside the issue itself and studying the social processes involved in both sides of the argument, how it influences which arguments are accepted". Note that scientists and programmers often make these types of arguments as well. For instance, a scientist can say that funding committees are biased as they represent the old guard. "Worse is Better" is an argument which uses sociology kind of arguments to explain popularity of programming languages, though a sociologist probably wouldn't get into objective assessments like the popular languages are worse.

BTW, I dont agree with the main post that philosophy is bunk. Also, I think that there is construction in science, but one has to be clear at what level the construction happens. There are strong internal constraints which dont allow one to arbitarily use a different Periodic Table for instance.
Cyborg stingray swims toward light, breaks new ground
"It's not because every human has died that I will die too."

I need proof that human innovation potential is unlimited.
+1 for Ghost in the Wires! It reads as a thriller, and the amount of social engineering in it was amazing.
> All clients have to do is use the functions `pure`, `delay`, `force` and `fix`.

Oh great, this would only add hundreds of lexemes to your average Haskell file!

> Well, laziness is mutation.

Reference mutation is a single implementation of lazy semantics. The trick is doing it correctly and efficiently (syntactically and computationally).

> My implementation just exposes that fact

You say that as if it's a good thing. If I wanted to deal with every detail of the evaluation model, I'd program in assembly.

> the type checker still won't distinguish lazy from strict data.

Nor does it in your example. In your example, there's only strict data, and you can simulate lazy data with a hack. I agree that the type checker should distinguish between data and codata, but let's not pretend that your example demonstrates that. I could do what you're doing in Haskell by compiling every module with STRICT and having manual thunks. (Note that I don't want to do that.)

> What strictness does is “cordon off” the misbehavior of computations

That is a fair point. However, this is not really relevant except in debugging, at which point the runtime will tell us which lazy value is diverging anyway. In production, your program is going to spin (or crash) with strict or lazy semantics.

> You can do that in Haskell too, if you don't mind being wrong.

Or if you don't mind excluding bottom from consideration, which is quite reasonable. That's morally more defensible than pretending you don't have unsafe stateful mutation in languages like ML.

> I've said that, twice:

You didn't actually say that in either of those comments.

> I don't see how the lack of totality is something that needs to be “solved”.

You're the one advocating for the compiler telling you when your program is divergent. What better way to do it than proving totality?
Running on the OS they shipped with or being updated? I recall hardware moving fast and machines becoming old quickly. Chuck Yager et al were the sort of software I was using at that stage, so take my memory with a grain of salt.
On Writing Well by Zinsser

Traction by Weinberg & Mares

Predictable Revenue by Ross

Choose Yourself by Altucher

Learn Python the Hard Way by Shaw

Mere Christianity by Lewis
It might be good, but we did actually try it, and it wasn't. What has changed that might make it better? Presumably hardware is more reliable these days?
is it the monarchy thats outdated though? or the idea of having a head of state?

Id say it's the head of state -- one person shouldnt have that much power, and the list is even longer! constitutional monarchs do pretty well though, in that they avoid using any of that power to the largest extent that they can.
Women's Tennis Fashions of the Late 19th Century
CRAZY BICYCLE PARTY WITH SPIDERMAN MINION
Not quite. London is clearly a city and referred to as such, unless you're someone in high society, in which case it is just 'Town'.
Albeit flawed, some sees monarchies as being superior to democracies.

https://www.youtube.com/watch?v=nuL6T5Dc2LI
> All this complicated dance of indirect elections (that the current parties would like to remove) has been put in place after the WW2 to avoid too much power being in the hands of these high-profile figures or of a single party.

All of this was put in place after World War II to centralize power in the hands of the Christian Democrats, and force non-communist parties to go into coalition with them. As all prime ministers for a half century after WWII were either Christian Democrats or from those parties in coalition with them, it worked fairly well. Of course even this had bumps in the road so you have the 1948 elections which the communist/socialist coalition won but which was fixed the other way, a strategy of tension by P2 and the far right being blamed on the far left as the left makes electoral and other advances in the 1970s, plus you have Gladio and secret NATO armies in the wings in case the communists are actually elected into power. Of course being Italian, you know all of this.
The Kobalt diaries: Parallel builds
Just a few hours ago this was submitted to HN:

https://news.ycombinator.com/item?id=12242525

The first paragraph reads:

"One central fact about the global economy lurks just beneath the year’s remarkable headlines: Economic growth in advanced nations has been weaker for longer than it has been in the lifetime of most people on earth."

We can extend our duration of economic success for a very long time, but not for forever. At some point we go dark.

It has happened to every civilization in history, slowly or suddenly, primitive or sophisticated, for what appears to be about a million different reasons.

I don't know whether this time it is 'The Big One', but it is folly to assume it shall never occur because we're more sophisticated than before. The same was true of every civilization before us.

Other than the Net I don't think there's a single institution we have that some other former civilization had in some way on a smaller scale.
I think I have a better explanation: he's 82 years old. If he's not in exceptionally good shape, the job of a formal head of state may be too much even in smooth times.

Japan has been printing money and economy has tanked for 35 years, but still life is good for the Japanese.
Wow you gotta lighten up man. You care alot about stuff that matters only a tiny little, weensy bit.

Get out of the house.
It doesn't matter. These days head of states in parliamentary systems don't do their jobs

One of the best example for such a system is Bush lying and going to war in Iraq when the people didn't want it. The best example that it doesn't matter is Blair doing the same thing and Elisabeth 2 not doing anything about it.
> I don't think you can find 5% to support such position.

Why then this position is only thing we hear from liberal camp? Didn't hear them trying to solve the hard problem of "when deciding what to do with refugees, who is to let in and what to do with rejects".

It's not about sexual orientation, but public sexual orientation seems to correlate heavily with political views.
Excellent point. The National Review is hardly known for being liberal, yet even they are calling Trump a fascist and refusing to support him. [0]

[0] http://www.nationalreview.com/article/436808/donald-trump-fa...
It's probably over the top of many heads, so a simple explanation is probably what they expect from the title.
I had the same result (in the UK), except didn't get told anything about counselling.
If it's good enough, does it matter if it's old technology?

At what point the energy savings compensate recycling the computer and getting a new one? At what point does the reduced amount of materials warrant dropping a product line and scraping the tooling used to make it?
I'm afraid I have no real expertise in user-experience so I cannot really say. I definitely think you want, as you suggest, a "How it works" at the very top, centre of the landing page. Preferably in graphic form.

I also still think you want example dreams to be viewable by anyone. I believe that few people sign-up without a good idea of the kind of thing they are signing-up for.
Judging by the results of the last election, the Queen is probably more popular in Australia than any of the party leaders. But I suspect that Australia, and many other commonwealth countries, will vote to become republics after Prince Charles becomes king.
I said they're still referred to as Indians because they're still referred to as Indians. The point is the very name shows the nature of the ingrained misconceptions about them - the idea that they're from India for one. Yes, I know they're not from India, you seem to have missed the point.
Again, this assumes that telcos in India are actually doing their job to service these areas.

Telcos begrudge the cost of servicing the rural areas, and are concentrating a majority of their data dev to help metros.

The Facebook freebasic fiasco was also targetted at metros and young teens. They know which target markets would respond to free basic.

The high sounding promises were rhetoric - studies on who used the data showed that the market was users who used it to connect to other facebook users for free - college students.

Most of India is not educated in English, or literate - full internet which allows the sharing of images (not possible on FB) is significantly more useful.

In India, IRCTC (railways website) is used a lot. so having free connectivity on a train station is actually very useful. It may not be blanket coverage but it is practical, targetted and impactful coverage.

India needs more of that kind of work, because investment is slow and money hard to come by. Solving multiple use cases at one go with low resources is a great solution.
> Non-termination is an effect

While this is more of a philosophical than factual contention, that is as ridiculous as saying "the reduction of `(λx.x)4` is an effect". Non-termination is a property of a computation, not something that a program does to the outside world. The fact that, in Haskell, certain forms of non-termination "do something" to the computer is a consequence of the fact that real-world computers aren't actually turing machines or ideal lambda reduction machines, and sometimes the abstraction falls apart. There's nothing wrong with letting a computer churn away forever trying to reduce a divergent expression (with no effects!), but we just choose not to for practical reasons.
While I enjoy using dynamic languages in small projects, I dislike to use them in the typical enterprise projects.

Most of my time is spent playing the game "which type is this?".

Yeah, one can write unit tests to play the role of the compiler's type checker, but in the enterprise unit tests are pretty low in the deliverables list, usually the bullet following documentation.
I bought the entire collection of Calvin and Hobbes.
Even better: There is even some Korean ancestry mixed into the genetic stew (https://www.theguardian.com/world/2001/dec/28/japan.worlddis...)

Luckily, the state-worship of the emperor as a descendant of Amaterasu and Jimmu has been abolished after Hirohito declined being divine after WWII. Maybe now is a good time to take this one step further and to abolish the monarchy once and for all?
I use Vim myself but I recently learnt about EVIL mode in emacs which makes emacs like Vim and in emacs you can add code completion etc.
Oh yeah, there was a miss calculation of a financial information and I guess because of this stocks have fell. Why? Because some smart guys used Excel.

Or, then I can become a doctor right? By studying hard at home?

You should not employ a self thought software engineer or statistician or a doctor in critical positions such as health, finance, engineering, and science. Some might be okay but 99.9% of them will be incompetent for the work.
GDP, military bases outside of the nation, aircraft carriers, deals/alliances with nations etc. There are far more qualitative ones like influence..
> Plenty of nations have successfully abolished constitutional monarchy in the past couple of hundred years.

And generally, one sees that it's been a mistake.

A constitutional monarch can be a good defense against certain types of democratic failure.
Given that the company is still around, I would say that they manage to have a set of customers that value the language and what it offers in terms of quality.
I suppose the non-retina MacBook Pro is still made due to some supply agreement with a sufficiently large buyer that wants a specific configuration to be available for a certain period. And, frankly, an indestructible computer that's field upgradable (or upgradable at all) is not a bad proposition. I'd prefer a cheaper one, of course.
Semi off topic, but:

Does anyone remember a magazine spread that came out before Quake's release that featured a bunch of high res widescreen screenshots of the early game? They were big, full bleed images. I believe they also made a big deal in the article about scanning the bodies of id employees and mapping them onto the player, saying that when the game was released players would be able to do the same.

What's confusing to me is that all the early screenshots online I can find online are 320x240. I am remembering some high res screenshots, and they were some of the first widescreen shots I ever saw of a game. Carmack was an early adopter of the widescreen monitors. It seems impossible that it was Quake 1, but I remember it being kind of blue and castle/cathedral-y, in the style of Quake 1. But the resolution was very high and the textures were pretty high res too, so it seems impossible that it was Quake 1.

For some reason, I feel like it was levels that were never released.

It's been bugging me I can't resolve the errors in this memory. Anyone else have any memory of this? It's right on the cusp of pre-internet, so it's hard to track down.
> > All clients have to do is use the functions `pure`, `delay`, `force` and `fix`.

> Oh great, this would only add hundreds of lexemes to your average Haskell file!

What makes you think that? Thunking would be monadic (and comonadic) and so there's great hope that it could be syntactically very convenient. We don't complain that typed IO adds hundreds of lexemes to our average Haskell file.

> > the type checker still won't distinguish lazy from strict data.

> [...] I could do what you're doing in Haskell by compiling every module with STRICT and having manual
thunks.

You'd still have to read other people's Haskell code where the types don't distinguish between strict and lazy.

> > What strictness does is “cordon off” the misbehavior of computations

> That is a fair point. However, this is not really relevant except in debugging, at which point the runtime will tell us which lazy value is diverging anyway.

I've never heard of that. How do you get this functionality?

> > I've said that, twice:

> You didn't actually say that in either of those comments.

Yes, that's what CBPV provides.
It has nothing to do with the points made in TFA.
Ordinary people do seem to like their royalty. The endless fascination that the people of Japan have with their Emperor, the British have with their royal family, among other examples, shows that people do find it comforting to see a familiar face at the helm of the nation. Sort of like a representative of the national will.

And "modern egalitarian society"? Please. The only reason democracy works in the US is that the media brainwashes people into acquiescing to elite opinion. There was not (and will never be) any egalitarian civilization on earth.
It's the rising inequality silly! All the gains going to the top is inefficient for the economy as a whole.
I want an I7 which they no longer sell

You can still buy the 2012 Macbook Pro with an i7. You must BTO:

13-inch MacBook Pro

2.9GHz Dual-core Intel Core i7, Turbo Boost up to 3.6GHz
4GB 1600MHz DDR3 SDRAM — 2x2GB
500GB Serial ATA Drive @ 5400 rpm
SuperDrive 8x (DVD±R DL/DVD±RW/CD-RW)

http://www.apple.com/shop/buy-mac/macbook-pro?product=MD101L...

Cost is $1249. Bring your own RAM and SSD to upgrade as desired.
As you yourself say, the situation in Japan is pretty stable. The events in France you mention was during wartime, in the lead-up to what could be called "colonial collapse". Hardly comparable.

It matters because a hereditary head of state position (actually, any governmental/establishmentarian position) is a terrible symbol in what should be an egalitarian society, no matter if you have political power or not. I don't know how to put this more succinctly.
One interesting factoid that the new york times did not mention is that while it was common for emperors to resign before the meiji restoration, a lot of those resignations probably were not voluntary.

The Japanese emperors are the longest reigning royal dynasty in the world, having reigned for the entire known history of the nation. But perhaps heir secret is that they did not have much power most of the time.

During the time of the shoguns and even before that it was common to force an emperor to resign before he reaches adulthood so as to ensure that there was a child emperor on the throne at all times. A child emperor of course is unlikely to use his position to seize power.

The Meiji restoration was a revolution whose stated goal was to restore the power to the emperor. Perhaps it was in view of that goal and the history of forced resignatons that they made a law that did not even give the emperor the option to resign. However, I am not certain whether the present emperor for life law dates back to the meiji restoration.

Or perhaps they put the law in after WW2 to ensure that foreign governments do not mess with the emperors.
Rich man does illegal things that involve damaging another person and gets away with it because he's rich and has connections and could pay the victim a hefty sum.

Nothing to see here, people, move on.
Elizabeth II is 90 years old. I think she looks remarkably vital for a person so old and presumably not without pressures in her official role, even if largely invisible to the outside world.
The WSJ didn't present the paper as peer-reviewed fact. It's also not like Piketty's book was peer-reviewed either...
Typically US, blocking the use of such words. Everybody says 'fuck' in the US, constantly, but whey you use it on TV or post it online, all hell breaks loose. It's just a word folks, get over it. What is the worst that could happen when you see 'fuck' or 'retard' somewhere?

I'm also curious on how many downvotes I will get for this, because the polite way is to use f*ck or something, right?
> And as someone who isn't from the US, I find it incredibly bizarre that you haven't had a female leader yet.

Why? For that matter, we don't have a 'leader'; we have a President.
Getting out: Your guide to Leaving America

The title is a bit provocative but if you're looking to move from the US to another country it's a great place to start. I've given it to a couple of footloose people in their twenties who wanted to move abroad but were intimidated by dealing with visas and expense. (Remember, not everyone works in fields where countries are clamoring to give out visas!)
Fixed, thanks :) https://github.com/droolsjbpm/optaplanner-website/commit/b12...
I love fact it took the entire first book to get 'weird'. It just teeters on the edge before dropping right off the cliff.
I don't find it so bizarre. The emergence of women to major political roles is a thing of the past 1-2 generations in almost all of the world (with the exception of some monarchs).

(I guess it would be almost safe to count Benazir Bhutto, Prime Minister of Pakistan in 1988-90 and 93-96, as a monarch...)
How to GET FEATURED ON PRODUCT HUNT?