Ciro Santilli @cirosantilli 37

The most important example is perhaps $SO(3)$ and $SU(2)$, both of which have the same Lie algebra, but are not isomorphic.

Learned readers will ask themselves: so why use an unbalanced tree instead of balanced one, which offers better asymptotic times en.wikipedia.org/wiki/Self-balancing_binary_search_tree?

Likely:

A solution to Laplace's equation.

A device that exhibits the Josephson effect.

Has some of the best map data available for the United Kingdom, but their data appears to be proprietary?

A slow development test cycle will kill your software.

New developers won't want to learn your project, because they would rather shoot themselves.

This means that build time, and the time to run tests, must be short.

5 seconds to rebuild is the maximum upper limit.

Of course, at some point software gets large enough that things won't fit anymore in 5 seconds. But then you must have either some kind of build caching, or options to do partial builds/tests that will bring things down to that 5 second mark.

You also have to spend some time profiling execution and build from scratch times.

A slow build from scratch will mean that your continuous integration costs a lot, money that could be invested in a new developer!

It also means that people won't bother to reproduce bugs on given commits, or bisect stuff.

One anecdote comes to mind. Ciro Santilli was trying to debug something, and more experience colleague came over.

To reproduce a problem, ciro was running one command, wait 5 seconds, run a second command, wait 5 seconds, run a third command:

The first thing the colleague said: join those three commands into one:And so, Ciro was enlightened.

This was getting very hot as of 2022 for some reason. Would be good to understand why besides the awesome name.