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