det23x

Yeah, that's true, but you can also use free ebooks, slides from lectures, etc. and you often find really good stuff. Furthermore one should not have to register for such a service ... consider wikipedia would require you to login to find out how, e.g. merge sort works.

So what do you want to achieve here, because such a platform is just useful if you find either people that are willing to answer specific questions - such as in mathoverflow - or if you want to read something up (and then you probably go to wikipedia or grap another introduction to a topic). Anyway, it is nicely done, but I wonder if there was another intention than "because we can". I have read the "How Function Space is different?" section, but it is not that convincing.

Very cool work. I am glad there are people still working on Plan9 and its concepts. I think it is a very underappreciated OS but its time will come atleast its ideas. Kudos!

Because natural language's type hierarchy is not that sound as we programmers would like it to be.

Say, what?

That's definitly the right direction. Our software stack is getting too complicated, and is carrying so much stuff that is almost never used (e.g. obscure entries in terminfo's db). But of course, real world does not give us much time to rethink/refactor our computing structures.

For me this was really disturbing. I was digging in an old thread, because I often use HN for research on specific topics, and suddenly it popped in my browser and I had no idea what was going on. It did not feel like _me_ controlling my laptop at that moment ...