Coq has no record update syntax, nor does it create updaters for setting individual fields of a record. This small library automates creating such updaters. The library is based on a typeclass ...

Netflix has upgraded its Moments feature for the mobile app. It already lets users save iconic scenes, but now there's a simple editor to bring it in line with something like Twitch's clipping tool.