morphic

Numberphile interviews cryptographer Ron Rivest about end-to-end verifiable voting. He explains how homomorphic encryption and receipts let a voter confirm their ballot was counted without being able to prove how they voted to anyone else.

Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.

Smalltalk pioneer Dan Ingalls presents the Lively Kernel at JSConf US 2012, a live, direct-manipulation programming environment running in the browser. He shows drag-and-drop building of live objects on the web.

ASML's short promotional fly-through of its High NA EUV lithography platform, the TWINSCAN EXE, which supports 8-nanometer resolution. It shows the machine's internals including advanced anamorphic optics.