Lo hice por UniSwap, funciona muy bien, pero te follan, más de 21 €.
Esa gráfica pinta jugosa!Y además lleva varios dias subiendo fuerte(doble dígito) aunque sin mucho volumen…quizás superemos ATH mucho más pronto de lo esperado(al menos por mí).
Una vez que hizo la fuerte corrección, tenía que haber entrado, el mejor momento hubiese sido 22-23 diciembre, pero estaba a mil cosas cripto y se me paso 
se que hoy no he entrado mal del todo y da la sensación le queda un buen recorrido, le he metido poco y veré evolución, por si le meto algo más.
Parece quiere retomar la tendencia, he visto que en cotización puede ser un Miura, con enormes subidas pero también terribles bajadas, el gráfico ha cambiado si ese va a ser su comportamiento, en otro recorte habrá que ponerle algo más.
Eso si el gas del amigo Vitalik para hacer cualquier cosa en Red Eth, me toca un poco los…
1 me gusta
La señal alcista (y dónde comprar) seria en el momento que superara los 5.57$ de ayer tras la correción de hoy.
Andrei
- Trabajo de integración: Continuación de los importantes avances en la preparación de Tau Net para su próxima red de pruebas
- Mejora de la experiencia del usuario: Centrado en mejorar la facilidad de uso de la plataforma mediante el uso de grandes modelos lingüísticos.
- Comunicación con la comunidad: Desplegamos con éxito un bot GPT en nuestro canal de Telegram para ayudar con las consultas de Tau. Integrado nuestro canal de Telegram con nuestro canal oficial de Discord, mejorando la eficiencia general de la comunicación.
David
- Fragmento de dos variables: David estableció la infraestructura básica del proyecto para la lógica del fragmento de dos variables, añadiendo archivos de prueba y colaborando con Ohad y el profesor Parys para desarrollar una gramática Earley. También introdujo ejemplos de reglas de reescritura y una API básica de navegación.
- Desarrollo del lenguaje Tau: Actualizó la documentación del lenguaje Tau para reflejar el progreso del proyecto y refinó la gramática, diferenciando entre relaciones recursivas y reglas de reescritura. David alineó la gramática con la notación matemática y definió el álgebra Tau, mejorando el análisis del programa.
- Mejoras de rendimiento y resolución de problemas: David mejoró el rendimiento de las reglas de la fase de normalización y resolvió un problema de desplazamiento en el método de aplicación.
- Enfoque actual: Ahora está trabajando en asegurar la satisfabilidad y ejecución de programas Tau, manejando variables de entrada/salida de tiempo y adaptando el código para TML, que es crucial para el aspecto SQL del proyecto.
Tomas
- Rendimiento de Benchmarking: Tomó las mejoras de Umar y las evaluó comparativamente.
- Integración y refactorización: Fusioné los cambios de Umar en la rama principal del analizador sintáctico del lenguaje Tau y manejé hábilmente cualquier conflicto resultante.
- Comprobaciones gramaticales: Implementación de comprobaciones gramaticales inteligentes, ayudando a los diseñadores gramaticales a identificar ambigüedades en las primeras fases del proceso de diseño.
- Desarrollo del lenguaje Tau: Profundizó en el código base de Tau, desarrollando útiles herramientas de depuración.
Umar:
- Búsqueda eficiente de elementos Earley: Umar implementó un método más eficiente para la búsqueda de elementos Earley en el analizador sintáctico. Esta mejora aceleró significativamente la construcción de la estructura de análisis sintáctico.
- Optimización del almacenamiento: Para evitar la duplicación de almacenamiento, Umar innovó sustituyendo el almacenamiento de copias exactas de elementos por punteros a dichos elementos. Este enfoque racionalizó el uso de memoria manteniendo la funcionalidad.
- Desacoplamiento de la generación incremental de registros y la retirada de elementos no aprovechables: Separó con éxito la generación incremental de registros del proceso de recolección de elementos no aprovechables. Esta separación permite la solicitud independiente de la recogida de elementos no aprovechables mediante un indicador GC.
- Integración y pruebas rigurosas: Umar dirigió los esfuerzos para integrar estas mejoras en el analizador sintáctico. Probó meticulosamente el analizador actualizado para garantizar que no se produjeran regresiones en las funcionalidades existentes. Tras el éxito de las pruebas, fusionó el analizador actualizado en la rama maestra.
- Estandarización y actualización del analizador sintáctico: El trabajo de Umar condujo a la estandarización del uso del analizador sintáctico entre el equipo de desarrollo. Todos los desarrolladores se han actualizado a la última versión del analizador desde la rama maestra, proporcionando una base de código unificada para el desarrollo en curso.
- Debates sobre el desarrollo en curso: Además de estos avances técnicos, Umar participó activamente en discusiones centradas en mejorar la extracción de estructuras y grafos e iterar sobre estas estructuras, contribuyendo a la mejora continua de las capacidades del analizador sintáctico.
Ohad se centra en el desarrollo del fragmento de Dos variables, en particular haciendo hincapié en la funcionalidad de recuento, utilizando el analizador sintáctico. Ha estado explorando la posibilidad de integrar el sistema de reescritura de David en este proceso. Como siempre, el viaje desde un algoritmo teórico general a un código efectivo y robusto presenta desafíos, pero él sigue progresando.
2 Me gusta
https://twitter.com/TauLogicAI/status/1729614666626670741
Grandes noticias para la comunidad Tau!
Patente innovadora de Tau para gobernanza descentralizada y seguridad a prueba de bots: Estamos encantados de anunciar un hito importante en el viaje de Tau Net hacia la creación de una red de IA segura y descentralizada. Tau ha obtenido recientemente una patente provisional titulada “Un método y sistema para la certificación arbitraria de usuarios anónimos de Internet”.
Esta patente cambia las reglas del juego para la gobernanza descentralizada y la seguridad en nuestra red.
Impacto de esta patente en Tau Net:
-Verificación de usuario mejorada: el sistema introducido en la patente permite la verificación de la información del usuario manteniendo el anonimato, lo cual es crucial para una gobernanza genuina impulsada por la comunidad.
-Marco de gobernanza sólido: El sistema patentado sustenta la gobernanza de Tau Net, garantizando una toma de decisiones democrática y transparente que refleja el verdadero consenso de la comunidad. Prevención de la influencia de bots: Esta patente, que aborda una preocupación clave en las redes descentralizadas, garantiza procesos de verificación sólidos, protegiendo contra la manipulación o el control impulsado por robots.
-Aplicaciones del mundo real: El sistema permite a los usuarios verificar varios reclamos, como credenciales profesionales, que pueden vincularse a sus identidades digitales, lo que mejora la confianza en las interacciones en línea.
-Empoderamiento del usuario con privacidad: La patente respeta la privacidad del usuario y no requiere que la información personal esté vinculada a claves públicas, lo que permite a los usuarios controlar la red y al mismo tiempo proteger su identidad.
Que sigue:
Esta patente provisional es un paso adelante en nuestro compromiso con una red de IA verdaderamente descentralizada y gobernada por el usuario. Sienta las bases para un sistema donde los usuarios pueden participar, contribuir y dirigir la red con confianza, sin preocupaciones de control centralizado o interferencia de robots.
Manténgase conectado para obtener más actualizaciones mientras continuamos ampliando los límites de la tecnología #DecentralizedAI . Juntos, no sólo estamos construyendo una red, somos pioneros en el futuro de la gobernanza descentralizada.
Descubra más sobre Tau Net y Agoras y lea los detalles completos de la patente aquí: Tau Net Provisional Patent - A Method and System for Arbitrary Attestation to Anonymous Internet Users.pdf - Google Drive
1 me gusta
https://twitter.com/TauLogicAI/status/1741815664879284505
Ya está aquí la última actualización de TauNet Business!
00:18 - Igor se centró en el exitoso lanzamiento de nuestro nuevo sitio web, abordando una serie de errores y erratas para garantizar una funcionalidad óptima. Al mismo tiempo, los esfuerzos se dirigieron a rediseñar ciertas páginas para mejorar la experiencia del usuario. Además del desarrollo del sitio web, Igor desempeñó un papel crucial en la creación de contenidos de diseño para nuestra lista de intercambio Gate.io y contenidos atractivos para nuestros spaces de Twitter. Internamente, se preparó material de marketing para su uso futuro. También se prestó una atención significativa a la elaboración de estrategias de gestión SEO y optimización de palabras clave para aumentar el tráfico de nuestro sitio web. En general, aunque la atención se centró principalmente en los servicios de diseño, el mes también incluyó actividades fundamentales de marketing digital y optimización del sitio web.
01:44 - Kilian se centró en el amplio apoyo a la comunidad debido al aumento de la participación, en particular en Telegram. Organizó un space en Twitter sobre IA descentralizada que tuvo una gran acogida y gestionó el exitoso listado del exchange de Gate. Kilian optimizó nuestro canal de Discord para aumentar la eficiencia y facilitó la comunicación entre plataformas con Telegram. Internamente, contribuyó a los debates sobre estrategia de medios e inició la creación de vídeos animados para la participación de la comunidad. Kilian desplazó los esfuerzos de divulgación hacia los fondos de capital riesgo de blockchain y actualizó los materiales del proyecto para este nuevo enfoque. Además, trabajó en la actualización de la lista de CoinGecko y escribió artículos destacando la alineación de nuestra tecnología con la Ley de Inteligencia Artificial de la UE. Kilian también exploró oportunidades para aumentar la visibilidad a través de conferencias y podcasts sobre IA y blockchain.
08:05 - Karolina se centra principalmente en las relaciones públicas. Se puso en contacto con varias empresas de noticias y agencias de relaciones públicas, explorando tanto las opciones de publicación a la carta como el potencial de asociaciones a largo plazo con publicaciones que pudieran ofrecer regularmente noticias e información sobre Tau y sus productos. A principios de mes, se publicó en bitcoin.com un artículo sobre las oportunidades de la IA descentralizada que presentan Tau y sus productos. Además, otros tres artículos están listos para su publicación. A pesar de la creencia generalizada de que los vídeos cortos superan a los hábitos de lectura tradicionales, Karolina hizo hincapié en la importancia que siguen teniendo las relaciones públicas a la hora de generar confianza y credibilidad para la marca. Prevé un aumento significativo de artículos sobre los productos de la empresa en el próximo año.
09:30 - Fola se centró en las adquisiciones de dominios para Tau y Agoras, en particular preparando el lanzamiento del dominio Tau.ai para las actualizaciones del proyecto. En colaboración con el equipo, Fola se puso en contacto con inversores de capital riesgo, lo que refleja el creciente reconocimiento e interés por el proyecto. Se está preparando un comunicado de prensa sobre la incorporación al programa Nvidia Inception, con el objetivo de aumentar nuestra visibilidad. Fola también mencionó la próxima incorporación del miembro del equipo Oleg Gnatyk, que contribuirá a las relaciones públicas, el marketing y el desarrollo del sitio web, y prometió más actualizaciones en estas áreas.
Miembros comunitarios del mes: Felix y Andrew por su extraordinario apoyo
2 Me gusta
La Importancia de las Patentes para la Comunidad Tau Net y los Holders de Agoras
Estimada Comunidad Tau,
Agradecemos profundamente vuestro entusiasmo por nuestra Testnet y las actualizaciones tecnológicas. A medida que avanzamos en este emocionante viaje, queremos explicar la importancia de nuestras patentes y cómo se alinean con nuestra visión compartida.
Protegiendo a los poseedores de Tau Net y Agoras
Nuestras patentes no sólo protegen a Tau Net, sino que también benefician a los titulares de Agoras. Protegen nuestras innovaciones de posibles imitadores, preservando el valor y la integridad de la tecnología de Tau.
Una mirada al futuro
Prevemos completar la presentación de nuestras patentes a finales de febrero. Una vez alcanzado este hito, podremos compartir más detalles sobre las propias patentes y cómo benefician directamente a Tau Language y Testnet.
Concentrar la utilidad de la inteligencia colectiva
Nuestras patentes desempeñan un papel vital a la hora de garantizar que las características innovadoras de Tau se aprovechen dentro de un único proyecto: Tau Net. Esta concentración estratégica de la utilidad está impulsada por nuestra creencia de que al consolidar todos los conocimientos y capacidades en un solo lugar, somos capaces de acelerar todo el potencial de Tau.
Enfoque de Tau Net
Este enfoque subraya nuestro compromiso con Tau Net, donde prospera nuestra inteligencia colectiva. Nuestro objetivo es garantizar que las características únicas de Tau se concentren plenamente en Tau Net.
Unidos por un objetivo mayor
En última instancia, nuestro objetivo es unir a nuestra comunidad y centrar todos nuestros esfuerzos en Tau Net. Al hacerlo, podemos amplificar el impacto de las características transformadoras de Tau, creando un centro de inteligencia colectiva como ningún otro.
Entendemos la importancia de mantenerte informado y comprometido. A medida que avancemos, iremos proporcionando actualizaciones que se alineen con nuestra misión de potenciar Tau Net.
Gracias por vuestro continuo apoyo, y permaneced atentos a más novedades.
Atentamente,
El Equipo Tau
2 Me gusta
El viaje de Tau: Crónica de Avances Científicos e Hitos Cumplidos
Introducción: Desde su creación en 2015, Tau se ha embarcado en un viaje extraordinario, ampliando los límites del conocimiento y la innovación en la intersección de la inteligencia artificial, la tecnología blockchain y los métodos formales. Este artículo te lleva a través de la secuencia cronológica de los notables avances científicos de Tau y los hitos completados, mostrando su incesante compromiso con la transformación del mundo de la tecnología.
Q1-2015: El Nacimiento de Tau v1.0: El Comienzo de un Proyecto Revolucionario
El viaje de Tau comenzó en el primer trimestre de 2015 con la publicación del whitepaper de Tau v1.0. Esto marcó el nacimiento de un proyecto visionario que pretendía redefinir blockchain mediante el uso de un lenguaje lógico decidible. Se basaba en el juego Nomic, así como en la teoría de tipos como fundamento lógico.
Q2-2015 a Q3-2017: Venta Privada de AGRS: La Primera Fase de Financiación del Proyecto
A mediados de la década de 2010 se produjo la venta privada de AGRS de Tau, que aseguró la financiación inicial para los objetivos visionarios del proyecto.
Q4-2017: Diseño de Tau v2.0 y Discusiones Escalables: Adición del Mecanismo de Consenso
En el periodo comprendido entre el tercer trimestre de 2016 y el cuarto trimestre de 2017, Tau experimentó un desarrollo significativo, que dio lugar al diseño de Tau v2.0. Durante esta fase, Tau mejoró su mecanismo de consenso y discusiones escalables, haciéndolo completo en características, así como corrigiendo errores sustanciales en el diseño antiguo, más notablemente abandonando Nomic y la teoría de tipos en favor de la lógica clásica y un novedoso método de consenso a gran escala.
Q1-2019: Madurez del TML Básico: P-Datalog Engine basado en Diagramas de Decisión Binarios (BDD)
En el 1T-2019, Tau alcanzó un hito significativo con la madurez de TML básico. Esto incluyó el desarrollo de un motor P-Datalog, que forma parte del núcleo tecnológico de Tau.
4Q-2019: Demostración del Cálculo de Consenso Básico: Característica Central de Tau
El progreso de Tau en Q4-2019 incluyó el desarrollo de un bot Tau que demostró el cálculo básico de consenso utilizando motores lógicos que desarrollamos, destacando una característica central del proyecto y nuestra capacidad para construir solucionadores lógicos a nivel industrial.
Q3-2020: Publicación del Diseño Completo en un Whitepaper Actualizado: Un Plan de Diseño Completo
Tau compartió su diseño completo en el tercer trimestre de 2020 a través de un whitepaper actualizado, proporcionando un plan integral para el desarrollo del proyecto.
Q3-2020: Lanzamiento Inicial del IDE TML: Empoderamiento de la Comunidad
El lanzamiento del IDE de TML en el tercer trimestre de 2020 permitió a la comunidad de Tau explorar y experimentar con el metalenguaje de Tau, fomentando la colaboración y la innovación.
Noviembre de 2020: El Prof. Enrico Franconi se une al Equipo como Asesor Científico
El Prof. Enrico Franconi es profesor de bases de datos de representación del conocimiento. Su investigación se centra en la aplicación de tecnologías de bases de datos, inteligencia artificial y semántica al diseño de sistemas de información, la integración de datos y el modelado de ontologías. Proporciona un valioso asesoramiento de investigación a los desarrollos técnicos de Tau, reforzando aún más la base científica del proyecto.
Mayo de 2021: El Lenguaje NSO
El avance científico más importante del proyecto hasta la fecha. Resuelve los problemas planteados en el whitepaper de una forma mucho más robusta, en particular un método novedoso e innovador para extender los lenguajes con la capacidad de tratar sus propias oraciones y su valor de verdad como cualquier otro objeto, preservando la consistencia y decidibilidad.
Marzo de 2022: Implementación del Analizador Sintáctico Earley: Análisis Sintáctico Accesible
Tau desarrolló un analizador sintáctico de alto rendimiento basado en el algoritmo de análisis sintáctico Earley en marzo de 2022, mejorando sus capacidades para el análisis sintáctico de lenguajes libres de contexto y mucho más.
Mayo de 2022: Lenguaje Tau
Mejora el NSO con una dimensión temporal, haciéndolo adecuado para la especificación de software. Se trata de una lógica de especificación de software novedosa e innovadora.
Junio de 2022: El Profesor Paweł Parys se une al Equipo como Asesor Científico.
El profesor Paweł Parys es un científico polaco con un doctorado en informática por la Universidad de Varsovia.
Atentamente.
El Equipo de Tau.
2 Me gusta
Aspectos más Destacados de la Actualización sobre el Desarrollo del Lenguaje Tau por David
Aviso: Las tecnologías y conceptos aquí expuestos están actualmente pendientes de patente. Prevemos el lanzamiento de Lenguaje Tau para finales de enero de 2024. Por favor, tenga en cuenta que el proceso de solicitud de patente para Tau Language está en curso, y esto puede dar lugar a ligeros retrasos. Agradecemos su comprensión y paciencia en este asunto. Para más información, consulte el aviso de patente.
1. Visión General del Diseño de Implementación del Lenguaje Tau
Introducción del Lenguaje Tau, un lenguaje extensional o sistema lógico diseñado para especificar y ejecutar programas.
2. Conceptos Básicos de Tau
Tau permite la especificación de un conjunto de programas mediante fórmulas, que se ejecutan si el conjunto es no vacío, es decir, si es satisfactorio.
Esto equivale a la ausencia de contradicciones y a la existencia de salidas apropiadas para cualquier entrada dada en cualquier punto del tiempo.
El Lenguaje Tau mejora el NSO (Nullary Second Order, otro lenguaje propio nuestro) con relaciones de recurrencia, manejadas por un ‘normalizador’ para comprobar la satisfactoriedad.
3. Los componentes de Tau y su interacción
La implementación de Tau implica un sistema general de reescritura, una extensión para reglas específicas de Tau, una gramática libre de contexto, APIs para recorrer fórmulas y construirlas a partir de sus constituyentes, un sistema de tipos, el normalizador y, finalmente, la satisfactoriedad y ejecución de las especificaciones de Tau…
El “normalizador” desempeña un papel fundamental, simplificando las fórmulas NSO en fórmulas equivalentes libres de cuantificadores y de relaciones de recurrencia.
4. Avances en las tareas de desarrollo
Informe de la finalización de los componentes clave: el sistema de reescritura, la gramática del Lenguaje Tau, varias APIs y el normalizador.
5. Desarrollo en curso y plazos estimados
Centrarse en la ampliación de la API del constructor, la creación de reglas de reescritura para la satisfactoriedad y la ejecución, y la implementación de los bits restantes necesarios para tener una implementación funcional del Lenguaje Tau (el solucionador, los divisores utilizados por los solucionadores, etc.).
El equipo tiene como objetivo una versión candidata para finales de enero de 2024, con pruebas que continuarán hasta febrero de 2024.
6. Retos y retrasos
Los retrasos se atribuyen a las mejoras en la gramática de Tau, la API de ejecución y el normalizador.
Otros retos fueron la definición de Tau como lógica base y la integración de varios componentes con el normalizador.
7. Expectativas para la versión alfa de Lenguaje Tau
La versión alfa del Lenguaje Tau mostrará un núcleo funcional del Lenguaje Tau, aplicable en áreas como la especificación de programas y más.
8. Conclusión
Destacar la importancia técnica y social de Tau, capaz de razonar sobre sus propias sentencias y potencialmente revolucionar varios campos. En particular, se subraya el potencial del proyecto para influir en el consenso jurídico, médico y científico, y sus aplicaciones en la IA y la toma de decisiones.
Atentamente,
El equipo Tau
2 Me gusta
Se sigue creando expectación ante la testnet.
Sí,eso observé también con el incremento de holders de los últimos dias.Aunque muchas cryptos relacionadas con la IA están subiendo mucho también,sobretodo desde hace 2-3 dias.
Lo que me echa un poco para atrás de Agoras en cuánto a apreciación del precio es que los “holders viejos”,si no vendieron en 7-8$(que parece que no) con un 70-80X en apenas unas semanas lo harán si o sí en 70-80$ con un casi 1000X lo cuál deja a Agoras peor comparado con otras cryptos.Aunque también hay que tener en cuenta la rapidez con la que se puede llegar a ese 10X,ese pasar de 100M a 1B de market cap,y Agoras ahí si que promete mucho porque es capaz de subir muy rápidamente.
https://x.com/vitalikbuterin/status/1759369749887332577?s=46&t=TEJUaDxoxLQfcB7teemdhg
https://x.com/taulogicai/status/1759506177581301936?s=46&t=TEJUaDxoxLQfcB7teemdhg
1 me gusta
Ahora mismo sin usabilidad para el token, y en testnet igual, si que es un escenario para grandes ventas. Igualmente todos sabemos que podemos llegar a esos números fácilmente con la testnet.
A mi me da que se atrasaran casi seguro, porque dependen de las patentes, asi que los tiempos marcados ahora no son realistas, no depende de ellos.
1 me gusta
Donde dice holders debería decir wallets…
Ya, no sé porqué no actualizan eso
2 Me gusta
