4 ms·
The burden of proof is generally on the positive, not the negative. If someone thinks there's something in Bel that's not in those languages, they can say what
by geofft 6y ago
The burden of proof is generally on the positive, not the negative. If someone thinks there's something in Bel that's not in those languages, they can say what specifically they think that novel thing is. Otherwise there's no basis on which to have a discussion beyond "Bel is really cool!"
- dang 6y agoThe GP comment was a shallow dismissal, which breaks the HN guidelines: "Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something." https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html The novel thing about Bel is that it attempts to express a full programming language in the same axiomatic way that McCarthy's Lisp expressed computation. I thought pg explained that pretty clearly.