First steps with Category Theory and OCaml

Introduction Category theory is an abstrac mathematical framework that had a huge influence on pure functional programming design patterns. The abstractions and laws that come bundled with the mathematical concepts allow us to write safer and composable interfaces, very prone to equational reasoning, at the price of a steeper learning …

Left pipe in Haskell

If you read this blog, you know that I am very biased by having worked with unix shells for almost two decades and that I am addicted to the use of pipes (see e.g. Piping with Swift). I really find much more natural to see data moving from left …

What Problems to Solve - By Richard Feynman

A former student, who was also once a student of Tomonaga’s, wrote to extend his congratulations. Feynman responded, asking Mr. Mano what he was now doing. The response: "studying the Coherence theory with some applications to the propagation of electromagnetic waves through turbulent atmosphere... a humble and down-to-earth type …

Socks proxy with ssh

When you work in the University, it is very likely that during a trip or the weekend you urge to connect via the University to have access to Journals and other academic resources. Often enough this requires long and complicated procedures involving the setup of rarely updated proprietary VPN softwares …