エンジニアリング哲学:レスリー・ランポート、コードを書く前に考える
レスリー・ランポートは分散システムを科学へと変えました。時間はグローバルではなく、因果こそが実在であり、コードを書く前に設計を仕様化するのです。
Engineering & Craftデザイン、開発、AIインフラ、製品構築についての考え。
レスリー・ランポートは分散システムを科学へと変えました。時間はグローバルではなく、因果こそが実在であり、コードを書く前に設計を仕様化するのです。
Engineering & Craftアラン・ケイは視点を変えることで未来を発明しました。コンピューティングを思考のための媒体として捉え、メッセージでやり取りするオブジェクトからシステムを組み立てるという発想です。
Engineering & Craftドナルド・クヌースはプログラミングを、人間に読まれるために書かれる芸術として捉えます。切る前に計測し、重要な3%だけを最適化し、正しさを職人の手仕事で証明する。
Engineering & CraftRich HickeyはClojureとDatomicを、たった一つの区別の上に築きました——シンプルはイージーではない。シンプルとは「絡まっていない」、つまり一つの物事に一つの関心。イージーとはただ「慣れ親しんでいる」だけのことです。
Engineering & CraftGuido van RossumはPythonを、たったひとつの賭けの上に築きました。コードは書かれるよりもはるかに多く読まれる——だからこそ言語そのものを、その行を読む人間のために最適化すべきだ、という賭けです。
Engineering & Craftグレース・ホッパーは、プログラムを人間の言葉で書けるよう最初のコンパイラーを作り、ナノ秒のワイヤーでレイテンシーを物理的なものに変え、古びた教条と闘い続けました。
Engineering & Craftバーバラ・リスコフはデータ抽象をプログラミングの基本要素へと押し上げました。型とはそれが守る契約であり、サブタイプはスーパータイプが交わすあらゆる約束を必ず果たさなければなりません。
Engineering & Craftティム・バーナーズ=リーはウェブを発明し、それを手放しました。普遍性と、許可を必要としない分散性です。誰でも、どこからでも、誰の承認も得ずに公開し、リンクできるのです。
Engineering & Craftトンプソンとリッチーは、テキストストリームとパイプという一つの普遍的なインターフェースを通じて組み合わさる、小さく鋭いツールからUnixとCを築き上げました。機能よりも単純さを。
Engineering & CraftBjarne Stroustrup はゼロオーバーヘッド原則の上に C++ を築きました。表現力のあるコードかベアメタルの速度か、その二者択一を迫られてはならない。優れた抽象化は何のコストも生まないのです。
Engineering & CraftRubyの作者まつもとゆきひろは、機械ではなくプログラマーの幸福のために言語を設計しました。驚き最小の原則——コードは人を驚かせてはならない。
Engineering & CraftAndrej Karpathy はニューラルネットワークを Software 2.0 として捉え直しました。手で書くのではなく、データからコンパイルされるスタックです。そして一世代のエンジニアに、それをゼロから組み上げる方法を教えました。
Engineering & Craft技術記事: Introl
大規模言語モデルをローカルで実行するための包括的なハードウェア推奨事項とコスト分析。
さまざまなAIワークロード向けにNVIDIA最新データセンターアクセラレータを比較するGPU選択ガイド。
GoogleのTensor Processing UnitのTPUv1からTPUv5までの進化に関する詳細な技術解説。
コンテナ化環境におけるGPUクラスターのリソース共有戦略。
Rayフレームワークを使用した分散AI計算の構築と管理のガイド。
オープンソースLLMの経済性とDeepSeekの競争上のポジショニング分析。
将来のデータセンター電力要件とNVIDIAの次世代GPUロードマップ。
次世代AIインフラストラクチャに電力を供給する小型モジュラー炉ソリューション。
DeepSeekのMulti-Head Compressionアーキテクチャ革新の技術分析。