Nuestro sexto episodio. Gracias por escucharnos!


Topicos
Estoy Escribiendo Un Libro

Repositorio Del Libro - Patterns For Delivering Microservices
Blog de ElderMael

Los Systemas De Tipos Dinamicos No Son Inherentemente Mas Abiertos

Blog Post

Goodbye, Clean Code

Goodbye, Clean Code

Links De Nuestro Podcast

Youtube
SoundCloud
Podcast Fans, red de entusiastas del podcasting y la tecnología

Redes Sociales

Miguel Enriquez eldermael
Gerardo Garcia geraz69

Errata - Episodio 05

Prueba formal no hace que tengas errores no representables sino que ciertas propiedades siempre esten presentes en cualquier espacio de estados
Correctness se traduce como “Exactitud”

Twitter Mentions