2 ms·
Yes, of course there are. Now, imagine you're a language model, and given the prompt "I'm going to write code to explain what a finite summation is", try to pre
by qsort 4y ago
Yes, of course there are. Now, imagine you're a language model, and given the prompt "I'm going to write code to explain what a finite summation is", try to predict the probability that what follows is "and I'm going to do it in Idris".
- zdkl 4y agoTo pick even more nits, symbolic calculus libraries à là Sympy for python get you the best of both worlds IME. https://docs.sympy.org/latest/index.html https://docs.sympy.org/latest/index.html