I’m all for exploiting resources to the limit! The bottleneck is formalizing the problems. It’s very slow and difficult work for me, and the SIAI people aren’t significantly faster at this task, as far as I can see.
I’m all for exploiting resources to the limit! The bottleneck is formalizing the problems. It’s very slow and difficult work for me, and the SIAI people aren’t significantly faster at this task, as far as I can see.