Pues ha pegado un buen pepinazo hoy Agoras justo tras la subida de éste video, no sé si dicen algo importante o qué.31 minutos demasiado largo para mi.
Lo mismo de siempre basicamente, aunque han dicho que estan mirando para meterlo en algunos exchanges (chinos)…
RESUMEN VIDEO DE ACTUALIZACIÓN TAUCHAIN SEPTIEMBRE 2019
Original por el usuario de telegram miao-miao: www.reddit.com/r/tauchain/comments/dbmaxo/tau_chain_monthly_update_video_september/
Ohad
-
Dragan completó el soporte para igualdades y desigualdades.
-
Ohad descubrió una forma de comparar enteros en BDD que Dragan implementó
-
Extracción de pruebas completada, incluyendo soporte de negación. Todavía tiene que soportar otras características como igualdades, compulsión de enteros, referencia de tempo en símbolos de relación y análisis de la prueba para el siguiente programa.
-
Contención de la consulta Conjuntiva (CQC) Básica realizada. Todavía debe soportar negación, igualdad y desigualdades. El apoyo de la negación es un reto
-
Se han implementado optimizaciones preliminares relacionadas con el CQC. Todavía no han producido mejoras en el rendimiento. Se necesita más trabajo aquí.
-
7 cosas principales a hacer: soporte aritmético, built ins, términos compuestos, autointerpretación, fórmulas de primer orden, reordenación de BDDs y extracción de árboles.
-
Buscando otro desarrollador TML, desarrollador UI/UX y gerente de QA.
Tomás
-
Actualizado el tratamiento de errores de modo que ya no es necesario salir del programa para verificar los errores.
-
Serialización de la carga binaria de resultados TML
-
Todo funciona excepto un problema sobre la ejecución de TML en el navegador
-
Adición de funciones de descripción y uso de la API de red desde la monitorización
André
-
Construyendo un servidor de mensajería para que los archivos puedan ser intercambiados a través de él.
-
El cifrado y la autorización del certificado se añadirán la próxima semana.
-
Pasar a p2p de forma muy orgánica
Fola
-
Construyendo internamente para que estemos listos para formar asociaciones(partnerships) fuertes
-
2 personas más en fase de prueba
-
Otra empresa manejando el Logotipo
-
Tomar las medidas necesarias para organizar el trabajo en torno a este proyecto en una sola unidad profesional cohesiva y prepararse para la siguiente fase.
-
El Whitepaper está casi listo y se espera que se pueda presentar en un mes.
RESUMEN PREGUNTAS Y RESPUESTAS: September QandA Summary : tauchain
P: ¿Cuál es el progreso hacia la meta final de Ágoras? ¿Por qué el aspecto informático descentralizado de Ágoras es superior a la competencia?
R: Los usuarios decidirán cómo será Ágoras con el tiempo, similar a Tau. Ágoras tiene 3 aspectos principales: Economía del Conocimiento, Mercado de Derivados de interés sin riesgo de inflación (ver último blogpost) que puede llegar muy pronto, y como usted ha mencionado, informática descentralizada. Podemos considerar comenzar con el almacenamiento descentralizado inicialmente y tener esa funcionalidad antes.
Este sistema es superior porque es gobernado directamente por sus usuarios: cada parámetro de este sistema, incluyendo la adición de nuevos parámetros, puede ser implementado y actualizado en tiempo real de acuerdo a las especificaciones de sus usuarios. Esto es escalable para que millones de usuarios puedan tomar una decisión gracias a la tecnología de Tau. También desarrollé una fórmula de precios para el procesamiento de computación que es una ventaja sobre la competencia. La fijación de precios inexactos es en realidad un riesgo para la seguridad si su potencia computacional se compra a un precio demasiado bajo. La determinación de los precios también es fundamental para cualquier sistema económico.
P: ¿Puede Tauchain ser usado por cualquier persona o sólo por programadores?
R: En última instancia, Tau está diseñado para ser utilizado por todo el mundo. Sin embargo, al principio de Alpha, antes de la Internet de Lenguajes, el único idioma será el TML. TML no es un lenguaje de representación de conocimientos y por lo tanto no es conveniente para expresar conocimientos. Con el tiempo, a través de la Internet de Lenguajes, los usuarios podrán definir lenguajes más accesibles a lo largo del tiempo, lo que proporcionará una mejor experiencia de usuario para la gente común.
P: ¿Cómo asignará Ohad su tiempo después de que el TML y la plataforma de discusión sean lanzados? ¿Asistirá Ohad a conferencias para difundir el proyecto?
R: Es difícil de predecir, pero probablemente seguiré investigando e implementando las características lógicas de Tau después del lanzamiento de Alpha. Una vez que el aspecto legal esté resuelto, continuaremos con los esfuerzos de marketing para difundir la palabra de nuestro producto. Sin embargo, la mejor manera de hacer correr la voz es crear los productos que la gente necesite. Algunos de los subproductos de lo que construimos, como una base de datos rápida y un probador de teoremas automatizado, son valiosos para ciertas industrias y haremos todo lo posible para promoverlos.
P: A Cyc le tomó 30 años construir su base de conocimiento. ¿Cuántos usuarios necesitamos para construir el nuestro y cuán hábiles tendrán que ser esos usuarios?
R: Cyc pretende formalizar el conocimiento del sentido común. Este no es un objetivo directo de Tau. El objetivo directo de Tau es ampliar los debates. El conocimiento que importa para una cierta discusión es el conocimiento que aparece dentro de esa discusión.
Tau se centra más en la opinión que en la verdad. Todo sobre Tau es una opinión con la que puedes estar de acuerdo o en desacuerdo. Cyc, por lo que yo sé, no se trata de ayudar a grandes grupos de personas a entenderse entre sí. Se trata de una máquina que acumula conocimientos sobre la vida humana.
Dicho esto, aunque Cyc tardó 30 años en construir su base de conocimientos, tuvo relativamente pocos colaboradores. Tau tendrá a millones de personas participando en las discusiones y el conocimiento se acumulará muchos órdenes de magnitudes más rápido. Además, la mejor manera de formalizar el conocimiento es a través del proceso de discusión que Tau facilita, en lugar de tenerlo dictado en el sistema como en Cyc.
P: ¿Será Oracle* mejor que Tau/Agoras?
*En la transcripción aparece Oracles, asumo que hablan de Oracle, corrijanme si me equivoco.
R: No hay razón por la que Oracle sean superiores a Tau. Por supuesto que Tau puede usar Oracle en el sentido de que puedes tener usuarios expertos en algún campo y puedes confiar automáticamente en sus conocimientos, incluso si no están aprobados por toda la red. Es decir, Oracle sólo confía en una entidad centralizada y podemos tenerlos en Tau también.
P: ¿Cuándo aparecerá Ohad en público? ¿Cuál es la situación de los fondos de la ICO? ¿Cuál es su opinión sobre la plataforma Omni, que es funcional pero no fácil de usar?
R: Tendremos que ver cuándo es el mejor momento y la mejor manera de difundir el mensaje en un futuro próximo.
Los fondos se utilizan para gastos de desarrollo (por ejemplo, todas las nuevas contrataciones), gastos legales y marketing del futuro.
Los tokens del Omni son sólo un marcador de posición. Probablemente implementaremos nuestro propio token AGRS y tendremos ciertas funciones mucho antes de que Tau esté terminado.
P: ¿Existen más propósitos e incentivos para tener AGRS? ¿La plataforma aceptará únicamente el pago en AGRS? Esto puede ser ineficiente ya que tendrá que transferir el fiat a Bitcoin y Bitcoin a AGRS, etc. ¿Recibiremos un artículo de Agoras?
R: Actualmente, los AGRS son sólo marcadores de posición para marcar las existencias para futuras cuentas de AGRS. Estamos contemplando la posibilidad de pasar antes a una moneda dedicada con características parciales antes de que Tau esté completo.
Desarrollaremos una plataforma que trabaje exclusivamente con Ágoras. Los usuarios son libres de crear sus propios tokens bajo nuestro sistema.
P: ¿Cómo se alcanzará el consenso inicialmente si los usuarios están discutiendo qué métodos adoptar para alcanzar el consenso?
R: Buena pregunta. Una forma es intentar llegar a un acuerdo unánime sobre un conjunto inicial de normas. Si esto no se puede hacer en la práctica, tendremos que llegar a la comunidad a través de los medios tradicionales (foros, etc.) para tratar de converger hacia un conjunto inicial de reglas de gobierno.
P: En cuanto al blogpost de consenso y opciones (Intelligent Decentralized Networks Initiatives - Consensus and options), ¿cuáles son sus dificultades para integrar soluciones de capa 2 para la escalabilidad si también existe una bolsa de activos de derivados?
R: Buena pregunta, todavía no he pensado lo suficiente en esto hasta ahora. Lo haremos a su debido tiempo.
Extraido del Telegram:
Is he progressing?
Yes. From the initial design, he discovered PFP (Support for decidability and self reference in PSPACE), BDD data structure (efficient negation), and had it all implemented. Converging towards this initial implementation took a very long time with many false starts (Earley parser, DNF etc.), but he finally discovered BDDs and have performance at a very competitive level even at this early stage.
Negation then took quite a bit of time but that’s supported now too, along with some other features like proof extraction and arithmetic.
The biggest hurdle right now is second order logic, which Ohad discovered he likely requires for the major optimization he was trying to implement (conjunctive query containment). Second order logic, as described my Ohad, is likely the single most significant feature to date, and perhaps for the entire project. Last I heard he’s found some pretty helpful approaches buried deep within the lit that could lead the way.
There are a few other features after 2nd order logic and CQC for TML, some are minor, some more challenging, but none should be as difficult as how far we’ve come.
Donde se pueden comprar agora tokens?
De momento:
Tomas
-
Se ha creado un bot para IRC-TML, permitiendo a múltiples usuarios utilizar TML en el chat, crear bases de datos, encontrar intersecciones con otras bases de datos (detección de consenso). Entiende los comandos en el propio TML, actuando como un REPL que puede ser simplemente ampliado con una interfaz de usuario o integrado en otro software.
-
Siendo "TML bot"el primer programa real escrito en TML es un prototipo, por lo que delega algunas actividades a los scripts del sistema. Dragan Juan y Tomas moverán la funcionalidad de los scripts de sistema a TML.
-
Desean que el bot sea actualizable por los usuarios. Esto implica poner el código fuente en la base de datos, de modo que cuando ésta se altere el programa cambie. Este proceso de actualización de código colaborativo nos permitirá crear Alpha juntos.
Andrei
-
Creó un prototipo de interfaz de usuario para TML/Alpha https://idni.multilink.cloud/
-
Permite discusiones en TML, discusiones en inglés en lenguaje natural, listas de amigos, etc.
-
Traduce automáticamente las declaraciones en inglés a lógica TML y sube las subclases relevantes. Esta funcionalidad debería mejorar en precisión con el tiempo.
-
Esta interfaz de usuario es tentativa, por supuesto, un experto en interfaz de usuario será eventualmente contratado.
-
La opinión sobre las opiniones también será apoyada en algún momento en el futuro.
-
También hay un bot de análisis de sentimientos y detección de entidades en el telegrama/IRC que nos ayudará a entender mejor la lógica.
Juan
- Trabajó en el soporte aritmético de TML. Función aritmética no sólo sobre símbolos universales sino específicamente sobre subconjuntos, lo que la hará más eficiente. Por ejemplo, si tenemos dos subconjuntos {0 2} {1 3} y queremos aplicar el operador de suma, (0+1, 0+3, 2+1, 2+3), termina en un subconjunto C {3 5 1}. Esto fue implementado sobre BDDs en operaciones bitwise para la adición y están muy cerca de completarlo para la multiplicación (en los próximos días).
Fola
-
Se han hecho progresos significativos en el aspecto jurídico. En espera de una declaración pública de los abogados al respecto, que se espera que llegue muy pronto. Esto revelará lo que se ha hecho en el aspecto legal durante los últimos meses.
-
Actualmente se están leyendo los borradores del libro blanco, que esperamos que estén listos para su publicación muy pronto.
Ohad
-
Ya podemos imaginar el poder del bot IRC (TML bot) de Tomas siendo implementado en una UI como la que Andrei nos mostró. Esto contribuiría en gran medida a hacer nuestra tecnología más accesible a las masas. Por supuesto, permitir el uso de lenguajes naturales también lo hará mucho más fácil, ya que los usuarios no tendrán que expresarse en una lógica formal.
-
Estamos orgullosos de haber alcanzado el hito de la detección de consenso de trabajo en 2019 =)
-
Después de que Umar creara un analizador para lógica de primer y segundo orden, implementó la transformación de fórmulas a Linux en forma normal conjunta. La próxima tarea de Umar será trabajar en la capacidad de análisis sin contexto en TML, un campo en el que es un experto.
-
Dragan mejoró más el soporte integrado que ya habíamos hecho y está trabajando en un cambio fundamental en TML: la flexibilidad en el cambio de orden de los bits dentro de las BDD. Con los bits dinámicos, podemos soportar tipos y todo será más intuitivo, por ejemplo, cuando no dices algo, puedes asociarlo con otra cosa. Esta característica también ayudará con el rendimiento, ya que sin ella ahora mismo, usamos más bits de los que realmente necesitamos, lo que significa BDDs exponencialmente más grandes.
-
Ohad continua investigando la lógica de segundo orden y está considerando la posibilidad de utilizar la reflexión. La reflexión es un concepto importante en los lenguajes de programación en general, pero en el TML reflejar los datos internos del intérprete sería reflejar las BDDs.
-
Las máquinas de Turing y muchos otros modelos de computación como la Máquina de Acceso Aleatorio son infinitas por definición y por lo tanto no son realizables ya que nuestros ordenadores físicos no tienen una memoria infinita.
Ahora bien, si tomamos una máquina de Turing o de acceso aleatorio de este tipo y la limitamos a una cantidad fija de memoria, entonces, en primer lugar, los oyentes intrigados pueden pensar en por qué el problema del halting de estas máquinas es decidible. En segundo lugar, ejecutar una máquina de este tipo es una tarea en PSPACE y, por tanto, doble directamente en TML. Porque la máquina de Turing o la máquina de acceso aleatorio o el autómata son básicamente sólo relaciones de transición que no son más que relaciones de 4 arity o 5 arity.
Esto significa que la simulación de una máquina con memoria constante puede hacerse en TML ahora mismo. Una vez que tenemos la lógica de segundo orden podemos sintetizar programas a partir de los requerimientos. Pero simular incluso un lenguaje ensamblador, siempre que tenga memoria fija, puede hacerse en TML ahora mismo.
Esto tiene una enorme implicación: esto significa que podemos tomar cualquier programa en cualquier lenguaje y compilarlo en TML, mientras que no será equivalente al programa original, el punto de equivalencia nunca será prácticamente visible porque lo será exactamente cuando nos quedemos sin memoria. Por eso podemos compilar los sistemas operativos o incluso el propio TML de esta forma automática con la que podemos hacer algo convirtiendo código máquina arbitrario a TML.
- También hemos estado pensando en incentivos o mecanismos de juego para animar a los usuarios a participar en el alfa y/o formalizar el conocimiento, así que Ohad esta jugando con la idea de una plataforma de debate incentivada por el sistema de puntos, que no es más que una generalización de la plataforma de debate, ya que una discusión es sólo un debate con ganadores y perdedores.
Carlos Nada, [06.01.20 07:49]
Ohad: no hay ningún servidor actual para el Alpha. Habrá un servidor temporal que no hará ningún tipo de procesamiento, sino que sólo enrutará mensajes entre clientes, lo que asegura que no sufrirá cuellos de botella y será fácilmente escalable. Pero sí es temporal porque nuestro objetivo final es, por supuesto, una red p2p totalmente descentralizada.
P: ¿Cuál estima que es el mínimo número de usuarios que necesitaremos para beneficiarnos de las funcionalidades de Alpha? ¿Cuántos usuarios necesitamos antes de que Alpha Tau se vuelva más interesante que un foro típico?
Ohad: Por supuesto que no lo sé con certeza, pero podemos usar Wikipedia como referencia. La mayoría de la gente no contribuye a escribir artículos en Wikipedia, sin embargo, ésta creció de un puñado de personas a uno de los sitios web más grandes de Internet. Así que tal vez podemos esperar algo similar con Tau.
P: ¿Alguna predicción sobre lo que la IA será capaz de crear una vez que el TML y la computación cuántica estén completamente desarrollados?
Ohad: Eso es lo que todos llaman la singularidad tecnológica. Por definición, está más allá de nuestra imaginación porque se trata de una IA que está muchos niveles por encima de nosotros, por lo que no podemos predecir lo que podría hacer.
P: En el chat se dice que para que el TML pueda ser usado para la programación, necesita la capacidad de llamar a procedimientos ejecutables, ¿será eso posible?
Parece tan interesante y entiendo tan poco de este proyecto… 
https://www.tauchainfans.com/Blog/General/
Ayer se inauguró la web para fans de Tauchain.
A qué se debe el petardazo de hoy?