Orra:マルチエージェントアプリケーション開発の革命

2025-02-27
Orra:マルチエージェントアプリケーション開発の革命

Orraは、複雑な現実世界のインタラクションを処理する、本番環境対応のマルチエージェントアプリケーションを構築するための画期的なプラットフォームです。単純なクルーやエージェントを超えて、Orraは、言語、エージェントフレームワーク、デプロイメントプラットフォームに関係なく、インテリジェントな推論を使用して、既存のスタック、エージェント、サービスとして実行されるツール間のタスクを調整します。スマートな事前評価された実行計画、ドメイングラウンディング、堅牢な実行、サービスとしてのツール、障害処理のための状態復帰、自動サービスヘルスモニタリング、リアルタイムの状態追跡、Webhookによる結果配信などの機能を備えています。複数の言語SDKをサポートしており(Ruby、DotNet、Goは近日公開予定)、DockerとDocker Composeを使用してコントロールプレーンサーバーを実行できます。Groqのdeepseek-r1-distill-llama-70bモデルまたはOpenAIのo1-mini/o3-miniモデルを選択できます。OrraのPlan Engineは、インテリジェントな計画と信頼性の高い実行を通じて、マルチエージェントアプリケーションを強化し、段階的な計画レベル、完全なセマンティック検証、能力のマッチングと検証、安全制約の適用、状態遷移の検証などの機能を提供します。

続きを読む

トランプ政権による人員削減で米国森林局が壊滅的打撃

2025-02-27
トランプ政権による人員削減で米国森林局が壊滅的打撃

トランプ政権下で米国森林局は大量の職員削減に見舞われ、約3400人の職員が解雇されました。これには、気候変動対策や災害対応に不可欠な多くの専門家が包含されています。この事態は、公共地の管理と環境保護に対する懸念を引き起こし、長年にわたる資金不足と人員不足の問題を浮き彫りにしました。経験豊富な職員の喪失は、森林の維持、山火事の予防、コミュニティの復興活動に深刻な影響を与えます。労働組合は、解雇の合法性に異議を唱える訴訟を起こしています。

続きを読む
テクノロジー 米国森林局 職員削減

Bitmovinサマーインターンシップ:AI搭載ビデオストリーミング

2025-02-27
Bitmovinサマーインターンシップ:AI搭載ビデオストリーミング

グローバルなビデオストリーミングテクノロジー企業であるBitmovinは、2025年夏にウィーン、クラーゲンフルト、ベルリンでAIに焦点を当てたエンジニアリングインターンシップを提供しています。インターンは、AIを活用したビデオストリームの最適化、Dockerイメージの分析、プレーヤーUIのデバッグなど、最先端の技術を使用して数百万人のユーザー向けの製品開発に携わります。Bitmovinは認知的多様性を重視しており、あらゆるバックグラウンドの学生を歓迎します。インターンシップは最低2ヶ月間です。

続きを読む
開発

量子エラー訂正:少ないリソースでより強力な量子コンピュータ

2025-02-27
量子エラー訂正:少ないリソースでより強力な量子コンピュータ

量子エラー訂正を製造業における品質管理のように考えてみましょう。Ocelotなどの手法を用いることで、より少ない検査ポイントで同じ欠陥検出を実現できます。つまり、より小さく、より信頼性が高く、より低コストな量子コンピュータを構築できるということです。これにより、医薬品開発の高速化、新素材の生産、金融市場におけるリスクと投資戦略のより正確な予測など、現実世界の様々な問題への量子コンピューティングの応用が加速します。

続きを読む
テクノロジー

GoogleのGemini Code Assist:GitHub Copilotに対抗する無料AIコーディングアシスタント

2025-02-27
GoogleのGemini Code Assist:GitHub Copilotに対抗する無料AIコーディングアシスタント

