蒼時弦也Aug. 26Sumitsubo:把規格做成 Linter開發 Kobako 的過程到中後期,一直讓我對於「規格有沒有對齊」這樣的問題困擾著我。理論上規格驅動開發(Spec-Driven Development)是很理想的,但語言模型本身就不是確定性的設計,即使有規格參照也還是會偏移,或者遺漏。因此 Sumitsubo 這個專案就在最近被設計出來,作為一個通用的檢查工具。