But I think we need to make a conscious effort to realize: every time is different. Even if you put the same effort in and make the same decisions, the world, the people in it, and you, have all changed. What worked before, might not work now. The idea that failed before, well — maybe its day has come.

Kevin Buzzard's invited talk at CICM arguing that getting undergraduate mathematics formalised in theorem provers is useful and important. Slides at http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/ug_maths.pdf

Seventy years ago we dreamed up links that would allow us to create two-way, contextual conversations. Why don't we use them on the web?

Forecasts rely on knowing when something will occur. Expectations are an acknowledgment of what’s likely to occur without professing insight into when it will happen.

“The main way to prevent software from rotting, it seems, is to maintain it: update it so that it continues to work as the platforms supporting them change underneath. In this sense, though, it’s not the same software you started with, as it’s continuously changing.”

The Arch Foundation’s first step toward building a Lunar Library