Agoras - mercado inteligente descentralizado - Tau Chain


#205

Novedades de la comunidad de Tau-Chain | Septiembre de 2018

Queridos miembros de la comunidad,

Nos gustaría proporcionar una actualización sobre el estado del proyecto a partir de hoy:

Desarrollo: Estamos trabajando duro para cumplir con las metas del tercer trimestre de 2018: lanzamiento y demostración de MVP. Ohad continuará desarrollando el software durante este mes.

Listado en exchanges: Todavía estamos negociando con algunos intercambios, uno de los cuales es muy grande. Pronto nos pondremos al día sobre este asunto.

Compromiso/construcción de la comunidad: Como parte de nuestra estrategia de mercadeo, planeamos gastar fondos para adquirir nuevos miembros que se unan a nuestra comunidad.
Aumentaremos nuestros esfuerzos de marketing y presupuesto con el desarrollo técnico.

Por favor, manténgase en sintonía mientras hacemos historia juntos!

Saludos,

El equipo IDNI


#206

¿Qué puede hacer Tauchain?

  • TML puede traducir idiomas para que podamos comunicarnos y colaborar más eficazmente entre nosotros y con las máquinas.

  • Tauchain es descentralizado y tiene el potencial de eliminar la política como una barrera para el progreso. Si salva vidas, la gente se sentirá motivada para hacerlo, incluso si los funcionarios del gobierno son suicidas.

  • Ágoras permite mercados. Estos mercados incluyen un mercado de recursos computacionales para permitir redes de computación distribuidas masivas. También permite el acceso a los mercados del conocimiento.

  • Tauchain puede aprovechar el “machine learning” (en particular la inteligencia artificial simbólica) para ayudar a hacer que el proceso de investigación sea mucho más fácil. Podemos evitar cometer los mismos errores una y otra vez.


#207

estoy buscandola en bitshares y no me aparece… en que mercado anda ahora?


#208

openledger.io

https://openledger.io/market/AGRS_BTC


#209

Tauchain se ha estado desarrollando desde finales de 2014 principios de 2015.

Lindy effect:

El efecto Lindy es una teoría de la esperanza de vida de las cosas no perecederas que postula para una cierta clase de no perecederos, como una tecnología o una idea, cada día adicional puede implicar una esperanza de vida más larga (restante):[1] la tasa de mortalidad disminuye con el tiempo.


#210

Una conversación interesante de alguien que acaba de conocer Tau, traduje con deepl.com y lo edité un poco:

< aoeu_> Soy un poco escéptico sobre la conversión sin pérdidas entre lenguaje natural y TML. Nunca he encontrado que los lenguajes naturales sean una buena interfaz. lojban puede ser uno de los pocos buenos.
05:49 <@Liaomiao> Creo que tú y ohad están de acuerdo en eso
05:49 <+naturalog> nunca he dicho que soportará lenguajes naturales
05:49 < aoeu_> lojban, loglan, datalog, Prolog, Sparql, todo es lo mismo.
05:49 <+naturalog> correcto, por eso TML es un metalenguaje
05:49 <+naturalog> un lenguaje para definir nuevos lenguajes

05:49 < aoeu_> Es cibernético. Lo entiendo.
05:50 < aoeu_> He leído la afirmación sobre el lenguaje natural en el sitio web.
05:53 < aoeu_> Si los lenguajes naturales son escritos sólo entonces está bien. También está bien si hay un proceso interactivo de desambiguación.
05:53 < aoeu_> Pero supongo que la parte del lenguaje natural no es la más importante en esta etapa.
05:54 < aoeu_> No estoy muy familiarizado con la teoría de la complejidad y PSPACE
05:55 <@Liaomiao> no hay manera conocida de analizar perfectamente los lenguajes naturales
05:55 <@Liaomiao> el diseño de ohad siempre ha sido para que los humanos se comuniquen entre si por medio de las máquinas
05:55 <@Liaomiao> y hablar en lenguajes comprensibles por las máquinas
05:56 <@Liaomiao> como Tau, el diseño de TML (que es el primer paso de tau) también se deduce de manera similar:
05:56 <@Liaomiao> 1. No hay un lenguaje universal que sea el mejor para cada propósito
05:56 <@Liaomiao> 2. así que debemos diseñar un metalenguaje para definir otros lenguajes
05:56 <@Liaomiao> 3. pero eso significa que volvemos a la casilla 1. ya que el metalenguaje en sí no puede ser lo mejor para todo
05:57 <@Liaomiao> 4. por lo que el metalenguaje debe ser capaz de autodefinirse
05:57 <@Liaomiao> esa es la filosofía de diseño del TML, estás empezando a tener una idea de cómo piensa Ohad ?
06:00 < aoeu_> No estoy seguro de entenderlo.
06:00 <@Liaomiao> *4. por lo que el metalenguaje debe ser capaz de autodefinirse y así enmendarse a sí mismo

