エンジニアリング哲学:バーバラ・リスコフ、契約こそが型である
バーバラ・リスコフはデータ抽象をプログラミングの基本要素へと押し上げました。型とはそれが守る契約であり、サブタイプはスーパータイプが交わすあらゆる約束を必ず果たさなければなりません。
Engineering & Craftデザイン、開発、AIインフラ、製品構築についての考え。
バーバラ・リスコフはデータ抽象をプログラミングの基本要素へと押し上げました。型とはそれが守る契約であり、サブタイプはスーパータイプが交わすあらゆる約束を必ず果たさなければなりません。
Engineering & Craftドナルド・クヌースはプログラミングを、人間に読まれるために書かれる芸術として捉えます。切る前に計測し、重要な3%だけを最適化し、正しさを職人の手仕事で証明する。
Engineering & Craftエドガー・ダイクストラは単純さを正しさの前提条件として扱い、証明をテストより上位に置いた——優雅さは選択肢ではなく、規律そのものだった。
Engineering & CraftAndrej Karpathy はニューラルネットワークを Software 2.0 として捉え直しました。手で書くのではなく、データからコンパイルされるスタックです。そして一世代のエンジニアに、それをゼロから組み上げる方法を教えました。
Engineering & CraftJohn Carmackはパフォーマンスを道徳の問題として扱います。速くてシンプルな核まで削ぎ落とし、問題を土台から理解し、出荷し、そしてその過程を公開する。
Engineering & CraftLinus Torvaldsは、良い趣味とは特殊ケースが消えるコードだと定義します。Linuxカーネル、git、そして「コードを見せろ」の背後にあるエンジニアリングの信念。
Engineering & CraftRubyの作者まつもとゆきひろは、機械ではなくプログラマーの幸福のために言語を設計しました。驚き最小の原則——コードは人を驚かせてはならない。
Engineering & Craftjqwik 1.10.0 は、Maven 出力に破壊的なプロンプトインジェクション文字列を出します。ANSI エスケープで人間からは隠されます。メンテナーは意図的に追加しました。
AI & TechnologyMLflow 3.9.0のAssistantは、CORSチェックなしでローカルAIエージェントを/ajax-apiに公開していました。任意のWebページからClaude Codeを乗っ取れる状態でした。このバグの型はMLflow以前からあるものです。
AI & TechnologyAIエージェントの監視は、失敗後ではなく、実行中に決定的な誤りを検知すべきです。実行時介入は、トレース、ポリシー、アラートを安全な一時停止へ変えます。
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アーキテクチャ革新の技術分析。