Sobre por qué debemos añadir fricción para pulir nuestros proyectos/ideas.

Support the show

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:

https://www.researchgate.net/publication/402716423_The_Specification_Gap_Coordination_Failure_Under_Partial_Knowledge_in_Code_Agents

Support the show

Enlace a mi artículo "Architectures of Error: A Philosophical Inquiry into Human and AI Code"

https://rdcu.be/e8dAu

Support the show

Sobre lo que necesitan los agentes de código actuales para incorporarse dentro de una empresa.

Support the show

Algunas ideas y especulaciones sobre el futuro de la ingeniería de software impulsado por IA.

Support the show

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

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

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

Ese hipotético futuro, ¿podría ser posible?

Support the show

Algunas optimistas reflexiones sobre los modelos generativos de IA.

Support the show

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

Sobre cómo se relaciona el estoicismo y la computación a través del determinismo.

Support the show

Algunas ideas sobre el interesante artículo de Margaret Boden: Creativity and artificial intelligence (1998).

Support the show

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

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.com

Mis 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.steib
• https://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áticos

Support 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.2115934119

Global Workspace Theory: https://en.wikipedia.org/wiki/Global_workspace_theory

Support 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_HEW1U

Libro 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/@programandootrahistoria

Support 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-programacion

Preventa

España y extranjero:

• Amazon ES

España:

• fnac

La 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.com

Support 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.html

Support 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 learning

Support 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.03270

DeepFix: https://paperswithcode.com/dataset/deepfix

Support 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-Castro

Support 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 applications

Support 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áticos

Support 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-languages
• Concolic Program Repair. Enlace: https://cpr-tool.github.io

Support 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.03622
• The End of Programming. https://cacm.acm.org/magazines/2023/1/267976-the-end-of-programming/fulltext

Support 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/MRonErlang
Pueden encontrar los libros de Manuel aquí: https://altenwald.com

Support 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.com

Support 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.com

Twitter: https://twitter.com/fabianmativeal
GitHub: https://github.com/FabianVegaA

Support 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énez
• Antonio Cabrera
• Daphne Gallardo
• Carlos Lauterbach
• Pamela Bustamante

El 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 Albornoz
• Felipe Santa-Cruz
• Manuel Rubio
• Andros Fenollosa
• Andrés León
• Manuel Rubio-Sánchez
• Orlando Méndez

El 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/1803240199
• Sitio 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/UCmvwiEa3m6mrgjIbDyZr0ag
• Me puedes regalar un café:
  • https://www.buymeacoffee.com/camilocs

Support 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-glasersfeld
• Libro: 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

Support the show

El ascenso y caída de los sistemas expertos, y, el amanecer del aprendizaje automático junto a las redes neuronales artificiales.

Support the show

Un debate filosófico sobre la programación: pragmático/ingenieril vs. teórico

Support the show

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.

Support the show

¿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.com

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

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.com

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

Sobre la distinción entre especificación e implementación.

 Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Patricio Reyes es investigador senior del Barcelona Supercomputing center (BSC), hablamos sobre diversas cosas relacionadas con el análisis de datos urbanos: teoría de grafos, redes complejas, simulación, optimización, datos espaciales, etc. 

Y además de incluir el tema más importante de todos: el café.  No se pierdan esta interesante y divertida charla.

• Redes sociales
  • https://twitter.com/pareyesv
  • https://github.com/pareyesv
  • https://www.linkedin.com/in/patricioreyes
• Proyectos mencionados
  • IoTwins: https://www.iotwins.eu/testbeds/facility-management/nou-camp-sport-facility-management-and-maintenance
  • NaN: http://bsc.es/viz/nan
  • An ethics checklist for data scientists: https://deon.drivendata.org
  • scikit-mobility: https://scikit-mobility.github.io/scikit-mobility
• Cursos
  • A scikit-learn MOOC developed by its creators! https://www.inria.fr/en/mooc-scikit-learn
  • Reproducible Science: https://github.com/pareyesv/rs2021
  • Introduction to Big Data Analytics 2022: https://github.com/pareyesv/ibda2022
