Algunas reflexiones sobre la ciencia de la computación.
Donate to Había una vez un algoritmo...
¡Enviáme un mensaje!En este episodio, exploro cómo los modelos masivos de lenguaje (LLMs) no solo son máquinas para acceder a una gran cantidad de conocimiento, sino a cómo lo podemos usar como asistentes multidisciplinares. Adoptando un rol diferente según el problema y permitiéndonos acceder a formas novedosas de dar solución a una misma cuestión.Ejemplo de un problema divertido: si tuviéramos que construir un mueble desde cero, ¿cómo lo enfocaría un matemático? ¿Un filosofo? ¿Un ingeniero? ¿Un escritor? ¿Un informático? ¿Un artista creativo?Una vez tenemos todas las respuestas, ¡es momento de integrarlas! Quizá saldría un mueble un tanto extraño, o quizá no.Y ahora viene lo importante: cambiemos el problema.Support the show
¡Enviáme un mensaje!Conversando con Héctor de The Dojo MX sobre mi próximo libro a publicarse en enero del 2025, Palabras y Algoritmos. ¿Cómo la Inteligencia Artificial transformará la escritura?Support the show
¡Enviáme un mensaje!Una extensa conversación con Héctor Patricio de The Dojo MX, sobre algoritmos y los problemas para encontrar una definición absoluta. ¡Y con muchas recomendaciones de libros!Support the show
¡Enviáme un mensaje!Ese hipotético futuro, ¿podría ser posible?Support the show
¡Enviáme un mensaje!Algunas optimistas reflexiones sobre los modelos generativos de IA.Support the Show.
¡Enviáme un mensaje!Una conversación con Héctor Patricio, de The Dojo MX. Hablamos sobre mi libro Principios de Programación; además de tocar una gran variedad de temas: determinismo, suerte, trabajo creativo.Libro recomendado: Why Greatness Cannot Be Planned: The Myth of the Objective, de Kenneth O. O. Stanley y Joel Lehman (2015, Springer).Support the Show.
Send us a Text Message.Sobre cómo se relaciona el estoicismo y la computación a través del determinismo.Support the Show.
Send us a Text Message.Algunas ideas sobre el interesante artículo de Margaret Boden: Creativity and artificial intelligence (1998).Support the Show.
Send us a Text Message.Sobre el concepto de complejidad propuesto por Herbert A. Simon en su artículo: The Architecture of Complexity.Libro mencionado: The Sciences of the Artificial (1969). Support the Show.
Send us a Text Message.Sobre el famoso experimento mental de Alan Turing.Libro mencionado: ¿Puede pensar una máquina?, introducción de Manuel Garrido, editorial KRK (2012).Support the Show.
«Es como volver a empezar», una reflexión.Support the Show.
Una conversación sobre pragmatismo, utilitarismo y contemplación, y cómo estos conceptos se relacionan con la verdad y la felicidad. Además, cómo se conectan con nuestra vida profesional como informáticos.Es la primera colaboración con Héctor Patricio de TheDojoMX, un excelente canal de informática.Canal de YouTube de TheDojoMX:https://www.youtube.com/@TheDojoMX Información del pódcast:- Sitio web: https://algoritmo.buzzsprout.comMis libros:- Sitio web: https://camilochs.github.io/web/libros/Contacto:- Sitio web: https://camilochs.github.io/web/Redes sociales:- Twitter: https://twitter.com/camilo_chacon_s- Quora: https://es.quora.com/profile/Camilo-Chac%C3%B3n-Sartori- Linkedin: https://www.linkedin.com/in/camilo-chacon-sartori/- Instagram: https://www.instagram.com/camilo.chacon.s/- GitHub: https://github.com/camilochs- Researchgate: https://www.researchgate.net/profile/Camilo-Chacon-Sartori Support the show
Algunas reflexiones sobre la definición de programa computacional de Raymond Turner, propuesta en su libro: Computational Artifacts (2018).Support the show
Cristian Steib es líder técnico en Avature y tiene varios años de experiencia como desarrollador de software. Lo que le ha permitido no sólo trabajar en proyectos tradicionales de programación, sino también en otros donde debe existir una simbiosis con el hardware. Una excelente conversación para aprender otra faceta de la informática.Redes sociales de Cristian:https://www.instagram.com/cristian.steibhttps://www.linkedin.com/in/cristiansteib/https://github.com/cristiansteib/ Support the show
Algunas implicaciones filosóficas de los modelos generativos que producen código.Support the show
La falibilidad de nuestros recuerdos distorsiona en parte nuestro presente y nos induce a cometer malas interpretaciones. Algo que, en la actualidad, también poseen los modelos generativos de IA. También añadí algunas notas sobre la creatividad humana y artificial.Support the show
Un breve repaso a la vida de Niklaus Wirth, importante científico de la computación que recientemente falleció.Para más información, pueden considerar adquirir mi libro:Mentes geniales. La vida y obra de 12 grandes informáticosSupport the show
Sobre cómo preguntas que apelan a cuestiones morales pueden poner en aprietos a los LLMs (Large Language Models).Referencia: Evaluating the Moral Beliefs Encoded in LLMs.Support the show
Sobre el trabajo de Lenore y Manuel Blum en su artículo: "A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine". Este artículo presenta un modelo computacional llamado Conscious Turing Machine, que esta influido por la Turing Machine (modelo de computación) y Global workspace theory (modelo para pensar en la consciencia).Enlace del paper: https://www.pnas.org/doi/full/10.1073/pnas.2115934119Global Workspace Theory: https://en.wikipedia.org/wiki/Global_workspace_theorySupport the show
¿Existe el libre albedrío? Sobre la tesis de Robert Sapolsky de la vida sin libre albedrío.Añado una conexión con la informática.Audio original del episodio de YouTube: https://youtu.be/jfUgL_HEW1ULibro de Robert Sapolsky: Determined. Life Without Free Will.Support the show
Hoy nos visita Manuel Rubio por tercera vez, en esta ocasión, para hablarnos sobre el contenido de su segundo libro dedicado a la historia de la programación, que transcurre en la década de 1960. ¡Un periodo apasionante!Canal de YouTube: https://www.youtube.com/@programandootrahistoriaSupport the show
Una breve historia de la computación cuántica y sus pioneros.Support the show
Una introducción a mi nuevo libro Principios de programación que ya se encuentra en preventa, editado por Marcombo.Enlace al anuncio:https://camilocs.substack.com/p/nuevo-libro-principios-de-programacionPreventaEspaña y extranjero:Amazon ESEspaña:fnacLa publicación será a finales de septiembre.Support the show
En este episodio exploro los LLMs (Large language models), y también, algunas sugerencias sobre cómo usarlos para obtener un mayor beneficio.Mi newsletter que contiene varias entrevistas a grandes personalidades de la ciencia de la computación:https://camilocs.substack.comSupport the show
Jesús Gómez es un experimentado programador venezolano. Hoy conversamos sobre los diversos estilos de programación: imperativo, orientado a objeto y funcional. Y nos centraremos en este último, sobre todo, en los lenguajes derivados de Lisp, como es el caso de Clojure.Libros mencionados en la entrevista:- https://htdp.org/- https://mitpress.mit.edu/sicp- https://greenteapress.com/wp/think-python/- https://mcsp.wartburg.edu/zelle/python/ppics3/index.htmlSupport the show
Una gran conversación con Oscar Fernandez Sierra, un informático con una gran componente humanista.A continuación algunos de los textos recomendados durante la entrevista:El efecto Checklist de Atul Gawande. Dar y recibir: Por qué ayudar a los demás conduce al éxito de Adam Grant.Amplitud (Range): Por qué los generalistas triunfan en un mundo especializado de David Epstein.The Dream Machine de M. Mitchell Waldrop.Where Wizards Stay Up Late: The Origins Of The Internet de Katie Hafner.Support the show
Hoy fue anunciado AlphaDev de DeepMind. Un generador de código que demostró ser capaz de "descubrir" nuevos algoritmos que superan al mejor algoritmo de ordenamiento (sort) en C++ (implementación en LLVM).Artículo mencionado: Faster sorting algorithms discovered using deep reinforcement learningSupport the show
Tres ideas de cómo unir las humanidades a la enseñanza de la computación.Support the show
Algunos breves comentarios sobre los reparadores automáticos de programas (o código) y su importancia en el quehacer de un desarrollador.Más información: https://arxiv.org/abs/2301.03270DeepFix: https://paperswithcode.com/dataset/deepfixSupport the show
Hablamos sobre ChatGPT y de una probable una nueva síntesis en la IA: entre los sistemas probabilísticos y los de razonamiento simbólico.Support the show
Raúl Castro es un experimentado informático que ha trabajado tanto en Argentina como en Alemania. Conversamos sobre diversos temas: las habilidades de un buen programador, el rol de las tecnologías, cómo la Inteligencia Artificial afectará la actividad de programar y cómo surgió su interés por la red social Quora, entre muchas otras cuestiones.Perfil de Raúl en Quora: https://es.quora.com/profile/Raul-CastroSupport the show
Hoy: sobre dos personajes claves para entender la computación actual.Referencia: Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole de Sara L. Uckelman (2010).Support the show
En este episodio comienzo hablando sobre dos clásicos experimentos mentales: el Test de Turing (de Alan Turing) y la Habitación China (de John Searle), para luego tratar lo relativo a ChatGPT.Support the show
La computación neuromórfica emerge como una nueva posibilidad de mejorar la eficiencia en los algoritmos de inteligencia artificial.Artículo de referencia:Opportunities for neuromorphic computing algorithms and applicationsSupport the show
Un episodio dedicado a Edsger Dijkstra, científico de la computación, ganador del premio Turing 1972.Para más información, pueden considerar adquirir mi libro:Mentes geniales. La vida y obra de 12 grandes informáticosSupport the show
Sobre tres aspectos que considero relevantes en el futuro de los lenguajes de programación: nuevos lenguajes de programación para atacar nuevos dominios, preocupación por el consumo energético y la reparación automática de errores.Artículos mencionados:Energy Efficiency across Programming Languages. Enlace: https://sites.google.com/view/energy-efficiency-languagesConcolic Program Repair. Enlace: https://cpr-tool.github.ioSupport the show
Algunas reflexiones sobre GitHub Copilot y AlphaCode y su posible impacto en la manera que tenemos de concebir la programación.Artículos mencionados: Do Users Write More Insecure Code with AI Assistants?https://arxiv.org/abs/2211.03622The End of Programming. https://cacm.acm.org/magazines/2023/1/267976-the-end-of-programming/fulltextSupport the show
Manuel Rubio regresa a este pódcast para hablarnos sobre su libro de la historia de los lenguajes de programación. Repasamos cómo surgió FORTRAN, Cobol, Lisp, C, Erlang, y muchos más. Además de darnos a conocer cómo estos lenguajes influyeron a otros que forman parte de nuestro presente.Enlaces de Manuel:Twitter: https://twitter.com/MRonErlangPueden encontrar los libros de Manuel aquí: https://altenwald.comSupport the show
Hoy quiero conversar sobre mis primeras impresiones usando Rust. También de los tipos de implementación que existen para un lenguaje de programación: interpretación, compilación estática y Just-in-time (JIT). La dirección de mi newsletter: https://camilocs.substack.comSupport the show
Fabián es un entusiasta de la programación funcional y, en particular, de Haskell. Hoy conversamos sobre su experiencia con este interesante lenguaje de programación.Libro recomendado: http://learnyouahaskell.comTwitter: https://twitter.com/fabianmativealGitHub: https://github.com/FabianVegaASupport the show
Parte final del ep. # 100. Gracias a todos por seguir este pódcast :-)Support the show
Parte II del episodio número 100 de celebración :-)En esta ocasión "revivo" algunos extraordinarios momentos junto a:Jose A. Alonso JiménezAntonio CabreraDaphne GallardoCarlos LauterbachPamela BustamanteEl título de este episodio es en recuerdo del libro de Santiago Ramón y Cajal: Los tónicos de la voluntad: Reglas y consejos sobre investigación científica.Support the show
Episodio nro. 100, Parte I. Comenzaré una antología extrayendo algunos fragmentos de cada entrevista. En esta primera parte recordamos a:Claudio AlbornozFelipe Santa-CruzManuel RubioAndros FenollosaAndrés LeónManuel Rubio-SánchezOrlando MéndezEl título de este episodio es en homenaje a Javier Marías, es el nombre de una de sus novelas, gran escritor y traductor recientemente fallecido.Support the show
Una nueva conversación con Andros, en esta ocasión conversamos sobre su reciente libro: Building SPAs with Django and HTML Over the Wire.Enlaces al libro:https://www.amazon.com/Building-SPAs-Django-HTML-Over/dp/1803240199Sitio web de Andros:https://soy.andros.dev Support the show
La importancia de Deep Learning y el surgimiento de nuevas empresas y equipos de investigación dentro de empresas privadas. Además de la aparición de modelos pre-entrenados como los Transformers.Mi canal de YouTube:https://www.youtube.com/channel/UCmvwiEa3m6mrgjIbDyZr0agMe puedes regalar un café:https://www.buymeacoffee.com/camilocsSupport the show
¿Qué es la cibernética y cómo la podemos conectar con la programación?Lecturas sugeridas:Artículo: Cybernetics. Ernst von Glasersfeld, 1992. https://www.taylorfrancis.com/chapters/edit/10.1201/9781482277180-1/cybernetics-ernst-von-glasersfeldLibro: An Introduction to Cybernetics. William Ross Ashby, 1956.Personajes mencionados:Norbert Wiener. Autor del libro: Cybernetics: Or Control and Communication in the Animal and the Machine
El ascenso y caída de los sistemas expertos, y, el amanecer del aprendizaje automático junto a las redes neuronales artificiales.
Un debate filosófico sobre la programación: pragmático/ingenieril vs. teórico
Primera parte de la historia de la IA (por supuesto, bastante resumida). Algunos personajes mencionados:Alan Turing. Autor de un relevante artículo sobre la IA.John McCarthy. Creador de Lisp.Frank Rosenblatt. Creador del Perceptrón.Ray Solomonoff. Creador del concepto de probabilidad algorítmica.Joseph Weizenbaum. Creador de ELIZA. Un filósofo de la informática.Marvin Minsky. Autor del libro: Perceptrons.
¿Las capacidades cognitivas de nuestro cerebro son computación? Hoy hablaré sobre la teoría computacional de la mente.Enlaces relevantes:- Habitación china (John Searle): https://es.wikipedia.org/wiki/Habitaci%C3%B3n_china- Objections to Computationalism: A Survey. Marcin Miłkowski. Enlace: https://philarchive.org/archive/MIKOTC-2 Información del podcast:- Sitio web: https://algoritmo.buzzsprout.comContacto:- Sitio web: https://camilochs.github.io/web/Redes sociales:- Twitter: https://twitter.com/camilo_chacon_s- Quora: https://es.quora.com/profile/Camilo-Chac%C3%B3n-Sartori- Linkedin: https://www.linkedin.com/in/camilo-chacon-sartori/- Instagram: https://www.instagram.com/camilo.chacon.s/- GitHub: https://github.com/camilochs- Researchgate: https://www.researchgate.net/profile/Camilo-Chacon-Sartori
Un episodio dedicado a este concepto tan importante en la informática que, se familiariza, con otros como la verificación formal, la inmutabilidad y la programación funcional. Información del podcast:- Sitio web: https://algoritmo.buzzsprout.comContacto:- Sitio web: https://camilochs.github.io/web/Redes sociales:- Twitter: https://twitter.com/camilo_chacon_s- Quora: https://es.quora.com/profile/Camilo-Chac%C3%B3n-Sartori- Linkedin: https://www.linkedin.com/in/camilo-chacon-sartori/- Instagram: https://www.instagram.com/camilo.chacon.s/- GitHub: https://github.com/camilochs- Researchgate: https://www.researchgate.net/profile/Camilo-Chacon-Sartori