))
Algunas reflexiones sobre la computación desde una visión técnica, científica y filosófica.
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.…
Krishnamurthi, Shriram. Libro: Programming Languages: Application and Interpretation. http://cs.brown.edu/courses/cs173/2012/book/ Harper, Robert. Libro: Practical Foundations for Programming Languages
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/
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 Camilo Chacón Sartori
Para más detalles de la revista: https://camilochs.github.io/compusofia/Por Camilo Chacón Sartori
¿Puede existir un lenguaje de programación universal? Para más detalle véase mi artículo: https://docdro.id/CL689KX
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
Respondiendo a una crítica sobre el podcast.
H
Había una vez un algoritmo...
¿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.
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…
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.pdfPor Camilo Chacón Sartori
H
Había una vez un algoritmo...
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_Hy…
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/
Sobre una de las metáforas más populares en los sistemas distribuidos.Por Camilo Chacón Sartori
Sobre los aspectos fundamentales de la computación cuántica y cómo difiere de la computación clásica. ¡Feliz Navidad a todos!Por Camilo Chacón Sartori
H
Había una vez un algoritmo...
1
[Aniversario] ¿Qué consejos le podrías dar a un estudiante de informática? (Actualizado) | S2-E14
23:05
Episodio de aniversario. Una actualización del primer episodio del podcast (un año después). ¡Gracias a todos!Por Camilo Chacón Sartori
H
Había una vez un algoritmo...
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
H
Había una vez un algoritmo...
1
Los tres "paradigmas" de la ciencia de la computación: racionalista, tecnocrático y científico | S2-E12
35:54
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 com…
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. …
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.…
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 …
H
Había una vez un algoritmo...
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.
¿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
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".…
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
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
¿Ada Lovelace fue la primera programadora de la historia? Hoy presentaremos los datos que demuestran lo contrario.Por Camilo Chacón Sartori
Sobre la especialización en computación y su contraste: el generalismo. La idea de poder tener conocimientos amplios en esta área.Por Camilo Chacón Sartori
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.Por Camilo Chacón Sartori
¿Qué es la computación? ¿Quiénes son sus enemigos? Hoy haremos una crítica en contra de los enemigos de esta.Por Camilo Chacón Sartori
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.Por Camilo Chacón Sartori
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.Por Camilo Chacón Sartori
Sobre las definiciones de lo qué es un Software según James Moor, Peter Suber y Timothy Colburn.Por Camilo Chacón Sartori
Sobre las estructuras de datos persistentes que son utilizadas en lenguajes funcionales.Por Camilo Chacón Sartori
H
Había una vez un algoritmo...
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.Por Camilo Chacón Sartori
H
Había una vez un algoritmo...
¿Existen diferencias entre estos puestos o solo es una construcción alejada de la realidad?Por Camilo Chacón Sartori
¿Cómo se tratan los problemas combinatorios (NP)?Por Camilo Chacón Sartori
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.Por Camilo Chacón Sartori
Un repaso sobre las principales categorías de base de datos. Respuesta en Quora sobre este tema: https://qr.ae/pNvL9WPor Camilo Chacón Sartori
Una reflexión sobre la importancia de leer y escribir.
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 d…
H
Había una vez un algoritmo...
Sobre Racket un lenguaje de programación diseñado para crear lenguajes de programación. https://racket-lang.org/Por Camilo Chacón Sartori
Así es, voy a escribir un libro sobre el cálculo lambda y la programación funcional. En este podcast hablo sobre el tema.Por Camilo Chacón Sartori
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.Por Camilo Chacón Sartori
Sobre las diferencias de ser un ingeniero de software y un desarrollador de software.Por Camilo Chacón Sartori
H
Había una vez un algoritmo...
¿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.Por Camilo Chacón Sartori
¿Qué es Big Data? ¿Cómo transformarse en un ingeniero en big data?Por Camilo Chacón Sartori
Hoy trataremos sobre un tema que se encuentra dentro de la filosofía de ciencia de la computación.Por Camilo Chacón Sartori
H
Había una vez un algoritmo...
¿Qué es machine learning?Por Camilo Chacón Sartori
¿Qué es el cálculo lambda? y ¿Cuál es la relevancia de la programación funcional?Por Camilo Chacón Sartori
