From 283089991371442bb9f1a646327a779801a4bd1d Mon Sep 17 00:00:00 2001 From: Andrew Yu Date: Fri, 7 Oct 2022 12:14:38 +0200 Subject: Explicitly note ``all rights reserved''. --- index.html | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 19499b9..fd7bed6 100644 --- a/index.html +++ b/index.html @@ -23,9 +23,18 @@ Do what the programmer writes. For example, the compiler MUST NOT do GCC-style optimizations such as replacing printf("Hello, world!\n") with puts("Hello, world!") (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 printf instead of puts 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. +

Thoughts

+

+ These are incomplete (as in not complete enough to be in a specification of any kind) thoughts that we had. +

+

Licensing

- Unlike most of Andrew and Test_User'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 evosaur AT andrewyu DOT org for permission to use. + Unlike most of Andrew and Test_User'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 evosaur AT andrewyu DOT org for permission to use. (Basically: For now, all rights reserved.)

Community