Bitcoin Forum
January 18, 2020, 03:09:22 PM *
News: Latest Bitcoin Core release: [Torrent]
  Home Help Search Login Register More  
  Show Posts
Pages: [1] 2 3 4 5 »
1  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: January 14, 2020, 12:03:33 PM
Check out the new Tau fansite for exclusive articles and take part in the forums to get the discussion going before the real discussion on Alpha Smiley
2  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: January 06, 2020, 02:19:34 AM
Text summary of the community QandA for December is not available
3  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: January 06, 2020, 12:54:44 AM

Tau Chain Monthly Video Update for December is out!
Text Summary below:


- IRC TML bot created, allowing multiple users to use TML in the chat, create databases, find intersections with other databases (consensus detection). It understands commands in TML itself, acting as a REPL which can simply be extended by UI or integrated into other software.

- Being the first real program written in TML it's a prototype so it delegates some activities to system scripts. Dragan Juan and Tomas will be moving functionality from system scripts to TML.

- Wish to make the bot updatable by itself users. This involves putting the source code into the database, so when the latter is altered the program changes. This process of collaborative code update allows us to create Alpha together.


- Created prototype UI for TML/Alpha

- Allows for TML only discussions, natural language English discussions, friend lists, etc.

- Automatically translates English statements in TML logic and uploads relevant subclasses. This functionality should improve in accuracy with time.

- This UI is tentative of course, a UI expert will eventually be hired.

- Opinion over opinions will also be supported at some point in the future.

- Also there's a sentiment analysis and entity detection bot in telegram/IRC that will help us understand the logic further.


- Worked on TML arithmetic support. Arithmetic function not only over universal symbols but specifically over subsets, which will make it more efficient. For example if we have two subsets {0 2} {1 3} and wish to apply the addition operator, (0+1, 0+3, 2+1, 2+3), it ends in a subset C {3 5 1}. This was implemented over BDDs in bitwise operations for addition and are very close to completing it for multiplication (over the next few days).


- Significant progress made on the legal side. Awaiting a public statement from lawyers regarding this, which will hopefully arrive pretty soon. This will reveal what's been done on the legal end over the past few months.

- Currently reading drafts of the whitepaper which will hopefully be ready for public release pretty soon


- We can already imagine the power of Tomas' IRC bot being implemented in a UI such as what Andrei showed us. This would go a long way to making our technology more accessible to the masses. Of course, allowing natural languages will also make it much easier as users will not have to express themselves in formal logic.

- We're proud to have reached the milestone of working consensus detection in 2019 =)

- After Umar created a parser for first and second order logic, implemented transformation of formulas to Linux in conjunctive normal form. Umar's next task will be to working on context free parsing ability in TML, a field in which he's an expert.

- Dragan enhanced more of the builtin support we already made and is working on a fundamental change in TML: flexibility in changing bit order within BDDs. With dynamic bits, we can support types and everything will be more intuitive eg. When you say not something, you can associate it with something else. This feature will also help with performance, as without it right now, we use more bits than we really need, which means exponentially larger BDDs.

- Ohad himself continued researching second order logic and is considering the ability to use reflection. Reflection is an important concept in programming languages in general, but in TML to reflect the interpreter internal data would be to reflect the BDDs.

- Turing machines and many other models of computation such as Random Access Machine are infinite by definition and therefore not realizable as our physical computers don't have infinite memory.

Now if we take such a Turing or Random Access machine and limit it to a fixed amount of memory, then firstly intrigued listeners can think about why the halting problem for such machines is decidable. Secondly, running such a machine is a task in PSPACE and thus double directly in TML. Because Turing machine or Random Access machine or Automaton are basically only transition relations which are nothing more than 4 arity or 5 arity relations.

This means simulating a machine with constant memory can be done in TML right now. Once we have second order logic we can synthesize programs from requirements. But to simulate even an assembly language, as long as it has fixed memory, can be done in TML right now.

This has a huge implication: this means we can take any program in any language and compile it to TML, while it won't be equivalent to the original program, the point of equivalence will never be practically visible because it will be exactly when we run out of memory. By that we can compile OSes or even TML itself in this automatic way with which we can do something things by converting arbitrary machine code to TML.

- We've also been thinking about incentives or gaming mechanisms to encourage users to participate in the alpha and/or formalize knowledge so Ohad was playing with the idea of a point system incentivized debating platform, which is just a generalization of discussion platform as a discussion is just a debate with winners and losers.
4  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: December 31, 2019, 12:18:03 PM
Tau Breakthrough Milestone: Consensus Detection Begins to Work!
Thanks to Ohad's hard work on the TML and Tomas for implementing the bot that supports consensus detection.
5  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: December 02, 2019, 02:26:43 PM
November Community QandA Text summary is now also up
6  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: December 02, 2019, 12:43:54 PM

