casmaxima

3 ms·

1. 1.▲
   by casmaxima 3y ago

   sbcl: (* (sqrt (/ 250 2)) 3) => 33.54 meters, the factor that amplifies distance is the square root of the factor of signal strength.
2. 2.▲
   by casmaxima 3y ago

   Perhaps the ambiguity arises because we are omitting words: I'm afraid to tell you that the cat has been hit by a car. Now the question: What are you afraid of? has a non ambiguous answer: To tell you that something awful has happened
3. 3.▲
   by casmaxima 3y ago

   In maxima (a computer algebra system) assume(a>0); assume(b>0); is (a+b>0) gives true; is (a-b>0) gives unknown. So perhaps some computer algebra with inference properties can be used to enhance LLMs.