水晶柱里有一段关于曹魏和蜀汉打仗的描写，比较简律，读一下。
魏明帝遣将军郝昭筑陈仓城。
诸葛亮为之量使郝乡人金祥，睡之不下，量以数万，攻昭千余人，以云梯冲车地道。
b射昭，昭以火射连石，聚之量不利而还。
今千水对昭城，是与州相遇出演。
这是魏明帝派将军郝昭住了陈仓城，城建好以后诸葛亮把城包围了。
诸葛亮让郝昭的老乡金祥去劝降，结果郝昭不同意。
诸葛亮以数万的兵包围了城，郝昭才千数人用云梯、冲撞车、挖地道靠近陈仓城。
号召以火射火箭、射鼠兵。
这个连石很有意，就是那种磨盘，用石头拴着磨盘，我觉得应该是在城头上来回晃荡，把扶梯打掉了。
诸葛亮没成功，只能退兵了。
这场战役实际上我记得应该是司马懿指挥的，司马懿的军事才能还是不错的，很多时候也未必说不如诸葛亮。