<center>![image.png](https://ipfs.busy.org/ipfs/Qme5QP2DuaYH8D31R26PCFAHrCE5sY2MphjfywqXyBmkpi)</center>


# 1. Removal of AGRS wallet.

I would like to inform the community here that Bittrex is planning to remove the AGRS wallet on their platform by 21st January 2019. Here is their official announcement: https://bittrex.zendesk.com/hc/en-us/articles/360001489866-Wallet-Removal-on-January-21-2019

So if you still have AGRS tokens stored over there, please move them to:-
- Omni Wallet (https://www.omniwallet.org) or,
- Any Bitcoin address, as long as you own the private keys. Yes, AGRS is an OMNI-asset on the Bitcoin blockchain. It's a placeholder token that will be ported over when both Tauchain and Agoras comes to fruition.

# 2. Available exchanges.

AGRS markets are available for those interested. Please take note of the relatively low volume and liquidity at time of writing.

### Openledger exchange:-
AGRS / BTS: https://openledger.io/market/AGRS_BTS
AGRS / BTC: https://openledger.io/market/AGRS_BTC
AGRS / STEEM: https://openledger.io/market/AGRS_STEEM

### BCEX exchange:-

AGRS / BTC: https://www.bcex.ca/trade/agrs_btc

# 3. Github updates.

While the expected Q3 2018 release date for Tauchain's core innovation, Tau Meta Language (TML) has come to pass, developer Ohad Asor has been constantly updating the code on Github: https://github.com/IDNI/tau/blob/master/tml.cpp, along with a brief on [Bitcointalk](https://bitcointalk.org/index.php?topic=950309.msg49108401#msg49108401):-
> *the status is that the part equivalent to datalog has no more known bugs except performance bugs. in other words, two more things are left to be done:*  
> 1. *support negation (correctly as the code now handles it incorrectly)*
> 2. *improve performance*  
> *after those two steps tml will be released. i expect it to be highly appealing to various technical groups and needs, e.g. bdd-based (binary decision diagrams) database (cf. datalog with bdd and its advantages), and, apparently the first implementation ever of partial fixed point logic over finite domains, and, a metalanguage that can redefine itself (not easy to come up with such which is decidable!), and, a language adequate to be the language of law. to be the language of law we require 3 things: decidability, self reference (to be able to tell which law or legislation is legal), and ability to change laws with time (i.e. deletion).*

Ultimately, it's difficult to predict completion time for such a fundamental piece of technology, but I personally expect that it can be done and would like the idea to catch on. So here's an invitation to study the project and the code. Check out the [website](http://www.idni.org), [Github repository](https://github.com/IDNI/tau), and [blogposts from the developer](http://www.idni.org/blog/) - best to start from the post at the bottom and work your way up.

There's also a "TML playground" made by a community member: https://tml.klapka.cz/

**Disclaimer: Not to be taken as financial advice.**

---

# OP's notes:-

<sub>1. My introduction on Tauchain: https://steemit.com/blockchain/@kevinwong/what-is-tauchain-and-why-it-could-be-one-of-the-greatest-inventions-of-all-time-part-1</sub>

<sub>2. My Steem witness post that includes a focused consideration of Tauchain as part of a long-term plan: https://steemit.com/witness-category/@kevinwong/running-for-witness-embracing-the-crypto-life-tm</sub>

<sub>3. Logo contest previously held on Steem: https://steemit.com/contest/@kevinwong/logo-contest-for-tauchain-and-agoras-calling-all-designers</sub>