3 ms·
This was prompted by the discussion here: http://news.ycombinator.com/item?id=1070604 http://news.ycombinator.com/item?id=1070604 It's not really finished, and
by RiderOfGiraffes 17y ago
This was prompted by the discussion here:
http://news.ycombinator.com/item?id=1070604 http://news.ycombinator.com/item?id=1070604
It's not really finished, and it's certainly not complete, but I thought it would give you something to think about. It's not necessarily mainstream, and it may turn out that I don't believe it all myself, but I hope it's interesting.
- 10ren 17y agoI like how you present the developments as filling in logical gaps - almost a kind of deduction. It seems inevitable that some practical application using the basic system will eventually also need one of the logical consequences. A little bit like having different operations in a UI - eventually, each combination will be tried by someone, and it's reassuring to find that they are orthogonal, and do work as expected.