2025/12/17 2:32

GitHub will begin charging for self-hosted action runners on March 2026

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

GitHub はホスト済みランナーの料金を引き下げ、セルフホステッドランナー分の時間あたりに小額の手数料を追加します。

ホスト済みランナー：2026年1月1日から、マシンタイプごとの料金は最大39％まで削減されます。無料使用時間クォータは変更なく、Actions ランナープライシングドキュメントに記載されています。
セルフホステッドランナー：2026年3月1日から、GitHub Actions クラウドプラットフォーム上で分単位$0.002の課金が適用されます。この費用はプラン時間として計算されます。
パブリックリポジトリ は無料のままであり、Enterprise Server 顧客 には価格変更はありません。

GitHub はセルフホステッド体験への投資も強化しています：今後12か月で Linux コンテナを超えるオートスケーリングを追加し、新しいスケーリング手法を導入、プラットフォームサポート（Windows を含む）を拡大し、これらの機能をパブリックロードマップに掲載します。詳細情報、FAQ、価格計算ツール、移行ガイド、および今後のリリース全体は Executive Insights ページと関連ドキュメントで確認できます。

本文

GitHub Actions の料金と更新（2026年有効）

2026年1月1日 – GitHubホストランナー
- 機種別に最大 39％ の価格削減。
- 無料利用時間枠は変更なし。
2026年3月1日 – 自前ホストランナーの課金
- 新料金：自前ホストランナーは $0.002/分。
- この料金対象で使用した分は、プランに含まれる利用時間に算入されます（GitHub Actions の請求ドキュメント参照）。
- パブリックリポジトリは無料のまま；GitHub Enterprise Server 顧客への価格変更はありません。
自前ホスト体験への投資
- Linux コンテナ以外のオートスケーリングを拡充。
- 今後12か月で新しいスケーリング手法、プラットフォームサポート、Windows サポートなどが追加予定。
- 詳細： Executive Insights ページ。

推奨リソース

トピック	リンク
この変更に関するFAQ	Executive Insights ページ
新しい GitHub ホストランナー料金（1月1日）	[Runner pricing documentation]
今後のリリース予定	GitHub public roadmap
利用コスト見積もり	更新された Actions 価格計算機
自前ホストからホストランナーへの移行	SHR → GHR マイグレーションガイド

(全リンクは公式 GitHub ドキュメントを参照します。)

同じ日のほかのニュース

一覧に戻る →

2025/12/17 6:14

Prediction: AI will make formal verification go mainstream

## Japanese Translation: > 記事は、人工知能がソフトウェアが仕様を満たしていることを数学的に証明する「形式検証」を、ニッチな研究活動から日常のエンジニアリング実務へと導くと主張しています。Coq、Isabelle、Lean、F*、Agda などの証明支援ツールはすでに OS カーネル、コンパイラ、暗号スタックなど大規模システムを形式的に検証することを可能にしています。現在では言語モデル型コーディングアシスタントが実装コードとそれに付随する証明スクリプトの両方をドラフトでき、極小の検証済みチェッカーは無効な証明を拒否し、AI エージェントが幻覚（hallucinate）した場合には再試行を強制します。2009 年に公開された seL4 マイクロカーネル（8,700 行の C コードで 20 人年と 20 万行の Isabelle コード）が示すように、従来は労力集約的な検証が行われてきましたが、世界中で数百人程度の専門家しかそのような証明を作成できず、コストはバグ修正費用を上回ることも多いです。著者は AI がこれらのコストを低減するにつれて、より多くのソフトウェアが形式検証され、人間によるレビューではなく AI 生成コードに依存するようになると予測しています。残された最大の障壁は正確な仕様書を書くことです——仕様書作成は証明より容易ですが、それでも専門知識を要します。AI は自然言語での要求を形式的に翻訳する手助けができるかもしれませんが、ニュアンスの損失リスクがあります。広範な採用はバグと脆弱性を削減し、エンジニアリングワークフローを再構築し、仕様書作成に関する新たなスキルを要求しますが、文化的受容こそが主流化への主要障壁となります。

2025/12/17 1:54

alpr.watch

## Japanese Translation: 米国全土の自治体は急速に監視技術を導入しており、既に8万台以上のカメラが設置されています。新しいプラットフォーム **alpr.watch** は、市議会の議題リストから「flock」「license plate reader」「ALPR」などのキーワードをスキャンし、それぞれの議論をマップ上にピン留めします。住民はこれらのシステムについて議論が行われている場所を確認でき、必要に応じて行動を起こすことができます。ユーザーはメールアドレスで登録すると、自分のエリア内の会議通知を受け取ることが可能です。 12月中旬以前に収集された全データは未検証です。今後提出される情報は正確性を確認するためにモデレートされます。 **ALPR** システムは、24時間365日すべての通行車両からナンバープレートデータを取得し、読み取り、保存します。最大規模のメーカーの一つである **Flock Safety** は、そのユニットを直接近隣住民や警察署に販売しています。カメラは機関・管轄区域間でデータを共有し、数百万の米国人を追跡する監視ウェブを構築します。これらのシステムは、意図された範囲を超えて拡張されることが多く、例えば移民取り締まりに使用されたり、恒久的なインフラストラクチャーとなったりします。 Electronic Frontier Foundation（EFF）、ACLU、Fight for the Future、STOP、Institute for Justice、および地域コミュニティグループなどのプライバシー擁護団体は、すでにこれらの動向を監視しています。 *この改訂された要約はリストからすべての主要ポイントを反映し、未確認推測を含まず、メインメッセージを明確かつ簡潔に保っています。*

2025/12/17 4:20

No Graphics API