Zero Coding with Tau: Specifying Correct Software with Logical AI

[S1r_4zdr3w(OP)]

https://youtu.be/DW0Fm-YfBzs

This video demonstrates how to use the Tau Language REPL to create correct-by-construction software through AI program synthesis.

The video will showcase the Tau language's ability to automatically generate a program that meets given specifications.


o1[t]=0 states that the output o1 at all time points (t) has to be 0.

The video will highlight:
● The simplicity of specifying software behavior in the Tau language.
● Tau's use of logical AI for program synthesis.
● The guarantee of correctness provided by Tau's approach.

In my next video, I will go deeper into the topic. Thank you!

Questions, How big do you think is the effect of being able to do zero coding to just write our specifications and a very powerful logical AI will automatically generate a program that 100% meets our specifications?