Googleは、AIコード補完ツールGemini Code Assistの無料個人向けバージョンを発表し、GitHub Copilotに挑戦しました。Copilotの無料プランを大きく上回る、月間18万回のコード補完と1日240回のチャットリクエストを提供します。複雑なコードベースを処理できるよう、より大きなコンテキストウィンドウも備えています。人気のIDEと統合し、多くのプログラミング言語に対応しています。Googleは、若い開発者を獲得し、将来有料のエンタープライズプランにアップグレードさせることを目指しています。

続きを読む
開発

チップメーカーのソフトウェアエコシステム不安

2025-02-27

チップメーカーは、他者が自社のチップとインターフェースするソフトウェアを開発することに対して、しばしば懸念を抱いています。劣悪なソフトウェアが製品の評判を損なうことを恐れているためです。この懸念は、ハードウェアとソフトウェアの密接な関係と、外部エンジニアの能力の過小評価の両方から生じています。しかし、ジョイの法則は「あなたが誰であろうと、最も賢い人々のほとんどは他の誰かのために働いている」と述べています。チップメーカーはこれを認め、成功したソフトウェアエコシステムを構築するために、積極的に外部エンジニアを受け入れる必要があります。

続きを読む

RoboPianist:深層強化学習によるピアノ演奏習得

2025-02-27

研究者らは、深層強化学習を用いて、擬人化されたロボットハンドにピアノ演奏を学習させました。MuJoCo物理エンジンを用いて、88鍵のデジタルキーボードと2つのShadow Dexterous Hands(各24自由度)を含むシミュレーション環境を構築しました。MIDIファイルは時間的にインデックスされたノート軌道に変換され、強化学習エージェントの目標表現として機能しました。高次元行動空間における探索の課題に対処するために、フィンガリングラベルという形で人間の事前知識が報酬関数に組み込まれました。最先端のモデルフリーRLアルゴリズムであるDroQを用いてエージェントをトレーニングした結果、様々な楽曲で成功裏にピアノ演奏を行い、Etude-12サブセットで印象的なF1スコアを達成しました。本研究では、高次元制御の進歩のために、シミュレーションベンチマークとデータセットも公開します。

続きを読む

数学の実際的な基礎:包括的な教科書

2025-02-27

『数学の実際的な基礎』は、一階述語論理と型理論から圏論と従属型まで、数学のいくつかの主要な分野を体系的に紹介する書籍です。この本は実践的な方向性を持ち、明確な説明と多くの例を用いて、読者が抽象的な数学的概念を理解するのを助けます。取り上げられているトピックには、数理論理学、集合論、半順序集合と束、デカルト閉圏、極限と余極限、構造的再帰、随伴関手、そして従属型付き代数などがあります。数学の基礎を深く理解したいと考えている人にとって、これは非常に貴重な資料です。

続きを読む
開発

量子ノイズを強みに転換:ダイヤモンドセンサーが産業に革命を起こす

2025-02-27
量子ノイズを強みに転換:ダイヤモンドセンサーが産業に革命を起こす

Quantum Catalyzer (Q-Cat)は、ダイヤモンドの量子欠陥を利用して、量子コンピューター最大の障壁であるノイズを強みに転換するセンサーを開発しています。これらのセンサーは、環境ノイズを利用して、磁場や電場の微小な変化を検出し、様々な分野に応用されています。最初のスピンオフ企業であるEuQlidは、ミクロン単位の解像度で磁場を画像化する量子ダイヤモンド顕微鏡を開発し、非侵襲的で高精度の分析を半導体の電流検出、美術品の保存、さらには腫瘍検出などのバイオメディカル用途に提供しています。この技術は、様々な産業に革命を起こすと期待されています。

続きを読む

arXivLabs:コミュニティとの協力による実験プロジェクト

2025-02-27
arXivLabs:コミュニティとの協力による実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観に尽力しており、それらを遵守するパートナーのみと協力しています。arXivコミュニティを強化するアイデアをお持ちですか?arXivLabsの詳細をご覧ください。

