著者は960GBと謳われたKingston SSDを購入しましたが、速度は期待をはるかに下回っていました。テストの結果、実際には128GBのドライブであり、ファームウェアが改ざんされた偽物である可能性が高いことが判明しました。パッケージと外観は本物そっくりでしたが、裏面のステッカーの印刷品質の低さが偽物であることを露呈しました。著者はオンライン小売業者に連絡し、全額返金を受けました。この経験は、大手オンラインマーケットプレイスで購入する場合でも、注意深い検証が詐欺（「Amazonが発送」詐欺など）を避けるために不可欠であることを示しています。
続きを読む
8月29日に発効した、トランプ政権による米国への小型荷物輸入に関する最小免税額の撤廃により、郵便物の取扱量が80％以上減少するという劇的な事態が発生しました。この政策変更により、800ドル未満の物品の関税免除が廃止され、世界88の郵便事業者が米国への小包発送を部分的または完全に停止しました。万国郵便連合（UPU）は、事業者にとって新しい規則への適応と関税徴収のための準備時間が不足していたことを指摘しており、これにより深刻な業務中断が発生しています。UPUは、米国への郵便物の流れを回復させるための技術的解決策に取り組んでいます。
続きを読む
Zigソフトウェア財団は2024年の財務報告書を発表し、寄付者の報酬に大部分の資金を直接充てるなど、効率的な資源配分を示しました。寄付金はやや減少したものの、ユーザーアクティビティは急増し、問題やプルリクエストが急増しました。この増加する需要に対応するため、財団はコアチームを拡大し、運用とプロジェクトの推進を維持するための継続的な寄付を募っています。Every.org経由での寄付を推奨しており、企業マッチング、ベンチャーキャピタル投資、個人寄付など、様々な支援方法を奨励しています。
続きを読む
この記事では、Nvidiaの初期のグラフィックチップであるNV1のアーキテクチャにおける革新について詳しく掘り下げています。著者のDavid S. H. Rosenthalは、Sun MicrosystemsとNvidia初期での経験を振り返り、NV1の成功の秘密を明らかにしています。2つの主要な革新が際立っています。それは、新しいイメージングモデルとI/Oアーキテクチャです。イメージングモデルは三角形ではなく2次曲面パッチを使用することで、データ転送量を大幅に削減し、当時の帯域幅の限られたPCIバスでもVirtua Fighterなどのゲームをスムーズに実行することを可能にしました。I/Oアーキテクチャは、ソフトウェアのリソースマネージャーを備えた仮想化されたオブジェクトシステムを採用し、ハードウェア機能の柔軟なエミュレーションを実現し、開発速度の大幅な向上とリスクの軽減を実現しました。著者は、NV1は単なる最小限の実行可能な製品ではなく、将来のオペレーティングシステムとグラフィックスのニーズに対する深い理解に基づいて設計された先見性のあるアーキテクチャであり、Nvidiaの後の成功の基盤となったと主張しています。
続きを読む
大規模イベントのスポンサーリストが発表されました。プラチナ、ゴールド、シルバーなどの様々なレベルと、ネットワーク、登録、レセプション、特別イベント、スピーカーセッション、旅行、メディアなど様々なスポンサーシップカテゴリーが含まれています。このリストは、企業からの多大なスポンサーシップを受けた大規模イベントであることを示しており、大きな期待を集めています。
続きを読む
短い休暇前に、著者は大規模言語モデル（LLM）とAIの現状に関するいくつかの考えを共有しています。ソフトウェア開発へのLLMの影響に関する現在の調査には欠陥があり、LLMの使用方法の多様なワークフローを考慮していないと指摘しています。著者は、LLMの未来は予測不可能であり、実験と経験の共有を奨励しています。また、AIバブルの必然性とLLMの「幻覚」特性についても議論し、検証のために複数回質問することの重要性を強調しています。最後に、著者はLLMがもたらすセキュリティリスク、特にブラウザ内で動作するエージェントが直面する可能性のある攻撃について警告しています。
続きを読む
Waymoは、サンフランシスコ国際空港（SFO）でロボタクシーサービスの試験許可を取得しました。これは、サービスエリアの拡大と、より人気があり収益性の高い目的地への進出を目指す同社にとって大きな勝利です。長年にわたる交渉の後、WaymoはSFOと「試験運用パイロット許可」に署名しました。この合意の下、Waymoは、人間の運転手が同乗する車両の試験、運転手なしの試験、そして最終的には商業サービスの開始を含む3段階でSFOにサービスを展開します。Waymoは、まずは従業員を対象に試験を開始し、その後、一般の人々が空港への往復旅行を利用できるようにします。ピックアップとドロップオフは、最初はAirTrainでターミナルにアクセスできるSFOのKiss＆Fly駐車場で行われます。Waymoは5つの都市で運営されていますが、現在サービスを提供している空港はフェニックスのスカイヤハーバー空港のみです。同社は、何千もの車、タクシー、シャトル、乗客が毎日混在する混沌とした環境を車両が処理できることを規制当局に保証するために、数年間にわたりSFOと交渉してきました。しかし、空港はロボタクシーにとって大きな収益機会であり、空港への旅行は、人間の運転によるライドヘールカーの旅行の約20％を占めています。WaymoがUberやLyftと競争し、利益を上げるためには、空港へのアクセスが必要です。
続きを読む
研究者らは、大規模言語モデル（LLM）から構造化データセットを抽出する技術を開発しました。これは、LLMが大量のトレーニングデータをパラメータに圧縮するプロセスを事実上逆転させるものです。この手法は、階層的なトピック探索を用いて、モデルの知識空間を体系的に横断し、事実上の知識と推論パターンを捉えたトレーニングサンプルを生成します。この技術は、Qwen3-Coder、GPT-OSS、Llama 3などのオープンソースモデルに成功裏に適用され、数万もの構造化されたトレーニングサンプルが生成されました。これらのデータセットは、モデル分析、知識転移、トレーニングデータの拡張、モデルのデバッグなどに利用できます。この研究は、モデルの解釈可能性とモデル間の知識転移に新たな道を開きます。
続きを読む
カリフォルニア州議会議員のダイアン・パパンが提出した法案AB-501は、OpenAIの非営利組織から営利組織への転換を阻止することを目的としていましたが、重大で不可解な修正が行われました。修正された法案には、航空機の留置権に関する条項が不可解にも含まれています。情報筋によると、これは事務ミスではなく、パパン事務所も変更の事実を確認しています。OpenAIのサム・アルトマンCEOが変更前にパパンと連絡を取ったという噂がありますが、会話の内容は不明です。この事態は激しい精査を招き、メディアによるこの驚くべき変更の背景に関する調査を求める声が上がっています。数十億ドルが懸かっているため、OpenAIの未来は不透明です。
続きを読む
Nvidiaは、ヨーロッパの言語におけるAI翻訳の向上を目的とした、100万時間以上の音声データを含む大規模なオープンソース多言語音声データセット「Granary」を発表しました。カーネギーメロン大学とFondazione Bruno Kesslerとの共同開発で、EUのほとんどの公式言語に加え、ロシア語とウクライナ語が含まれ、特にデータの少ない言語に焦点を当てています。 高精度と高速低遅延翻訳に最適化されたCanaryとParakeetという2つの新しいモデルも同時にリリースされました。Granaryは、トレーニングに必要なデータ量を大幅に削減し、より包括的な音声技術を実現します。
続きを読む
この記事では、llama.cpp、Ollama、WebLLMなどのローカルLLM推論フレームワークの性能ベンチマークを行っています。結果は、llama.cppとOllamaが非常に高速であることを示していますが、OpenAIのgpt-4.0-miniよりも遅いままです。より大きな課題は、モデルの選択とデプロイにあります。膨大な数のモデルバージョンが圧倒的で、量子化された7Bモデルでさえ5GBを超え、ダウンロードとロードが遅くなり、ユーザーエクスペリエンスに影響を与えます。著者は、将来のローカルLLM推論には、小さくタスク固有のモデルを簡単にトレーニングおよびデプロイするためのより簡単なツールが必要であり、クラウドLLMと緊密に統合する必要があると主張しています。
続きを読む
この記事では、同一ハードウェア上でVulkan/RTX実装を3倍以上上回る性能を持つCUDAベースのレイ トレーサーを作成した過程を説明します。ナイーブなCUDAポートから開始し、再帰、レジスタ圧力、メモリレイアウト、分岐の非効率性といった問題に対処することで、レンダラーを体系的に最適化しました。明示的なスタック、構造体配列、早期レイ終了、ロシアルーレットといった手法を用いることで、フレーム時間を2.5秒から9ミリ秒に短縮しました。この記事では、CUDAのパフォーマンスボトルネックを深く掘り下げ、実践的な最適化戦略を提供します。ベンチマークは、RTX 3080での大幅なパフォーマンス向上を示しています。
続きを読む
AMDの最新のRDNA4アーキテクチャは、生のパフォーマンスよりも効率性を優先しています。RDNA4を搭載したRX 9000シリーズGPUは、レイトレーシングと機械学習において大幅な効率性の向上を実現し、同時にラスタライゼーションも強化しています。改良点は、高度な圧縮、高速なメディアエンジン（H.264、H.265、AV1コーデックを低遅延でサポート）、そしてアップグレードされたディスプレイエンジン（Radeon Image Sharpeningシャープニングフィルター統合）などです。RDNA4は消費電力、特にマルチモニターのアイドル時消費電力において優れています。さらに、改良されたワークグループプロセッサ、より大容量のL2キャッシュ、最適化されたInfinity Fabricアーキテクチャにより、パフォーマンスと効率性が向上しています。要約すると、RDNA4はAMDのGPU設計における大きな飛躍であり、効率性を優先することで、ゲーマーとプロフェッショナルの両方に、よりバランスのとれた省電力な体験を提供します。
続きを読む
GitHubのCEOが最近発表したブログ記事は、開発者がAIを受け入れるべきだと主張しており、そうでなければ職を失うと警告しています。しかし、この記事には論理的な欠陥と誇張されたデータが満載です。著者はソ連時代のデータ改ざんに例え、この研究のサンプルサイズが非常に小さく、代表性がなく、結論が信頼できないことを指摘しています。この"研究"は、AIが開発者の時間を節約するのではなく、野心を高めるという主張をしていますが、これはAIツールが一般的に宣伝する効率向上という主張に反しており、その信憑性と動機に疑問を投げかけています。
続きを読む
steviep.xyzのアドベンチャーゲームに統合されていると思われるメモアプリ、SmartHome eNotepadで同期エラーが発生しています。エラーメッセージはSmartHomeライブラリにアクセスできないことを示しており、スマートホームシステムとのメモ同期に問題があることを示唆しています。エラーの原因はさらなる調査が必要です。
続きを読む
コロンビア大学の免疫学者、ドゥシャン・ボグノビッチは、まれな免疫不全であるISG15欠損症を持つ個人が、持続的な軽度の炎症のために、あらゆるウイルスに抵抗性を示すことを発見しました。これに触発されて、彼は実験的療法を開発し、10種類の抗ウイルス蛋白質をコードするmRNAを動物の肺に送達することで、インフルエンザウイルスとSARS-CoV-2ウイルスの複製を成功裡に阻止しました。この療法は、次のパンデミックにおける重要な武器となる可能性がありますが、治療効果と持続期間を向上させるために、薬物送達と吸収の最適化が必要です。
続きを読む
AnthropicのCEOであるダリオ・アモデイは、1年以内にAIがソフトウェア開発者を置き換え、全てのソフトウェアコードを書くようになると予測しています。彼は、3～6ヶ月でAIが90％のコードを書き、1年以内には基本的に全てのコードを書くようになると見ています。短期的に、機能や条件を設計する役割は人間の開発者が担いますが、アモデイは、最終的にAIが現在人間が行っている全てのタスクを処理し、全ての産業に影響を与えるだろうと考えています。この予測は、Y Combinatorの社長であるギャリー・タンの報告とも一致しており、2025年冬のバッチの25％がAIを使ってコードの95％を生成したとのことです。IMF専務理事も、AIが世界の約40％の仕事に影響を与える可能性に言及しています。
続きを読む
Cityboundは、数百万人の個人の相互作用から生まれる都市有機体を生き生きとシミュレートするために、ミクロなモデルを使用する、野心的なオープンソースの都市建設ゲームです。各世帯（家族または企業）は個別にシミュレートされ、独自の資源を管理し、ニーズを満たすために取引を行い、それにより経済パターンが自然発生します。このゲームは、ミクロな交通シミュレーション、触覚的な協調計画、そしてアクターベースの分散型シミュレーションエンジンやRust-WASM-JSブリッジなどの革新的なテクノロジーを備えています。Cityboundの目標は、リアルタイムのインタラクティブな編集とコミュニティのコラボレーションにより、数百万人の住民を持つ巨大な都市をシミュレートすることです。
続きを読む
2025年8月20日、北京時間00:34から01:48の間、中国のグレートファイアウォール（GFW）が異常な挙動を示し、TCP 443ポートに偽造されたTCP RST+ACKパケットを無条件に注入したため、中国と世界の他の地域間のインターネット接続が大量に中断されました。約74分続いたこの停止は、TCP 443ポートのみに影響し、着信トラフィックと発信トラフィックで非対称のトリガーメカニズムが使用されました。分析によると、この事象に関与したデバイスは既知のGFWデバイスのフィンガープリントと一致せず、新しいデバイスか、誤って構成されたデバイスである可能性が示唆されています。研究者たちは、この事象を完全に理解するために、コミュニティの参加を強く求めています。
続きを読む
OpenAIのo3やGoogleのGemini 2.5 Proなどの最新のAIモデルは、マーケティングキャンペーンやウェブサイト構築などの複雑なタスクをこなせるほど、目覚ましい進歩を見せています。経済学者のタイラー・コーエンは、これがAGIの到来を意味すると示唆しています。しかし、この記事では、これらのAIは能力がばらばらで、高度なタスクでは優れている一方、単純なタスクでは失敗するという「ギザギザAGI」という概念を提唱しています。この不確実性により、AGIの定義と実際の影響は依然として不明であり、その応用と社会への統合は、長期的で複雑なプロセスになる可能性もあれば、急速な普及の可能性もあることが示唆されています。
続きを読む
2025年ゲーデル賞は、Eshan ChattopadhyayとDavid Zuckermanの画期的な論文「明示的2元抽出器とレジリエント関数」に対して授与されました。この論文はSTOC 2016とAnnals of Math 2019に掲載され、ラムゼーグラフの構成を大幅に改善し、従来の方法をはるかに超える指数関数的な限界を達成しました。この成果は、脱ランダム化への影響と、ラムゼー理論への驚くべき応用から高く評価されており、擬似ランダム性と組み合わせ論における二重の意味に関する議論を引き起こしています。
続きを読む
Googleの広告資料は、驚くべきことに、どのスマートフォンも真に防水・防塵ではないことを認めています。Pixelスマートフォンは工場出荷時にIP68等級を誇るかもしれませんが、この保護機能は時間の経過とともに摩耗、損傷、落下などによって低下し、液体による損傷は保証の対象外となります。この珍しい透明性は、モバイル業界におけるマーケティングと現実の間の曖昧な境界線を浮き彫りにしています。
続きを読む
SoraNews24の記者、佐藤さんは、オフィス用の新しい電子レンジを購入するという任務に就きましたが、東京蒲田にある24時間無人営業の電化製品店GO12という異例のルートを選びました。この店は中古の家電製品を扱っており、タブレットによる支払いシステムを通じてセルフサービスの買い物体験を提供しています。佐藤さんは5000円の電子レンジを購入し、スムーズな取引を楽しみましたが、奇妙な罪悪感を感じました。GO12の信頼に基づくシステムと独特の買い物体験は、便利である一方で、社会の信頼と人間の性質について考えさせられます。
続きを読む
著者は、犬の様子を見るために安価なTapo屋内カメラを購入しましたが、これが予期せぬリバースエンジニアリングの旅につながりました。Tapoアプリの面倒なセットアップ手順と強制的なサブスクリプションを回避するために、著者はAPKを逆コンパイルし、中間者攻撃（MITM）を行い、暗号化スクリプトを作成しました。これにより、重大な脆弱性、「TPL075526460603」というデフォルトパスワードが明らかになりました。クラウドレスオンボーディングのためのbashスクリプトが作成されました。このプロセスでは、Tapoファームウェアのセキュリティホール、例えばSHA-256とMD5暗号化アルゴリズムの矛盾した使用や、無秩序なパスワード同期メカニズムなどが明らかになりました。著者はカメラのセットアップに成功しましたが、犬はほとんど寝ているだけでした。
続きを読む
この記事では、MCP（モデルコンテキストプロトコル）の予期せぬ用途について説明します。当初はAIアシスタントの強化を目的として設計されましたが、「AIモデルをさまざまなデータソースやツールに接続するための標準化された方法を提供する」というその機能は、AIの領域を超えています。USB-Cポートがトースターをモニターに接続できるのと同様に、MCPはユニバーサルプラグインエコシステムになりました。開発者は、他のアプリケーションの内部動作を理解する必要なく、機能的なプラグインを作成できます。これにより、アプリケーションの機能性が大幅に向上し、予期せぬアプリケーションが作成されます。たとえば、タスク管理アプリは、MCPサーバーを使用してスペルチェック、コーヒーの自動注文などを実行できます。
続きを読む
ミシガン大学は、工学部1年生向けの画期的な線形代数コースROB 101を開設しました。このコースでは、線形代数の理論とJuliaプログラミング言語の実践を組み合わせ、学生がロボットのナビゲーションマッピングなど、現実世界の工学的問題を初日から解決できるようにします。ハイブリッド型のコース形式はオンラインと対面両方のリソースを提供し、従来の工学数学教育の枠組みを超え、工学における数学の実用的な価値を早期に体験させます。
続きを読む
最近の研究で、GitHub上で310万個を超える偽の「スター」が発見されました。これは、詐欺やマルウェアのリポジトリの人気を人工的に高めるために使用されていました。研究者たちはStarScoutというツールを使って大量のデータを分析し、15,835のリポジトリでこれらの偽のスターに関与した27万8000個のアカウントを特定しました。特に2024年に急増したこの欺瞞的な行為により、悪意のあるプロジェクトが正当なもののように見え、うかつなユーザーに到達することが可能になります。GitHubは多くの関連アカウントとリポジトリを削除しましたが、問題は依然として残っています。ユーザーはプロジェクトの品質を慎重に評価し、GitHubからソフトウェアをダウンロードする際には注意を払うように促されています。
続きを読む
この記事では、プログラミング言語とコンパイラに対する著者の理解を大きく変えた論文やブログ記事をいくつか紹介しています。扱われているトピックは、ガベージコレクション、コード最適化、レジスタ割り当て、正規表現エンジン、機械学習、SSA形式、コンパイラ設計など多岐に渡ります。著者は、Z3を証明エンジンとして使用すること、ファジングを利用してバグを発見すること、効率的な式解析手法など、提示された洞察に富むアプローチを強調しています。このコレクションは、著者がプログラミング言語の設計と実装の複雑な詳細に深く取り組んできたことを示しています。
続きを読む
この記事では、Common Lispの型システムのユニークな側面を掘り下げます。それは単なる静的または動的な型システムではなく、型、クラス、そして基盤となるマシンの実装の洗練された相互作用です。型は関数呼び出しの互換性、構造体のフィールドの互換性、コンパイラの最適化を制御し、クラスはメソッドのディスパッチとオブジェクト指向の継承を決定し、一方マシンは型タグなどの実装の詳細を隠蔽します。この記事では、例を通して、Common Lispが動的言語の流動性と、実行時およびコンパイル時の型チェックと最適化をどのようにバランスさせているかを示し、最終的にデバッグ可能性とパフォーマンスを向上させています。
続きを読む
このウェブサイトは、ヨーロッパからアジアまで、英語、中国語、フランス語、スペイン語、ドイツ語など、幅広い言語に対応する強力な多言語機能を効果的に示しています。グローバル展開を目指す企業や組織にとって貴重なリソースとなります。
続きを読む