Agoras - mercado inteligente descentralizado - Tau Chain


#219

https://bravenewcoin.com/data-and-charts/assets/AGRS/markets


#220

18:53 < Ittouch> Hola Ohad
18:54 < Ittouch> ¿Cómo ves la fase de prueba?
18:54 < Ittouch> ¿Será restringido a algunas personas al principio o será público?
18:56 < naturalog> necesito hacer muchas pruebas preliminares, para hacer que funcione realmente
18:56 < naturalog> pero cuando empiece a funcionar todos podrán jugar con él
18:56 < Ittouch> Ok
18:56 < naturalog> pero tml estará “listo para funcionar” sólo después del segundo hito, que incluirá también mejoras en el idioma
18:57 < Ittouch> Me imagino que para que las pruebas sean relevantes, se requiere un poco de conocimiento de cómo funciona el TML. De lo contrario, la retroalimentación no será pertinente…
18:57 < naturalog> casi termino de escribir el código (98% es un número bastante preciso), pero cuando termine, tengo que ejecutarlo y ver que realmente funciona, y por supuesto no lo hará, y tendré que arreglar todos los bugs.
18:58 < naturalog> lo más probable es que no tarde más de unos días en hacerlo funcionar
18:59 < Ittouch> Creo que la mayoría de la gente no sabrá cómo ejecutar la demo o usar el TML. ¿Planeas hacer algunas instrucciones/ejemplo a lo largo de la próxima publicación?
18:59 < naturalog> seguro, nadie se quedará atrás
19:02 < Ittouch> Sí, siento que TML es un lenguaje poderoso, pero tan complejo de entender que no sabemos exactamente qué esperar…
19:03 < naturalog> es un lenguaje muy simple, su poder se verá comparando su rendimiento con el de los solucionadores existentes.
19:04 < Ittouch> Dijiste que el TML estará “listo para salir” después de la implementación de las proyecciones de futamura
19:04 < naturalog> sí indirectamente
19:05 < naturalog> el tml para usar, es tml escrito en tml
19:05 < naturalog> que también será mejor que el primero
19:05 < naturalog> así que todo lo que hice ahora en cpp tendré que hacerlo de nuevo en tml
19:07 < Ittouch> No veo claramente cómo la evaluación parcial afecta la capacidad de TML como solucionador. ¿Cómo aumentará su poder?
19:07 < naturalog> ver proyecciones de futamura
19:08 < naturalog> Partial evaluation - Wikipedia
19:08 < naturalog> y al mejorar su poder quise decir que agregaremos características de lenguaje, no quise decir que futamura lo mejorará, aunque también es cierto

19:08 < naturalog> tml sobre tml paradójicamente correrá más rápido en muchos casos
19:09 < naturalog> puedo decir esto con certeza gracias al enfoque bdd
19:09 < naturalog> puede ser más lento para tareas pequeñas pero debe ser más rápido para tareas grandes
19:10 < naturalog> a menos que sean altamente aleatorios
19:10 < naturalog> por ejemplo la parte de parser de tml es mejor hacerla en la auto-interpretación
19:11 < naturalog> ejemplo de las mejoras quise decir
19:11 < naturalog> el “primer” tml sólo está destinado a alcanzar tml sobre tml, no se supone que sea cómodo
19:12 < naturalog> tml sobre tml puede verse diferente
19:12 < naturalog> la misma lógica puede tener muchas sintaxis
19:12 < naturalog> tml sobre tml no debe conservar la sintaxis original, puede mejorarla
19:24 < Ittouch> OK, así que PE mejora el rendimiento y expande el alcance del solucionador, es así?
19:25 < Ittouch> ¿a qué te refieres con características de lenguaje? es esta la habilidad de definir lenguajes sobre TML?
19:26 < Ittouch> y así usar un idioma para comunicarse con otro?
19:27 < naturalog> para definir nuevas langs puede hacer sobre el primer tml ya, sólo que no será tan cómodo
19:27 < naturalog> primero es mejor definir el tml mismo
19:28 < naturalog> sobre el primer tml
19:35 < Ittouch> Una pregunta más: por lo que entiendo, PE permite redefinir TML.
19:35 < Ittouch> Pronto habrá el “primer” TML, el “segundo” a finales de año con la proyección de futamura
19:36 < Ittouch> y luego podemos hacer un “tercero”, un “cuarto”, …
19:36 < Ittouch> ¿quién podrá (o quién decidirá) cómo y cuándo redefiniremos el TML?
19:37 < naturalog> tml no es especial, se puede elegir cualquier otro lang
19:37 < Ittouch> como el Alfa viene el 2º semestre de 2019, me imagino que serás el único que puede hacer eso
19:37 < naturalog> puedes elegir cualquier lenguaje definido sobre tml mientras que tml también está definido sobre tml
19:38 < Ittouch> porque no podemos llegar a un consenso sin el alfa…
19:39 < naturalog> la elección de lenguaje no importa, ese es el punto con tml
19:39 < Ittouch> Así que, incluso si se define un nuevo TLM, puede coexistir con una versión anterior del mismo?
19:39 < naturalog> por supuesto
19:39 < Ittouch> Oh ok. Tienes razón, ahora veo el panorama completo.