続きを読む
開発

ドイツのスタートアップ、連続運転可能な核融合発電所の設計を発表

2025-02-27
ドイツのスタートアップ、連続運転可能な核融合発電所の設計を発表

2年前に設立されたドイツの核融合スタートアップ、Proxima Fusionが、査読付きジャーナルで「Stellaris」核融合発電所の設計を発表しました。ステラレーターに基づくこの設計は、トカマク方式に見られる不安定性を解消し、継続的で信頼性の高い運転を目指しています。6500万ユーロの資金調達を受けているProxima Fusionは、2031年までに稼働可能な原子炉を建設する計画です。このブレークスルーは、クリーンエネルギー開発競争における重要なマイルストーンとなります。

続きを読む
テクノロジー ステラレーター

Libredesk:AI搭載のオープンソース、セルフホスト型カスタマーサポートデスク

2025-02-27
Libredesk:AI搭載のオープンソース、セルフホスト型カスタマーサポートデスク

Libredeskは、単一バイナリアプリケーションとして提供される、オープンソースのセルフホスト型カスタマーサポートデスクです。主な機能には、複数の受信トレイのサポート、きめ細かい権限、スマートオートメーション(自動タグ付け、割り当て、会話のルーティング)、CSAT調査、マクロ、スマートオーガニゼーション(タグ、カスタムステータス、スヌーズ)、自動割り当て、SLA管理、BIツールとの統合などがあります。また、AI支援によるレスポンスの書き直し機能や、コマンドバーによる迅速な操作も備えています。Go(バックエンド)とVue.js 3、Shadcn UI(フロントエンド)を使用して構築されており、現在アルファ版です。Docker対応で簡単にインストールできます。

続きを読む

arXivLabs:arXivの新機能に関するコミュニティコラボレーション

2025-02-27
arXivLabs:arXivの新機能に関するコミュニティコラボレーション

arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。参加する個人や組織は、オープン、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーとのみ協力しています。arXivコミュニティを改善するアイデアをお持ちですか?arXivLabsについてもっと学びましょう。

続きを読む
開発

emdash:リモートチームを一つにするプラットフォーム

2025-02-27

リモートチームは、様々なツールに情報が散らばっていることで苦労することがよくあります。emdashは、コミュニケーション、リソース、意思決定を統合することでこの問題を解決します。スレッド化されたディスカッション、AIによる要約とトランスクリプトを備えた統合チャットとビデオ、複数のプラットフォームにまたがる強力な検索機能を備えています。これにより、全員が情報を得て連携し、チームの効率性を向上させることができます。

続きを読む

米軍兵士、政府高官の電話記録を漏洩、亡命を模索し反逆罪を疑問視

2025-02-27

「Kiberphant0m」という偽名で活動していた20歳の米軍兵士、カメロン・ワゲニウスは、米政府高官の電話記録を漏洩した罪で有罪を認めた。彼は、Snowflakeのクラウドストレージの脆弱性を悪用して、AT&Tなど大手企業からデータを盗んだハッカーグループの一員だった。検察は、ワゲニウスが、アメリカに身柄を引き渡さない国をオンラインで検索し、ハッキングが反逆罪に当たるかどうかを疑問視していたことを明らかにした。彼はまた、外国の軍事情報機関に盗まれた情報を販売しようとした。ワゲニウスは、最長10年の禁錮刑と25万ドルの罰金に直面する可能性があり、トルコに拘留されている仲間も同様の罪に問われている。

続きを読む
テクノロジー

500年にわたる教皇選挙賭博:秘密の賭けからインターネット時代へ

2025-02-27
500年にわたる教皇選挙賭博:秘密の賭けからインターネット時代へ

