**ポストモーテム：** 画像と飛行データの両方を含む、初の非常低軌道（VLEO）衛星ミッションが完了しました。

2026/01/25 4:04

**BirdyChat、WhatsAppと相互運用可能な初の欧州チャットアプリに登場**

## Japanese Translation: BirdyChat は、デジタル・マーケッツ法（DMA）の主要要件を満たす形で、WhatsApp と直接相互運用可能な最初の欧州チャットアプリになると発表しました。2025 年後半から、欧州経済領域（EEA）内のユーザーは、電話番号または業務メールアドレスを入力するだけで、任意の WhatsApp コンタクトとの1対1の会話を開始できます。この機能は公式に DMA 承認されたインターフェースを使用しており、メッセージはエンドツーエンド暗号化されプライバシーが保たれつつ、アプリ間で相互作用できるようになっています。今回の展開は、WhatsApp が欧州におけるプラットフォームをオープンにする広範な取り組みの一環です。これは、単一アプリの支配を打破し、メッセージングサービス間の相互運用性を促進することを目的とした以前の EU のイニシアチブに続くものです。初期段階では個別チャットのみが機能し、グループチャットは将来のアップデートで対応予定です。利用可能範囲は EEAs 内の各国へ徐々に拡大され、BirdyChat はスケーリング中は招待制を維持しますが、業務メールアドレスを使用したウェイトリストから早期アクセスを申請することもできます。

2026/01/25 6:19

「作家たちが夜に現れた」

## Japanese Translation: 三人の作家―脚本家、ノンフィクション作家、詩人―は、人工知能について議論を喚起するための宣伝噴射として、サム・オルトマン氏を950エーカーのナパバレー牧場で「誘拐」するという舞台化された計画を立てます。彼らはオークの木近くの弱点を探るために重装備の敷地をスカウトし、複製のメイスと警察発行の手錠を携えていましたが、結局オルトマン氏を実際に誘拐することは断念します。彼らの動機は象徴的であり、オルトマンはテクノロジー業界の支配力を代表しています。 計画中、彼らはLLM（ChatGPT）に相談し、フェンスを突破する方法を学びますが、AIは害へのガードレールを理由に不正行為の促進を拒否します。AIは、この種の噴射がAI普及を止めることはなく、法的結果と限定された象徴的影響しかないと説明します。その後、作家たちは歴史的なルドゥイツとテクノロジーによる雇用喪失について考え、執筆の未来に目を向けます。AIは効率的に文学を生み出せるが、本物の人間体験を創造できないと主張し、『Dept. of Speculation』から「すべての本は派生である」という引用を挙げ、独自性の概念に挑戦します。 会話は緊迫し、作家たちは自身の関連性喪失へのフラストレーションを表明すると、AIは「ホワイト・メイル・ノベルティスト」トロープについて皮肉な発言で応じます。結局、彼らはAIに遭遇記録を書かせることに決め、彼ら自身を勝者として描き、廃れた存在感を強調することを期待します。このエピソードは、人間の創作者とAIツールとの緊張関係を浮き彫りにし、出版におけるオリジナリティへの疑問を投げかけ、将来テクノロジー業界の論争がどのように再構築・マーケティングされ得るかを示唆します。

2026/01/25 0:57

**Zig におけるメモリレイアウト（式付き）** Zig のメモリモデルは、基盤となるハードウェアを薄く抽象化したものです。 主な概念は **allocators（割り当て器）**、**layouts（配置）**、そして **alignment（整列）** です。以下では、Zig がデータをメモリにどのように並べるかを簡潔にまとめ、必要に応じて数式で表現しています。 --- ## 1. 整列規則 | 型 | デフォルト整列（バイト） | |----|---------------------------| | `bool`、`i8`、`u8` | 1 | | `i16`、`u16` | 2 | | `i32`、`u32`、`f32`| 4 | | `i64`、`u64`、`f64`| 8 | | `i128`、`u128`、`f128` | 16 | **構造体フィールドの整列を求める式** ``` aligned_offset = ceil(previous_end / align_of(field)) * align_of(field) ``` - `previous_end` は前のフィールド直後のオフセットです。 - `ceil(x)` は小数点以下を切り上げて整数にします。 --- ## 2. 構造体レイアウト 構造体にフィールド `F₁, F₂, … , Fₙ` があるとき、全体のサイズ **S** は次のように計算されます。 ``` offset₁ = 0 for i in 1..n: offsetᵢ = ceil(offset_{i-1} / align_of(Fᵢ)) * align_of(Fᵢ) end size_without_tail_padding = offset_n + size_of(Fₙ) S = ceil(size_without_tail_padding / max_align) * max_align ``` - `max_align` は全フィールドの中で最も大きい整列要件です。 - 最後のステップで「尾部パディング」を追加し、構造体サイズをその整列に合わせます。 --- ## 3. 配列レイアウト 配列 `[N]T` は要素を連続して格納します（間に隙間はありません）。 ``` array_size = N * size_of(T) array_alignment = align_of(T) ``` - `T` が構造体であれば、その内部パディングも各要素に適用されます。 --- ## 4. ポインタと参照のレイアウト - 生ポインタ (`*T`) はマシンのポインタ幅（64‑bit システムでは通常 8 バイト）です。 - Zig の参照 (`&T`) もポインタですが、ライフタイム情報を保持してコンパイル時に安全性チェックが可能です。サイズは生ポインタと同じです。 --- ## 5. 動的割り当て Zig は **allocators** を使ってヒープメモリを管理します。 典型的な割り当てブロックの構造は次のようになります。 ``` [ header | payload | footer ] ``` - `header` にはサイズや allocator ID などのメタデータが入ります。 - `footer` はチェックサムやフリーリストリンクを保持する場合があります。 - 正確なフォーマットは allocator に依存します。標準ライブラリの `std.heap.GeneralPurposeAllocator` は 64‑bit システムで 16 バイトのヘッダーを使用しています。 --- ## 6. 実例：構造体レイアウト計算 ```zig const Point = struct { x: f32, // offset 0, size 4, align 4 y: f32, // offset 4, size 4, align 4 }; ``` - `offset_x = 0` - `offset_y = ceil(4 / 4) * 4 = 4` - `size_without_tail_padding = 4 + 4 = 8` - `max_align = 4` → 最終サイズは 8（すでに 4 の倍数）。 --- ## 7. 要約式 任意の複合型について、レイアウトサイズは次のように求められます。 ``` layout_size(type) = ceil(sum_of_field_sizes_with_alignment / max_align) * max_align ``` この式により、各フィールドが適切に整列されたオフセットで開始し、型全体のサイズもその整列要件を満たすようになります。これにより、Zig がサポートするすべてのアーキテクチャで効率的なメモリアクセスが保証されます。