• Cafeterías de especialidad en Barcelona que se mencionan
  • SlowMov https://slowmov.com
  • Nomad https://nomadcoffee.es
  • Hidden Coffee Roasters https://hiddencoffeeroasters.com
  • Three Marks Coffee https://www.threemarkscoffee.com

 Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Héctor Patricio es un desarrollador de software mexicano, fundador de The Dojo MX, un canal de YouTube dedicado a todos los temas referentes a la informática.

Hablamos sobre qué es ser un buen programador y, en particular, qué es ser un buen informático en esta época.

Información de Héctor:

- Twitter: https://twitter.com/HectorIP
- Sitio web: https://hectorip.com

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Eduardo Díaz es ingeniero civil en computación y magíster en tecnologías de información de la Universidad de Chile. Además es autor del blog La Naturaleza del Software, que, desde el 2005, cuenta con más de 1000 artículos.

Una entrevista donde hablamos sobre algunos de los entresijos del mundo de la informática.

Información de Eduardo:

Twitter: https://twitter.com/lnds
Blog: https://lnds.net

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

¿Cómo influyo Alan Turing a la informática?

Libros mencionados:

• Alan Turing. His work and impact. S. Barry Cooper y Jan van Leeuwen.
• Alan Turing. El pionero de la era de la información. Jack Copeland.

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

En este episodio hablaré sobre por qué la informática no puede ser matemática, pero que, sin embargo, deberíamos seguir algunas ideas de Dijkstra y Lamport, incluso si ellas nos llevan a un callejón sin salida.

Support the show

José Cifuentes es consultor TIC especialista en transformación digital y aprendizaje en línea. Además, es docente de educación superior.

Hace más de 20 años que realiza clases de informática y durante el último tiempo se ha especializado en acercar la tecnología y el análisis de datos a las empresas, ayudándoles a desarrollar sus estrategias de marketing digital.

Hoy conversamos sobre diversos temas asociados a la educación en informática.

Pueden contactar a José en su perfil de LinkedIn https://www.linkedin.com/in/josecifuentesr/

Enlaces mencionados:
- https://www.theflippedclassroom.es/
- https://es.wikipedia.org/wiki/Software_libre_en_educaci%C3%B3n
- https://www.quora.com/What-does-Alan-Kay-think-of-using-either-Squeak-or-Pharo-as-the-first-language-for-introducing-programming
- https://www.clarin.com/tecnologia/apple-renuncia-alto-ejecutivo-politica-volver-oficina_0_xkd7nPDeQq.html

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Mario Sotil es un ingeniero de software que trabaja en Amazon, con más de 20 años de experiencia laboral. Fue una entrevista entretenida, muy amena, donde conversamos sobre diversos temas: buenas prácticas en el desarrollo de software, qué diferencia a un programador de un ingeniero de software, cómo un sistema puede escalar a millones de usuarios, etc.

Sin duda será de gran ayuda a toda persona que esté interesada en mejorar sus habilidades a la hora de construir sistemas informáticos.

Perfil de QuoraES: https://es.quora.com/profile/Mario-160

Libro mencionado por Mario:

• Cracking the code interview. https://www.amazon.es/Cracking-Coding-Interview-Programming-Questions/dp/0984782850

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Rafael Gómez es un informático con más de 25 años de experiencia laboral en el sector público. Ha trabajado con múltiples lenguajes de programación y proyectos de software. Hoy tuve la oportunidad de conversar con él sobre su experiencia en el mundo del desarrollo de software, y, para conocer cuáles son sus expectativas con respecto a la programación de cara al futuro.

Perfil de Rafael en QuoraEs: https://es.quora.com/profile/Rafael-G%C3%B3mez

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Jesús-Adolfo Mejía: es estudiante de doctorado mexicano que trabaja en el área de optimización global resolviendo problemas bi-nivel. Además es un asiduo usuario de Julia. Hoy conversaremos sobre qué es la optimización, la importancia de las matemáticas y por qué Julia presenta grandes ventajas sobre Python para la computación científica.

Información de Jesús:

Twitter: https://twitter.com/_jmejia

Sitio web: https://bi-level.org/jmejia/

Biblioteca escrita en Julia: https://github.com/jmejia8/Metaheuristics.jl

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Los límites de la abstracción. Algunas de las preguntas que intentaré responder en este episodio: ¿qué es la abstracción? ¿Cuál es su relación con la programación? ¿Tiene límites?

