Profile cover photo
Profile photo
Chema Cortés
for the world is hollow and I touched the sky
for the world is hollow and I touched the sky
About
Posts

Add a comment...

Post has attachment

Post has attachment
Add a comment...

Post has attachment

Post has attachment

Post has attachment
Chema Cortés commented on a post on Blogger.
Yo diría que esa lista de empresas ya ha quedado obsoleta desde la popularización de Apache Spark. Es curioso que en la ilustración de este artículo se ve el logo IBM pero luego no se nombre. IBM está fomentando todas las tecnologías asociadas con bigdata con scala como se ve en su BigData University (http://bigdatauniversity.com/). Hay muchas más. Por poner la última que he descubierto, la DBPedia usa scala para la extracción de datos de Wikipedia.
Add a comment...

Post has attachment

Post has attachment
The subject of this book sometimes goes by the name “programming methodology”, “science of programming”, “logic of programming”, “theory of programming”, “formal methods of program development”, or “verification”. It concerns those aspects of programming that are amenable to mathematical proof. A good theory helps us to write precise specifications, and to design programs whose executions provably satisfy the specifications. We will be considering the state of a computation, the time of a computation, the memory space required by a computation, and the interactions with a computation. There are other important aspects of software design and production that are not touched by this book: the management of people, the user interface, documentation, and testing. #programming
Add a comment...

Post has attachment
Building Coursera | Rust & Docker in production @ Coursera
Add a comment...

Post has attachment
Add a comment...
Wait while more posts are being loaded