Chris Lattner - Types and Flexibility in Mojo (via searchlore.ai)