From Probabilistic to Differentiable Programming: a Programming Language Approach to AI

In his popular-scientific book The Master Algorithm, Pedro Domingos identifies five main schools of thought in Machine Learning (ML, for short), which he calls tribes. Each tribe has its own definition of learning as well as a family of algorithms capturing the learning process. In this post I move from Domingos’ classification and look at ML (and …

From Probabilistic to Differentiable Programming: a Programming Language Approach to AI Read More »

A Short Note on Monads in Programming and Enriched Category Theory

Monads are becoming increasingly popular in the everyday programming practice.  As a design pattern, (computational) monads are supported by (more or less pure) functional languages such as Haskell as well as by mainstream languages such us Scala.

An Introduction to Monoidal Topology for Computer Scientists (Part 0)

You may wonder what is monoidal topology and why it should be something interesting for computer scientists (theoretical ones, at least).  In a slogan, monoidal topology is a unifying theory of ordered, metric and topological spaces. Such unification is made possible by the non-trivial observation that the above three notions can be ‘reduced’ to specific categorical structures…

%d bloggers like this: