A user calls dingcad an “abstract reasoning compiler” · Digg