形式手法とプログラミングの未来 - Jane Street の挑戦
Formal Methods and the Future of Programming
Jane Street の Yaron Minsky が、同社が25年間「形式手法は割に合わない」としてきた方針を転換した経緯を語る。seL4 の正式検証は8,700行の C コードに25人年を要し、1行あたり23行の証明が必要だったが、Jane Street は形式手法を型システムのように開発者が日常的に使えるツールにすることを目指している。セキュリティクリティカルなカーネルだけでなく、汎用ソフトウェア開発にも形式手法を適用可能にするビジョンを提示している。
Apple が Hide My Email を実質無力化へ - ドメイン変更でエイリアス一括ブロックが容易に
Apple is about to make Hide My Email useless
Apple が Sign in with Apple および iCloud+ の Hide My Email エイリアスの発行ドメインを @private.icloud.com に統一すると発表した。これにより、サービス側がエイリアスを一括でブロックすることが容易になり、一時メールと同様に拒否される可能性が高まる。従来は @icloud.com ドメインだったため通常の iCloud メールとの区別が困難だったが、変更前にエイリアスを生成しておくことが推奨されている。
GPT-NL: オランダが開発する国家主権型言語モデル
GPT-NL: a sovereign language model for the Netherlands
オランダの応用科学研究機関 TNO が、国家主権型の言語モデル GPT-NL を開発している。米国や中国の大規模 LLM への依存を減らし、オランダ語やオランダの法制度・文化に特化したモデルを目指す。欧州のデジタル主権の確保と、公共部門での AI 活用を促進する狙いがある。
Qwen-Robot Suite: 物理世界の知能に向けた基盤モデル群
Qwen-Robot Suite: A Foundation Model Suite for Physical World Intelligence
Alibaba の Qwen チームが、ロボティクス向けの基盤モデル群 Qwen-Robot Suite を公開した。物理世界でのタスク実行を目的とし、視覚・言語・行動を統合したマルチモーダルモデルで構成される。ロボット制御における汎用的な知能の実現を目指し、従来のタスク特化型アプローチから汎用基盤モデルへの転換を図っている。
Wolfram Language & Mathematica バージョン15 - AI アシスタント内蔵、記号音楽など多数の新機能
Wolfram Language and Mathematica Version 15
Stephen Wolfram が Wolfram Language と Mathematica のバージョン15を発表した。全ノートブックに AI アシスタントが内蔵され、記号音楽の導入、時系列・イベント系列の大幅強化、カテゴリカルデータ向けの計算機能、ModelFit スーパー関数、例外処理機構、構造化パッケージ形式、GB級ノートブック対応など多数の新機能を搭載している。
JWT をセッション管理に使うべきでない理由
Stop Using JWTs
JWT をユーザーのログイン状態維持に使うべきではないと主張する技術文書。JWT はそもそもセッション管理用に設計されておらず、セキュリティ上の懸念がある。通常の Cookie ベースのセッション管理がこの用途には適切であり、JWT は異なるサービス間での一時的な認証トークンとして使うべきだと論じている。GitHub で310以上の Star を集めている。
IIS サーバーのバグバウンティ攻略ガイド - 設定ミスの発見から脆弱性調査まで
Humiliating IIS servers for fun and jail time
IIS サーバーを対象としたバグバウンティの実践的なガイド。Shodan や Google Dorking による IIS サーバーの発見、内部 IP アドレスの漏洩、IIS tilde enumeration によるショートネーム探索、web.config の取得、cookieless sessions を悪用した DLL 露出、NTFS トリックによる認証バイパス、WAF 回避のための HTTP Parameter Pollution など、多岐にわたる手法を詳細に解説している。
GrapheneOS が Android 17 リリース当日に移植完了
GrapheneOS has been ported to Android 17
プライバシー重視の Android ディストリビューション GrapheneOS が、Android 17 の公式リリース当日に移植を完了した。Pixel 6a、7、7a、8、10a、10、10 Pro Fold でテスト済みで、対応する全デバイス向けにリリースが予定されている。Android 16 QPR2 ベースの最終ビルドも同日にリリースされる。
NLnet が67件のオープンソースプロジェクトに助成金を授与
NLnet announces funding for 67 more open-source projects
NLnet 財団が Next Generation Internet イニシアチブの一環として、67件の新規オープンソースプロジェクトに助成金を授与した。NGI Zero Commons Fund、NGI TALER、NGI Fediversity の3つのファンドを通じ、信頼性のあるオープンハードウェアからユーザー自律性を重視するサービスまで、技術スタック全体をカバーしている。プライバシー保護型決済システム Taler やフェデレーション型ホスティング基盤の構築にも資金が提供される。
M365 Copilot で実践するハーネスエンジニアリング
M365 Copilot で実践するハーネス エンジニアリングのループ
AI コーディングエージェント界隈で注目される「ハーネスエンジニアリング」の考え方を M365 Copilot の日常業務に応用する方法を解説。モデル自体を変えられない制約の中で、指示・コンテキスト・ツールといった「足回り」を整えることで AI の出力品質を向上させるアプローチを提案している。カスタムインストラクションを「書く、使う、観察する、改善する」のフィードバックループとして運用する実践的な方法論を紹介。
JavaScript の Class 離れの歴史 - prototype から React Hooks まで
JavaScriptのClass離れの歴史をたどる話
JavaScript エコシステムにおける class からの脱却の歴史を React を中心に整理した記事。prototype チェーンの手動設定から ES2015 の class 糖衣構文の登場、React のクラスコンポーネントにおけるロジック共有の課題（mixin、HOC、レンダープロップの3段階の変遷）、そして React Hooks による関数コンポーネントへの転換までを体系的にたどる。class 構文が内部的に生成する構造と追加される安全装置の違いも解説している。
TypeScript バックエンド設計を体系的に学ぶ Architecture Study Guide
Architecture Study Guide
TypeScript バックエンドの設計判断を体系的にまとめた無料の Zenn Book（約15万字）。品質特性、高凝集・疎結合、契約と依存関係、Ports and Adapters、Vertical Slice Architecture、CQRS と Event Sourcing、メッセージングと失敗設計、ADR（Architecture Decision Records）まで全12章で構成されている。章末ワークや講師向け評価基準も含む実践的な内容。
Figma のオートレイアウトで CSS Flexbox と直結する UI 設計を実現した話
フロントエンドエンジニアがFigmaのオートレイアウトを駆使して、実装に直結するUIを設計した話
フロントエンドエンジニアがデザインから実装まで一貫して担当する体制で、Figma のオートレイアウト機能を徹底活用した事例。固定値デザインの問題点を指摘し、Hug contents による可変ボタン、padding/gap による論理的な余白管理、Fill container によるレスポンシブ対応の3つのアプローチで、CSS Flexbox と1対1で対応するデザインを構築。Figma 上の設定が実質的に CSS 設計になるワークフローを実現した。
逆引きアクセシビリティ - UI コンポーネント実装カタログ
逆引きアクセシビリティ 〜見た目も妥協しない UI コンポーネント実装カタログ〜
WCAG の達成基準ではなく「作るコンポーネント」を起点にアクセシビリティの考慮点を整理した無料の Zenn Book。アコーディオン、ツールチップ、カルーセル、タブ、モーダルなどの UI コンポーネントごとに、キーボード操作や支援技術への対応を「なぜ大事か」「どう確認するか」とセットで解説。ビジュアルデザインとアクセシビリティの両立を技術で実現する実装例も紹介している。
AI なしで30日間コーディングした結果 - 15分ルールの発見
I Coded Without AI for 30 Days. Here's What It Did to My Brain.
Copilot も ChatGPT も使わずに30日間コーディングした開発者の体験記。第1週は生産性が60%低下したが、第2週にはフロー状態が戻り、第3週にはコード品質が向上。実験を通じて「15分ルール」を確立した。バグに遭遇したら15分間は AI を使わず、エラーを読み、ドキュメントを確認し、ロジックを追う。90%の場合はタイマーが鳴る前に解決でき、毎回実際に何かを学べたという。
BrowserAct vs Playwright: 本番環境のアンチボット対策でテスト自動化が壊れる理由
BrowserAct vs Playwright: Where Test Automation Hits Real-World Anti-Bot Friction
Playwright がテスト環境では正常に動作するが、本番の Web サイトでは Cloudflare や reCAPTCHA のアンチボット検出により失敗する問題を詳細に分析。ブラウザフィンガープリント検出、TLS フィンガープリンティング、WebDriver フラグの露出、IP レピュテーション、セッション持続性の5つの障害モードを解説し、BrowserAct がステルスブラウジングやセッション復元力で異なるアプローチを取ることを紹介している。
DEV がマルチ CDN から bunny.net に移行して画像配信パイプラインを簡素化した話
How We Saved Big and Simplified Our Image Pipeline: Adopting bunny.net on DEV
DEV.to がユーザーアップロード画像の配信を複数の CDN から bunny.net に統合した事例。成長に伴い画像が増大し、マルチ CDN のパッチワーク的なメディアパイプライン、動的リサイズ用のプロキシサービス、膨大なクラウド転送料金が問題になっていた。Rails モノリスの Fastly による HTML エッジキャッシュは維持しつつ、メディア配信を bunny.net のエッジスクリプトで統合し、コストを大幅削減した。
AWS Blocks: AWS アカウント不要でローカル実行可能なフルスタック構成要素
AWS Blocks: Full-Stack Building Blocks That Run Locally Without an AWS Account
AWS Blocks は「Infrastructure from Code」のアプローチで、TypeScript のアプリケーションコード自体がインフラ定義を兼ねる仕組み。DynamoDB テーブルや API エンドポイントをコード内で直接定義し、ローカルでは AWS 認証情報なしで実行、検証後にスイッチ1つで実際の AWS インフラにデプロイできる。サンドボックス環境の申請やデプロイ待ちのサイクルを排除する。
tabstack CLI: AI エージェントに Web アクセスを提供する Mozilla の CLI ツール
Giving your agents a terminal: a first look at the tabstack CLI
Mozilla がリリースした tabstack CLI は、URL をクリーンな Markdown やスキーマ定義に沿った JSON に変換する Go 製の単一バイナリツール。AI エージェントやスクリプトから Web コンテンツを取得する用途に特化しており、自然言語でのブラウザ自動操作やソース付きリサーチ回答機能も備える。ターミナルでは見やすく表示され、パイプで jq に渡す際は自動的に機械可読形式に切り替わる。
Tailwind CSS4 のユーティリティクラスが従来の CSS より拡張性に優れる理由
Tailwind CSS4: Why Those Inline Styles Are Actually More Scalable
シニア CSS 開発者の視点から Tailwind CSS4 のユーティリティクラスアプローチの拡張性を解説。従来の CSS ではスタイルシートが5,000行を超え、既存クラスの変更を恐れて新クラスを追記し続ける問題があった。Tailwind は CSS 変数からユーティリティクラスを生成し、bg-mint-500 のようなクラスを再利用することで、ページ数が増えても CSS バンドルサイズがほぼ一定に保たれ、リファクタリングのリスクも大幅に低減される。