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 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.

Chris McCord's ElixirConf EU 2023 keynote tracing LiveView's evolution from simple form validation to full apps, with code examples and live demos of what 1.0 will offer.