Huge discussion of the original article: https://news.ycombinator.com/item?id=47746610 (781 points | 21 hours ago | 251 comments)

They only make some cubes?

Why are paths useful?

Does it handle pronunciation of different areas/countries?

> that's a huge advantage since you'll actually understand what you're talking about instead of just phonetically reading jargon

Do you have more technical details?

> The ad also highlights the salary on offer to controllers, saying it is $155,000 (£115,000) after three years of work.

IIRC they are understaffed and must do like 60hs per week, so it's like $103K in a sane work position.

I'd rename it puzzles -> questions .

After answering a question, the next question appears. It would be nice that the webapage goes to the top to be able to read the new question without scrolling.

[Question 1: I prefer something-something-decoherence. Which one should I select?]

I agree. I pressed space to fire and was surprised it pauses the game.

Did you write the game or only added the photos?

Well, the paper explicitly takes the principal branch to solve this.

So it isn't exploiting the branching for computation.

Different sense of “branching”

Yep.

It transform a simple expression like x+y into a long chain of "eml" applications, so:

Derivatives: No. Exercise: Write the derivative of f(x)=eml(x,x)

Integrals: No. No. No. Integrals of composition are a nightmare, and here they use long composition chain like g(x)=eml(1,eml(eml(1,x),1)).

Agreed on integrals, but the derivative is relatively simple?

If f(x) = exp(x) - ln(x) then f’(x) = exp(x) - 1/x, which is representable in eml form as well.

To the overall point though, I don’t think it helps make derivatives easier though. To refactor a function to eml’s is far more work than refactoring into something that’s trivially differentiable with the product rule and chain rule.