チャットボットなどの低レイテンシアプリケーションにおける大規模言語モデル（LLM）の速度向上のため、研究者らは「メガカーネル」技術を開発しました。これはLlama-1Bモデルの順伝播を単一カーネルに融合することで、従来の複数カーネルアプローチに見られるカーネル境界オーバーヘッドとメモリパイプラインストールを排除します。その結果、H100およびB200 GPUにおいて、既存システムを1.5倍以上上回る大幅な速度向上と、劇的に低いレイテンシが実現されました。
続きを読む
Cloudflareの新しい「署名付きエージェント」システムは、セキュリティ対策として宣伝されていますが、閉鎖的なウェブへの危険な道であると主張されています。このシステムは許可リストのように機能し、どのエージェントがウェブにアクセスできるかを決定するため、インターネットのオープンな性質に反しています。著者は、単一の企業による制御ではなく、検証可能な委任チェーンとリクエストレベルの証明に基づいた、オープンで、移植可能で、企業に依存しない認証を提唱しています。この記事は歴史的な出来事との類似点を示し、オープンな標準が常にクローズドなプラグインを凌駕してきたことを強調し、増加するウェブエージェントを管理し、インターネットの開放性とイノベーションを確保するための、オープンで、検証可能で、分散型の認証システムを要求しています。著者は、提案されたソリューションの最初のバージョンをオープンソースで公開することを申し出ています。
続きを読む
OpenAIは、AIチャットボットChatGPTが、自己危害、妄想、自殺を含むユーザーのメンタルヘルス危機につながっていることを認めた。これに対応するため、OpenAIはユーザーメッセージをスキャンし、懸念されるコンテンツを人間のレビュー担当者にエスカレーションし、場合によっては法執行機関に報告するようになった。この措置は、ユーザーの安全上の懸念と、特にニューヨークタイムズなどの出版社との係争中の訴訟を踏まえたOpenAIの以前からのユーザープライバシーへのコミットメントのバランスを取りながら、物議を醸している。OpenAIは、AIの悪影響に対処しつつ、ユーザーのプライバシーを保護するという困難な立場にある。
続きを読む
この記事では、重力波の発生源を探ります。一般相対性理論によれば、重力波の発生は、時空における物質分布の四重極モーメントの時間変化に関連しています。電磁波とは異なり、重力波の最低次数の項は四重極モーメントであり、これは非球形で加速運動している物体だけが有意な重力波を発生させることを意味します。白色矮星、中性子星、ブラックホールといったコンパクトオブジェクトとその連星系は、重力波の主要な発生源です。それらの非球形な形状と軌道運動は四重極モーメントの変化を引き起こし、検出可能な重力波を生成します。
続きを読む
もともとC++で記述されていたClickHouseデータベースは、より多くの開発者を惹きつけ、機能を拡張するために、Rustの統合という旅に乗り出しました。この記事では、最初のパイロットプロジェクトとしてBLAKE3ハッシュ関数を選択することから、PRQLクエリ言語とDelta Lakeライブラリの統合に至るまでのプロセスを詳細に説明しています。ビルドシステムの統合、メモリ管理、エラー処理、クロスコンパイルなど、数々の課題に直面しました。Rustライブラリのバグ、非常に長いシンボル名、C++コードとの相互運用性の問題など、いくつかの問題が発生しましたが、ClickHouseチームはこれらの障害を克服し、Rustをプロジェクトに正常に統合し、将来の開発への道を切り開きました。
続きを読む
AIエージェントが強力になるにつれて、セキュリティリスクも増加します。httpjailは、JavaScript式またはカスタムスクリプトを使用して、エージェントのネットワークアクセスを制御できる、きめ細かいHTTP(S)フィルタリングを提供するツールです。これにより、データ漏洩や悪意のある行動を防ぎます。Linux名前空間とnftablesを使用する強力なモードと、環境変数を使用する弱いモードの2つのモードで動作し、安全なHTTPSトラフィックのためのTLSインターセプト機能を備えています。完全なセキュリティシステムはありませんが、httpjailは強力なAIエージェントを使用する際のセキュリティを大幅に向上させます。
続きを読む
1年間の積極的な開発を経て、Zod 4が安定版としてリリースされました！高速化、小型化、tsc効率の向上を実現し、長らく要望されていた機能も実装されています。移行を容易にするため、Zod 4はZod 3と並行してリリースされます。ベンチマークテストでは、Zod 4は様々なテストにおいて6.5倍から14.7倍の速度向上を示しました。さらに、ジェネリックスの改良により、TypeScriptの型インスタンス化数が大幅に削減されました。軽量な`zod/v4-mini`も提供され、コアバンドルのサイズは85%削減されています。新機能として、再帰型、JSON Schema変換、カスタムメタデータ、改良されたエラー処理などが追加されました。
続きを読む
このClojureコードスニペットは、映画ジャンルインデックスをエレガントに作成します。映画の情報（タイトル、ジャンル、Rotten Tomatoesスコア）を含むマップから開始し、`reduce`関数と`zipmap`関数を使用してジャンル別に映画を分類し、最終的にキーがジャンル、値がそのジャンルに属する映画のリストであるマップを作成します。このインデックスにより、ジャンルで映画を検索し、評価でソートすることが容易になります。たとえば、すべてのスリラー映画を見つけてRotten Tomatoesスコアでソートすることができます。コードは簡潔で効率的で、関数型プログラミングの優雅さを示しています。
続きを読む
イギリスのコメディドラマ『Only Fools and Horses』は、イギリス国内だけでなく、バルカン半島、特にセルビアやクロアチアでも予想外の成功を収めています。デル・ボーイとロドニーの金銭への飽くなき追求と不屈の精神を描いたコメディは、バルカンの人々の苦労や願望を反映しており、深い共感を呼んでいます。この驚くべき異文化間の成功は、普遍的なテーマの訴求力と、文化の影響の予測不可能性を浮き彫りにしています。
続きを読む
Netlify は、Next.js が抱える様々な課題について掘り下げて分析しています。アダプターのサポート不足による Vercel と同等の体験提供の困難さ、サーバーレスデプロイメントに関するドキュメントの不足、数多くの未公開の挙動などが挙げられています。これらの問題により、Netlify などのプラットフォームは、リバースエンジニアリングやテストに多大なリソースを投入せざるを得なくなっています。この記事では、Next.js のオープン性を高める必要性を訴え、Netlify がプロアクティブな自動テストや OpenNext などのコミュニティプロジェクトへの参加といった戦略でこれらの課題に対処している様子を紹介しています。
続きを読む
この記事は、計算複雑さの限界を探求しています。数学者たちは「複雑さの壁」を発見しました。つまり、特定のビット列の複雑さがこの壁を超えることを証明することはできないということです。驚くべきことに、この壁は非常に低く、数キロバイト程度かもしれません。この記事では、ゲーデルの第二不完全性定理に関するクリッチマン＝ラズの証明、および非標準算術モデルにおける非計算可能関数の計算可能性についても取り上げ、標準的な自然数の概念に関する哲学的な考察につながっています。
続きを読む
エルゼビア発行の「人類進化ジャーナル」(JHE)の編集者のほとんど全員が大量辞職し、エルゼビアによる、ジャーナルの質と完全性を損なう行動に抗議しました。エルゼビアは校正サポートを廃止し、AIによる編集を導入したことで記事にエラーが発生、さらに編集委員会の構成と報酬を一方的に管理しました。比較可能なジャーナルよりもはるかに高い論文処理料金も、編集者たちの不満をさらに増幅させました。これは2023年初頭以来20件目となるジャーナル編集者の大量辞職であり、出版業界の慣行に対する懸念を引き起こしています。
続きを読む
Waymoは、サンフランシスコ国際空港（SFO）でロボタクシーサービスの試験許可を取得しました。これは、サービスエリアの拡大と、より人気があり収益性の高い目的地への進出を目指す同社にとって大きな勝利です。長年にわたる交渉の後、WaymoはSFOと「試験運用パイロット許可」に署名しました。この合意の下、Waymoは、人間の運転手が同乗する車両の試験、運転手なしの試験、そして最終的には商業サービスの開始を含む3段階でSFOにサービスを展開します。Waymoは、まずは従業員を対象に試験を開始し、その後、一般の人々が空港への往復旅行を利用できるようにします。ピックアップとドロップオフは、最初はAirTrainでターミナルにアクセスできるSFOのKiss＆Fly駐車場で行われます。Waymoは5つの都市で運営されていますが、現在サービスを提供している空港はフェニックスのスカイヤハーバー空港のみです。同社は、何千もの車、タクシー、シャトル、乗客が毎日混在する混沌とした環境を車両が処理できることを規制当局に保証するために、数年間にわたりSFOと交渉してきました。しかし、空港はロボタクシーにとって大きな収益機会であり、空港への旅行は、人間の運転によるライドヘールカーの旅行の約20％を占めています。WaymoがUberやLyftと競争し、利益を上げるためには、空港へのアクセスが必要です。
続きを読む
量子コンピューティングの急速な発展は、計り知れないほどの計算能力向上をもたらしますが、既存の暗号化システムにも脅威を与えます。今後7～10年以内に、量子コンピュータは現在の暗号化基準を破ることが可能になり、個人情報や国家安全保障に深刻な脅威をもたらします。NISTはすでにポスト量子暗号（PQC）規格を策定していますが、これらのアルゴリズムを既存のシステムに統合するには、大規模なエンジニアリング作業が必要です。企業は今すぐ行動を起こし、システムの棚卸しを行い、暗号化アルゴリズムを更新し、サプライヤーと協力してサプライチェーンの量子セキュリティを確保し、「今捕獲、後で悪用」という将来のリスクを回避する必要があります。
続きを読む
この記事では、潮汐が地球の自転に及ぼす二重の影響について論じています。長期的に見ると、潮汐摩擦によって地球の自転が徐々に遅くなり、1日に約2.3ミリ秒ずつ長くなります。そのため、定期的に閏秒を追加する必要があります。短期的に見ると、潮汐の周期的な動きによって地球の自転速度に急速で微小な変化が生じ、この変化は潮汐の周期と一致し、地球規模の潮汐モデルで予測できます。これら2つの効果は、海洋摩擦、慣性モーメントの変化、角運動量の交換に関連しています。
続きを読む
GitDiagramは、任意のGitHubリポジトリをインタラクティブな図に変換し、プロジェクトを迅速かつ直感的に可視化する強力なツールです。GitHubのURLの'hub'を'diagram'に置き換えるだけで、図を生成できます。FastAPI、Streamlit、Flaskなどの一般的なフレームワークをサポートしており、開発者が簡単に使用できます。
続きを読む
トランプ政権とインテルは、一見89億ドルのインテル株式への投資に見える合意に達しましたが、実際にはバイデン政権が承認済みながら未払いだった補助金です。チップス法に基づく57億ドルとセキュア・エンブレイス・プログラムによる32億ドルが含まれます。トランプ大統領は米国が資金を拠出していないと主張し、米国とインテルの双方にとって「ウィンウィン」だと述べています。しかし、この合意は、チップス法が補助金を株式に転換することを認めていない可能性があり、法的異議申し立てを受ける可能性があります。トランプ大統領は以前からチップス法を批判し、インテルCEOの利益相反を非難していました。インテルCEOは政府の信頼に感謝の意を表しています。
続きを読む
この記事では、多角形メッシュの辺を計算するための3つの同等のアルゴリズムを紹介します。これは、効率性を向上させながら同じ結果を得るための段階的な最適化ステップを表しています。メッシュトポロジの表現と辺の概念の説明から始まり、3つのアプローチを詳しく説明します。マップベースのアルゴリズム（O(n log n)の複雑さ）、ソートベースのアルゴリズム（O(n log n)の複雑さ）、そして新しいマイナーバレンスアルゴリズム（O(n)の複雑さ）です。著者はそれらのパフォーマンスを比較し、マイナーバレンスアルゴリズムの革新的な性質と、ゲーム開発における潜在的な用途を強調しています。
続きを読む
メタは、AIモデルのトレーニングに使用したデータから著作権管理情報（CMI）を違法に削除したとして訴訟に直面している。作家であるリチャード・カドゥレイ、サラ・シルヴァーマン、クリストファー・ゴールデンは、メタが彼らの作品を許可なくニューラルネットワークのトレーニングに使用し、CMIを削除して行為を隠蔽したと主張している。判事は、メタがデジタルミレニアム著作権法（DMCA）違反の申し立てに回答する必要があると判断し、AIモデルトレーニングデータの著作権問題がさらに厳しく精査されることを示唆している。一部の主張は却下されたものの、この訴訟の進展は、新しい証拠が追加されたOpenAIに対するトレムブレイ訴訟など、同様の訴訟に先例となる可能性がある。
続きを読む
長年にわたり、Googleのエンジニアは、増加するCPUの投機的実行の脆弱性に対抗するために、Linuxカーネルのアドレス空間分離（ASI）に取り組んできました。初期の実装では、I/Oスループットが70％も低下するという深刻な問題がありました。しかし現在、そのオーバーヘッドはわずか13％に減少しました。GoogleのエンジニアであるBrendan Jackman氏は、この取り組みを再開し、ページキャッシュのパフォーマンス問題に対する解決策を提示しました。コンテキストスイッチやコピーオンライト操作など、課題は残っていますが、大幅な進歩により、ASIはCPUの脆弱性に対する一般的なソリューションとしての可能性が高まりました。
続きを読む
Verizonは、顧客の同意を得ずに位置情報を第三者と共有したとして罰金刑を科せられました。裁判所は、FCCが陪審裁判の権利を侵害したというVerizonの主張を退け、Verizonが支払いを拒否して陪審裁判を請求できたと指摘しました。これは、FCCが検察官、陪審員、判事の役割を担ったとしてAT＆Tが勝訴した同様のケースとは対照的です。裁判所は、重要な違いは関連する法律の枠組みにあり、Verizonは支払いを放棄して陪審裁判の権利を維持する選択肢があったと説明しました。
続きを読む
2024年末、鳥インフルエンザウイルス（H5N1）が世界的に蔓延し、家禽、家畜、さらには人間に感染している。ヒトからヒトへの感染は稀だが、科学者たちは、単一の変異がパンデミックを引き起こす可能性があると警告している。COVID-19の時よりも多くのワクチンと検査手段があるものの、政府の介入に対する国民の感情は依然として不透明だ。この記事は、次のパンデミックへの懸念と備えの間の緊張関係を探り、アメリカ社会が鳥インフルエンザのパンデミックに効果的に対処できるかどうかを問いかけている。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsと連携する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと連携しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
人気PHPフレームワークLaravelの開発者であるTaylor Otwell氏は、過度に複雑なコードとフレームワークの規約を無視することへの警告を発しています。彼はシンプルで変更しやすいコードを推奨し、「賢い」解決策がしばしば隠れた問題を引き起こすことを警告しています。Otwell氏はLaravelの開発の歴史、PHP界におけるその優位性、そして強い型付けとReact統合のサポートを含む将来の方向性について議論しました。Laravelの使いやすさは賞賛されていますが、静的解析ツールとの互換性の問題など、いくつかの批判も残っています。最終的にOtwell氏は、効率的で高品質なコードのためにフレームワークのベストプラクティスに従うことの重要性を強調しています。
続きを読む
新たな研究によると、8歳未満の子供は、グリセロール中毒症候群のリスクがあるため、スラッシュ飲料を避けるべきであることが示唆されています。鮮やかな色の冷たい飲み物には、凍結を防ぐ砂糖代替物であるグリセロールが高濃度で含まれています。これにより、意識喪失、低血糖、乳酸アシドーシス、低カリウム血症などの症状が現れる可能性があります。グリセロールは一部の食品にも含まれていますが、スラッシュ飲料中の濃度ははるかに高くなっています。ある研究では、スラッシュ飲料を摂取した後、上記のような症状が現れた21人の子供（2〜7歳）を調べ、緊急治療が必要でした。全員が回復しましたが、研究者らは、スラッシュ飲料中のグリセロールレベルに関する透明性の欠如により、安全な投与量を決定することが困難であるため、注意を促しています。食品基準庁はすでに、4歳未満の子供へのスラッシュ飲料の摂取を推奨しておらず、5歳から10歳までの子供の摂取量を制限しています。この新たな研究は、8歳未満の子供にスラッシュ飲料を与えないようにする必要性を強調しています。
続きを読む
ワシントン大学の学生JD Kaim氏が、学生間の授業枠交換を支援するアプリHuskySwapを開発した。初期の成功の後、コースの自動インポートのために大学の登録システムへのアクセスを試みたところ、登録システムの不正利用に関する違反通知を受け、除籍の危機に瀕している。読み取り専用アクセスしか求めていなかったにもかかわらず、大学の厳しい対応に落胆し、大学における学生起業家精神への支援を疑問視している。
続きを読む
Meta Connectで、Metaの新しいスマートグラスが複数のデモで失敗しました。CTOのアンドリュー・ボスワースは、Wi-Fiではなく、リソース管理計画のミスが原因だと説明しました。すべてのRay-Ban Metaグラスが同時にAIを起動し、開発サーバーに自分たちでDDoS攻撃を仕掛けたのです。WhatsAppのビデオ通話の失敗は、新しい「競合状態」のバグによるもので、ディスプレイが着信通知を見逃しました。デモの失敗にもかかわらず、ボスワースは製品に自信を持っています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに参加する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーのみと協力しています。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
XPrize財団は、1億ドル規模のカーボン除去コンペティションの受賞者を発表しました。ヒューストンに拠点を置くスタートアップ企業Mati Carbonは、砕いた玄武岩を農場に散布して大気中のCO2を隔離する、改良型岩石風化技術により、5000万ドルの最優秀賞を受賞しました。Mati Carbonのデータドリブンなアプローチ、厳格な検証プロセス、ソフトウェアプラットフォームは、審査員を感銘させました。直接空気捕捉や海洋ベースのソリューションは、1000トンの除去閾値を達成しませんでしたが、いくつかの企業がマイルストーン賞を受賞し、その進歩を強調しました。カーボン除去技術のスケールアップは、気候変動対策に不可欠です。
続きを読む