Our Labor Built AI

 

An introduction for laymen from The Nib. By Dan Nott and Scott Cambo.

Gradual Effect Handlers

 

As part of the SAGE project funded by Huawei, Li-yao Xia has written in Agda a model of a gradual type system for effects and handlers. It is available on GitHub.