19:51 < Ittouch> TML mejorará continuamente con el tiempo
19:51 < naturalog> sí como en el blogpost “el nuevo tau” los 3 postulados


#221

#222

VENDRÁ PRONTO LA DEMO? TAU METALENGUAJE EN C++ ACTUALIZADO EN GITHUB.
por kevinwong

Impresionante diseño de promoción visual de @capitanart para mi único proyecto favorito además de Steem. Tau por la victoria! Puede sonar demasiado dramático, pero la vida nunca ha sido la misma desde que me encontré con la siguiente declaración el 31 de diciembre de 2017:-

"Considere un proceso, llamado X, de personas, formando y siguiendo otro proceso llamado Y. Tau es el caso donde X=Y."
por Ohad Asor, The New Tau

Saluda a nuestro amiguito de arriba. Es la fórmula de las redes inteligentes descentralizadas. Realmente me gustaría escribir sobre esto día y noche, pero es difícil hablar de algo sin un producto para inspeccionar. En cualquier caso, sigue siendo muy real en mi cabeza porque se ha demostrado que es una posibilidad técnica. ¿Es este el protocolo alfa, el e=mc2 de la tecnología de la cadena de bloques?

Buenas noticias: hay algo que mostrar pronto. Parece que el lanzamiento de MVP está en el horizonte. El nuevo código acaba de salir en GitHub - IDNI/tau: Tau-Chain. El autor, Ohad Asor también comentó que “el código está escrito. Ahora tengo que arreglar sus errores”.

Con sólo 384 líneas de código C++, ¿qué podría demostrar? Si esta es la primera vez que se utiliza el Tau Meta Language (TML), sería necesario reescribirlo en el propio TML (*) para la siguiente etapa significativa de desarrollo. Por el momento, tal vez quieras leer sobre lo siguiente si estás interesado:-

1. Diagrama de decisión binario: Diagrama de decisión binario - Wikipedia, la enciclopedia libre
2. Problema de satisfacibilidad booleana: Problema de satisfacibilidad booleana - Wikipedia, la enciclopedia libre
3. First order partial-fixed point logics: https://en.wikipedia.org/wiki/FO_(complejidad)
4. Evaluación parcial: Partial evaluation - Wikipedia FO (complexity) - Wikipedia
5. Teoremas de incompletitud de Gödel: Teoremas de incompletitud de Gödel - Wikipedia, la enciclopedia libre
6. The Paradox of Self-Amendment by Peter Suber: https://dash.harvard.edu/bitstream/handle/1/23674879/Suber%20-%20Paradox%20of%20Self-Amendment%202.pdf?sequence=1
7. Decidibilidad: Decidibilidad - Wikipedia, la enciclopedia libre
8. Auto-referencia: Autorreferencia - Wikipedia, la enciclopedia libre
9. Negación: Negación lógica - Wikipedia, la enciclopedia libre
10. Sitio web de IDNI / Tau / Agoras: Intelligent Decentralized Networks Initiatives - Blog

Manténgase en sintonía.

