Tau Chain – Code or Money (traduccion)

Código o pago, ¿Qué acción debe realizarse primero?

Posteado Jul 21, 2015, 7:18 PM por Ohad Asor [ Actualizado el Jul 21, 2015, 8:02 PM ]

Supongamos el caso hipotético de que Lisa sea programadora y Bart, un hombre de negocios.

A Bart le gustaría que Lisa desarrolle un software para su empresa. Debido a que ellos no se conocen, es natural que se formulen la siguiente pregunta: ¿cómo podrían confiar el uno en el otro? A Bart le gustaria pagar cuando el software esté terminado y funcionando correctamente, a Lisa le gustaria recibir por adelantado el pago de su labor, con el fin de evitar el riesgo de trabajar sin recibir remuneración alguna. Sería justo llegar a una especie de acuerdo intermedio que los deje contentos a ambos; por ejemplo, definiendo las metas de trabajo; sin embargo, esto no resolverá totalmente el tema de la confianza, sólo lo minimizará un poco.

¿De qué manera se puede resolver este problema a través de aplicaciones descentralizadas? Gracias al algoritmo de la cadena de bloques se resuelve de alguna manera el problema de la confianza en la mayoría de los casos. Por ejemplo, con el Bitcoin se puede demostrar la propiedad de la divisa mediante una firma criptográfica, que les permite utilizar este dinero. ¿Este método podría ser de ayuda para Bart y Lisa?

La cadena de bloques podría ser de utilidad solo cuando se trata de un bien raíz de vital importancia. Es en menor escala una característica propia de la cadena de bloques y en mayor escala una característica del código fuente. A partir de esta afirmación surge una interrogante mucho más simple: Cuando Bart reciba el código fuente, ¿cómo podrá saber si funciona apropiadamente?

La verificación del software, así como también la realización de pruebas sobre su correcto funcionamiento y el control de calidad son fundamentales para la vida útil del mismo. No están hechos a prueba de personas poco inteligentes: comúnmente nos vemos enfrentados a software con errores de programación; dicha inestabilidad guarda relación con desfases que van en contra de lo que se pudiera esperar de un software, brechas de seguridad y mal funcionamiento del mismo. Programar software de calidad es un proceso lento, costoso y sujeto a conjeturas, que además presenta difíciles tasas de convergencia.

Hace mucho tiempo los expertos en informática tienen conocimiento de que esta situación se debe a la naturaleza lógica de los lenguajes de programación. Sería fantástico si pudiésemos expresar formalmente las especificaciones del software que necesitamos, y si el computador pudiera indicar si un determinado código fuente cumple con dichas exigencias. De hecho, esto podría ser una realidad si seleccionamos un subconjunto de los lenguajes de programación denominado: Totally Functional Programming Languages (Lenguajes de programación totalmente funcionales), cuya sigla en inglés es (TFPL).

Si pensamos en un código TFPL, las afirmaciones probables respecto a este tipo de código son exactamente las afirmaciones correctas; por lo tanto, siempre es posible entregar una prueba, junto con el código fuente, que cumpla con determinadas especificaciones del software. Este no es el caso de los lenguajes que cumplen a cabalidad con las especificaciones de la máquina de Turing, como ya se mencionó en mi publicación anterior.

Entonces, Lisa podría desarrollar el programa en (TFPL) y Bart podría verificar que el mismo cumpla con las especificaciones que solicitó. En muchos casos, Bart tendría que contratar a un programador que escriba aquellas especificaciones formales, pero desde luego, la expresión de las especificaciones es un trabajo mucho más sencillo que el cumplimiento de dichas exigencias.

Ahora que ya hemos resuelto el problema de verificación cabe preguntarse cómo solucionar el problema de la confianza en la forma de pago planteado al principio del texto.

Para resolver el problema del código y su pago, que es similar al dilema de qué fue primero el huevo o la gallina, Tau-Chain bridará una solución a la brevedad.

