A stream of thoughts on mathematics and software development