Show Posts

Pages: [1] 2 3 4 5 »

3

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: April 01, 2020, 12:18:27 AM

March dev update now out! Please weclome Kilian to the team Take care during these challenging times everyone https://youtu.be/GWx5vZsW3CkTomas  Worked on memory mapping. It allows us to work with very long files and it is also a great way to delegate memory management to operating system.  Continued on the serialization API. It can work with the memory mapping.  Rewritten some of my old code regarding outputs and its limitations.  Updated or added tests for outputs, parse errors, serialization and memory mapping.  Currently working on memory mapping of the bdds' and also mapping of the TML's input. After that will continue to work on builtins required for reimplementing the bot in TML. Andrei  Wishes every well.  Implemented debug continuous integration. This allows us to check every commit automatically (cpp, clang etc. checks) for common problems.  Also made coverage report which tests coverage of code  Working on http models for TML and will integrate it Juan  Background to arithmetic port: following Ohad's recommendations and arrive to improvements to BDD multiplications in terms of performance and execution efficiency.  Approaching support for compound terms for BDDs, but this is a slow process. We tried a boolean transformation of BDD bits which didn't quite work but we learned a lot. Requires more studying and research. Fola  General work with staffing  Kilian joins the team and will be taking over as community manager  We want information we put out to be more consolidated and accessible  We hope to grow the community  Looking at 3 additional hires  Legal side is looking good on the EU side. Looking into the US side. Kilian  Been following Tau since 2016  Invites people in the community to reach out to him regarding questions, ideas etc. Ohad  Dragan continues work with Dynamic bit ordering in BDDs. This can be found in the forks on our github repository  Going over literature about Boolean equations and Boolean inequalities. Boolean inequalities were an open problem until quite recently and I have more to learn here. Lattice equations and congruence relations all play a part under the field universal algebra.  Where things stand with second order logic: Most forms of second order logic in the literature are over infinite universes and therefore not guaranteed to always returns answers. The only way I know right now of solving second order logic over a finite universe is through Boolean equations then employing the resolution method. This is not the cleanest solution. Tables are unique in TML but in second order logic there can be many solutions to an equation. We require partially defined Boolean functions to support tables not explicitly given. Boolean equations store the data implicitly and only at the end do we solve for them to obtain the final result. This provides remarkable performance. Therefore, we need to redesign the internals of TML such that things can be defined using Boolean equations. This also makes it easier to synthesize code. So a search for a better method than the resolution method begins. So instead of doing Boolean algebra over the bits of the data, we want to perform them over congruence relations enhanced with complementation. This will lead to even greater compression of data and immediately support infinite universes and probably compound terms, which will lead us to a generic solver.



5

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: March 03, 2020, 11:47:01 AM

February Tau monthly update video is now out! https://youtu.be/oYRmJqhLp5gIncludes QandA as usual (QandA text summary can be found on our subreddit) Tomas  Adding features which enables a rewrite of the Prototype bot  Initial networking features added so bot can expand beyond IRC. It's now possible to query TML over UDP socket directly, which allows us to run TML as a database or as a backend for execution of TML programs  Continued work on serialization and persistence of Binary Decision Diagrams (BDDs) and TML runtime to allow restarting of a TML database backend without a need to recompress stored data through a textual form which is time and space consuming. Also usable but without memory mapping  Created test runner script for regression testing so we can ensure old features are not broken by new changes. Andrei  Continued work on TML interaction playground relating to how discussions over Alpha client may look like. Showcases how discussions and code work around 2:00 in the video  Discussion tree with mention counters implemented so we can track what's the most frequently mentioned entity in the discussion  Will focus on TML next month  Received friend request from Asen Lalov Juan  Continued on the arithmetic features. Wrapping up the features addressed over the last couple of months  Completing two fundamental sets of operators: General operators (addition, mutiliplication, shift left and shift right) and Over BDDs operators which involved taking two sets of symbols and doing pairwise operations in only those two sets described last month. Successfully tested addition and multiplication as well as bitwise OR and bitwise XOR operators. We just need to complete bitwise NOT set of operators  Also focusing on improving performance and implementation. Also with the help of Ohad, have been analyzing the theoretical combinations of arithmetic operators and its fundamental operations to reach the ideal implementation. Fola  Branding: we have a couple of designers working on a redesign of the logo and website. We're excited with the designs and can't wait to show them to the community once they're finalized  Exchanges: two routes to get on reputable exchanges, either we have a huge community or by first getting listed on smaller exchanges and working up to bigger exchanges. Exchanges ask what other exchanges you're listed on, so for example, to get onto Gate you need to be listed on HitBTC, and to be listed on HitBTC you need to be on Whitebit etc. Which is why we've listed on Whitebit. We really want community feedback on whether you want us to be listed on HitBTC. We value your input here  US exchanges are generally more valuable but also more difficult to get on and will not happen in the immediate future  We also have people with good relationships with exchanges working with us (not sure audio unclear)  Do check out Whitebit, we're had good communication with them so far. Check it out but of course as with any exchange, be cautious with your funds and don't leave them on there longer than necessary  Hirings are taking a little longer than anticipated. Looking at an R+D position right now, and Umar will be joining in an official capacity soon, and looking for a researcher to work with Ohad  Whitepaper is still being worked on Ohad  Dragan finished the difficult challenge of dynamic bit ordering of BDDs. Still need testing and enforcing strong types. Now you will need to associate a type with each variable in TML and thus we'll know how many bits to allocate for each type, potentially saving us exponential amount of time and space. This is a fundamentally big change.  I spent a lot of time studying some rare literature that is very relevant to what we do, especially in the field if Boolean algebra. Basically they're the best methods of logical calculations derived by Bool himself 150 years ago.  Also been trying to discover how to efficiently and soundly support compound terms. One way is to approach this from the world of monodic second order logic and view this as two relations; one of prefixorder equivalence relations and by manipulating these relations you can in turn manipulate compound terms. Another way is to use a specific data structure for terms (strings) which borrow tricks from BDDs. Another way is to enhance BDDs. We can state the problem like this: as you know BDDs represent a set of bit strings (0s and 1s), but we would like to support a set of bit strings that may be arbitrarily grouped with parenthesis in a way that has to align with unification. This also lead me to consider the problem of homomorphism between structures, trying to solve it inside our framework.  As you know TML represents data in BDDs, well apparently there's another level below BDDs of data abstraction which is representing them as Boolean equations. BDDs can be seen as explicit solutions to Boolean equations but before solving them we can state the data in an even more succinct level than it is now. Achieving this in TML will not only lead to increase performance but also the ability to express uncertain data, among other benefits. Will also need to build a library for Boolean equations which will allow us access to more features including second order logic.