< aoeu_> Entiendo completamente la propuesta de valor de Tau. Despotrico todo el tiempo sobre los límites del lenguaje natural . Necesitamos un lenguaje orientado a los gráficos.
06:14 < aoeu_> Todo mi proyecto era reemplazar el inglés (y todos los lenguajes naturales) con esta nueva interfaz gráfica de propósito general.

06:15 < aoeu_> Eliminar la duplicación, presentar los datos de forma diferente a cada individuo (lenguaje receptivo, también basado en lo que saben), eliminar contradicciones, etc.

06:15 < dmiles> y tenemos aún más maneras de decir las mismas cosas :slight_smile:
06:16 < aoeu_> ¿No se puede resolver eso mapeando ontologías a otras?
06:16 < dmiles> el “poder” de la lógica sería capaz de decir cosas aún más ambiguas de lo que ya podemos hacer con el lenguaje natural
06:17 < dmiles> bueno en realidad lo que quiero decir con eso es que deberíamos ser capaces de tener muy buen control de la ambigüedad
06:17 < dmiles> por ejemplo, loves(fido,joe)
06:17 < aoeu_> Al principio, pensé que sólo había una manera correcta de expresar una idea/describir el mundo. Pero entonces me convencí de que podía haber muchas maneras diferentes, y lo acepté porque todas eran semánticamente equivalentes (con mapeo ontológico).
06:18 < dmiles> right yes El mapeo ontológico es la supuesta forma correcta de hacer las cosas de la manera que queremos
06:18 < aoeu_> Por eso quería empezar con hechos cuantificables/medibles. Cosas que los dispositivos de IO podrían capturar y volcar en un gráfico de conocimiento.
06:19 < aoeu_> Además, me di cuenta de que la aportación humana se reduce enormemente cuando la mayoría de la gente simplemente respalda/soporta/vota los hechos en el gráfico, en lugar de crear otros nuevos desde cero.
06:20 < aoeu_> La comunicación se convierte en un problema de búsqueda/navegación
06:20 <+naturalog> también nos dimos cuenta de esto, expresándolo de acuerdo/desacuerdo
06:20 < dmiles> pero también aunque el mapeo ontolofágico es realmente una forma de decidir qué es legal para sobrecargar a los predadores… toma estos dos ejemplos: loves(fido,joe). knows(fido,location(bone,yard1))) isa(fido(dog,dog)… piensa en el verdadero “tipo” de fido está en las tres oraciones
06:20 < dmiles> (lo siento, tres ejemplos)
06:20 < aoeu_> Y la validez de un hecho se deriva del apoyo que recibe. Y el apoyo puede ser cuantificado. Y puedes prometer dinero o reputación hacia los hechos.
06:21 < dmiles> fido es un amante de joe, fido es el cerebro de fidos, fido es fidos doggyness
06:21 <+naturalog> otra diferencia entre tml y rdf/owl es la monotonicidad
06:21 < aoeu_> Rara vez es una idea completamente nueva. Sólo tienes que encontrar a alguien que lo haya dicho antes.
06:21 < dmiles> oops: fido es un amante, fido es el cerebro de fidos, fido es el símbolo de fidos
06:21 < aoeu_> No quiero decir nunca algo que ya se ha dicho en la historia de la humanidad.
06:22 < aoeu_> ¿Qué significa monotonicidad en este contexto?
06:23 <+naturalog> significa que si se derivan algunos hechos, entonces no importa qué información adicional venga, los hechos siguen siendo válidos.
06:23 < dmiles> tml es non-monotonic lo que significa que los hechos pueden cambiar o que se puede hacer que se hagan nuevos agujeros en ellos.
06:23 < aoeu_> Los datos derivados son caché.

06:28 <+naturalog> elegimos la semántica llamada PFP o muchos otros nombres
06:28 <+naturalog> FO (complexity) - Wikipedia
06:28 <+naturalog> pero este enlace no te dirá demasiado
06:29 < aoeu_> dmiles: ¿qué pasa si el alcance se estrecha?
06:29 <+naturalog> pero aún así es importante poder cambiar de opinión
06:29 <+naturalog> para borrar un hecho
06:30 < aoeu_> Correcto, ¿pero los hechos no deben ser registrados?
06:30 <+naturalog> o para borrar datos innecesarios
06:30 <+naturalog> así es, en pfp tenemos una especie de flecha de tiempo
06:30 <+naturalog> pero es más complejo que sólo eso
06:30 < aoeu_> O más bien, el endoso/voto de un hecho debe ser sellado en el tiempo
06:31 <+naturalog> tal vez más exacto para verlo en un lenguaje de consulta/actualización de bases de datos
06:31 <+naturalog> que puede por supuesto borrar de la base de datos
06:31 < aoeu_> Creo que es un error
06:31 < aoeu_> No soy un fan de borrar.
06:31 <+naturalog> sin borrar sólo se pueden expresar tareas en tiempo polinomial.
06:31 <+naturalog> con borrado sólo se pueden expresar tareas en PSPACE.
06:32 < dmiles> bien dicho : sin borrar sólo se pueden expresar tareas en tiempo polinomiales
06:32 <+naturalog> al menos en ajustes como datalog’s
06:32 <+naturalog> es decir, ajustes finitos
06:32 <+naturalog> o bases de datos
06:33 < dmiles> re: dmiles: ¿qué pasa si el alcance se hace más estrecho? aoeu_: entonces la afirmación se vuelve probablemente más correcta… seguramente la mayoría de las afirmaciones son más generales de lo previsto
06:33 < aoeu_> correcto

06:35 < aoeu_> ¿Ha pensado en “lentes” bidireccionales (hay un término mejor que no recuerdo)? ¿Dónde si usted sabe la edad de una persona pero no la fecha de nacimiento, todavía puede inferir una fecha de nacimiento difusa/de rango y utilizarla como entrada para los hechos derivados de la fecha de nacimiento?
06:36 < dmiles> las dos últimas frases no son tan relacionadas…b pero cualquier forma de negación debe tener algo de significado
06:36 < aoeu_> La negación hace las cosas más complejas. Es difícil refutar las cosas.
06:36 <+naturalog> en tml nada puede ser más difícil que pspace
06:37 < aoeu_> ¿A qué costo?
06:37 <+naturalog> espacio polinómico
06:37 <+naturalog> it can do presicely what the set of all turing machines that operate in max poly space can do
06:37 <+naturalog> ni más ni menos
06:38 <+naturalog> por lo tanto todas las consultas son finalmente finitas
06:38 <+naturalog> todas las pruebas
06:38 < aoeu_> Tendré que releer los enlaces que me enviaste.
06:39 <+naturalog> para entender estas últimas frases hay que mirar en el campo que tiene dos nombres, uno de ellos es “teoría de modelos finitos” también conocido como “complejidad descriptiva”.
06:39 < aoeu_> Soy más del tipo UI/UX. Mi teoría de la complejidad está oxidada.
06:39 < aoeu_> Por eso me interesa el contrato/API del idioma
06:39 <+naturalog> tml es para definir nuevos lenguajes
06:39 <+naturalog> no es un lenguaje krr (*)
06:39 <+naturalog> es un lenguaje para definir lenguajes krr
06:40 < aoeu_> entoneces programación lógica bytecode
06:40 <+naturalog> bien…
06:40 < aoeu_> o es una especificación?
06:40 <+naturalog> primero soporta todas los lenguajes que puedas definir sobre él, lógica, programación, o no
06:41 <+naturalog> a continuación crearemos el “internet de los idiomas” con tml
06:41 <+naturalog> defines un nuevo lenguaje por cómo se traduce a un lenguaje existente
06:41 <+naturalog> por eso podremos traducir de cualquier idioma definido a otro
06:41 <+naturalog> definiendo un solo traductor para cualquier idioma existente
06:41 < aoeu_> ¿los idiomas vienen con sus propias ontologías/lexicones o no?
06:41 <+naturalog> posiblemente
06:41 < aoeu_> ¿Cómo comparto ontologías entre idiomas?
06:42 <+naturalog> tienes que escribir el código que toma un documento en lenguaje X y emite un documento en lenguaje Y que conserva la semántica
06:42 <+naturalog> el código tml

06:44 <+naturalog> cualquier compilador es un traductor
06:44 <+naturalog> por lo tanto tml es una herramienta de generación de compiladores
06:45 <+naturalog> pero tml también puede… no lo se… convertir rdf a html/wiki
06:45 <+naturalog> cualquier cosa
06:45 <+naturalog> los programadores de tml pueden hacerlo, quiero decir
06:45 <+naturalog> no tml por si solo, por supuesto
06:45 <+naturalog> y entonces esos traductores se conectarán a la internet de langs
06:46 <+naturalog> así que si tienes un traductor de cycl<->rdf (**)
06:46 <+naturalog> tendrás cycl->html/wiki gratis

06:46 <+naturalog> incluso si alguien más lo escribió y lo puso en el internet de los lengujes
06:47 <+naturalog> creamos una red p2p

06:47 < dmiles> cycl<->rdf traductor :stuck_out_tongue_winking_eye:
06:48 < aoeu_> Estás hablando de idiomas, ¿pero también se puede convertir entre otras cosas?
06:48 <+naturalog> supongo que cycl y rdf no son compatibles
06:48 < dmiles> bien Ohad sólo está dando ejemplo
06:48 < aoeu_> Como métrico a imperial
06:48 < aoeu_> O Word a LibreOffice
06:49 <+naturalog> puede convertir cualquier cosa que le enseñes a convertir
06:49 <+naturalog> igual que… c++ puede convertir cualquier cosa
06:49 <+naturalog> puede leer un documento e imprimir un documento
06:49 <+naturalog> tml también toma un documento y devuelve un documento
06:49 <+naturalog> en principio puede ser cualquier cosa, puede realizar cualquier tipo de cálculo (en pspace)
06:49 < aoeu_> Pero no todas las conversiones son sin pérdidas.
06:49 <+naturalog> pero el lang está destinado al uso de la conversión
06:49 < aoeu_> Documento a código
06:50 <+naturalog> correcto es posible que no obtenga una respuesta en este caso
06:50 <+naturalog> por ejemplo…
06:50 <+naturalog> supongamos que escribes un traductor rdf->cycl
06:50 <+naturalog> eso es posible con seguridad ya que cycl puede hacer todo lo que el rdf puede hacer
06:51 <+naturalog> ahora tienes un documento cycl y quieres usar el framework tml para convertirlo automáticamente a rdf
06:51 <+naturalog> dado rdf->cycl quieres cycl->rdf gratis
06:51 <+naturalog> well you might feed it the cycl doc,
06:51 <+naturalog> y podría volver a ti “no es posible encontrar rdf doc coincidentes”
06:51 <+naturalog> si en realidad ese código de ciclo no es expresable en rdf
06:52 < aoeu_> JSON -> XML
06:52 <+naturalog> pero todos esos traductores no son para que escribamos

06:52 < aoeu_> pero no al revés, si XML utiliza material XML
06:52 <+naturalog> sólo suministramos una plataforma para definir lenguajes
06:52 < aoeu_> Claro, lo entiendo.
06:52 <+naturalog> y más a esta plataforma, pero no somos los definidores
06:52 < aoeu_> Escribe unas cuantas para demostrarlo.
06:52 <+naturalog> tenemos un camino muy largo
06:52 <+naturalog> esta internet de los lenguajes es sólo el paso 1
06:52 < aoeu_> El W3C no escribió todos los sitios web.
06:54 < aoeu_> ¿La gente crea Language->TML o Language1->Language2?
06:55 <+naturalog> puede ser cualquiera de los dos, por eso es un “internet”.
06:55 < aoeu_> Pero L1 a L2 pasa por TML
06:56 < aoeu_> ¿como es la semántica alojada?
06:56 <+naturalog> esa sería una forma de verlo sí, que todo eventualmente va a tml
06:56 <+naturalog> pero puede ser cualquier cosa realmente
06:56 <+naturalog> incluso el tml puede cambiar por sí solo
06:56 < aoeu_> Después de la Internet de los idiomas entonces qué?
06:56 <+naturalog> leer este Intelligent Decentralized Networks Initiatives - The New Tau
06:58 < aoeu_> Lo siguiente es Alpha, que es la plataforma de discusión con la que la mayoría de la gente interactuará
06:59 <+naturalog> sí
06:59 < aoeu_> Entonces es AGI (***)
06:59 < aoeu_> Entendido.
06:59 < aoeu_> Singularidad.
07:02 < aoeu_> ¿Esperas que la gente use lenguajes naturales en Alpha? ¿Tienes en mente tu propio idioma? ¿Va a dejar que el mercado decida?
07:03 <+naturalog> cada vez que alguien define una nueva lengua a través de la internet de las lenguas, la gente puede usarla en todo tau
07:03 <+naturalog> así que supongo que tarde o temprano tendremos algún tipo de lenguaje natural
07:04 <+naturalog> resolveré el problema de la elección del idioma, haciendolo un problema de otras personas
07:05 < aoeu_> :slight_smile:
07:07 <+naturalog> ahora estoy libre de caer en la trampa de intentar llegar a un lenguaje universal
07:07 < aoeu_> Eso es lo que estoy tratando de hacer
07:08 < aoeu_> Un lenguaje universal.
07:09 <+naturalog> ¿qué lenguaje de programación dominas?
07:10 <+naturalog> estoy con c/cpp solamente
07:10 <+naturalog> estoy trabajando sólo con c/cpp (ofc tenía algo de experiencia con otros lenguajes)
07:20 <+naturalog> ah, ¿eres el tipo del grupo de telegramas?
07:20 <+naturalog> MR?
07:21 < aoeu_> Sí
07:21 < aoeu_> He estado haciendo mayormente C# durante los últimos 7 años
07:21 < aoeu_> Acabo de dejar mi trabajo.
07:21 <+naturalog> también hice c# durante muchos años
07:21 <+naturalog> pero terminó hace una década
07:22 < aoeu_> C# ha mejorado mucho en los últimos 10 años
07:22 <+naturalog> sí
07:22 <+naturalog> de todos modos si eres libre puedes trabajar con nosotros
07:22 <+naturalog> por bitcoins
07:23 < aoeu_> Estaré encantado de contribuir si hay un buen ajuste.
07:23 <+naturalog> ahora mismo estoy intentando jugar con buddy the bdd lib
07:23 <+naturalog> entonces implementaremos pfp con él
07:24 <+naturalog> para que puedas jugar con él también y aprender un poco de bdd
07:24 <+naturalog> diagramas de decisión binarios
07:25 < aoeu_> Lo investigaré, pero parece un poco más bajo de lo que preferiría.
07:26 <+naturalog> ok puede pensar en otras cosas, guíame
07:26 < aoeu_> Soy principalmente un desarrollador de frontend.
07:26 <+naturalog> ¿quieres diseñar el ui/ux del alpha? tarea larga pero tenemos tiempo
07:27 <+naturalog> hasta que esté listo con el motor del alpha
07:27 <+naturalog> hay mucho tiempo
07:27 < aoeu_> Antes de que encontrara tu proyecto, mi plan era comenzar el mío.
07:28 < aoeu_> En la superficie, ambos parecen extremadamente similares. Como hemos discutido, puedo ver muchas diferencias.
07:28 < aoeu_> Estaba a punto de escribir un whitepaper o algo así.
07:28 <+naturalog> estoy abierto para que trabajes sólo con nosotros, o para que trabajes tanto para tu proyecto como para el nuestro, o para que no te quedes aquí colgado.
07:29 < aoeu_> Gracias por la apertura. Me alegra ver a otras personas que se preocupan por lo mismo.
07:29 < aoeu_> No estoy motivado para trabajar en cosas aburridas que pronto serán obsoletas.
07:30 < aoeu_> Este tipo de ideas tienen el potencial de cambiar el mundo.
07:30 <+naturalog> si encuentras una mejor manera de salvar el mundo, estoy dentro
07:32 < aoeu_> Recuerdo muy pocos proyectos tan interesantes. Recuerdo cuando descubrí a Haskell, Prolog, Idris. Recuerdo cuando descubrí la web semántica, Lojban. Recuerdo cuando descubrí Bitcoin. Ethereum, Urbit, IPFS.
07:32 < aoeu_> Y ahora Tau.
07:32 <+naturalog> el viejo tau estaba despertando idris/agda/mltt/etc, pero lo encontramos mal y tomamos el camino de la teoría del modelo finito
07:32 <+naturalog> alrededor
07:32 <+naturalog> tampoco tenía muchos de los componentes que tiene el nuevo tau
07:33 <+naturalog> mal para nuestra misión, pero que idris/adga/mltt/etc necesitan extinguirse
07:33 <+naturalog> mal para nuestra misión, no que idris/adga/mltt/etc necesiten extinguirse
07:33 < aoeu_> ¿Cuál es la misión final?
07:34 <+naturalog> un tema común tanto para la tau antigua como para la nueva es reconocer la importancia de la decidibilidad
07:34 <+naturalog> fuimos lo suficientemente estúpidos como para creer que mltt tiene una comprobación de tipo decidible

07:35 <+naturalog> puedes ver el reconocimiento del error en detalle en Intelligent Decentralized Networks Initiatives - Tau and the Crisis of Truth
07:35 <+naturalog> un año más tarde llegó “el nuevo tau” que delineaba el nuevo diseño
07:35 < aoeu_> Verificar HoTT
07:35 <+naturalog> oh hicimos muchas cosas
07:35 < aoeu_> (probablemente lo sabes más que yo)
07:35 <+naturalog> misma historia
07:36 <+naturalog> no sé tanto sobre esto a propósito
07:36 < aoeu_> No tengo los antecedentes de CS que ustedes tienen. Tengo 26 años y soy autodidacta.
07:36 <+naturalog> tengo 38 y soy autodidacta
07:36 <+naturalog> tengo cs/mates de universidad pero no cuenta realmente
07:36 <+naturalog> tenía
07:38 < aoeu_> Estoy seguro de que sabes mucho más que yo. He estado confiando en la intuición y en ilusiones principalmente. Todavía tengo que enfrentar la dura realidad del estado del software. Supuse que todas las soluciones que mencioné lo habían resuelto todo.
07:38 < aoeu_> Aparentemente no lo han hecho.
07:39 <+naturalog> hay más malas noticias que buenas noticias en ciencias de la computación en general, puedo decirte
07:40 < aoeu_> Mi principal frustración y motivación es la fragmentación del software, como desarrollador y como consumidor de software. Creo que hay demasiadas aplicaciones y sitios web. ¿Cuántos clones Uber necesitamos? Según LastPass, he creado más de 500 cuentas diferentes. Todo es un desastre. Me gustaría más unificación, una forma más sencilla de interactuar con los datos.
07:40 <+naturalog> ok imagine lo siguiente
07:40 <+naturalog> supongamos que le digo que instale alguna aplicación en su máquina
07:40 <+naturalog> esta aplicación no hace absolutamente nada
07:40 <+naturalog> sólo espera a que yo decida lo que va a hacer, y luego se autoactualizará.
07:41 <+naturalog> la versión inicial sólo actualiza automáticamente
07:41 <+naturalog> ¿por qué alguien instalaría esta aplicación?
07:41 <+naturalog> me decían “Esperaré a que decidas cuál va a ser la aplicación y luego la instalaré”.
07:41 <+naturalog> bueno
07:41 <+naturalog> ahora supongamos que te digo algo más,
07:42 <+naturalog> que no soy yo quien va a decidir cuál será la actualización
07:42 <+naturalog> pero contendrá todo lo que los usuarios de la aplicación acuerden que sea

07:42 <+naturalog> así que la aplicación contendrá inicialmente 2 mecanismos: uno es la actualización automática, el segundo es decir lo que quieres que sea
07:43 <+naturalog> bonito supongo que encontrarás muchos competidores para esta idea
07:43 < aoeu_> Y la idea era hacer el hecho modal. Usted respalda un hecho y elige si se trata del pasado/presente, del futuro (predicción) o del deseo/intento.
07:43 <+naturalog> esta idea existe desde hace mucho tiempo
07:44 < aoeu_> ¿Qué parte?
07:44 <+naturalog> déjame pegar las partes relevantes
07:44 < aoeu_> He tenido esta idea durante más de 10 años.
07:44 <+naturalog> algunas cosas de representación del conocimiento como la semántica
07:44 <+naturalog> tecnologías web,
07:44 <+naturalog> el lugar para tirar todos los datos
07:44 <+naturalog> Luego agregue una capa encima donde los agentes pueden usar su
07:44 <+naturalog> reputación/moneda/fidelidad para avalar hechos.

07:45 < aoeu_> No digo que sean ideas nuevas, simplemente no puedo encontrar a otros trabajando en ellas.
07:46 <+naturalog> eg Semantic social network - Wikipedia
07:46 < aoeu_> La web semántica parece que sólo fue comercializada como una enciclopedia semántica. Cosas de la Web 1.0 (aunque se llama Web 3.0). ¿Qué tal representar el estado futuro de la realidad, comunicar la predicción y/o la intención?
07:47 < aoeu_> Y luego, conectar un mecanismo de contrato inteligente en la parte superior, donde las cláusulas del contrato son estados futuros medibles del mundo.
07:47 <+naturalog> ah siento decirlo pero eso es aún un campo más grande
07:47 <+naturalog> predicción
07:47 <+naturalog> que creo que va principalmente en la dirección equivocada
07:47 < aoeu_> Y luego hacer que la fiabilidad de los agentes dependa de su capacidad para cumplir con precisión los compromisos (representados como contratos)
07:47 <+naturalog> tienes dos razones contradictorias
07:47 <+naturalog> aquí
07:47 < aoeu_> Y que los compromisos sean consumibles como predicciones. Y ese es un mercado de predicción (como Augur).
07:47 <+naturalog> uno es seguridad, contratos inteligentes, determinismo, incapacidad para engañar
07:48 <+naturalog> el segundo es adivinar
07:48 <+naturalog> métodos estadísticos, que son vulnerables a las trampas, no deterministas, etc.
07:48 <+naturalog> ¿cómo puedes comprometerte por una cosa estadística?



#211

Tienen toda la información conocida sobre tauchain recopilada, en la sección de lecturas, hay algunos interesantes artículos en español:


#212

https://www.bcex.ca/news/detail/?id=2141

A ver si coge algo de liquidez en este exchange, que lo del openledger es penosillo.


#213



#214

Por qué los contratos inteligentes Turing-completos están condenados al fracaso: “Kurt Gödel y Alan Turing plantearon la misma pregunta:’¿Podemos encontrar un procedimiento universal para probar que una teoría matemática es verdadera o falsa? Cada uno, a su manera, respondió’NO’: existen algunas verdades matemáticas que no pueden ser probadas”.

Resumen:

(1) Las lenguas turing-completas son fundamentalmente inadecuadas para redactar “contratos inteligentes”, ya que son intrínsecamente indecidibles, lo que hace imposible saber qué hará un “contrato inteligente” antes de ejecutarlo.

(2) Deberíamos aprender de los DSLs existentes de Wall Street (lenguajes específicos de dominio) para productos financieros y contratos inteligentes, basados en lenguajes declarativos y funcionales como Ocaml y Haskell - en lugar de hacer lo que la Web 2.0 “brogrammers” detrás de Solidity, y en lo que Peter Todd también parece estar embarcándose: es decir, ignorando las lecciones que Wall Street ya ha aprendido, y “reinventando la rueda”, usando lenguajes menos adecuados como C++ y lenguajes similares a JavaScript (Solidity), simplemente porque parecen “más fáciles” de usar para las “masas”.

(3) También deberíamos considerar el uso de lenguajes de especificación (para decir qué hace un contrato) junto con lenguajes de implementación (para decir cómo debería hacerlo) - porque las especificaciones son de mayor nivel y más fáciles de leer para la gente que las implementaciones que son de menor nivel destinadas a las máquinas - y también porque los ecosistemas de pares de lenguajes de especificación/implementación (como Coq/Ocaml) soportan herramientas formales de razonamiento y verificación que podrían usarse para probar matemáticamente que la implementación de un contrato inteligente es “correcta” (es decir, satisface su especificación) incluso antes de ejecutarlo.


Algunos comentarios que muestran lo adelantado del pensamiento de Ohad:

OCAML:

< naturalog> ocaml is a toy language for csists who are not good programmers

HASKELL

< naturalog> one of the large communities who think (convinced) they’re mathematician but they were mislead,are haskell programmers

< naturalog> haskell/ocaml are turing complete


El artículo completo:

El artículo recibió ataques en los comentarios, cada cual saque sus propias conclusiones.


#216

Está abierto el trading de AGRS en bcex.ca .

Sabía que como ocurren con muchos exchanges chinos, el uso no iba a ser muy suave, envié una pequeña cantidad, compré unas pocas agoras y ahora tengo problemas para retirar con la verificación por SMS, espero solucionarlo pronto para poder utilizar el exchange regularmente.


#217

Ok, traduje el mensaje en chino y dice que se ha agregado correctamente( la dirección de retiro), creo que esperan que verifique la cuenta para permitir el retiro.


#218

Un antiguo criterio de verdad, el consensus gentium (latín para acuerdo del pueblo), afirma que “lo que es universal entre los hombres lleva el peso de la verdad” (Ferm, 64). Varias teorías de consenso sobre la verdad se basan en variaciones de este principio. En algunos criterios, la noción de consentimiento universal se toma estrictamente, mientras que otros califican los términos del consenso de diversas maneras. Existen versiones de la teoría del consenso en las que la población específica que interviene en una cuestión determinada, la proporción de la población necesaria para el consentimiento y el período de tiempo necesario para declarar el consenso varían con respecto a la norma clásica.

En el pasado hice una polémica declaración de que la ley es amoral. Esta declaración que hice se basa en una simple comprensión del positivismo jurídico. Tome nota de que no soy un erudito o filósofo legal. Mi formación es en filosofía ética y filosofía política. Dicho esto, si observamos las ideas que subyacen al positivismo jurídico, llegamos a la conclusión de que la ley y la moral no tienen nada que ver entre sí. En este post trataré de aclarar algunas de mis ideas sobre este tema y también responderé a una pregunta que me hicieron sobre si la democracia es moral o inmoral. También discutiré el concepto de moralidad consensuada y las implicaciones que podría tener en Tauchain, que por diseño se le permitirá tener ley(es). ¿La(s) ley(es) en Tauchain serán morales o inmorales? ¿Es posible alinear un marco moral con la creación de todas las leyes en Tauchain? ¿Qué marco moral y se alcanzará por consenso? …


#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.”