Honestamente, no sé qué esperar en este momento. Todo lo que sé es que nunca antes había estado tan emocionado. Muy bien, tiempo para atender algunas obligaciones de la vida antes de volver a escribir sobre el desarrollo de Tau. Como siempre, gracias por leer!

Descargo de responsabilidad: No es asesoramiento financiero.


(*) Ya se explicó en el grupo que primero la demo funcionará con el TML escrito en C++, luego vendrá TML escrito en TML, los comentarios en este artículo lo aclaran bastante bien.


#223

Hace días que Ohad no habla en IRC, entonces aprovecho para recordar algunas frases sobre el funcionamiento de Tau y la ambiciosa visión de Ohad:

  • “there is no universal language therefore we come up with a metalanguage that can redefine itself”
  • “all turing complete languages can redefine themselves but very rare non-turing-complete besides we’re not about coming up with programming language or even a knowledge representation language but a language to define laguanges to the extent it can redefine itself”
  • “you can create a team where people can only speak about things relevant to a set of questions”
  • “but ofc they cannot promise our promises without decidability”
  • “you didnt get familiar yet with what the new tau is about, but once you will, you’ll see that no one ever dream of giving the same promises.”
  • “the new tau promise promises that no one in history gave”
  • “we’re here to actually take over the world, this is not a drill”

#224

Tauchain: La Computadora Socialmente Dispersa introducida como una Red Social?

Por Dana Edwards

Original en inglés: Tauchain: The Social Dispersed Computer introduced as a Social Network? — Steemit

Previo: The Paradigm of Social Dispersed Computing and the Utility of Agoras — Steemit

¿Cómo podría funcionar un sistema operativo Tau a través de un ordenador social disperso en Tau?

Sabemos por tauchain.org que la primera iteración de Tau es ser una plataforma de discusión no muy diferente de Facebook. Por supuesto, esto sería simplemente la parte frontal o la “cara” de lo que podría evolucionar tras bastidores hacia un ordenador social disperso completo con un sistema operativo disperso. Los recursos tienen que ser administrados y un kernel podría proveer esto de una manera no muy diferente a lo que vemos con EOS. El token Agoras o AGRS representa específicamente “recursos”, ya que es el token de recursos para cualquier aplicación que Tauchain utilice.

TML proporciona la base a partir de la cual se pueden crear los lenguajes necesarios para producir una computadora de sistema operativo disperso. Zennet tiene incluso un algoritmo en el que el propio Ohad ha trabajado para calcular las necesidades de recursos. Todas las mentes podrán contribuir a los recursos computacionales (al menos en teoría) de Tauchain.

Debido a Zennet puede que de hecho no haya un límite a la cantidad de recursos computacionales que podríamos lanzar al superordenador. Dependerá, por supuesto, de la gestión de recursos, que es donde un kernel probablemente entra en juego porque cualquier aplicación inteligente construida para ejecutarse en Tau tendrá que pedir recursos. La gestión de recursos es una de las funciones centrales de un kernel y de un sistema operativo, por lo que creo que es probable que Tauchain tenga uno. Creo que la ruta Ethereum muestra problemas con la escalabilidad, ya que las aplicaciones también tienen que competir por los recursos de una manera en la que la red no puede autogestionarse. Cryptokitties, por ejemplo, puede hacer que toda la red Ethereum quede rezagada y, si se trata de un ordenador, podría significar que una aplicación sin sentido podría interrumpir aplicaciones más críticas.

Un buen ejemplo de una aplicación inteligente potencial para Tauchain

Un ejemplo (que puede o no ser factible) es una aplicación de salud y acondicionamiento físico. En teoría, la aplicación podría permitir a cualquier usuario proporcionar datos como información genética, resultados de análisis de sangre, seguimiento del ejercicio, presión arterial, azúcar en sangre y cualquier otra cosa. Todo esto podría proporcionar un circuito de retroalimentación al paciente sobre cómo mejorar su salud con el tiempo basado en el conocimiento de Tau. A medida que la tecnología mejore, los usuarios podrán añadir más dispositivos para proporcionar más datos y obtener un mejor circuito de retroalimentación. A medida que la tecnología evoluciona, se pueden añadir FGPAs para satisfacer la demanda de cálculos y también se puede alquilar almacenamiento.

