this is the first time that I had read your blog, and it is very interesting, very informative and a lot of lesson to learn. I got inspired to read some of your blog post.
I am actually just starting to have my journey in steemit and I really find it difficulty. But everyday I Read every post in many steemians like inspiration..
thank you so much for sharing this..

I always find your posts refreshful and immaculately clean of the contrived eagerness of some Steemit advocates and honestly filled with genuine enthusiasm. I also appreciate the deeper, more open-minded and philosophical way you look at things and your passion for truth.

TML is definitive for "smart contracts" as it's a hypothesized language of law, in that it needs:-
1. To be able to refer to itself (self-reference)
2. To be decidable (this rules out turing-complete languages)
3. To support negation (With 1 & 2, we end up with two possibilities when it comes to choosing the type of logic which is [FO[PFP]](https://en.wikipedia.org/wiki/FO_(complexity)) and [FO[LFP]](https://en.wikipedia.org/wiki/FO_(complexity)). Requirement 3 is only possible with FO[PFP])

Which is why TML is based on FO[PFP]. It's also worth noting that TML is not one single universal language as it can redefine itself and change over time, from block to block.

Check out these blogposts in regards to language:
- http://www.idni.org/blog/tau-and-the-crisis-of-truth.html
- http://www.idni.org/blog/the-art-of-self-reference.html
- http://www.idni.org/blog/the-new-tau.html

> I give thanks for being living these exciting moments. I hope this marks our lives.
> A pride appear between your lines

Same @capitanart, pleasure! More awesome art please :)

To really be honest with everyone, I'm super excited about the future of Steem and Crypto Currency as a whole ????
I look forward to sharing the future with you all ???

I would heavily suggest you study it intensely and thoroughly. In fact I don't understand why more people in the space haven't. Why have so few really looked deep at Tau?

I dunno, I just don't find much else interesting anymore since Tau. If you happen to study and write about it in the future, let me know!

I was just thinking that someone should do a video on this... Awesome! You should consider making a step by step vlog on this for people to be able to follow along with the steps as well as additional ideas you might have. I wish people would think #Steemit through on something you mentioned in this video. We should all help each other be successful. Doing this not only reciprocates the support, but everyone becomes successful together. And even further, #Steemit then becomes more popular.

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.

Yeah that was pretty good

The proof of concept was already up since last December. This one is pfp/tml though, which is the actual core product. As far as I know, @capitanart was one of the concept artists for assassin's creed: origins - so yeah, sweet poster :)

I am very glad you are talking about this because I believe your voice is likely to be heard. I know others have talked about this in the past, but I don't see this being taken as seriously as I would like it to be.

Lol alien technology coming soon!