Érase una vez un algoritmo...

¡Enviáme un mensaje! Respondiendo a una crítica sobre el podcast. Support the show

¡Enviáme un mensaje! ¿Cuáles son las tareas de un filósofo de la computación? En este episodio trataremos algunas de sus labores y por qué son importantes. Support the show

¡Enviáme un mensaje! Se hace una breve exposición de los ocho principios de la programación: diseño, estado, recurso, transformación, documentación, evaluación y ethos.  Respuesta de Quora asociada: https://qr.ae/pN0vsX Libro mencionado en este capítulo: https://www.amazon.com/Great-Principles-Computing-MIT-Press/dp/026252712X Support the show

¡Enviáme un mensaje! Trataremos dos formas de semántica: formal (operacional y denotacional; el significado de los programas) y filosófica (referencia y sentido de los términos que usamos). Artículo recomendado para la semántica formal: http://people.cs.ksu.edu/~schmidt/705a/Lectures/chapter.pdf Support the show

¡Enviáme un mensaje! Hoy hablaremos sobre Hipercomputación, un modelo de computación que propone la idea de que es posible computar funciones no-computables (por ej. que no son posibles de hacer con una máquina de Turing). El artículo de Martin Davis: The Myth of Hypercomputation . Lo pueden encontrar en: https://www.researchgate.net/publication/243784599_The_Myth_of_Hypercomputation Support the s...

¡Enviáme un mensaje! Trataremos el tema de mi libro recién publicado. El porqué del tema escogido y el enfoque que trato de transmitir. Más información en: http://camilochacon.com/ Support the show

¡Enviáme un mensaje! Sobre una de las metáforas más populares en los sistemas distribuidos. Support the show

¡Enviáme un mensaje! Sobre los aspectos fundamentales de la computación cuántica y cómo difiere de la computación clásica.  ¡Feliz Navidad a todos! Support the show

¡Enviáme un mensaje! Episodio de aniversario. Una actualización del primer episodio del podcast (un año después). ¡Gracias a todos! Support the show

¡Enviáme un mensaje! Trataremos qué son los datos, información y la teoría matemática de la comunicación (conocida como teoría de la información) propuesta por Claude Shannon en 1948. Libro recomendado: https://www.amazon.es/Information-Very-Short-Introduction-Introductions/dp/0199551375 Support the show

¡Enviáme un mensaje! Revisaremos el artículo de Amnon H. Eden sobre las distintas estrategias en la forma de abordar los problemas computacionales: racionalista, tecnocrático y científico. Artículo: https://www.researchgate.net/publication/220636751_Three_Paradigms_of_Computer_Science Y una breve reseña sobre nuestra propuesta del pragmatismo analítico dentro de la computación. Support the show

¡Enviáme un mensaje! Sobre las diferencias entre concurrencia, paralelismo y asincronía. 17 libros recomendados sobre computación:  https://youtu.be/tFpzVY2YMBo Referencia:  Practical parallel and concurrent programming. https://www.researchgate.net/publication/228702197_Practical_parallel_and_concurrent_programming An Introduction to Programming with Threads. Andrew D. Birrell. https://www.hpl.hp...

¡Enviáme un mensaje! Sobre los aspectos filosóficos de los programas computacionales. Su naturaleza dual (abstracta y concreta) que lo componen y cómo interactúan.  A su vez, revisaremos las ideas de Raymond Turner y Tim Colburn. Libro de Turner: - Computational Artifacts, 2018. Libro de Colburn: - Philosophy and Computer Science, 2000. Support the show

¡Enviáme un mensaje! Sobre el auge del paradigma de programación probabilística y sus lenguajes de programación.  Artículos mencionados:  An Introduction to Probabilistic Programming: https://arxiv.org/abs/1809.10756 Probabilistic programming: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/fose-icse2014.pdf Gordon y otros. 2014 Pyro - Deep Universal Probabilistic Programming:...

¡Enviáme un mensaje! Sobre cómo las malas decisiones a la hora de usar y elegir tecnologías nos puede perjudicar en nuestra carrera profesional y, qué podemos hacer para evitarlo. Support the show

¡Enviáme un mensaje! ¿Qué es la teoría de la computación? ¿Qué es la teoría de la programación? ¿Cómo se diferencian? El espacio de QuoraES en Discord:  https://discord.gg/b4S5C2 Support the show

¡Enviáme un mensaje! Sobre los tres principios fundamentales de la programación: estados (cambios), mensajes (objetos) y transparencia referencial (sustitución). Esta última ligada al trabajo del filósofo W. V. Quine en su libro "Word and Object". Además hablaremos de la distinción que realiza Leslie Lamport a los términos: "programming" y "coding". Support the show

¡Enviáme un mensaje! Sobre el artículo de Graham White: "The Philosophy of Computer Languages". El enlace para revisarlo: http://www.f.waseda.jp/sidoli/White_2004_Philosophy_Computer_Language.pdf   Support the show

¡Enviáme un mensaje! Hoy hablaremos sobre el artículo de Peter Denning y Peter Freeman: "Computing's paradigm" publicado en ACM 2009. Enlace:  http://cui.unige.ch/~falquet/articles/computing-paradigm-denning.pdf   Support the show

¡Enviáme un mensaje! ¿Ada Lovelace fue la primera programadora de la historia? Hoy presentaremos los datos que demuestran lo contrario. Support the show

¡Enviáme un mensaje! Sobre la especialización en computación y su contraste: el generalismo. La idea de poder tener conocimientos amplios en esta área. Support the show

¡Enviáme un mensaje! Primer episodio de la segunda temporada. Hablaremos sobre la máquina de Turing, máquina de Gandy, la computación física, la computación algorítmica, tesis de Church-Turing, entre otras cuestiones. Support the show

¡Enviáme un mensaje! ¿Qué es la computación? ¿Quiénes son sus enemigos? Hoy haremos una crítica en contra de los enemigos de esta. Support the show

¡Enviáme un mensaje! Sobre las fases del compilador y las herramientas que se usan para su construcción. También hablaremos sobre algunos personajes que han marcado la historia en los lenguajes de programación, como por ejemplo: Niklaus Wirth, creador de Pascal, Modula-2 y Oberon. Support the show

¡Enviáme un mensaje! Hoy tratamos sobre el modelo computacional propuesto por Alan Turing, conocido como la máquina de Turing. Sus implicaciones, relevancia y similitudes con el cálculo lambda de Alonzo Church, y como estos trabajos derivaron en la Tesis de Church-Turing. Support the show