Viewing profile — throwa990323249

The paper addresses that directly: "Thus, while our proof of RH might look too short to be true, it really involves at least two rather long papers [6, 8], not to mention [9]."

Actually that doesn't dereference a nil. https://play.golang.org/p/cjmflMBhF7 Why not learn the language before criticizing it?

>The language itself not much. It doesn't offer anything new that Java 1.0 with Quasar doesn't already have. It offers lots of abstractions Java didn't/doesn't: Lots of concurrency…

Chicken and egg... But if there was good Python 3 support maybe more companies would contribute.

I too want 3.3+ support but I know some claim that there's very little demand from people actually doing something with PyPy for Python 3 support. I really think it may be a chicke…

ARC languages are Turing complete, but some algorithms require more than just "peppering weakrefs" and actually require you to essentially build your own GC.

Your "confidence" is wrong. Consider a graph which can have nodes added, and edges added or removed. Say you want to keep track of the part of the graph that is connected to a node…

ARC won't work when you cannot determine ahead of time where the cycle can end safely. Pretty sure for an interesting set of algorithms this is a problem. It's something I find ann…