Información del podcast:

- Sitio web: https://algoritmo.buzzsprout.com

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

Sobre los desafíos presentes en los sistemas de IA, en particular, de Machine Learning y Deep Learning.

Support the show

Uma Zalakain es una estudiante de doctorado en la universidad de Glasgow (Escocia) en el área de teoría de los lenguajes de programación. Conversamos sobre la verificación de software; el valor de la teoría dentro de la programación; por qué aprender programación funcional te ayuda a pensar mejor; y también sobre Agda, un lenguaje de programación funcional.

Sitio web personal:  https://umazalakain.info - Twitter: @typer_uma - Curso de Agda: https://youtu.be/iAkzXIbo0Dw

Support the show

La teoría de las categorías es el estudio de las estructuras y cómo estas se relacionan… en este episodio intentaré explicar su conexión con la programación.

Le recomiendo buscar material de Bartosz Milewski, tiene muchos videos en YouTube, libros y artículos gratuitos sobre el tema. https://bartoszmilewski.com

Support the show

Pamela Bustamante es estudiante de cuarto de año de doctorado en Chile, en el área de optimización matemática y teoría de juegos.

Hablamos sobre la programación, el lenguaje de programación Julia, aspectos filosóficos de la informática y los desafíos de la inteligencia artificial.

Sitio web de Pamela: https://www.pamelabustamante.com
Linkedin: linkedin.com/in/pamela-bust
Twitter: twitter.com/pambusf
Github: github.com/pambus

Support the show

Carlos Lauterbach es un destacado informático chileno, fue parte del diseño de importantes sistemas que usa el estado de Chile, y además,  fue el primero en obtener un doctorado en informática fuera del país.

Hoy hablamos de toda su experiencia de vida.

Support the show

Daphne Gallardo Ramos es ingeniería en informática y tiene un magíster en la misma área. Hoy conversamos sobre el rol y la importancia de las mujeres en la tecnología, los problemas y desafíos, y cómo se puede motivar a que más mujeres se unan a este campo.

Support the show

En este episodio intento hacer una defensa a favor de los libros de informática, en particular, los que tratan temáticas más avanzadas. Github de lecturas: https://github.com/camilochs/my-learning-universe

Support the show

Antonio Cabrera, ingeniero de software con más de 20 años de experiencia laboral. Hoy hablaremos sobre todos los entresijos del mundo del desarrollo de software.

Perfil de Quora: https://es.quora.com/profile/Antonio-Cabrera-52

Support the show

José Antonio Alonso Jiménez: fue académico por 43 años de la universidad de Sevilla, actualmente jubilado, hoy hablaré con él sobre la lógica computacional. Los primeros 33 minutos son una exposición que, deliberadamente, no quise interrumpir, pues José Antonio hace una maravillosa cronología de la historia de la lógica computacional.


Sitio web: https://jaalonso.github.io

Support the show

Orlando Méndez: profesional informático mexicano, con el cual tuve el privilegio de hablar sobre diversos temas relacionados con la tecnología: ingeniería de software, ética y política.

Twitter de Orlando: @0rkk0 - Blog personal:  mmoa33.wordpress.com

Support the show

Manuel Rubio-Sánchez: académico de la Universidad Rey Juan Carlos, con años de docencia en la asignatura de algoritmos. 

Hoy hablaremos sobre la recursividad y su importancia, y también sobre las características de la vida académica. 

Libro de Manuel: Introduction to Recursive Programming

 https://sites.google.com/view/recursiveprogrammingintro/

Twitter: @MRubSan

Support the show

¿Los robots podrán amar? Los retos técnicos y filosóficos de nuestro siglo.

Libro mencionado: "Love and Sex with Robots", David Levy. Conferencias: Human-Robot Personal Relationships (HRPR) y Love and Sex with Robots (LSR)

Support the show

Andrés León: desarrollador senior y con una amplia experiencia en el mundo de las criptomonedas.

Libros mencionados:  (1) Cypherpunks: La libertad y el futuro de internet, Julian Assange; (2) Smart Contracts: Qué son, para qué sirven y para qué no servirán? (Sebastián Heredia Querro, https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3875645); (3) Criptoderecho. La regulación de Blockchain, Pablo García Mexía.

