Steef-Jan Wiggers

4 weeks ago | infoq.com | Steef-Jan Wiggers

InfoQ ホームページ ニュース インタラクション・ネットに基づく新しいプログラミング言語Vine 原文リンク(2025-03-11) Vineプログラミング言語はインタラクション・ネットに基づいて構築された新しい実験的言語である。関数型プログラミングパターンと命令型プログラミングパターンの相互運用性を特徴としている。 Vineは静的型付けのコンパイル言語ですっきりとした直感的な構文を持っている。その基礎となるのはインタラクション・ネットの計算機モデルである。Vineはインタラクション仮想マシン（IVM）上で動作する低レベルのインタラクション・コンビネータ言語Ivyにコンパイルされる。 Hacker Newsのスレッドでtijvi氏はこうコメントしている。 インタラクション・ネットは代替的計算機モデルです（ラムダ計算 やチューリングマシンに似ている）。いくつかの興味深い特性があり、もっとも注目すべき点のひとつは基本的に並列であることです。...

1 month ago | infoq.com | Steef-Jan Wiggers

GitHub has launched an AI-powered secret scanning feature within Copilot, integrated into GitHub Secret Protection, that leverages context analysis to improve the detection of leaked passwords in code significantly. This new approach addresses the shortcomings of traditional regular expression-based methods, which often miss varied password structures and generate numerous false positives.

1 month ago | infoq.com | Steef-Jan Wiggers

InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect.

1 month ago | infoq.com | Steef-Jan Wiggers

原文リンク(2025-03-05) AWSは最近、新しい量子コンピューティングチップ Ocelotを発表した。このチップはカリフォルニア工科大学のAWS量子コンピューティングセンターで開発され、同社によればエラー訂正を最大90%削減し、実用的な量子コンピューティングアプリケーションの開発を加速するスケーラブルなアーキテクチャを採用している。 AWSはOcelotに特定のエラーを抑制し、量子エラー訂正のリソース要求を削減するためのエラー訂正機能と革新的な「ネコ量子ビット」(シュレーディンガーの猫の思考実験に由来する)を搭載するよう設計した。マイクロエレクトロニクス業界の技術を活用し、スケーラブルなマイクロチップ上でネコ量子ビット技術と追加のエラー訂正コンポーネントを組み合わせたのは初めてのことだ。 Quantum Computing and AI on Xはエラー訂正の重要性を強調し、ツイートした。 量子コンピュータが100量子ビットをうたっていても、実際に計算に使用できるのは約20量子ビット程度です。これがエラー訂正が重要技術である理由です。...

1 month ago | infoq.com | Steef-Jan Wiggers

InfoQ ホームページ ニュース Azure AI Foundry Labs：マイクロソフトにおける最新のAI研究と実験のハブ 原文リンク(2025-03-04) マイクロソフトはこのほど、最新のAI研究と実験を開発者、スタートアップ、企業に提供するためのハブ「Azure AI Foundry Labs」を立ち上げた。同社は、画期的な研究と実世界でのアプリケーションとのギャップを埋め、開発者が新たな可能性を探求可能にするために、このサービスを開始した。 Azure AI Foundry Labsは、開発者が新しいテクノロジーのプロトタイプを作成できるよう、さまざまな新しいアセットや実験的研究プロジェクトを提供している。注目すべきプロジェクトの中には、高解像度の天気予報と大気汚染予測を提供する大規模大気モデル「Aurora」、原子シミュレーションのためのディープラーニングモデル「MatterSim」、ターゲットに対応した分子生成と精密化のためのGPTライクな化学言語モデルを使用した創薬設計のための生成AIモデル「TamGen」などがある。...