Tau es un lenguaje (TFPL), es decir le da significado/sentido (TFPL) a los lenguajes existentes (la familia de lenguajes RDF, caracterizados por una gran legibilidad para el humano). El cliente de Tau cumple la función de poner a prueba y verificar un teorema, de manera que puede comprobar afirmaciones respecto a un determinado código de lenguaje Tau. Este último también funciona como un nodo de cadena de bloques; sin embargo, las pruebas pueden ser simplemente pruebas en el sentido matemático hasta sistema de tipos Tau, que abarcan todas las máquinas de Turing finitas; es decir, prácticamente todo tipo de computadores.

Entonces, Bart podría guardar dinero en una dirección multifirma junto con Lisa (que sería el equivalente de un bitcoin en una cuenta bancaria compartida que requiere ambas firmas), y especifica que en Tau la divisa será entregada a Lisa sólo si ella presenta pruebas de que su código cumple con todas las especificaciones solicitadas. Dichas pruebas serán verificadas por la red completa, por así decirlo, o por personas que minan bitcoins, la forma específica depende nuevamente de las reglas impuestas por el usuario y de la manera en que se construye esa divisa específica sobre Tau. Finalmente Lisa será recompensada de manera segura a través del pago que ella merece por su trabajo.

Cabe señalar que Bart puede tener la seguridad de que Lisa no ha ocultado alguna sorpresa en el código, ya que puede verificar de forma automática que el código no realiza acciones incorrectas como acceder a información confidencial. Por lo tanto, estamos en presencia de una nueva era en el mundo de la informática, dónde es posible confiar en el software y las personas pueden confiar las unas en las otras cuando se realiza una amplia gama de transacciones.

¿Difícil de creer?


Ya terminamos un sistema de verificación muy poderoso, que fue sometido a una gran cantidad de pruebas. Aún no está en condiciones óptimas, pero seguimos trabajando para lograrlo. Requiere un mayor desarrollo para superar un sistema de razonamiento RDF y convertirse en un nodo completo Tau. Es necesario terminar los sistema de tipos con restricciones, completar la integración de la cadena de Bloques y el sistema DHT, construir el bloque genesis, una vez realizado todo lo anterior, ¡voilá!

Créditos

Autor: Ohad Asor

Traducción: Virgilio Leonardo Ruilova, colaborador anónimo.

Licencia de la traducción: Creative Commons – Atribución – Compartir Igual

Licencia del original: Copyright, por Ohad Asor

Podcast: Sincronia y Singularidad

Este sitio en WordPress aloja el podcast “sys”.

Descarga en Mp3, Ogg

Licencia: Attribution-NonCommercial-ShareAlike 3.0 Chile

Redacción y estilo: Marcela Reyes

Música: Cycles por Zofa, Nanocham por Plug, Sinking por Bifidus, Photon por Absolute Time

Podcast realizado por Virgilio Leonardo Ruilova y Alejandro Fernandez, conductores que basaron su conversación en la lectura de ensayos y artículos de prensa, en consultas con especialistas del mundo de la linguistica y medios de prensa independiente, además  aportaron con sus conocimientos personales sobre cine y cultura pop. En el primer capítulo se trataron los siguientes temas:

  1. Futurología
  2. Patentes de genes
  3. Vegetarianos, veganos vs. carnívoros
  4. Pueblos originarios
  5. Drogas recreativas
  6. Filosofía del derecho
  7. Felicidad interna bruta/índices de desarrollo humano
Referencias: ´
Debut, la película, de Andrés Nazarala (link)
“Las computadoras del futuro podrían llegar a pesar poco más de 1 tonelada y media”
Popular Mechanics 1949, artículo en el que se pronostica el implacable avance de la ciencia. Fuente
Ciencia ficción dura (link)
Steampunk (1) (2)
Greg Egan, El Asesino Infinito ISBN: 978-84-96013-26-1
Raymond Kurzweil, www.kurzweilai.net
Rip Van Winkle (wikipedia)
PaleoFuture (link)
Precios del agua como combustible, diesel, biocombustibles (link)
Carne cultivada (wikipedia)
Open Cyc (link)
Epcot Center (link)
Khan Academy, www.khanacademy.org
Biblioteca del congreso Nacional de Chile, resumenes de leyes (link) (también hay traducciones de leyes al mapudungun)
Idiomas enseñados en Suiza (link)
La Pasión de Cristo, “La película tiene una peculiaridad, y es que se rodó en latín, hebreo y arameo con subtítulos.” (wikipedia)

