Yes now that there is code the developers can see for sure that what is being attempted is feasible. I figured out it was feasible in 2017 after discussing it with Ohad in private. But seeing the code is even better because showing is better than telling. If the code works then it's proof by example that TML and Tauchain is plausible.

We are really really close to that proof by example. The proof by example is the biggest moment because once we know what can be built we can then see it as only a matter of following the current specification over time to build it. So we know a partial evaluator can be built theoretically speaking but if Ohad can prove it in practice it's suddenly not theory that we can use PFP. If he can show a demo example then we can see for ourselves that the logic really can work. Seeing that it can work should generate much excitement.

Currently though the code is being debugged. I'll be much more excited when I see test results and or some example.