Twitter de Andrés: @andresleon79  | Academia Scrypto: https://academiascrypto.com

Support the show

Una breve reflexión sobre si existe principios que subyacen a la programación.

Support the show

Andros Fenollosa: desarrollador de software, docente, escritor y un destacado divulgador en temas de tecnología.

Sitio web de Andros: https://soy.andros.dev/

Support the show

Libro mencionado: Random Number Generators—Principles and Practices: A Guide for Engineers and Programmers, David Johnston.

Support the show

Manuel Rubio Jiménez, políglota programador, conferencista, profesor, entusiasta de Erlang y escritor de múltiples libros.

Libros de Manuel: https://books.altenwald.com - Twitch: https://twitch.tv/altenwald - Twitter: https://twitter.com/MRonErlang

Support the show

Episodio de aniversario: ¡cumplimos dos años!

Información mencionada:

• El canal de YouTube lo pueden buscar con mi nombre: Camilo Chacón Sartori o ingresando a este enlace: https://www.youtube.com/channel/UCmvwiEa3m6mrgjIbDyZr0ag 
• El libro mencionado:  Introduction to Recursive Programming, Manuel Rubio-Sanchez (lo pueden encontrar en Amazon).

Support the show

Hoy tenemos de invitado a Felipe Santa-Cruz, desarrollador de software senior desde España.

Trataremos los siguientes temas:

1. ¿Por qué es importante escribir buen código?
2. La importancia de la teoría en la programación
3. Sobre por qué es relevante la programación funcional

Libro mencionado: Structure and Interpretation of Computer Programs, Gerald Jay Sussman y Hal Abelson.

Twitter de Felipe: @Felipe_StaCruz

Support the show

Algunas reflexiones sobre el aprendizaje de la programación.

Support the show

• Sobre cómo se detectan malware transformándolos en imágenes.
• Cómo aprendemos de la naturaleza: las hormigas al rescate.
• El corazón de la informática: los lenguajes formales.

Support the show

Entrevista a Claudio Albornoz Flores, matemático y científico de datos chileno. 

Algunos temas a tratar:

• La diferencia de estudiar matemáticas e informática
• Cómo es la industria con respecto a la investigación
• El valor de las herramientas en el día a día de un científico de datos
• ¿La IA podrá automatizar la programación?
• Consejos a aspirantes de carreras relacionadas con la parte técnica de las tecnologías

Support the show

Nombre del libro: Mentes geniales. La vida y obra de 12 grandes informáticos
Más información: https://qr.ae/pGSEbp

Support the show

Se sugiere escuchar:

• https://www.buzzsprout.com/758831/6989221 ¿Qué es la computación cuántica? | S2-E15
• https://www.buzzsprout.com/758831/2592865 Machine learning o cuando los algoritmos aprenden de los datos | E8

Referencias:

• [[@Mishra2021-kd]] Quantum Machine Learning: A Review and Current Status. 
• [[@Biamonte2017-uf]] Quantum machine learning. 

Support the show

• Krishnamurthi, Shriram. Libro: Programming Languages: Application and Interpretation. http://cs.brown.edu/courses/cs173/2012/book/
•  Harper, Robert. Libro: Practical Foundations for Programming Languages
  
  

Support the show

Pueden revisar la siguiente entrada de mi blog para acceder a un tutorial sobre la programación funcional, Haskell y Agda:
 
https://camilochaconsartori.wordpress.com/2021/08/08/el-renacer-de-un-viejo-conocido-la-programacion-funcional/

Support the show

En este episodio trataré algunas de las características que hacen a Julia un lenguaje muy interesante para el análisis de datos y la computación numérica.

Mi blog: https://camilochaconsartori.wordpress.com/

Revista Compusofía: https://camilochs.github.io/compusofia/

Support the show

Para más detalles de la revista: https://camilochs.github.io/compusofia/

Support the show

¿Puede existir un lenguaje de programación universal? Para más detalle véase mi artículo: https://docdro.id/CL689KX

Support the show

