Logo

    michelson

    Explore " michelson" with insightful episodes like ""Harmonious Narratives: The Journey of Karibbean Groove"", "Mi-Cho-Coq: Michelson formalized and applied, in Coq", "Verification of Tezos smart contracts with K-Michelson" and "#61 La leyenda del tiempo (II): una tortuga cósmica, Einstein y Borges" from podcasts like ""Stories to Create Podcast", "Iowa Type Theory Commute", "Iowa Type Theory Commute" and "kaizen con Jaime Rodríguez de Santiago"" and more!

    Episodes (4)

    "Harmonious Narratives: The Journey of Karibbean Groove"

    "Harmonious Narratives: The Journey of Karibbean Groove"

    In this engaging episode of the Stories to Create Podcast, host Cornell Bunting sits down with the talented members of Karibbean Groove, Yajaida, Michelson, and Judes. The conversation delves into their diverse musical influences, rich cultural backgrounds, and the serendipitous journey that brought them together.

    Listen as Michelson shares insights into his multifaceted life, from being the CEO at Aristhyl Enterprise LLC to his role as an associate Broker at Sellstate Realty. Judes takes you on a musical journey, discussing the band's formation, his marriage, and his job with the city. Meanwhile, Yajaida's narrative traces her upbringing in the Dominican Republic, her transition to Miami and then Fort Myers, and her experiences adapting to different cultures, including mastering the art of cooking oxtail.

    This captivating conversation reveals the harmonious blend of stories and experiences that have woven the tapestry of Karibbean Groove. Don't miss this unique narrative, where music, culture, and personal journeys intersect.

    Support the show

    Thank you for tuning in with EHAS CLUB - Stories to Create Podcast

    Mi-Cho-Coq: Michelson formalized and applied, in Coq

    Mi-Cho-Coq: Michelson formalized and applied, in Coq

    In this episode, I discuss this paper, "Mi-Cho-Coq, a Framework for Certifying
    Tezos Smart Contracts", by Bernardo et al.  The paper gives a nice and very clear introduction to the Michelson language, and a formalization of it in Coq.  This is used to prove a correctness property about a Multisig contract.

    I also kindly solicit your small donations ($5 or $10 would be awesome) to pay my podcast-hosting fees at Buzzsprout.  To donate, click here, and then under "Gift details" select "Search for additional options" and then search for Computer Science.  Select the Computer Science Development Fund, College of Liberal Arts and Sciences.  Then add gift instructions saying that this is to support the Iowa Type Theory Commute podcast of Aaron Stump.  Sorry it's that complicated.

    #61 La leyenda del tiempo (II): una tortuga cósmica, Einstein y Borges

    #61 La leyenda del tiempo (II):  una tortuga cósmica, Einstein y Borges

    (NOTAS Y ENLACES DEL CAPÍTULO AQUÍ: https://www.jaimerodriguezdesantiago.com/kaizen/61-la-leyenda-del-tiempo-ii/)

    Una de mis leyendas favoritas sobre el mundo de la ciencia cuenta que en una ocasión, un conocido científico estaba dando una conferencia sobre astronomía. Hay quien dice que ese científico era Bertrand Russell. Contaba cómo la Tierra giraba alrededor del Sol y cómo éste a su vez giraba alrededor del centro del conjunto de estrellas que forman nuestra galaxia. 

    Al parecer, sus argumentos no convencieron del todo a una señora que había entre el público que, al terminar la charla, se levantó y desde el fondo de la sala le dijo:

    “Todo esto que nos ha contado es una tontería. El mundo es una superficie plana apoyada en el caparazón de una tortuga gigante

    El científico, decidido a acabar con su argumento y con un poco de soberbia, le respondió: “Entonces… ¿sobre qué se apoya su tortuga”?

    “Es usted un joven muy inteligente, sí señor, muy inteligente… Pero es muy sencillo:  hay infinitas tortugas, una encima de la otra, hasta el fondo”

    Lo cierto es que el último capítulo de la segunda temporada de kaizen fue todo un ejercicio de escapismo. Bastante poco disimulado, también te digo. Si lo escuchaste, recordarás que te decía que Cristina, una oyente de kaizen, me había sugerido un tema: los viajes en el tiempo y los bucles temporales. 

    Casi nada.

    Te contaba entonces que la preparación de ese tema se me había ido un poquito de las manos y me había quedado sin temporada (y sin energías - no te voy a engañar) y que lo iba a tener que terminar en la tercera. Así que me he tirado buena parte del verano desempolvando mis pobres conocimientos de física y leyendo y releyendo cuanto he encontrado sobre el tema para intentar abordarlo. Y te confieso que ha sido, sin lugar a dudas, el capítulo más difícil de preparar de todos los que he tratado hasta ahora en el podcast.

    Lo más lógico habría sido rendirme e invitar a un experto que nos lo contara. Lo segundo no lo descarto para más adelante, pero lo primero se me ha dado siempre regular. Cabezota que es uno. 

    Lamentablemente, eso sí, no soy físico teórico. Ni un experto en matemáticas. Soy un ingeniero que a estas alturas tendría serias dificultades para hacer una integral. O incluso una derivada, probablemente. Y este tema me ha dado bastantes agujetas neuronales.

    Lo que está claro, eso sí, es que vamos a empezar la temporada reventando el nivel de frikismo. Y a lo largo de este y de, al menos, otro capítulo más sobre el tema voy a intentar contarte lo que yo he sido capaz de entender. Ojalá no meta demasiado la pata y sepa explicarme. Si no, siempre puedes rebobinar. Que ya te adelanto que es uno de los pocos métodos para viajar en el tiempo que realmente funcionan.

    ¿Te gusta kaizen? Apoya el podcast uniéndote a la Comunidad y accede a contenidos y ventajas exclusivas: https://www.jaimerodriguezdesantiago.com/comunidad-kaizen/

    Logo

    © 2024 Podcastworld. All rights reserved

    Stay up to date

    For any inquiries, please email us at hello@podcastworld.io