I'll get straight to the elephant in the room and I'm even ignorant enough to ask it before I tried to find out myself (though at gun point I would lean more towards one that the other). Is it homoiconic?
I am now convinced that the standard Ruby syntax is itself a DSL.
Not only is it proven, it is also tested.
I am not a genius like Knuth, who only needs to prove things.