## Japanese Translation: ## Summary Andrew Kelley の DoD トークは、Zig の型システムとレイアウトプリミティブ（`@alignOf`、`@sizeOf`）が開発者にメモリ構成を明示的に制御する方法に焦点を当て、データ指向設計の核心原則であることを説明しました。彼は次のような正式規則を提示しました： * 任意の型 T に対して、`@sizeOf(T) ≥ @alignOf(T)` かつ `@alignOf(T)` は `@sizeOf(T)` を割り切ります；両方とも 2 のべき乗です。 * 原語型は `@sizeOf(primitive) = @alignOf(primitive)` を満たします（例：`bool`、`u8`、`*u8` はすべてサイズ/アラインメント = 8）。 * ビット数は `bytes(bits) := max{1, 2^ceil(log₂(bits/8))}` によりバイトに変換されます。 * 構造体のアラインメントはそのフィールドのアラインメントの最大値であり、サイズはすべてのフィールドを順序通りに（パディング付き）収めることができるそのアラインメントの最小倍数です。 * `extern` キーワードは C‑ABI の並び順を強制し、Zig がフィールドをよりタイトに詰めるために再配置するのを防ぎます。 * 列挙型はバリアント数をカバーする最小限の符号なし整数型を使用しますので、`@alignOf(enum) = @sizeOf(enum) = bytes(b)` となり、ここで `b = ceil(log₂(len))` です。 * 配列は要素型からアラインメントを継承し、サイズは `N * @sizeOf(T)` です；スライスは 2 つの `usize` フィールドを持つ構造体であり、アラインメント = 8、サイズ = 16（64‑bit 系）です。 * ベア（extern）ユニオンは最大フィールドアラインメントに合わせて整列し、そのサイズは最も大きいフィールドを収める次のそのアラインメントの倍数です。非 extern ユニオンには追加で 1 個分のアラインメントだけのパディングが付加されます。 * タグ付きユニオンはユニオンと列挙型タグを組み合わせたもので、アラインメントは `max(@alignOf(union), @alignOf(tag))` であり、サイズは `next_mult(max(field sizes) + @sizeOf(tag), @alignOf(U(E)))` を使用します。 * `ArrayList(T)` は 64‑bit システム上で固定の 24 バイトのフットプリントを持ち、そのバックバッファはヒープ確保されます；バックバッファのアラインメントは `@alignOf(T)`、サイズは `capacity * @sizeOf(T)` です。`MultiArrayList(T)` は T の各フィールドを別々の配列に格納するため、バックバッファサイズは `capacity * Σ @sizeOf(field)` となります。 これらの規則は、Zig が予測可能で C‑ABI と互換性のあるメモリレイアウトを実現しようとする目的から生じ、言語の明示的なレイアウトプリミティブによって強制されます。トークでは、将来的にこれらの計算をさらに公開または自動化する可能性のある言語機能やコンパイラパスについても触れ、開発者が複雑な構造体やユニオン設計を簡素化できることを示唆しました。システムプログラマ、低レベルライブラリ作者、および高性能または安全性クリティカルコードを必要とする企業にとって、Zig の予測可能なレイアウトはクロスプラットフォームのバイナリ互換性を向上させ、バグを減らし、キャッシュ使用率を最適化します。