彼らがあなたに描く肖像：AI SREは代替品とされ、コーディングアシスタントはパートナーとされる
AI SREとコーディングアシスタントのマーケティングフレームは分化：前者はSREを置き換えるものとして位置づけられ、後者はエンジニアの増強ツールとして包装されている。
ソフトウェアの高速化と同期ずれ：「コードを書くのが速くなった」のに速くならないのはなぜか
ソフトウェアの高速化はむしろ認知のボトルネックを移動させただけかもしれず、コードレビューがAI開発プロセスを遅らせる元凶と誤解されているが、問題はただ場所を移したにすぎないのかもしれない。
作文を書かないAIは、採点マシンである
Jevは記事を書かず、判断だけを行う。選択問題と正誤問題のセットだと考えてほしい。あなたが出題し、Jevが解答用紙を提出して確信度を示す。この記事では、Jevに何ができるのか、なぜ安いのか、そしてその確率をなぜそのまま正答率として使えないのかを説明する。
Lean で Zstandard 解凍器を書く：LLM が「証明コスト」を引き下げたとき
Adam Langley が Lean で Zstandard の解凍器を書き、型レベルの不変条件を型シグネチャとして書き下し、 証明本体を LLM に埋めさせた記録。
「パスキーは嫌い」：企業には特効薬、個人には後退
ここ数年、テック業界はパスキーをログインの最終解として持ち上げてきた。大手各社はログインのたびに、いかに楽かを「親切に」知らせてくる。この記事は個人ユーザーの立場から、アカウント復旧や複数端末の移行、プラットフォームをまたぐ場面でパスキーがまだ整っていないことを示す。
OpenAIが自社LLMでJalapeñoチップを設計：100人未満、9か月でRTLからテープアウト
OpenAI が 8 月 25 日に初の自社 AI アクセラレータチップ Jalapeño を発表した。GB300 と比べてエンドツーエンドのレイテンシを 3.6 分の 1 に短縮する。設計には自社 LLM を使い、アーキテクチャ構想から初回テープアウトまで 20 か月足らず、チームは平均 100 人未満だった。
コーディングエージェント向けハーネス設計の実証研究
コーディングフレームワークは、自律コーディングエージェントがモデル能力を長周期ソフトウェアエンジニアリング性能へと変換する方法を決定するが、通常はモノリシックシステムとして評価される。本研究では実行ループを固定し、SWE-Bench VerifiedとTerminal-Bench上で4つのモデルに対して3つのコンポーネント（計画、行動空間、コンテキスト管理）を一つずつ変更する。
ZCodeがGitの全履歴を無言でアップロードする怪しい挙動を暴く
ZCodeはログイン状態でワークスペース全体と完全なGit履歴を無言でパッケージ化してクラウドオブジェクトストレージへアップロードし、復号用秘密鍵はサーバー側にのみ保存される。本記事ではローカルフォレンジックとクライアントコードのリバースエンジニアリングにより完全なアップロード経路と暗号化機構を復元し、ファイルシステムの不変ロックによってこの行為を完全に阻止する方案を示す。
Cloudflare は構造体を1つとパラメータを1つ変えただけで、100TB のメモリを回収した
Cloudflare のグローバルネットワークは巨大だが、限界がないわけではない。リソース使用量を削る小さな手立てを探す中で、大きく削れる場面に巡り合うこともある。この記事は、Pingora ベースのあるサービスのメモリ使用量をどう下げたか、そしてなぜそれが簡単ではないのかを扱う。
x86 エミュレーションの厄災
ARM の弱い順序付けメモリモデル上で x86-TSO をエミュレートするのは、エミュレータに長くある落とし穴だ。全ストア順序付けを自前で補って初めて正しくなるが、代償は大量のメモリバリアで、性能と正確性の両立が難しい。記事は問題の根源と、手法ごとのトレードオフを整理する。
Claude CodeがAGENTS.mdを読み始める：コーディングエージェントの設定ファイル論争が収束へ
Claude Code 2.1.277 はプロジェクトに CLAUDE.md がない場合、AGENTS.md を読むようになった。Codex、Amp、Jules、Cursor などが共同で提唱し、現在は Linux Foundation がホストするこのオープンなフォーマットを、これまで独自路線を歩んできた Claude Code が初めて受け入れた。
数学を知らない人が約40億トークンでConwayの50年前の予想を証明
数学の素人である Dan Abramov が、一か月と約 400 億トークンを費やし、Claude と ChatGPT を Lean につないで Conway が 50 年前に提唱した細分化予想の証明を得た。数学者による独立検証はまだ受けていない。
HEIC画像1枚からOpenAI社内リポジトリまで：72時間で2つの脆弱性をつなぐ
Hacktron のチームが 2 つの脆弱性を連鎖させて OpenAI を侵害した。Discourse の画像経由で libheif のヒープオーバーフローから RCE を取り、OpenAI SSO の設定ミスで従業員のアカウントを乗っ取り、社内 monorepo に到達した。発見から侵入まで 72 時間未満。
AIギーク週報 W38 · 2026-09-12—09-18
今週40本。鳥を描く電子ペーパー、AIに鎖をかける証明言語、20ドルのホットスポットをSMSマシンに改造、そして警察が「LMAO」を理由に19,000台のカメラを捜索。
Expo UI における Worklet 統合：SwiftUI と Compose の状態を同期制御
Expo UIがreact-native-workletsと統合され、UIスレッド上でSwiftUIとComposeの状態を同期的に制御できるようになりました。JSの往復通信は不要です。
パフォーマンス優先の動画フィードを実現：TendbbleがExpoでリアルタイムソーシャルアプリを構築した方法
2人のフロントエンド開発者が同じReact Nativeコードベースで動画SNSアプリTendbbleを作り、単一プレイヤー戦略でミッドレンジAndroid上で50〜100件の投稿のスワイプフィードを支えた。
画像をTextInputに貼り付けるのはこんなに難しくあるべきではない
チャットアプリの小さなペースト操作が、`expo-paste-input` というネイティブ Expo モジュールに育った。React Native の TextInput に画像、GIF、スタンプの貼り付けを足す。
@expo/vector-iconsからの移行
アプリのバンドルサイズは@expo/vector-iconsから@react-native-vector-iconsに切り替えることで4 MB削減されました。以下がこの変更を今推奨する理由です。
Expo Router v56：React Navigation との分離
Expo Router v56 が React Navigation からフォークし、ストリーミング SSR を提供、新しい Android ツールバーと Native Tabs の更新でプラットフォーム間の差を縮小。
次世代 Expo API：MediaLibrary と Contacts
SDK 55 はコアライブラリの次世代バージョンをもたらします。Shared Objects と Shared Refs は、これらのライブラリとネイティブデータのやり取りの方法を根本から変えます。
iOS アプリの開発に、Mac は必ずしも必要ではない
EAS Simulator は Expo の新しいサービスで、開発者もコーディング agent も、クラウド上に iPhone を 1 台持てるようにする。
Expo が新規アプリにも既存アプリにも向いている理由
ExpoはWebラッパーではなくネイティブアプリフレームワークであり、iOSとAndroidが単一のネイティブリリースパスを共有でき、AIエージェントも直接接続できます。
Expo アプリだけで24時間乗り切れるだろうか？
Expoで作ったアプリが丸一日たって、ひととおり動くようになった。足りないのはどこか、つまり次に何をやるかだ。
Expo Modules 2.0 の予告
Expo Modules 2.0 は、ネイティブモジュールをアノテーション付きの Swift または Kotlin クラスに変える。DSL もボイラープレートも不要で、呼び出しは最大 5.6 倍高速。iOS では SDK 57 で試せる。