16世紀以降、教皇選挙は秘密の賭けの的となってきました。ベネチア共和国が教皇の寿命への賭けを禁止したこと、ローマの銀行家が公然とオッズを提供したこと、グレゴリウス14世が教皇選挙への賭けを異端と宣言したことなど、この数世紀にわたる賭博の歴史は波乱に満ちています。現代では、インターネットによって教皇選挙賭博が復活し、アメリカなどでは違法なものの、法的な境界線はますます曖昧になっています。この記事では、初期の秘密取引から現代のオンラインベッティングまで、5世紀にわたるこの独特の賭博現象を振り返り、権力、信仰、お金の絡み合いを描写しています。

続きを読む

東京の4日制勤務:人口危機への新しいアプローチ

2025-02-27
東京の4日制勤務:人口危機への新しいアプローチ

深刻な人口危機に直面する東京の都政府は、2025年4月から4日制勤務と新しい「保育時間短縮休暇」制度を実施します。この取り組みは、親の仕事と育児の両立を支援し、出生率の向上を目指しています。革新的であると評価されていますが、この方法が日本の少子高齢化問題を解決できるかどうかは不確かであり、少子化対策の複雑さを示しています。

続きを読む
テクノロジー 4日制勤務 人口危機

Vim:プログラマーの生産性を劇的に変える

2025-02-27

この記事では、モーダルテキストエディターであるVimを学習した著者の経験について語っています。最初はマウスを多用するワークフローを使用していましたが、Vimのキーボード中心のアプローチがコーディングの効率を劇的に向上させたことを発見しました。この記事では、Vimのモーダル編集、効率的なキーストローク、コマンドライン統合について詳しく説明しています。学習曲線が急峻であることを認めつつも、著者はそれに見合う生産性向上を強調しています。IdeaVimやHelixの使用経験が共有され、Vimがテキスト編集とプログラミングワークフローに与える影響が強調されています。著者は、Vimの貢献は単なる使用にとどまらず、プログラマーのテキスト編集に対する考え方に影響を与えていると結論づけています。

続きを読む

DeepSeekインフラストラクチャのプロファイリングデータ公開

2025-02-27
DeepSeekインフラストラクチャのプロファイリングデータ公開

DeepSeekは、トレーニングおよび推論フレームワークのプロファイリングデータを公開し、コミュニティが通信と計算のオーバーラップ戦略と低レベルの実装の詳細を理解するのに役立てています。PyTorch Profilerを使用してキャプチャされたデータは、ChromeまたはEdgeブラウザで直接視覚化できます。分析では、完全にバランスの取れたMoEルーティング戦略がシミュレートされ、トレーニング、プリフィリング、デコーディングの各フェーズがカバーされています。計算と通信のオーバーラップを改善するために、さまざまな構成(例:EP64/TP1、EP32/TP1、EP128/TP1)とマイクロバッチング戦略が最適化されています。

続きを読む

DeepSeek-V3のための双方向パイプライン並列化アルゴリズムDualPipe

2025-02-27
DeepSeek-V3のための双方向パイプライン並列化アルゴリズムDualPipe

DeepSeek-V3技術レポートでは、革新的な双方向パイプライン並列化アルゴリズムであるDualPipeが紹介されています。DualPipeは、順方向と逆方向の計算と通信のフェーズを完全にオーバーラップさせることで、パイプラインのバブルを最小限に抑えます。これは、順方向と逆方向の計算を効率的にインターリーブするスケジューリングによって実現され、効率が大幅に向上します。従来の方法と比較して、DualPipeは待ち時間とメモリ使用量を削減します。李佳石、鄧承奇、梁文峰によって開発されました。

続きを読む

1万ドル懸賞:ISBN可視化コンテストの受賞者発表

2025-02-27
1万ドル懸賞:ISBN可視化コンテストの受賞者発表