Una breve descripción sobre las redes neuronales basadas en grafos. Más información: https://towardsdatascience.com/an-introduction-to-graph-neural-network-gnn-for-analysing-structured-data-afce79f4cfdc

Support the show

Respondiendo a una crítica sobre el podcast.

Support the show

¿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

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

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

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 show

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

Sobre una de las metáforas más populares en los sistemas distribuidos.

Support the show

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

Episodio de aniversario. Una actualización del primer episodio del podcast (un año después).

¡Gracias a todos!

Support the show

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

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

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.com/techreports/Compaq-DEC/SRC-RR-35.pdf
• The Art of Concurrency. Clay Breshears (libro).

Support the show

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

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: https://arxiv.org/abs/1810.09538
• Gen: A General-Purpose Probabilistic Programming System with Programmable Inference: https://dl.acm.org/doi/10.1145/3314221.3314642

Support the show

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

¿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

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

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

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

¿Ada Lovelace fue la primera programadora de la historia? Hoy presentaremos los datos que demuestran lo contrario.

Support the show

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

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

¿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

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

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

Sobre las definiciones de lo qué es un Software según James Moor, Peter Suber y Timothy Colburn.

Support the show

Sobre las estructuras de datos persistentes que son utilizadas en lenguajes funcionales.

Support the show

Hoy trataremos el tema de la verificación formal de software desde la visión de Tony Hoare. Y posteriormente hablaremos del concepto de "arte" dentro de la programación según Donald Knuth.

Support the show

¿Existen diferencias entre estos puestos o solo es una construcción alejada de la realidad?

Support the show

¿Cómo se tratan los problemas combinatorios (NP)?

Support the show

Sobre las grandes preguntas referentes a la computación. Algunas de las áreas que cubre la filosofía de la ciencia de la computación son las siguientes: ontología, semántica, metodología y epistemología.

Support the show

Un repaso sobre las principales categorías de base de datos. Respuesta en Quora sobre este tema: https://qr.ae/pNvL9W

Support the show

Una reflexión sobre la importancia de leer y escribir.

Support the show

La computación replica sistemas biológicos (entre ellos los virus) y dado la contingencia del COVID-19, hoy hablaremos sobre los malware. Entre los cuales existen los virus informáticos (virus es una sub-categoría de malware).

¿Qué otras sub-categorías existen? ¿Por qué se llaman virus? ¿Qué técnicas se utilizan para detectarlos? ¿Qué nuevo tipos de malware existen? ¿Deep learning para la detección de malware? 

Support the show

Sobre Racket un lenguaje de programación diseñado para crear lenguajes de programación. https://racket-lang.org/

Support the show

Así es, voy a escribir un libro sobre el cálculo lambda y la programación funcional. En este podcast hablo sobre el tema.

Support the show

Comenzamos con una serie de episodios dedicados a la importancia de la abstracción en la computación. Hoy trataremos sobre lenguajes de programación y como pensar sobre la solución a un problema computacional.

Support the show

Sobre las diferencias de ser un ingeniero de software y un desarrollador de software.

Support the show

¿Qué es deep learning? ¿Cuál es la diferencia con machine learning? eso y otras preguntas más se tratarán de responder en este episodio.

Support the show

¿Qué es Big Data? ¿Cómo transformarse en un ingeniero en big data?

Support the show

Hoy trataremos sobre un tema que se encuentra dentro de la filosofía de ciencia de la computación.

Support the show

¿Qué es machine learning?

Support the show

¿Qué es el cálculo lambda? y ¿Cuál es la relevancia de la programación funcional?

Support the show

Hoy caminaremos por el sendero de los desarrolladores frontend, backend y fullstack para conocer si tiene sentido dichas denominaciones.

Support the show

¿Cómo pueden convivir dos mundos opuestos? Sobre la relación entre el hardware y software.

Support the show

Hoy comentaré sobre los tres principales paradigmas de la programación: imperativo, funcional y lógico.

Support the show

En este episodio trataré de explicar el porqué es tan difícil encontrar una definición general de lo qué es un algoritmo.

Support the show

Un podcast dedicado a Leslie Lamport sobre su trabajo y visión. 

Support the show

Un complemento a la siguiente respuesta dada en QuoraES.

https://qr.ae/TZ2Rv3

Support the show