エンジニアリング哲学:バーバラ・リスコフ、契約こそが型である
バーバラ・リスコフはデータ抽象をプログラミングの基本要素へと押し上げました。型とはそれが守る契約であり、サブタイプはスーパータイプが交わすあらゆる約束を必ず果たさなければなりません。
Engineering & Craftデザイン、開発、AIインフラ、製品構築についての考え。
バーバラ・リスコフはデータ抽象をプログラミングの基本要素へと押し上げました。型とはそれが守る契約であり、サブタイプはスーパータイプが交わすあらゆる約束を必ず果たさなければなりません。
Engineering & CraftGuido van RossumはPythonを、たったひとつの賭けの上に築きました。コードは書かれるよりもはるかに多く読まれる——だからこそ言語そのものを、その行を読む人間のために最適化すべきだ、という賭けです。
Engineering & Craftトンプソンとリッチーは、テキストストリームとパイプという一つの普遍的なインターフェースを通じて組み合わさる、小さく鋭いツールからUnixとCを築き上げました。機能よりも単純さを。
Engineering & CraftAndrej Karpathy はニューラルネットワークを Software 2.0 として捉え直しました。手で書くのではなく、データからコンパイルされるスタックです。そして一世代のエンジニアに、それをゼロから組み上げる方法を教えました。
Engineering & CraftRubyの作者まつもとゆきひろは、機械ではなくプログラマーの幸福のために言語を設計しました。驚き最小の原則——コードは人を驚かせてはならない。
Engineering & CraftLinus Torvaldsは、良い趣味とは特殊ケースが消えるコードだと定義します。Linuxカーネル、git、そして「コードを見せろ」の背後にあるエンジニアリングの信念。
Engineering & CraftJohn Carmackはパフォーマンスを道徳の問題として扱います。速くてシンプルな核まで削ぎ落とし、問題を土台から理解し、出荷し、そしてその過程を公開する。
Engineering & Craftjqwik 1.10.0 は、Maven 出力に破壊的なプロンプトインジェクション文字列を出します。ANSI エスケープで人間からは隠されます。メンテナーは意図的に追加しました。
AI & TechnologyMLflow 3.9.0のAssistantは、CORSチェックなしでローカルAIエージェントを/ajax-apiに公開していました。任意のWebページからClaude Codeを乗っ取れる状態でした。このバグの型はMLflow以前からあるものです。
AI & Technology深い調査を行うエージェントには、欠けている要素を追跡し、重複検索を減らし、レビュアーが確認できる出典付きの回答を作るための証拠グラフが必要です。
AI & TechnologyAIエージェントの所有責任は、自律的なすべての行動を、それを止め、確認し、責任を引き受けられるアカウント、セッション、権限範囲、運用者へ結びつけます。
AI & TechnologyAIコーディングエージェントは巨大な差分でレビュー担当者を圧倒します。レビュー対象を小さくすれば、エンジニアはマージ前に関与を保ち、検証に集中し、責任を持てます。
AI & Technology技術記事: Introl
大規模言語モデルをローカルで実行するための包括的なハードウェア推奨事項とコスト分析。
さまざまなAIワークロード向けにNVIDIA最新データセンターアクセラレータを比較するGPU選択ガイド。
GoogleのTensor Processing UnitのTPUv1からTPUv5までの進化に関する詳細な技術解説。
コンテナ化環境におけるGPUクラスターのリソース共有戦略。
Rayフレームワークを使用した分散AI計算の構築と管理のガイド。
オープンソースLLMの経済性とDeepSeekの競争上のポジショニング分析。
将来のデータセンター電力要件とNVIDIAの次世代GPUロードマップ。
次世代AIインフラストラクチャに電力を供給する小型モジュラー炉ソリューション。
DeepSeekのMulti-Head Compressionアーキテクチャ革新の技術分析。