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

Había una vez un algoritmo...

Mentes geniales. La vida y obra de 12 grandes informáticos | S3-E5

Se sugiere escuchar:https://www.buzzsprout.com/758831/6989221 ¿Qué es la computación cuántica? | S2-E15https://www.buzzsprout.com/758831/2592865 Machine learning o cuando los algoritmos aprenden de los datos | E8Referencias:[[@Mishra2021-kd]] Quantum Machine Learning: A Review and Current Status. [[@Biamonte2017-uf]] Quantum machine learning. 

¿Qué es «Quantum Machine Learning»? | S3-E4

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

¿Por qué el concepto de «paradigma» ya no sirve? | S3-E3

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/

(Totalidad + Tipos dependientes) = Agda | S3-E2

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/

¿Por qué es importante Julia? | S3-E1

Para más detalles de la revista: https://docdro.id/dl2FkKF

Anuncio: revista Compusofía | S2-E24

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

¿Lenguaje de programación universal? | S2-E23

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

GNN: Graph Neural Network | S2-E22

Respondiendo a una crítica sobre el podcast.

Respondiendo a una crítica sobre el podcast | S2-C1

¿Cuáles son las tareas de un filosofó de la computación? En este episodio trataremos algunas de sus labores y por qué son importantes.

¿Cuáles son las tareas de un filosofó de la computación? | S2-E21

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/pN0vsXLibro mencionado en este capítulo: https://www.amazon.com/Great-Principles-Computing-MIT-Press/dp/026252712X

8 Principios de la programación | S2-E20

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

Semántica computacional | S2-E19

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

Hipercomputación - ¿Más allá de la tesis de Church-Turing? | S2-E18

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/

hubhopper

Había una vez un algoritmo...

hubhopper