執筆

デザイン、開発、AIインフラ、製品構築についての考え。

2 分で読める

エンジニアリング哲学:バーバラ・リスコフ、契約こそが型である

バーバラ・リスコフはデータ抽象をプログラミングの基本要素へと押し上げました。型とはそれが守る契約であり、サブタイプはスーパータイプが交わすあらゆる約束を必ず果たさなければなりません。

Engineering & Craft
engineering-philosophy abstraction programming-languages distributed-systems american
3 分で読める

エンジニアリング哲学:Andrej Karpathy、自分では書かないスタック

Andrej Karpathy はニューラルネットワークを Software 2.0 として捉え直しました。手で書くのではなく、データからコンパイルされるスタックです。そして一世代のエンジニアに、それをゼロから組み上げる方法を教えました。

Engineering & Craft
engineering-philosophy ai machine-learning neural-networks education

外部記事

技術記事: Introl