Un sistema operativo podría dar prioridad a este tipo de aplicaciones equilibrando la carga de los recursos. ¿Cómo podría Tau hacer esto? Tau podría aprender la moral, las ramificaciones legales y el consenso de que las aplicaciones relacionadas con la salud merecen un acceso premium a los recursos porque pueden salvar vidas.


#225

Karov habla sobre los problemas en la regulación de criptomonedas.

El cumplimiento tiene una complejidad astronómicamente mayor que la legislación.

Por lo tanto, es inmensamente más fácil redactar leyes que utilizarlas.

Habla sobre RegTech (tecnología regulatoria):

A riesgo de parecer demasiado simple, RegTech es más o menos lo que dice en el envase: el uso de nuevas tecnologías para facilitar el cumplimiento de los requisitos reglamentarios. O, en otras palabras, RegTech es una tecnología que busca proporcionar soluciones reguladoras “ágiles, configurables, fáciles de integrar, fiables, seguras y rentables” (Deloitte).’’

Y muestra las mejoras que podría agregar Tau:

Reguladores = autómatas?

Reglamentación-cumplimiento: un único proceso automatizado?

Una ley inteligente. Escrita y ejecutada en un lenguaje decidible.


Para que la ley se convierta en ley, debe convertirse en manos libres.
No son los humanos los que leen las leyes, sino las leyes las que leen las leyes.
“La tecnología que permite que se vea a la distancia de un brazo.”


#226

#227

Ohad conversa mucho en IRC sobre análisis de fourier y su aplicaciones, y hoy, casualmente o no, el señor José Alfonso lo explica muy bien en su canal:

# ¡¡¡ VISUALIZANDO ANALISIS DE FOURIER, VORTICIALMENTE !!!

Las ideas de Ohad sobre Fourier se me hacían incomprensibles, ahora lo veo un poco más claro, se me hace que Don José Alfonso aún sigue a Tau.


#228

SON TODOS LOS CUERVOS NEGROS ?

Cuántos cuervos tenemos que observar para poder responder a esa pregunta? Tau no utiliza aproximaciones y tampoco asume una distribucion normal, asi que la respuesta de tau sería: nunca sabremos si todos los cuervos son negros o si las manzanas siempre caeran hacia abajo. Entonces, la forma en que representará Tau el conocimiento o la forma que tendrá una sentencia verdadera es algo que no puedo imaginar, seguimos esperando.

Algunos videos en español para sumar al rompecabezas de Tau:

  1. El video es una explicación de la paradoja del cuervo que tanto menciona Ohad, adelanto:
    cada vez que vemos una manzana verde, es más probable que todos los cuervos sean negros.

  2. Habla sobre la teoría del conocimiento de Hume, que creo es acorde con la filosofía tras Tau, aunque en el log solo se le menciona brevemente una vez.

  3. Todas la falacias están relacionadas con Tau, este video muestra cinco, pero la primera en particular explica algo que Ohad comentó: Información no es igual a conocimiento (desafortunadamente no tengo a la mano la cita exacta).




#229

El usuario Tomas Klapka de telegran a creado un sitio que intenta explicar el funcionamiento de TML, cualquiera puede editarlo y aportar, el software aun no está completo, el debuggin continúa.

Primeros ejemplos de tml:

https://pad.pirati.cz/p/tml-first-examples


Hola, no puedo agregar más de 3 respuestas seguidas, si otros usuarios no postean, espero puedan leer lo siguiente, es interesante:

Aqui Craight Wright, hace algunos comentarios sobre TAU en su blog:

Las entidades rivales aún no están plenamente aceptadas en el mercado y utilizan criptomonedas nuevas y menos desarrolladas. El DAO fue construido en Etheruem pero fue hackeado. Zennet nunca despegó y fue reemplazado por Tau-chain. Por el contrario, bitcoin está mucho más firmemente establecido y, por lo tanto, proporciona una plataforma más estable y fiable para las próximas tecnologías basadas en Blockchain.


#230

