Resumen de lecturas compartidas durante el curso 2018-19
Al final de cada mes de curso 2018-19 he ido publicando una recopilación de las lecturas compartidas durante dicho mes. Los enlaces a los correspondientes resúmenes son
Al final de cada mes de curso 2018-19 he ido publicando una recopilación de las lecturas compartidas durante dicho mes. Los enlaces a los correspondientes resúmenes son
Esta entrada es una recopilación de lecturas compartidas, durante agosto de 2019, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante agosto de 2019”