diff options
-rw-r--r-- | index.html | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -23,9 +23,18 @@ Do what the programmer writes. For example, the compiler MUST NOT do GCC-style optimizations such as replacing <code>printf("Hello, world!\n")</code> with <code>puts("Hello, world!")</code> (C example, we'll use our own language when that happens). However, as humans often make mistakes (i.e. it is rarely wanted to use <code>printf</code> instead of <code>puts</code> for printing a single string), linters SHOULD be able to detect that (and more subtle issues like double-free, use-after-free, potential buffer overflows, etc) and offer alternatives. But in no circumstance should the computer do differently than told. </li> </ul> + <h2>Thoughts</h2> + <p> + These are incomplete (as in not complete enough to be in a specification of any kind) thoughts that we had. + </p> + <ul> + <li> + <a href="/thought/unix-philosophy-confusing">The ``UNIX Philosophy'' is Confusing</a> + </li> + </ul> <h2>Licensing</h2> <p> - Unlike most of <a href="https://www.andrewyu.org/>">Andrew</a> and <a href="https://users.andrewyu.org/~hax/">Test_User</a>'s Websites, this Website conveys new ideas that may be fundemental to future computing, thus ruling out Public Domain as a ``licensing'' option. Some type of copyleft will be used but we can't decide which specifically for now. Until then, please contact <code>evosaur AT andrewyu DOT org</code> for permission to use. + Unlike most of <a href="https://www.andrewyu.org/">Andrew</a> and <a href="https://users.andrewyu.org/~hax/">Test_User</a>'s Websites, this Website conveys new ideas that may be fundemental to future computing, thus ruling out Public Domain as a ``licensing'' option. Some type of copyleft will be used but we can't decide which specifically for now. Until then, please contact <code>evosaur AT andrewyu DOT org</code> for permission to use. (Basically: For now, all rights reserved.) </p> <h2>Community</h2> <ul> @@ -33,7 +42,7 @@ Mailing list: <code>evosaur AT andrewyu DOT org</code> </li> <li> - Internet relay chat: <code>#evosaur</code> on <code>irc.andrewyu.org</code> + Internet relay chat: <code>#evosaur</code> on <code>irc.andrewyu.org</code> port <code>6697</code> (with TLS) </li> </ul> <div id="footer"> |