Las matemáticas son una fuente de nuevas metáforas y signos que llevo conmigo a partir de esta década. Aunque es triste saber que no sé leer este tipo de matemáticas y que solo me quedo con las equivalencias que estas divulgaciones aportan.
Esta cita tiene sentido tras leer el artículo.
“You can write software as if you were a software developer, but at same time you can write a proof as if you were a theoretician.”
Link: How the EverCrypt Library Creates Hacker-Proof Cryptography