Category: tech talk
by Dan R. Ghica The interaction between (pure) computation and the physical world happens in two ways. The computation may act upon the world, which is usually called an effect, which is managed using the well known mechanism of monads in the type system of the programming language. But the computation may also require a resource, which is by symmetry called a co-effect, […]
On June 16 we had the pleasure of a technical talk by Prof. Michele Pagani, Institut de Recherche en Informatique Fondamentale, Université de Paris. Abstract: Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs. It is a fundamental tool in […]
Recent comments