DEV Community: Pablo Padilla

Halmos' tips for writing

Pablo Padilla — Sun, 19 Jun 2022 17:13:40 +0000

Paul Halmos was a mathematician who among other things was recognized by his excellent written exposition.

His article on how to write mathematics left a lasting impression on me, and this year I decided to read it again, and capture some notes for my future reference.

https://pgpbpadilla.github.io/halmos-writing

Docker cache for multi-module Maven project

Pablo Padilla — Mon, 16 Aug 2021 20:14:47 +0000

This project demonstrates how to write a multi-stage Dockerfile for a multi-module Maven project, so that Maven dependencies are cached in the early Docker layers of a builder stage and also how to use a layered JAR to create cache layers in the final Docker image.

In this project the user-app module depends on a common module.

The full sources are in Github: https://github.com/pgpbpadilla/maven-multi-module-docker-cache

The Abstraction and Reasoning Challenge (ARC)

Pablo Padilla — Tue, 08 Jun 2021 20:44:04 +0000

https://pgpbpadilla.github.io/chollet-arc-challenge

François Chollet's general intelligence test

Pablo Padilla — Sat, 20 Mar 2021 18:45:23 +0000

https://pgpbpadilla.github.io/chollet-general-intelligence-test

Spring repositories

Pablo Padilla — Sat, 20 Feb 2021 12:33:16 +0000

https://pgpbpadilla.github.io/spring-repository

Test independence with application slices

Pablo Padilla — Sun, 14 Feb 2021 20:09:46 +0000

https://pgpbpadilla.github.io/datajpatest

The AIXI agent

Pablo Padilla — Sun, 07 Feb 2021 15:51:35 +0000

Here's a short post I made about Marcus Hutter's AIXI agent:
https://pgpbpadilla.github.io/aixi