The practice of short summaries is embedded in many things, including Greg Fodor's coding on the website, brilliant.org.