In this talk, "Agents and Agency in the Internet," Greg Meredith talks about SpecialK/KVDB, a scala library for writing distributed applications in an embedded DSL that's based on the applied Pi-calculus. He focuses on two applications that are using SpecialK, Protunity and the Individual Agent. This talk was recorded at the Scala Bay meetup at Box.