AIの進展によって、プログラミング言語の役割が変わりつつある。コード生成の自動化が進む一方で、TypeScriptやRustといった「型付き言語」がむしろ存在感を強めている。AIはコードを不要にするのか、それとも言語の価値を変えるのか――開発者の間で議論が広がっている。

NVIDIA Holoscan Sensor Bridgeを搭載した新モジュールは、イーサネット経由でNVIDIA Jetsonとシームレスに統合され、リアルタイムでのセンサ・データ取り込みを可能にする。また、オープンなAIモデル、シミュレーション・フレームワーク、ライブラリを開発者に提供するロボット開発用オープン・プラットフォームNVIDIA ...

フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean 4」に対応したオープンソースのAIエージェントで、数学やプログラムの正しさを厳密に検証する「証明エンジニアリング」を支援することを目的としています。