La muerte de Virgilio, Sergio Alejandro Amira

El relato fue concebido en social networking y google hangout, en un intercambio via “chat” entre Sergio Alejandro Amira y Virgilio Leonardo Ruilova. Hubo consenso para escribir una novela que indagara profundamente en el pasado del protagonista. El escritor Gonzalo Villar, de Editorial Altazor, la describió como una nouvelle cómica, extraña, misteriosa y atrayente, sentí que esa definición calzaba perfectamente con mi propia vida, si me propusiera reflexionar sobre ella en el presente. Nadie más autorizado que Gonzalo para emitir un juicio, ya que me conoce desde mi juventud.

Ahora soy el Quijote que se enfrenta a Cervantes.

Cabe señalar que la novela sobre mi vida no es totalmente autobiográfica, sino una mezcla perfecta entre realidad y ficción, llevada a cabo talentosamente por el escritor Sergio Alejandro Amira. Otros acontecimientos relevantes quedaron pendientes, de hecho fueron pensados para ser contados en libros posteriores. En un principio Sergio Alejandro Amira concebió este libro como una trilogía, pero con el tiempo se descartó esta idea por motivos personales que me atañen en forma directa. Debo confesar que me sorprendió gratamente que Karlés Llord hiciera una reseña en la contraportada de esta novela, debido a rencillas que sostuvimos hace muchos años. Esta fue una forma de reconciliarnos y de limar asperezas

Nunca pensé que se iba a contar sobre mi vida en una novela, a pesar de que esta ha sido bastante intensa. Mi búsqueda de la espiritualidad me llevó a conocer y participar en muchos credos y en agrupaciones de caracter sectario, por supuesto, me encontré con charlatanes y también con gente valiosa que influyó de manera positiva en el ser humano que soy hasta ahora. Debido a esta experiencia de vida me interesa en el presente el ecumenismo y la antropología de la religión, soy un buscador incansable del conocimiento.

El laberinto del alquimista

Adentrándonos en el jardín, nos
encontramos con arcos de arbustos y
hierbas, sutilmente forjados, hierro
rodeando las áreas verdes.

En los mismos setos, como si fueran
hologramas en la gama del verde,
cerúleo y esmeralda, apenas se divisan
figuras, diagramas de flujo, arboles de
decisiones. Todo esto inspirado en la
informática de un siglo atrás,
Posiblemente el alquimista salia de la
tecnología de IBM, de las bases de
datos de los ochentas y entraba con su
saber en la ciencia sagrada.

Puedo apreciar en un muro la imagen
que vi en un sueño que tuve con Fritz, un mapa del conocimiento
inspirado en el árbol de la vida de
Israel, heredado de los fenicios,
mesopotámicos, babilónicos, caldeos,
de la actual Iraq. Dicho mapa me es
ajeno, habla de diferentes divisiones,
probablemente integra similitudes ente
sistemas astrológicos, la estética vista
como un todo, escalas musicales, todas
las correspondencias anteriores
provenientes de diversas culturas, cada
una de las correspondencias inspiradas
en los estudios antropológicos actuales,
alguna vieja enseñanza hermética
perdida en el pasado y alguna
especulación sobre la naturaleza
“inmaterial” de una posible raza
“extraterrestre” perdida en el “más allá”
en un mundo fantasmal tejido del

material con el que soñamos, con el que
me lees y te imagino.

Siento un aroma dulce, suave,
penetrante, me embriaga, lo sigo…

El jardín se vuelve sinuoso, una melodía
de formas.

Intuyo que el mapa del conocimiento que
busco no está en los detalles, sino en la
totalidad del laberinto. Sin embargo,
debo integrar la enorme cantidad de
detalles y “fractalidades” a la imagen de
la totalidad. Eso, por mi parte.

• Virgilio, te pierdes en lo sensorial,
no has interpretado los símbolos, ni
siquiera has anotado conclusiones
de todo lo que lees, recuerda que
dijiste: “Es el trabajo de toda una
vida”. Por favor, Virgilio,
¿Tomemos apuntes?, ¡Cómo vamos
a perder esto!