7

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: February 01, 2020, 12:56:09 PM

January 2020 monthly dev update video for Tauchain is now out! https://youtu.be/oProG45QeowText Summary: Tomas  Improved TML debugging capabilities which allows step by step debugging  Added ability to see changes in the program made in the database and adding debugging features to the bot. Also will soon allow adding info about database changes and reason about these changes in the program itself, eg setting up breakpoints depending on some change in the database Andrei  Working on TML interaction playground  Supports creating a discussion and replying in English  Automatically creates a discussion tree for every time within the discussion Juan  Continued work on arithmetic support  BDDs multiplication problem mentioned last month was more difficult than expected. We'll soon have a prototype of a working solution better than a direct approach  Gives an example of pairwise multiplication and 1024 bits numbers multiplication over BDDs, reducing exponential complexity Refer to minute 7 of the video for more detailed technical explanation Fola  Legal work mostly done, which enables us to get onto European exchanges. Spoken to many exchanges, narrowing down what would be suitable and valuable for us. We are looking at Bittrex Global as a possibility, which the community has been asking about, among others  Hiring: Hoping to get Umar on board next month, as well as looking for an RND manager  Redesiging website and improve branding  Whitepaper coming together and hopefully ready by mid March Ohad  Dragan continuing work on reording BDDs to make them dynamic  Consensus detection is already working and now we can see an opinion map functioning from Andrei's update. Tomas enhanced the repl  Helping an engineering professor complete the whitepaper  Made some progress on second order logic mainly in adapting from the literature solving boolean equation in full second order logic. I've been considering three things: 1. gives more depth to BDDs and BDDs represent shallow data, a set of string of bits, but what if the bits represent something like a tree? 2. Considering how a generic solver would be like (fwd/bwd propagation based on unification of consequences with premises) which is set theory and is written in this way. So supporting data one step beyond BDDs allows us to get a solver for virtually any theory, especially the decidable theories. 3. Time for us to work on Agoras. We need to create the Agoras team and commence work. Made a major improvement in one of Agoras' aspects in the form of a theoretical breakthrough, but not yet ready to share details publicly yet.



10

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: January 06, 2020, 12:54:44 AM

https://youtu.be/xv84BxQRn1MTau Chain Monthly Video Update for December is out! Text Summary below: Tomas  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. Andrei  Created prototype UI for TML/Alpha https://idni.multilink.cloud/ 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. Juan  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). Fola  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 Ohad  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.



13

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: December 02, 2019, 12:43:54 PM

https://www.youtube.com/watch?v=pGLWW_OU8x4Tau Chain Monthly Video Update for November is out! Text Summary below Tomas  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 Andrei  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 Juan  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 Ohad  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. Fola  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



14

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain 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 https://www.reddit.com/r/tauchain/comments/dpy6sn/october_community_qanda_summary/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?



15

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: November 01, 2019, 01:20:38 AM

Tau Chain October Update Video is now out! https://www.youtube.com/watch?v=vnEAIQtoxxcSummary: Tomas  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 Andrei  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 Juan  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 Fola  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 Ohad  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.



16

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: October 01, 2019, 03:35:10 AM

September Community QandA Written Summary is now out: https://www.reddit.com/r/tauchain/comments/dbnf17/september_qanda_summary/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?



17

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: October 01, 2019, 02:04:32 AM

Tau Chain September Update Video Is Out! https://youtu.be/jpLhuKLjkS4Ohad  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. Tomas  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 Andre  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 Fola  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



20

Alternate cryptocurrencies / Announcements (Altcoins) / Re: TauChain and Agoras Official Thread: Generalized P2P Network

on: September 02, 2019, 01:27:13 PM

August Tauchain Monthly Update Video and Summary https://youtu.be/W86dPdQ5jOkTomas:  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



