I'm interested to how this applies to Reactive application-UI programming (e.g. React+Flux).

React has a powerful unidirectional data->UI flow model, but I haven't seen an expressive language for the other awy (putback functions), besides UPDATE statements in various db query language, but I figure there's gotta be more symmetry between the languages expressing data->UI and UI->data.

Is there a video of this talk?

Looks like it's closely related to homomorphic encryption.

Any ideas on what was used to author the presentation ? Powerpoint ?