Proposals on Standard Span, Contracts Syntax, and Reference Checking

Three papers are discussed: adding a new function to standard span, addressing the syntax for contracts, and introducing attributes to check references. The speaker expresses skepticism towards the excessive use of attributes in these proposals.