En Telegram: a la pregunta de SysD “Hi ohadasor ! How is it going with the implementation of negation? Not to mention the delay, are you facing unforeseen difficulties or are you mainly in an optimization phase? Thank you!”

Respuesta traducida de Ohad:
No me enfrento a ninguna dificultad imprevista, es muy difícil hacer las cosas bien, rastrear y poner todos los bits en su lugar, especialmente en esta configuración más complicada de bdd , pero lo lograremos. La optimización también debería ser aún menos trivial, pero se puede hacer con el tiempo, no tiene que estar totalmente optimizada en este momento


#231

La negación comienza a funcionar:
Ohad
19:55:00 naturalog | last commit: negation begins to work
19:56:35 naturalog | negation in bodies, still have to debug negation in heads (deletion)
20:11:57 naturalog | hmm negation in heads also seems to work
20:12:37 naturalog | i’ll commit the example
20:13:09 naturalog | need to fix the unsat condition


#232

[14:50] hey it works amazingly fast now!
[14:51] dmiles: i think it’s better than xsb!

[14:52] it runs in less than 4 seconds on my computer
[14:52] i think xsb couldnt handle more than 400 vertices and it took it long minutes
[14:52] dmiles: do i remember correctly?
[14:53] hmm wait maybe i have a bug
[14:53] suspiciously too little steps

[14:59] how XSB actualyl works is by keeping its agenda in a tries database… so tha tit notices when it is going to start work on something tha tis going to end up redundant
[15:00] just that alone should 2-4x it again :stuck_out_tongue:
[15:05] no bug, it works!!!
[15:05] just made a comprehensive diff according to a generated result of the 1000 nodes tc
[15:05] no diff
[15:05] 3.7 sec!!
[15:05] we smashed xsb :slight_smile:


#233

<naturalog> we actually got now the fastest datalog in history


#234

Nuevo Exchange:
https://www.chaoex.info/home

Will open agrs trading at Feb 20


#235

¿Cómo veis el proyecto los que estáis dentro, va avanzando? ¿Lo veis factible? ¿Creéis que a Ohad le quedan fuerzas?


#236

Yo estoy desde Marzo 2017,personalmente creo totalmente en el proyecto,Ohad esta depurando el TML,ya ha solucionado la negación y ahora esta con la velocidad.No tengo ninguna duda con las capacidades de Ohad,es un proyecto innovador y disruptor, y por ello tiene que lidiar con muchos imprevistos (antes de hacer funcionar la negación el analizador era 4 veces más rápido que el de Oracle).No soy ningún experto, pero este proyecto no es de copia y pega y por lo que voy siguiendo,Ohad no es el típico dev que vende marketing, primero el producto.Cumplirá.IMHO.


#237

Parece que Ohad ha adelantado, dejó trabajando la negación y mantiene la velocidad, eliminó la memoización, al parecer es tan eficiente que esta técnica lo ralentiza, el siguiente paso sería corregir errores menores y agregar el analizador sintáctico.
Memoizacion significa que almacena los resultados de los cálculos para que luego pueda ahorrar tiempo al utilizar el resultado de los cálculos anteriores.
En este caso, el cómputo es más rápido que buscar el resultado almacenado, por lo que no tiene sentido usarlo.

<naturalog: fixed, same speed, and negation seems to work
all without memoization, crazy. im not aware of a single bdd impl without memoizatoin
it should be good news, things are so efficient that even memoization is more expensive, i.e. faster to recompute than to lookup previous computation.
can implement assembly language using tml with unprecedented speed, emulating operations in memory
next big task after finishing all bugs is to enhance tml with parser


#238

Resumen de lo acontecido hasta la fecha,por Miao Miao (angel investor):
El diseño de TML requiere que sea decidible, autodefinido y compatible con la negación no estratificada. Esto no es solo un esfuerzo aleatorio para combinar la jerga técnica con un sonido genial:

Las bases de conocimiento son tan efectivas como su capacidad para determinar cada consulta expresable. Si no es así, significa que habrá ciertas consultas en las que no podrán determinar de ninguna manera, o que lo harán de manera totalmente incorrecta, lo que limitará enormemente su utilidad. Eso es lo que proporciona la decidibilidad. Además, también nos permite escribir las reglas de la cadena de bloques sin temor a resultados imprevistos.