Anna's Archiveは、アーカイブ済みの書籍と未アーカイブの書籍を強調したISBNデータの最適な視覚化を目的とした、1万ドルの懸賞金付きコンテストを開催しました。このコンテストは多くの独創的な作品を集め、6000ドル、3000ドル、そして4つの500ドルの賞金が授与されました。1位は柔軟なオプション、スムーズなパフォーマンス、シンプルな実装で称賛されました。2位はマクロレベルの視覚化と直感的なUIで評価されました。残りの3位受賞作品は、複数のビュー、比較機能、柔軟なツールなど、それぞれ独自の強みを示しました。このコンテストは、Anna's Archiveにとって優れた視覚化ツールを生み出しただけでなく、知識共有と文化保存への世界中の開発者の熱意を示すものでもありました。

続きを読む
テクノロジー コンテスト

幾何代数の入門:多ベクトルとローター

2025-02-27

この記事は、n次元幾何代数R(p,q,r)の簡潔な紹介です。この代数は、p個の正ベクトル、q個の負ベクトル、r個の零ベクトルから構成され、これらは生成元と呼ばれ、eᵢと表記されます。代数には実数のスカラーが含まれており、すべての基底nベクトルは実数に二乗されます。2つのベクトルの積、または2ベクトルのべき乗は、回転、並進などを表すローターを生成します。代数の一般的な要素は多ベクトルと呼ばれ、スカラー、ベクトル、nベクトル部分の線形結合です。

続きを読む

画期的成果:平方根空間での時間計算量のシミュレーション

2025-02-27

最新の研究によると、時間tで動作する任意の多テープチューリングマシンは、わずかO(√(t log t))の空間でシミュレートできることが示されました。これは、50年前のHopcroftらのO(t/log t)空間シミュレーションを大幅に改善するものです。本研究は、CookとMertzによって最近発見された空間効率の良い木評価アルゴリズムを活用し、時間シミュレーションの問題を、好ましいパラメータを持つ暗黙的に定義された一連の木評価インスタンスに変換します。その結果は、サイズsの制限されたファンイン回路を√s・poly(log s)空間で評価できることを示唆しており、O(n)空間で解けるが、多テープチューリングマシンではn^(2-ε)時間(すべてのε>0に対して)を必要とする問題の存在を示唆しており、P対PSPACE問題にわずかな進歩をもたらしています。

続きを読む

量子コンピューティングのボトルネック:キャットキュービットの限界

2025-02-27
量子コンピューティングのボトルネック:キャットキュービットの限界

最近の研究では、キャットキュービットに基づく量子コンピューティングシステムに大きな制約があることが明らかになりました。位相反転エラーの修正においては優れた性能を示しますが、ビット反転エラーに対しては非常に脆弱です。キャットキュービットのいずれか1つでビット反転が発生すると、論理ビット反転エラーが直接発生します。さらに、エラー訂正に使用されるトランスモンキュービットもビット反転と位相反転の両方に影響を受けやすく、性能をさらに阻害します。一部の企業はハードウェアキュービットの改良によって必要なエラー訂正キュービット数を削減しようとしていますが、この研究は、現在のハードウェア能力と複雑な量子計算との間に大きな隔たりがあることを示しています。この技術の可能性を実現するには、ハードウェアの画期的な進歩が必要です。

続きを読む
テクノロジー キュービット エラー訂正

JITコンパイラチャレンジ:Rustで玩具電卓からマシンコードへ

2025-02-27
JITコンパイラチャレンジ:Rustで玩具電卓からマシンコードへ

この記事は、挑戦課題として、単純なRustの玩具電卓をJITコンパイラを使って修正し、マシンコードを直接生成して実行することを提案しています。20行のインタープリタ電卓から始め、JITコンパイルの原理を説明し、高レベルのコードフレームワークを提供します。JITやインタープリタといった概念を解説し、マシンコードの生成と実行方法、マシンコード検査のためのコンパイラリソースといった追加の学習リソースも提供します。Rustプログラミングの経験がある開発者にとって適した、挑戦的なプロジェクトです。

続きを読む

ベゾス、ワシントン・ポストのオピニオン欄を刷新:リバタリアンへの転換?