Tau Chain Monthly Video Update for November is out!
Text Summary below

- Finished client proof of concept of Alpha which allows registering/unregistering users, create/delete channels, send/edit/delete messages, notifications
- TML can be used as a database to store data. Making data files accessible using widgets
- Added drafts of basic UI widgets, some functions like message editing, unregistration, notification are still missing
- Command line inputs are concatenated into one single program

- Making progress in understanding what users are saying in English, certain translation functions working in a UI. Example in the video where 'I love cats' is translated into formal logic.
- Hoping to open this site publicly soon to help test and play around with the power of TML

- Continued working on arithmetic support for TML, completed general multiplication feature. We can now represent a*b=c in TML
- This means we can now solve the Eratosthenes Sieve test. For a given range of integers we can identify all the prime numbers efficiently.
- Moving forward from general multiplication, we're looking for more optimized representations in the form of constraint sets. For example, given two sets [a,b] and [c,d], we're only looking for the multiplication or addition of pairwise combination of those two sets. This step is challenging given our BDD data structure but we're currently able to solve for bitwise operations on unconstrained sets which will allow us to approach the problem of pairwise constrained sets in addition and multiplication

- Focusing on second order logic
- Umar (PhD in Computer Science) wrote a parser for second order logic and is now working on transformations
- Ohad has been researching on how to solve second order logic formulas and discovered some existing work under the name of Boolean Unification. This should allow for second order logic solving, but also more research in BDDs should show us what an efficient solver would be like
- Considering how we can support Knowledge Representation Languages with Douglas Miles through common logic. We realize common logic is equivalent to notation 3 (established language within semantic web) if some of notation 3's restrictions are removed.

- Significant progress made on the legal compliance end. First major hurdle on our end is complete. Hoping to hear back from them soon.
- Still working on hiring a UX/UI dev who not only is an exceptional designer but can fully comprehend the capabilities of the tech. Douglas Miles will be helping to hire a UX researching and a UX designer
7  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: November 01, 2019, 02:30:32 AM
October Community QandA summary is now also up on reddit

Ohad answers the following community questions:

Q: Discussions and knowledge building today occur on multiple mediums, where the most popular ones are video rather than text. I see Tauchain needing to be implemented on various types of mediums to go mainstream, is this something that's taken into consideration? How do you see Tauchain constructed in its fully functional form?

Q: How can Agoras' derivatives market prevent people from using leverage? If the solution is to limit the number of contracts speculators can buy, How you can be sure there won't be off exchange arranged trades?

Q: Will Tau contribute to better cyber security, and if so how?

Q: Seeing as the success of Tau is heavily dependent on the number of participants in the discussion, what steps are taken to get Tau known to reach a 1 million user conversation?

Q: Tau places emphasis on scaling discussions, but what about scaling decisions? As public decisions become bigger they become less out own, this is a dilemma in public decision making where the decision maker is influenced by the court of law and the court of public opinion. Are there plans to help the decision maker to take on the responsibility of big public decisions in the context of Tau Alpha?

Q: Google claims they have quantum supremacy now, who will quantum computing affect Tau and crypto?

Q: What parts of the TML are each of the TML developers working on?

Q: Ohad, you wrote an interesting article on Tau vs Ethereum. Lots has changed since then so can we get an updated transcript?

Q: Would it be possible for Ohad to do an AMA in the telegram chat? It'll give a chance for the community to interact with him more directly sometimes.

Q: When we convert our placeholder to mainnet tokens on the Alpha, not all of the tokens will be converted as some have lost their private keys, would you be issuing more tokens? Secondly, what can we expect to be completed percentage wise by the end of this year?

Q: Regarding computational resources market, are you aware of iExec? Is this a project that's a threat or one we would actively pursue to collaborate with?

Q: Our current community count seems quite low in light of our aspirations of scaling discussions to a million participants, is this not a problem?

8  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: November 01, 2019, 01:20:38 AM
Tau Chain October Update Video is now out!

- Implementing basic discussion features in Alpha, added 3 objects: Users, Discussions and Posts
- Simple proof of concept in the form of a server look up
- UI widgets for profile, feed, posts etc. Still basic but functional
- Alpha is without networking so far, but will hopefully change soon
- Will examine vid library for authorization and authentication soon

- Structure will be micro services based with central broker, this will allow the use of different languages for every service
- Server has been created to test TML functions online internally
- You can subscribe to formal discussions and participate on the client, then the TML engine will deduce the result of multi party discussions
- The client will evolve to support network features