La autodefinición proviene del postulado de Ohad de que no existe un lenguaje / lógica ideal (máquina) para todos los propósitos. Por lo tanto, requerimos un lenguaje meta que pueda traducir múltiples idiomas al tiempo que conserva el significado dentro del código. Pero entonces no hay un solo lenguaje meta ideal por la misma razón. La única forma de salir de este dilema es si el lenguaje meta se define a sí mismo, lo que le permitirá enmendarse, mejorar y evolucionar a las necesidades cambiantes a lo largo del tiempo.

La negación es bastante intuitiva. ¿Qué tan útil sería una base de conocimientos si no pudiera preguntar algo como ‘¿Qué proteínas no se unen con la molécula X?’ O ‘¿Qué anestésicos no causarían una reacción alérgica en pacientes con enfermedades X, Y y Z?’ Es absolutamente necesario apoyar la negación no estratificada con fines prácticos. Es extremadamente poderoso.

Ahora, hay muchas formas diferentes de lógica que admiten una o dos de estas, no realmente fuera de diseño sino simplemente de forma incidental. Por ejemplo, la aritmética de Presburger es decidible y resulta que Datalog es decidible y se define a sí mismo, aunque no muchos lo saben o les importa y no es trivial deducirlo. Sin embargo, no admite la negación no estratificada.

Después de estudiar ampliamente la teoría de la complejidad, la teoría de modelos finitos y su experiencia en matemática y programación, Ohad finalmente pudo concluir que los puntos fijos parciales son una de las únicas lógicas que pueden respaldar las tres (decidibilidad, autodeterminación y negación). Un paso monumental realizado hace algún tiempo el año pasado.

No muchos lo siguen de cerca, pero el año pasado realizó innumerables implementaciones de TML, pero nunca estuvo del todo satisfecho con los resultados. Puede recordar que llegó al analizador inicial e incluso obtuvo una evaluación parcial trabajando algunas veces en algunas de las implementaciones que escribió todas desde cero y luego se raspó, principalmente porque tan pronto como tuvo que negarse, el rendimiento se volvió inaceptable. Imagina la cantidad de trabajo que tiene que hacer una base de conocimientos si preguntas algo como ‘Dime todo lo que no es un gato’

En última instancia, finalmente descubrió que los diagramas de decisión binarios y similares eran la única estructura de datos que podía soportar consultas de negación a la misma velocidad que otras consultas. Así que, en unos pocos meses, tuvo que dominarlos para implementarlos de una manera que pudiera bombardear todo lo demás en términos de rendimiento, así como apoyar la negación sin estratificación. Esto tomó algunos meses, pero creo que finalmente estamos aquí.

Entonces, ¿dónde estamos ahora? TML no solo es capaz de hacer algo absolutamente crítico que otros no pueden (apoyan la negación y siguen siendo decidibles y autodefinidas), sino que los superan completamente en términos de puntos de referencia. El código TML es también muchos órdenes de magnitudes más sucinto.

Tenga en cuenta que algunos de estos son desarrollados por compañías multimillonarias que se especializan en esta área. Oracle, quien hizo Souffle, tiene un valor de casi $ 200B por ejemplo.

Tau ya no es una promesa vacía, y Ohad no es solo un tipo que se está subiendo al carro de la cadena de bloques, a quien unas pocas personas están acusando porque parece un poco inteligente.

Solo ha destrozado al mejor y más grande en su competencia central con solo unos pocos cientos de líneas de código. Es difícil enfatizar lo difícil que es lograr esto, pero aquí estamos. Me pregunto qué porcentaje de desarrolladores líderes en otros proyectos de blockchain pueden hacer esto.

Ya no es solo él quien hace reclamos: el código es de código abierto y está disponible para personas como dmiles y Tomas, y para que todos lo evalúen. Claro que aún es temprano y puede haber errores, pero los fundamentos parecen extremadamente prometedores y probablemente se mejorarán aún.

Y esto es solo una pequeña parte de todo su diseño. Creo que estamos en buenas manos.