DiscoverHabía una vez un algoritmo...
Había una vez un algoritmo...
Claim Ownership

Había una vez un algoritmo...

Author: Camilo Chacón Sartori

Subscribed: 6Played: 204
Share

Description

Algunas reflexiones sobre la computación desde una visión técnica, científica y filosófica.
46 Episodes
Reverse
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
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
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.
Sobre los aspectos fundamentales de la computación cuántica y cómo difiere de la computación clásica. ¡Feliz Navidad a todos!
Episodio de aniversario. Una actualización del primer episodio del podcast (un año después).¡Gracias a todos!
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
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_ScienceY una breve reseña sobre nuestra propuesta del pragmatismo analítico dentro de la computación.
Sobre las diferencias entre concurrencia, paralelismo y asincronía.17 libros recomendados sobre computación: https://youtu.be/tFpzVY2YMBoReferencia: Practical parallel and concurrent programming. https://www.researchgate.net/publication/228702197_Practical_parallel_and_concurrent_programmingAn Introduction to Programming with Threads. Andrew D. Birrell. https://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-35.pdfThe Art of Concurrency. Clay Breshears (libro).
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.10756Probabilistic programming: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/fose-icse2014.pdf Gordon y otros. 2014Pyro - Deep Universal Probabilistic Programming: https://arxiv.org/abs/1810.09538Gen: A General-Purpose Probabilistic Programming System with Programmable Inference: https://dl.acm.org/doi/10.1145/3314221.3314642
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.
Sobre la especialización en computación y su contraste: el generalismo. La idea de poder tener conocimientos amplios en esta área.
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.
¿Qué es la computación? ¿Quiénes son sus enemigos? Hoy haremos una crítica en contra de los enemigos de esta.
loading
Comments 
Download from Google Play
Download from App Store