InfoQ ホームページ 言語 に関するすべてのコンテンツ
-
GitHub CLI、三角形ワークフロー（Triangular Workflows）のサポート改善を導入
2025年4月、GitHub, Inc.社がCLI（コマンドラインインターフェース）のアップデートを発表した。今回のアップデートに伴い、フォークされたリポジトリで作業するオープンソースのコントリビューターにはおなじみの三角形ワークフロー（Triangular Workflows）のサポート改善が実装されることとなった。
-
AWS CDK Toolkit Libraryが正式リリース ― 自動化されたインフラ管理を強化
AWSは最近、CDK Toolkit Libraryの一般提供を発表した。この新しいNode.jsライブラリは、開発者がCDKをプログラムで制御し、CDKを中心とした追加の自動化を構築可能にする。これにより、クラスやメソッドを利用してスタックの合成、デプロイ、削除などの操作が可能だ。
-
Anthropicがアプリ構築機能をClaude Artifactsにアップグレード
Anthropic社は、Claudeに新たなアプリ構築機能を追加し、ユーザーがテキストプロンプトから直接AIアプリケーションを作成、ホスト、シェアできるようにした。この機能はArtifactsとして知られ、データアナライザーやフラッシュカードジェネレーター、学習支援のような実用的なツールを、ユーザーがアイデアをシンプルに記述するだけで構築できるようにする。プログラミングスキルがない人でも高度なアプリケーションを作成できるよう、Claudeが裏でコーディングする。
-
スペースシャトルとOrion MPCVのソフトウェアをNASAがどのようにテストしているか
NASAは安全性確保のために複数のテストレベル、独立した検証、基準、安全コミュニティ、ツールを活用している。Darrel Raines氏はNDC Tech TownでスペースシャトルとOrion MPCVのソフトウェア開発とテストについて講演した。彼はどのように失敗やニアミスから学び、プロセスを継続的に改善しているかを説明した。
-
もう一つのRust書き換え：OpenAIのCodex CLIをネイティブ化、NodeとTypeScriptをRustで再構築
OpenAIは最近、Codex CLIをRustで再構築することを発表した。Codex CLIスタックはもともとReact、TypeScript、Nodeを特徴として持っている。この再構築は、開発者エクスペリエンスの向上に加えて、セキュリティとパフォーマンスの向上を実現することを目的としている。
-
Hugging FaceがReachy Miniロボットをローンチ、人間－ロボットインタラクション向け
Hugging FaceはReachy Miniロボットを発表、現在注文可能だ。AI開発者、研究者、そして愛好家向けに設計されており、このロボットは人間－ロボットインタラクションやAIアプリケーションの実験を行うためのエキサイティングな機会を提供する。
-
Google、オープンソースのクロスプロバイダーLLM評価ツールLMEvalを公開
LMEvalは、AI研究者や開発者が異なる大規模言語モデル（LLM）の性能を比較するのを支援することを目的としている。正確性、マルチモーダル対応、使いやすさを重視して設計されており、安全性やセキュリティの観点から主要なモデルの評価にすでに使用されている。
-
マイクロソフトCTO、Rust Nation UKでRustの成功と課題、Rustへのコミットメントについて語る
Microsoft Azureの最高技術責任者Mark Russinovich氏は、Rust Nation UKで講演し、Rustの採用を推進する要因について掘り下げ、マイクロソフト製品におけるRustの使用例を具体的に示し、生成AIを活用してC/C++からRustへの移行を加速するための継続的な取り組みを詳細に説明した。
-
Meta社、Rustで構築された高性能なPython型チェッカー「PyreFly」をオープンソース化
現在アルファ版であるPyreflyは、Meta社が開発した新しいオープンソースのPython型チェッカーで、最大限のパフォーマンスを実現するためにRustで構築されている。Pyre、Pyright、MyPyといったツールに触発されており、以前Instagramのコードベースで使用されていたOCamlベースの型チェッカーPyreを置き換えることを目的としている。
-
GPUアクセラレーションによるLLM推論をPure Javaに導入
マンチェスター大学のBeehive LabがGPULlama3.javaを公開した。これは、Llama3のJavaネイティブ実装として初めて自動GPUアクセラレーション��実現したプロジェクトである。このプロジェクトはTornadoVMを活用し、開発者がCUDAやネイティブコードを記述する必要なく、GPUアクセラレーションによる大規模言語モデル推論を可能にする。これにより、Java開発者が企業環境でAIアプリケーションに取り組む方法を変革する可能性がある。
-
DockerがHardened Imagesを導入、コンテナセキュリティを強化
DockerはDocker Hardened Images、ソフトウェアサプライチェーンの脅威から保護するために設計された、エンタープライズグレードでセキュリティ強化されたコンテナイメージのカタログ、をリリースした。Dockerによれば、DevOpsチームが自らコンテナのセキュリティを確保する手間を省くことで、Hardened Imagesはエンタープライズグレードのセキュリティおよびコンプライアンス標準を満たすより簡単な方法を提供する。
-
マイクロソフトがネイティブTypeScriptコンパイラ移植を発表、10倍パフォーマンス向上
マイクロソフトのTypeScriptチームはTypeScriptコンパイラ（tsc）の実験的ネイティブ移植版、ビルド時間を10倍に短縮し、エディタのコールドスタート時間を大幅に削減し、メモリ使用量を大きく改善することを目的としたtsc-goを発表した。この取り組みはNode.jsランタイムのオーバーヘッドなしにGoで書かれたコンパイラを動かすことを探求するものだ。
-
DeepSeek社、数学定理証明向けLLM「Prover-V2」をオープンソースで公開
DeepSeek社は、Lean 4における数学定理証明に特化した新しいオープンソースの大規模言語モデルDeepSeek-Prover-V2を公開した。このモデルは、同社の基盤モデルであるDeepSeek-V3を活用した再帰的定理証明パイプラインを基盤として構築されている。Lean 4は、Microsoft Researchが開発した最新バージョンのLean定理証明ツールであり、機械による検証が可能な形式的証明を数学者やコンピュータ科学者が記述できる対話型証明支援システムである。
-
Radical AI、次世代原子論的シミュレーションのためのPyTorchネイティブエンジン「TorchSim」をリリース
Radical AI社は、PyTorchネイティブで構築され、MLIP（機械学習による原子間ポテンシャル）時代のために設計された次世代原子論的シミュレーションエンジンTorchSimのリリースを発表した。材料科学における大きな技術的転換と位置づけられるTorchSimは、ASE（原子シミュレーション環境）やDFT（密度汎関数理論）といった従来のフレームワークと比較して、分子シミュレーションを桁違いに高速化することを約束する。
-
アマゾンがNova Act SDKを発表、高度なAIモデルへのアクセスを拡大
アマゾンは、開発者が基盤モデルに容易にアクセスできるように設計されたプラットフォームnova.amazon.comの導入による生成AI機能の拡張を発表した。これには、新たに発表された「Amazon Nova Act」が含まれており、これはウェブブラウザ内でアクションを実行するために特別に訓練されたAIモデルです。