Érase una vez un algoritmo...
by Camilo Chacón Sartori
Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.
Episodes
-
«Magnifica Humanitas» y la IA | E-148
¡Enviáme un mensaje! Sobre la encíclica papal y la IA. Referencias mencionadas: -https://www.vatican.va/content/leo-xiv/es/encyclicals/documents/20260515-magnifica-humanitas.html - Architectures of Error: A Philosophical Inquiry into Human and AI Code...
-
Cuando el software sobrevive a sus razones | E-147
¡Enviáme un mensaje! Un resumen sobre mi próximo artículo "Code Structure Evolution: When Software Outlives Its Reasons" Support the show
-
Agentes que negocian: contratos de información | E-146
¡Enviáme un mensaje! Sobre por qué tener protocolos de comunicación entre equipos de agentes es importante. Support the show
-
Infraestructura cognitiva-artificial | E-145
¡Enviáme un mensaje! Sobre por qué debemos añadir fricción para pulir nuestros proyectos/ideas. Support the show
-
El gap de especificación en los agentes de código | E-144
¡Enviáme un mensaje! La especificación es fundamental en los agentes de código. Enlace a mi paper The Specification Gap: Coordination Failure Under Partial Knowledge in Code Agents:...
-
Arquitecturas de Error: Sobre el código generado por humanos e IA | E-143
¡Enviáme un mensaje! Enlace a mi artículo "Architectures of Error: A Philosophical Inquiry into Human and AI Code" https://rdcu.be/e8dAu Support the show
-
Evolución Estructurada de Código | E-142
¡Enviáme un mensaje! Sobre lo que necesitan los agentes de código actuales para incorporarse dentro de una empresa. Support the show
-
El futuro de la ingeniería de software impulsado por IA | E-141
¡Enviáme un mensaje! Algunas ideas y especulaciones sobre el futuro de la ingeniería de software impulsado por IA. Support the show
-
LLMs como integradores de conocimiento | E-140
¡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...
-
Nuevo libro: Palabras y Algoritmos (Enero 2025) [+ TheDojoMX] | E-139
¡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
-
Algoritmos: una visión moderna [+ TheDojoMX] | E-138
¡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
-
¿El fin de la informática? | E-137
¡Enviáme un mensaje! Ese hipotético futuro, ¿podría ser posible? Support the show
-
Las posibilidades de los modelos generativos de IA | E-136
¡Enviáme un mensaje! Algunas optimistas reflexiones sobre los modelos generativos de IA. Support the show
-
Sobre mi libro Principios de Programación y sobre el arte de escribir [+ TheDojoMX] | E-135
¡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...
-
Estoicismo y Computación | E-134
¡Enviáme un mensaje! Sobre cómo se relaciona el estoicismo y la computación a través del determinismo. Support the show
-
Creatividad e Inteligencia Artificial, de Margaret Boden | E-133
¡Enviáme un mensaje! Algunas ideas sobre el interesante artículo de Margaret Boden: Creativity and artificial intelligence (1998). Support the show
-
La arquitectura de la complejidad, de Herbert A. Simon | E-132
¡Enviáme un mensaje! 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
-
La Prueba de Turing no es una prueba | E-131
¡Enviáme un mensaje! 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» | E-130
¡Enviáme un mensaje! «Es como volver a empezar», una reflexión. Support the show
-
Pragmatismo, utilitarismo y contemplación en tecnología ~ [+TheDojoMX] | E-129
¡Enviáme un mensaje! 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...
-
¿Qué es un programa computacional? | E-128
¡Enviáme un mensaje! Algunas reflexiones sobre la definición de programa computacional de Raymond Turner, propuesta en su libro: Computational Artifacts (2018). Support the show
-
Cristian Steib: entre Arduino y Kubernetes | E-127
¡Enviáme un mensaje! 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...
-
Las implicaciones filosóficas de la IA, y el lenguaje de programación L* | E-126
¡Enviáme un mensaje! Algunas implicaciones filosóficas de los modelos generativos que producen código. Support the show
-
¿Qué diferencia la inteligencia humana de la artificial? | E-125
¡Enviáme un mensaje! 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…
more -
Mentes geniales: Niklaus Wirth (1934-2024) | E-124
¡Enviáme un mensaje! 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áticos Support the show
-
La moralidad en los LLMs | E-123
¡Enviáme un mensaje! 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
-
Máquina de Turing Consciente | E-122
¡Enviáme un mensaje! 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...
-
El libre albedrío y la informática | E-121
¡Enviáme un mensaje! ¿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_HEW1U Libro de Robert Sapolsky: Determined. Life Without Free Will. Support the show
-
Manuel Rubio (Parte III): la historia de los lenguajes de programación (década de 1960) | E-120
¡Enviáme un mensaje! 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:...
-
Una breve historia de la computación cuántica ~ Parte I | E-119
¡Enviáme un mensaje! Una breve historia de la computación cuántica y sus pioneros. Support the show
-
Principios de programación (nuevo libro) | E-118
¡Enviáme un mensaje! 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-programacion Preventa España y extranjero: Amazon ES España: fnac La publicación…
more -
LLMs y ChatGPT: tres recomendaciones | E-117
¡Enviáme un mensaje! 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.com...
-
Jesús Gómez: Clojure y la programación funcional | E-116
¡Enviáme un mensaje! 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...
-
Oscar Fernandez Sierra: la importancia de ayudar | E-115
¡Enviáme un mensaje! 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...
-
AlphaDev: la nueva aventura de DeepMind | E-114
¡Enviáme un mensaje! 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...
-
Computación y humanidades: tres puntos de encuentro | E-113
¡Enviáme un mensaje! Tres ideas de cómo unir las humanidades a la enseñanza de la computación. Support the show
-
Reparadores automáticos de programas | E-112
¡Enviáme un mensaje! 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.03270 DeepFix: https://paperswithcode.com/dataset/deepfix Support the show
-
José A. Alonso Jiménez (Parte II): ChatGPT, y de una probable síntesis en la IA | E-111
¡Enviáme un mensaje! 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: sobre la actividad de programar | E-110
¡Enviáme un mensaje! 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...
-
Ramon Llull y Gottfried Leibniz: en los comienzos de la computación | E-109
¡Enviáme un mensaje! 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
-
Breves reflexiones filosóficas sobre ChatGPT | E-108
¡Enviáme un mensaje! 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
-
Computación Neuromórfica: ¿El futuro de la computación? | E-107
¡Enviáme un mensaje! 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 applications Support the show
-
Mentes geniales: Edsger Dijkstra (1930-2002) | E-106
¡Enviáme un mensaje! 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áticos Support the show
-
El futuro de los lenguajes de programación | E-105
¡Enviáme un mensaje! 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...
-
Generadores automáticos de código: ¿El fin de la programación? | E-104
¡Enviáme un mensaje! 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.03622 The End of Programming....
-
Manuel Rubio (Parte II): Historia de los lenguajes de programación | E-103
¡Enviáme un mensaje! 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…
more -
Rust, y tipos de implementación de un lenguaje de programación | E-102
¡Enviáme un mensaje! 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.com…
more -
Fabián Vega Alcota: Haskell y la programación funcional | E-101
¡Enviáme un mensaje! 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.com Twitter: https://twitter.com/fabianmativeal GitHub:...
-
Renacer ~ Parte III ~ Final | E-100 [Celebración]
¡Enviáme un mensaje! Parte final del ep. # 100. Gracias a todos por seguir este pódcast :-) Support the show
-
Los tónicos de la voluntad ~ Parte II | E-100 [Celebración]
¡Enviáme un mensaje! Parte II del episodio número 100 de celebración :-) En esta ocasión "revivo" algunos extraordinarios momentos junto a: Jose A. Alonso Jiménez Antonio Cabrera Daphne Gallardo Carlos Lauterbach Pamela Bustamante El título de este episodio es en recuerdo del libro de Santiago...
About this show
Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.
Hosted by
Camilo Chacón Sartori
Categories