mizchi
@mizchi
辻 Frontend Ops の傭兵。触るもの全てのパフォーマンスを倍にする。お仕事の依頼は DM または mizchi.work@gmail.com まで。
趣味はオーバーエンジニアリングです。
加入 April 2008
4.3K 正在关注 42.8K 粉丝
だからQuintやAlloyで形式仕様を書いています
「コードは読まなくていいんだよ」「もうアセンブリ読まないでしょ？それと同じでAIはコンパイラみたいなものだから」みたいな主張が全くの的外れだと強く実感している
これを主張していいのは超厳密に仕様記述ができる人間のみだが、超厳密な仕様記述はもはやプログラミングと変わらないのだ
显示更多
