Reading code docs, and adding a lot of changes. Thing I've realized: simple examples are bad. There are many possible explanations for why (+ 2 0) = 2. One is "it's addition". Another is "it returns the first argument and NOOPs on the second"
-
Show this thread
-
2/ And, actually, one can see (+ 2 0) = 2 and conclude that (+ is an operator and O) is actually a terminator. You need to show (+2 0), (+2 2), (+2 99), etc.
2 replies 0 retweets 5 likesShow this thread -
3/ You know how the scientific method doesn't prove theories correct, it just proves other theories incorrect? We're all doing science when we read stuff. We build theories and test them against data.
1 reply 2 retweets 5 likesShow this thread -
Replying to @random_eddie
do you think those are axioms you're breathing?
12:24 PM - 11 Jan 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.