validation

Stavros Korokithakis gives a FOSDEM 2018 talk on how hard it is to validate email addresses properly, taking a tour through RFC 5321.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

Ricardo Signes' YAPC::Asia Tokyo 2011 talk on the legends and horrors of email: how messy the SMTP and email standards are in practice. The first few minutes are Perl-specific, but the rest applies to anyone handling email.

Stuart Halloway shows how Clojure's spec library lets you build programs that are both agile and robust. He covers declarative, predicate-based specification layered on interactive REPL development.

A live performance at AGDQ 2014 in which Super Mario World is made to execute arbitrary injected code, running other games like Pong and Snake on the cartridge. It is done through a TASBot feeding precise controller inputs.

A lightning-style conference talk by Ricardo Signes about the horrors of email: its protocols, formats and decades of accumulated quirks. It is delivered with a humorous horror theme to show why handling email correctly is harder than it looks.

Numberphile visits YouTube to learn why view counts on new videos used to freeze at 301. It explains that YouTube holds counts while it verifies views aren't from bots or fakes.