August Tauchain Monthly Update Video and Summary

https://youtu.be/W86dPdQ5jOk

Tomas:

- Currently working on Alpha discussion platform

- Started as a rewrite of TML playground from JavaScript to C++

- Uses Wt. Framework which renders UI in a Web browser and Alpha executes TML locally or remotely

- Tabular view on the output

- Working on error handling

- Serializing values of BDDs and compiling them

- Alpha can already read programs from files which we use as worldviews as a proof of concept. Adding users and networking will be straightforward



Ohad:

- Query Containment is viewed as the holy grail of optimization by Ohad pertaining to TML. Generally, programs using proof search require aggressive optimization to know which route down the search tree not to go early on.

- Work on query containment will have to wait until work on proof extraction is completed as the latter is a requirement

- Proof extraction is challenging due to TML's negation and deletion

- TML and Alpha are being developed in parallel, TML can be used for alpha purposes in its current form

- Dragan is helping Ohad with TML while another dev will help Tomas with Alpha



Fola:

- Helping with the hiring side conducting a lot of interviews

- Legal strategy from two sides: European and American

- US SEC Lawyers helping strategize KYC process

- Hiring experienced writer for Whitepaper which will hopefully be clear and accessible



Isar:

- Delisting from OpenLedger due to low volume along with many other tokens

- Exploring other exchanges and are likely going to select two

- We currently have two Chinese exchanges and are looking to exchanges from other geographic locations

- Fan website almost completed barring minor design alterations