2025-02-26
ベゾス、ワシントン・ポストのオピニオン欄を刷新:リバタリアンへの転換?

アマゾンの創業者ジェフ・ベゾスは、ワシントン・ポストのオピニオン欄を劇的に変更すると発表し、「個人の自由と自由市場」のみに焦点を当てると宣言しました。この決定は、オピニオン欄編集長の辞任と社内での広範な反発を招きました。ベゾスは、インターネットが様々な視点のためのプラットフォームを提供していると主張していますが、批判する人々は、反対意見を黙殺し、ポストの公平なジャーナリズムへのコミットメントから逸脱していると見ています。この動きは、ジャーナリズムの自由とメディアの独立性に対する懸念を高めています。

続きを読む
テクノロジー 報道自由

C#で.NETガベージコレクタを書く:NativeAOTによる冒険

2025-02-26
C#で.NETガベージコレクタを書く:NativeAOTによる冒険

この記事では、著者によるNativeAOTを用いたC#での.NETガベージコレクタ作成の試みが詳細に説明されています。結果として得られたガベージコレクタは本番環境で使用できるものではありませんが、.NET GCの内部動作に関する貴重な知見が得られます。リンカの競合といった問題に遭遇し、複数の回避策を試行錯誤した結果、エクスポートされた関数の名前を変更し、msbuildターゲットを使用して定義ファイルを修正することで解決しました。.NET開発者にとって貴重な記事です。

続きを読む
開発

M4 Mac miniをiMac G4に組み込む:ハッキントッシュオデッセイ

2025-02-26

著者は、17インチiMac G4にM4 Mac miniを組み込むプロジェクトに着手し、レトロでパワフルなマシンを制作しました。最初はJuicy Crumb DockLite G4を試しましたが、カラーバンディング、低解像度、自動ディスプレイオフの欠如などの問題が発生しました。最終的に、高解像度のSharp LQ170R1JX42 LCDと対応するドライバーボードに交換し、3DプリントとCNC加工でカスタムパーツを作成してケーブル配線とMac miniの取り付けを解決しました。バックライト制御や露出ポートなど課題はありましたが、結果として生まれた「iMac G4(K)」はレトロな外観と最新の性能を兼ね備えたマシンとして成功裏に動作しています。

続きを読む
ハードウェア

Googleの「あなたに関する結果」ツールが更新:個人情報の削除が容易に

2025-02-26
Googleの「あなたに関する結果」ツールが更新:個人情報の削除が容易に

2022年にリリースされ、2023年にアップデートされたGoogleの「あなたに関する結果」ツールは、ユーザーがオンライン上の個人情報を管理するのに役立ちます。最近のアップデートには、デザインが刷新されたハブと、古い検索結果を更新する機能が含まれています。ユーザーは、検索結果から直接削除リクエストを送信し、検索を更新して最新情報を入手できるようになりました。大規模な見直しではありませんが、アップデートによってユーザーエクスペリエンスが向上し、個人情報の管理が簡素化されます。ただし、このツールは世界中で利用できるわけではありません。

続きを読む
テクノロジー 検索

ベゾス、ワシントン・ポストのオピニオン欄を狭め、批判を招く

2025-02-26
ベゾス、ワシントン・ポストのオピニオン欄を狭め、批判を招く

アマゾンの創設者であるジェフ・ベゾスは、ワシントン・ポストのオピニオン欄が「個人の自由と自由市場」を重視し、反対意見は明確に除外すると発表した。この決定は社内での懸念と批判を招き、記者や元幹部はベゾスが異論を封じ込めていると非難し、アマゾンの独占禁止訴訟との関連性を示唆している。ベゾスがトランプ政権に対する姿勢を変え、ポストの編集方針に介入したことは、ジャーナリズムの健全性に対する大きな懸念を引き起こしている。

続きを読む
テクノロジー ベゾス
1 2 416 417 418 420 422 423 424 595 596