Karim:
Agoras Live:
Five functionalities complete:
1. Registration
2. Login
3. User Profile Page
4. Calendar
5. Categories List
6. Wallet Screen
Payments: Decided that implementing lightning would be too complex. Instead, we decided to implement our own micropayment mechanism using the native BTC multisig addresses. We are going to use the Omni wallet for payments.
TML:
Continued debugging, getting a TML demo and test cases ready.
Hiring:
More hiring efforts to increase team size.
Timelines:
Committing ourselves to a release of Agoras Live and a basic version of discussions in TML in 2020.
Umar:
Been working on making improvements to the context free grammar parsing. We now are able to add constraints to productions in the grammar, allowing us to recognize grammars that are context sensitive.
Developed test cases for that, too.
Tomas:
Fixed issues in TML and ran several steps in a TML program. Now adding more tests to make sure everything is stable and won’t break. Also been working on a TML tutorial, a recorded script based on the intro to TML which was contained in the TML Playground. Also new features are going to be covered such as arithmetics.
Kilian:
More outreach & follow-ups to potential partner universities. Positive response by a professor based in Toronto, presented to him our project. Also, response by KULeuven, Belgium, who unfortunately don’t see a good fit in our project.
We’ve had one applicant for the IDNI Grant program and currently are evaluating his proposal. Also, we’ve had an applicant from Bangalore, India for the IDNI Ambassador program and we also have been discussing his proposal.
Translation Bounties: We’ve had the blog post “The New Tau” translated to Chinese and have been reviewing the translation. We are going to publish the translation on our website and on the Bitcointalk Chinese forum section. Still to be claimed: German translation of “The New Tau”.
Done more effort on reach out to potential tribe channels: Research groups, LinkedIn groups, Facebook groups. Most represented keywords: Complex Adaptive Systems, NLP, Computational Linguistics. Usual feedback: Likes but no further interaction.
Created an FAQ answering all possible questions surrounding IDNI, Tau & Agoras
Idea: Hosting a virtual panel to spread the word about our project among the scientific community, as well as to create some visual content for our community. Two professors are interested in participating, one from Argentina with a focus in semantic parsing, the other one from the University of Washington with a focus on human-computer interaction and social computing. First step: organizing a pre-panel discussion where in 1on1 calls with the professors we get an opinion of them about what we are doing.
Andrei:
Agoras Live:
Implemented mail system so users now get their mails (e.g. registration email).
Improved UX together with Mo’az, e.g. user profiles.
Token creation for accessing calls to identify and charge users.
Customized Jitsi interface to suit our needs: E.g. display of how much time passed in a call and how much it costs.
Next up: Further improve UX; make sure everything works as intended.
Mo’az:
Almost finished the IDNI website.
Added two more pages: Events & Bounties in collaboration with Fola & Kilian.
Agoras Live:
Finetuned all the website’s components in collaboration with Andrei.
Juan:
Continued working on the payments system for Agoras Live. Had some delays due to the complexity of debugging such applications. Still, we made significant progress and got the funding transactions implemented over the Lightning network through the Omni layer. Spent time analyzing the minimum amount of BTC to pay for the fees associated to the Omni transactions. We aren’t using segregated witness native addresses and instead are using embedded segregated witness. So transaction sizes are enlarged and transaction fees are a bit higher. So there is a bit of finetuning analysis needed in order to enable the multisig address to pay for the closing & refund transactions. So to provide payment channels over the Omni layer, the main remaining technical detail we have to solve at this point is the closing transaction & the refund transaction.
Fola:
Have been continuing to look for great talent in different areas.
Continued working on website with Mo’az and Kilian.
Been working on the branding for Tau & Agoras. Been getting external support to make sure the branding for Tau & Agoras will be as professional as it can be.
Working on marketing efforts needed for the release of Agoras Live to get the media pack for marketing ready.
Working together with external people to put a plan together for listing the Agoras token on more prominent exchanges as we get closer to release of Agoras Live.
Ohad:
Continued working on restricted versions of second-order logic to understand how to implement them. There is a translation in the literature about how to convert second-order logic by Horn into Datalog. Also, I have been revisiting papers that deal with descriptive complexity of higher-order logic. They mention that they have a translation from second-order logic to QBF. I wasn’t able to find where they explain this translation but I wrote one of them and he said he will send me the paper. If so, that will be very good because we already have a QBF solver. Any binary decision diagram is already a QBF solver, so we can just translate arbitrary second-order logic formulas into QBF. This will be very helpful for us to implement second-order logic. Also, those papers mention several aspects that are relevant for self-interpretation, the laws of laws. Apparently, they suggest that certain fragments of higher-order logic may also support the laws of laws. But this is part of the papers that I didn’t have access to, so I have to wait to get further clarification. I also pushed the whitepaper significantly this month and hope we will be finishing it soon. Also, I was thinking about some optimizations for the parser and also was looking into the Lightning network. It was my mistake that I haven’t done so beforehand and if I had done it beforehand, I would have understood earlier, that Lightning is too much. It is too drastic of a change to how traditional payments work and there apparently is no reason to believe that it is secure. So I’m glad I discovered better now than later that it’s not something we’d like to rely on, although we can have it as an optional feature.
Q&A:
Q: With the project development taking longer than other projects such as Tezos, when can AGRS holders expect something to be released and, how can you reassure us that we made the right decision?
A: With regards to when we see some releases, it seems that we will see some releases in 2020.
For comparing to Ethereum and Tezos: Let’s first talk about funding. Both projects had a lot of money. For Ethereum, the reason for is that it has probably done one of the most aggressive marketing campaigns in history. It was completely lacking any kind of honesty. It was simply aggressive. None of Ethereum’s visions and promises became true. It simply became an insecure platform for scams. None of their vision of creating a world computer, of creating a better society, a better currency, became true. Because of this aggressive marketing, they not only raised a lot of money, they also took the price to be so high in the market. If you remember the campaign of the flipping, they did a whole campaign on how they would overtake the marketcap of Bitcoin. For Tezos, they made maybe the largest ICO in history in terms of money, mainly because they came at the right time, at the top of the bubble in 2017, and also their promises for better coordination didn’t come true. Their solution is based on voting and based on Turing completeness and the only reason why they managed to gain such a market cap as of today, is not because they offer better currency, better society, better anything. It basically is a Ponzi-scheme because they offer very high interest rate by very high inflation (5,51%). The only reason why people by Tezos is to get into this Ponzi-scheme. Because both Tezos and Ethereum lack any true economical or technological substance, their value will not sustain and this is true for almost all projects in the cryptocurrency world. In the software, high-tech market, if you come up with good tech and you do all the right things, you succeed big time. But if you don’t have it and you are purely relying on brainwashing people, it will not sustain. Of course, our solution is so disruptive and sustainable. We offer to do advancements for humanity and for economy.
Q: What three subjects would you first like to see discussed on Tau?
A: Of course, picking three subjects now is a bit speculative, but the first thing that comes to mind is the definitions of what good and bad means and what better and worse means. The second subject is the governance model over Tau. The third one is the specification of Tau itself and how to make it grow and evolve even more to suit wider audiences. The whole point of Tau is people collaborating in order to define Tau itself and to improve it over time, so it will improve up to infinity. This is the main thing, especially initially, that the Tau developers (or rather users) advance the platform more and more.
Q: What is stopping programmers using TML right now? If nothing, what is your opinion on why they aren’t?
A: There is nothing essentially missing in TML in order to let it release. And in fact, we are now working towards packaging it and bringing it towards a release level. For things like documentation, bug fixes, minor features, minor optimizations. We indeed actively work towards releasing TML 1.0 and then we can publish it in e.g. developers channels for them to use it.