See how a modern neural network completes your text. Type a custom snippet or try one of the examples.
Note that the only rule used for completion of the phrase is finding suitable completion words, one at a time.
No attempt is made to understand the meaning of the phrase submitted.
Here is the result when I put the initial phrase (in bold) from this post.
The BLISS solver is a product of some thoughts I had, following recent conversations with SpAce about the nature of "guessing".
It's not so much that we should be guessing. But we need to make things more explicit and precise, so that we are clear who we are and how we are measuring things in the world.
This is particularly important for things like performance analysis.
For example, if I am measuring the cost of a function, I should be able to specify the precise performance function (or more accurately the precise amount of computation for a given input) and have the solver check whether it agrees with the performance function. I should be able to specify the inputs and outputs (and, in general, the order of operations), and the solver should be able to do any necessary optimization, so that we are using all the data at the right places.
Each run gives different results.
Enjoy!