DKordic

4 ms·

1. 1.▲
   by DKordic 1y ago

   I think C is not an offense but an insult to reason.
2. 2.▲
   by DKordic 1y ago

   I have a challenge for You: make applications of Your choice of BlackPill [1] or Radxa ZERO 3E [2]. Hint: You might be interested in Forth Systems and Lisp Machines. [1]: https://github.com/WeActStudio/WeActStudio.MiniS
3. 3.▲
   by DKordic 1y ago

   Interesting arguments. Lisp Machines? "Separation of Concerns" [1]? Conway's Law? [1]: http://alarmingdevelopment.org/?p=805
4. 4.▲
   by DKordic 1y ago

   Exactly! "Life After Parsing" [1]. IMHO C Family is a symptom of "low-level" of competence. I often get surprised by superficiality of their arguments. "Sophistry" is a useful concept (in a single word). Ad
5. 5.▲
   by DKordic 10y ago

   I forgot to mention SMT-LIB[1] and pySMT[2]. I don't want to say their are optimal, I just think You might find it interesting. I think it would be even better with Curryed[0] Functions. As an example ``'(f a1 a2)&#x27
6. 6.▲
   by DKordic 10y ago

   IMHO [[ https://en.wikipedia.org/wiki/S-expression][Symbolic Expressions]] are... infinitely better. Example: '(iff (not (and (P 1) (P 2))) (or (not (P 1)) (not (P 2))) )