Sergio, lo primero es que este
laberinto está citado en la obra de
Borges, pero en un capítulo
apócrifo, ¿Recuerdas mi
conversación telefónica con
Carlos?, le mencioné a
Jinarajadasa, uno de los
presidentes de la Sociedad T., él
me pidió mencionar la obra de un
matemático hindú, amigo de
Einstein, para compararla con la
literatura de Crowley, fundador de
la OTO. Veo que estos laberintos
siguen el patrón del número 12 en
varios recovecos, contrariamente,
Aleister Crowley usa un número
menos que sale de la huella dactilar
de lo divino y que entra en el ID
del universo, en las tuerzas
salvajes y descontroladas de la
materia y sus raíces en el alma.

Virgilio, Carlos recuerda
perfectamente esa conversación, tu
lo abandonaste después de haber
recibido el primer tomo de Inferno,
y no te lo perdonará.
Escribir esto es una forma de
exorcizar tus fantasmas. ¿Por qué
recurres a la matemática sagrada?,

¿no sería más prudente verlo desde
el mismo Kandinsky que tanto le
gustaba a tuyo de los 15 años?
Estás despreciando la naturaleza
misma de tu búsqueda, que parte
desde las imágenes, el sendero de
Kounboum está cohesionado por la
proporción áurea…

• Desde los sonidos, Sergio, desde
John Cage, Fantómas, Oval, Aphex
Twin, me fascina lo no-lineal, lo
impredecible del drillcore,
breakcore, flashcore, drumcore,
¿crees que busco sólo ritmo?
Necesito encontrar patrones,
números, Sergio

Nos perdemos entre los senderos.

¿Qué tecnología ancestral inspira a este
“jardinero”? Concluimos que este
trabajo requiere forzar la gravedad
misma y conectar millones de átomos
con diferentes espacio-tiempos, lineas
temporales y que para lograrlo se
recurre a indranet, la tecnología
mencionada en cindam.com, matrices de
realidad que se acuñan en el átomo, pero
que son externas a la física de
partículas, las mismas que en la
Inglaterra puritana inspiraron a la OTO,
a las cuales la Sociedad T. asignó a un
mundo inmaterial cobijado dentro de
unas “vibraciones”, algo fantasmal, sutil y abstracto,
proveniente de un “más
allá” lejano a nuestras vidas.

La propuesta victoriana postula que
dentro de cada átomo habitan mundos
inmateriales, ¿es eso cierto? Según este
alquimista posmoderno, es
absolutamente erróneo, el espíritu no
habita dentro del átomo, ni en
“vibraciones” o “frecuencias”, es una
realidad tangible, más concreta,
coexistente con nosotros.

La neurología habla más de ello que la
“física cuántica”, es trabajo de aparente
introspección y se materializa en lo
social, en la convivencia; no obstante, el
espíritu, no habita en la carne, tampoco
en la sociedad, somos todos y

accedemos al mismo desde la piel,
dentro de nuestro cofre de tesoros no
necesitamos arrancar a mundos
intangibles para llegar al origen mismo
de la vida.

El laberinto del alquimista de los setos

15 abril 2014

Virgilio Leonardo Ruilova

Creative commons, atribución, no
comercial

Correción de estilo: Marcela Reyes

Metaniveles modelo OSI

Sistema Operativo de capa 9 (Modelo OSI)

Puedo describir al sistema operativo como un meta-software que gestiona aplicaciones y “programas”. La “capa 9” es la sociedad, la capa inferior numero ocho está conformada por individuos como unidades modulares del “Sistema Operativo de Capa 9”.

Cabe destacar la capa 8.5, una variante existente entre las capas 8 y 9, que abarcaría el núcleo familiar, el cual es la unidad mínima de la sociedad según Niklas Luhmann.

La capa 7 es la Web completa. Las capas inferiores son software, hardware, electrónica y electricidad.

El diseño de un sistema operativo de Capa 9 es una gestión de recursos tales como: energía eléctrica, personas, sus estados anímicos, motivación, cultura y estilos de vida para desembocar en lo que hasta ahora se conoce como democracia liquida, término acuñado por el Partido Pirata planteado como una forma de distribuir la toma de decisiones en una forma democratica todavía no implementada.

Créditos: Eduardo Canela, PhD. Virgilio Leonardo Ruilova, Enrique Herrera Noya
Corrección de estilo: Marcela Reyes