This is terrific but also frustrating: if you want people to use this stuff you've got to "bring it down the mountain". Alternately we could have a tiny elite

This is terrific but also frustrating: if you want people to use this stuff you've got to "bring it down the mountain". Alternately we could have a tiny elite writing crystalline mathematically perfect software and the rest of us mere mortals can just plug it together like Lego blocks. Might not be terrible?