- In the process of adding support for arithmetic operations in TML. So far addition is supported
- Multiplication is partly done
- Regressional test suite as we improve the architecture of TML

- Another person to have joined the team (I didn't quite catch the name sry)
- More hires to come in R+D and Q+A
- Still in the process of hiring UX/UI expert. Some promising designers are on the short list
- Progress on the whitepaper is continuing along
- Working with Legal teams in the US to take care of matters such as SEC compliance
- Will be working on exchanges as we approach alpha, hopefully good news on that front to come in the near future

- Progress has been good on alpha, and arithmetic is difficult due to the nature of Binary Decision Diagrams, so it's pleasing to make progress there, special thanks to Juan
- Arithmetic support will likely significantly improve parsing performance
- Dragan is working on builtin support for TML, which is also important
- I've been working on CQC. CQC that supports negation is extremely difficult due to the class of problems which it belongs under complexity theory
- CQC is necessary for converting logic to code as well as translating languages: If we write a translator for language X -> language Y, we want a translator for language Y -> language X for free.
- Most importantly, we wish to support second order logic. If users can use forall, there exists, and, or, not over elements as well as sets, TML will be substantial superior compared to other solvers and theorem provers in terms of features and performance.
- Second order logic may be the most important and difficult to implement feature that TML will have.
- This will take us to a new level regarding the ability to reason about knowledge and program TML itself to solve its own problems.
- A second order logic solver will be a monumental step forward.
- Dragan and Juan will be assisting Ohad on this massive task after they're done with their current work. Hopefully we can put this together soon.
9  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: October 01, 2019, 03:35:10 AM
September Community QandA Written Summary is now out:

Questions include:

What is the progress towards any 5 Agoras end goals? Can you also tell us why the decentralized computer aspect of Agoras is superior to the competition?

Can Tauchain be used by anyone or only programmers?

How will Ohad allocate his time after the TML and discussion platform are launched? Will Ohad attend conferences to spread the word about the project?

It took Cyc 30 years to build their knowledge base. How many users do we need to build ours and how skilled will those users need to be?

Will Oracles be better than Tau/Agoras?

When will Ohad appear in crypto public? What is the status of the ICO funds? What is your opinion of the Omni platform which is functional but not user friendly?

Are there more purposes and incentives for holding AGRS? Will the platform solely accept payment in AGRS? This may be inefficient as you'll have to transfer fiat into Bitcoin and Bitcoin into AGRS etc. Will we get an Agoras tokenomics article?

How will consensus be reached initially if users are discussing which methods to adopt to reach consensus?

Regarding consensus and options blogpost, what are your toughts on integrating layer 2 solutions for scalability if there's also a derivatives asset exchange?
10  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: October 01, 2019, 02:04:32 AM
Tau Chain September Update Video Is Out!


- Dragan completed support for equalities and inequalities

- Ohad discovered a way to compare integers in BDD which Dragan implemented

- Proof extraction completed, including negation support. It's still yet to support other features like equalities, compulsion of integers, referencing tempo in relation symbols and parsing the proof for the next program.

- Basic Conjuntive Query Containment done. Still yet to be supported are negation, equalities and inequalities. Negation support is challenging

- Preliminary CQC related optimizations have been implemented. They've not yet yielded performance improvements. More work is needed here.

- 7 main things to do: support arithmetic, built ins, compound terms, self interpreter, first order formulas, reordering BDDs and tree extraction.

- Looking for another TML dev, UI/UX dev and QA manager.


- Updated error handling so you no longer required to exit the program to check errors

- Serializing TML result binary payload

- Everything works except one issue about executing TML in browser

- Adding description features and using networking API from monitoring


- Built an messaging server so files can be exchanged over it

- Encryption and certificate authorization will be added next week

- Moving to p2p very organically


- Building internally so we're ready to form strong partnerships

- 2 more people in a trial phase

- Another company handling the Logo

- Taking the necessary steps to organize work around this project into one cohesive professional unit and preparing for the next phase

- Whitepaper is almost done and hopefully can be presented within a month
11  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: September 23, 2019, 12:47:42 PM
Please check out Ohad's new blog post where he covers Consensus and the power of Derivatives
12  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: September 02, 2019, 03:08:11 PM
Transcript of Community QA August

See the answers to the following questions asked by the community in the above reddit link

Will self defining Tau result in Tau being able to optimize it's own performance? - Marko

What will be the first language? - Marko

Will the discussion platform be launched even if you're not happy with the performance? - Marko

Can you give us some real target dates for TML and the discussion platform? - Subhendu

How do you see Tauchain in 10 years if everything goes well? - Viktor

What's the Roadmap?

How Confident are you Ohad in your ability to finish all parts of the project up to and including Agoras?

Is it necessary to complete proof extraction before work can continue with conjunctive query containment?
13  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: September 02, 2019, 01:27:13 PM
August Tauchain Monthly Update Video and Summary


- 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


- 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


- 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


- 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
14  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: September 01, 2019, 01:12:52 PM
Nobody is promoting the Openledger delisting as good news. We're simply informing our stakeholders so they can take the necessary steps to withdraw their coins.

It would be trivially easy to manipulate price when there is such low trading volumes. A tiny fraction of the money that went to hiring new devs and business development work could have easily been spent to fake price movement. Ironically, we were delisted for lack of volume and had the team been dishonestly manipulating price, we'd still be on OpenLedger.
15  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: August 28, 2019, 01:04:43 AM
As previously mentioned, Agoras was delisted from Open Ledger due to lack of volume.

Please withdraw your tokens ASAP. Open Ledger will charge a 10% withdrawal fee.

Withdrawals are conducted manually by Open Ledger, as we are past their withdrawal due date. Therefore, to withdraw your tokens you need to open an account on Then create a new ticket and ask to withdraw your Agoras tokens, while mentioning you agree to pay the 10% fees.

If you are withdrawing and taking the 10% fee, you have up until 31st August 2019 to do so.

Update from Open Ledger: You need to make a transfer to openledger-dex account and provide them with the transaction id of this operation. Detailed instruction on how to make transfer can be found in the article below
16  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: July 29, 2019, 02:46:46 AM
Tau Chain July's update video is out!


- Two very experienced C++ developers are joining the team - Dragan who you've already heard about, and another is being finalized and expected to officially join very soon.

- Changing regulatory conditions have compelled us to adopt KYC measures. We'd really appreciate it if the community will support us by going through KYC if they've brought from Ohad directly, and they'll be asked to if they intend to buy directly from us in the future.


- Dragan proved his technical understanding by converting complex recursion found in Ohad's TML code into iteration.

- Tomas has continued to develop the discussion platform. Development of TML and discussion platform have been happening in parallel.

- Caching technique for optimization mentioned in the last update terms out to be deceptively difficult as its actually an NP-Complete problem: conjunctive query minimization/containment. The difficulty of this problem is compounded furthermore by negation which we do want to support. However, the upside is it can potentially improve performance by orders of magnitudes as well as improving consensus detection in the discussion platform - we would not only be able to detect consensus among facts, but to some extent rules as well (which is generally undecidable).


- We are prioritizing trying to get it listed on a reputable US exchange and KYC will help with this. Unfortunately OpenLedger will be delisting us due to lack of volume, but seeing as we were getting almost no volume on that particular exchange, we anticipate the impact of this to be minimal.

- Community website is in the final stretch, just some legal disclaimers and articles to be linked. So far, most people prefer to be the domain name. We're open to other suggestions.
17  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: July 27, 2019, 02:48:13 AM
Ohad has just announced that a new developer has joined the team!

Dragan has over 20 years of experience in C++ and a robust technical knowledge in areas of mathematics, physics and electrical engineering.

He is familiar with blockchain projects and has actively developed for EOS, Ethereum smart contracts Dapps and BTC forks.

Dragan has worked on large enterprise projects for Fortune 500 companies as well as Harvard Medical School.

His role will be predominantly to aid Ohad with the challenging task of optimizing and adding features to the TML.

We welcome Dragan to the team and expect great things from him.
18  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: June 28, 2019, 08:47:29 AM
IDNI website updated with a careers section
Team is now hiring Devs, three open spots

- QA manager and two C++ Devs
19  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: June 20, 2019, 04:26:33 PM
June monthly update is here!

- Tml performance improved by 5x in speed and 4x in memory efficiency
- Requires 2 more features to improve performance further: Subsumptive Bottom Up Demand Transform and Caching previous computations
- After this, implement features in the readme, then TML will be ready
-  Tomáš Klapka officially joins the team full time and working on discussion platform which involves incorporating web server into the c++ code to have the UI from the local machine in the web browser

- Hiring a couple of more people to improve things like the website and IRC.
- Ohad is not alone. Hiring a developer to work on infrastructure as well a UI designer
- KYC compliance being worked on

- Fan website development well in progress, release expected at the end of the month
- Connection between IRC and Website
- Hiring someone to write the whitepaper
20  Alternate cryptocurrencies / Announcements (Altcoins) / Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network on: May 23, 2019, 01:10:34 AM
Exciting News!
The Tau team has just released a video featuring Ohad, Fola and Isar giving a development update as well as discussing their plans going forward regarding the business side of the project
Pages: [1] 2 3 4 5 »
Sponsored by , a Bitcoin-accepting VPN.
Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!