Nvidiaは、ヨーロッパの言語におけるAI翻訳の向上を目的とした、100万時間以上の音声データを含む大規模なオープンソース多言語音声データセット「Granary」を発表しました。カーネギーメロン大学とFondazione Bruno Kesslerとの共同開発で、EUのほとんどの公式言語に加え、ロシア語とウクライナ語が含まれ、特にデータの少ない言語に焦点を当てています。 高精度と高速低遅延翻訳に最適化されたCanaryとParakeetという2つの新しいモデルも同時にリリースされました。Granaryは、トレーニングに必要なデータ量を大幅に削減し、より包括的な音声技術を実現します。
続きを読む
この記事では、同一ハードウェア上で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ツールが一般的に宣伝する効率向上という主張に反しており、その信憑性と動機に疑問を投げかけています。
続きを読む
コロンビア大学の免疫学者、ドゥシャン・ボグノビッチは、まれな免疫不全である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に掲載され、ラムゼーグラフの構成を大幅に改善し、従来の方法をはるかに超える指数関数的な限界を達成しました。この成果は、脱ランダム化への影響と、ラムゼー理論への驚くべき応用から高く評価されており、擬似ランダム性と組み合わせ論における二重の意味に関する議論を引き起こしています。
続きを読む
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からソフトウェアをダウンロードする際には注意を払うように促されています。
続きを読む
Meta Connectで、Metaの新しいスマートグラスが複数のデモで失敗しました。CTOのアンドリュー・ボスワースは、Wi-Fiではなく、リソース管理計画のミスが原因だと説明しました。すべてのRay-Ban Metaグラスが同時にAIを起動し、開発サーバーに自分たちでDDoS攻撃を仕掛けたのです。WhatsAppのビデオ通話の失敗は、新しい「競合状態」のバグによるもので、ディスプレイが着信通知を見逃しました。デモの失敗にもかかわらず、ボスワースは製品に自信を持っています。
続きを読む
核融合エネルギースタートアップのコモンウェルス・フュージョン・システムズ（CFS）は、シリーズB2ラウンドで8億6300万ドルを調達し、総調達額は30億ドル近くに達した。これは、核融合スタートアップとしては最高額となる。このラウンドには、NVIDIA、Google、ブレイクスルー・エナジー・ベンチャーズなど著名な投資家が参加した。調達資金は、CFSのプロトタイプ炉であるSparcの開発に充当され、2027年には科学的ブレークイーブンを目指している。このマイルストーン達成後、商業規模の発電所であるArcの建設が2027年または2028年に開始される予定だ。Arcの建設には数十億ドルの費用がかかる見込みだが、CFSはすでにGoogleと200メガワットの電力供給契約を締結しており、市場の大きな期待を示している。
続きを読む
この記事では、プログラミング言語とコンパイラに対する著者の理解を大きく変えた論文やブログ記事をいくつか紹介しています。扱われているトピックは、ガベージコレクション、コード最適化、レジスタ割り当て、正規表現エンジン、機械学習、SSA形式、コンパイラ設計など多岐に渡ります。著者は、Z3を証明エンジンとして使用すること、ファジングを利用してバグを発見すること、効率的な式解析手法など、提示された洞察に富むアプローチを強調しています。このコレクションは、著者がプログラミング言語の設計と実装の複雑な詳細に深く取り組んできたことを示しています。
続きを読む
この記事では、Common Lispの型システムのユニークな側面を掘り下げます。それは単なる静的または動的な型システムではなく、型、クラス、そして基盤となるマシンの実装の洗練された相互作用です。型は関数呼び出しの互換性、構造体のフィールドの互換性、コンパイラの最適化を制御し、クラスはメソッドのディスパッチとオブジェクト指向の継承を決定し、一方マシンは型タグなどの実装の詳細を隠蔽します。この記事では、例を通して、Common Lispが動的言語の流動性と、実行時およびコンパイル時の型チェックと最適化をどのようにバランスさせているかを示し、最終的にデバッグ可能性とパフォーマンスを向上させています。
続きを読む
このウェブサイトは、ヨーロッパからアジアまで、英語、中国語、フランス語、スペイン語、ドイツ語など、幅広い言語に対応する強力な多言語機能を効果的に示しています。グローバル展開を目指す企業や組織にとって貴重なリソースとなります。
続きを読む
著者はMacBook M1 ProとFramework 13のバッテリー持続時間を比較しました。M1 Proは3週間使用せずに90％の充電を維持したのに対し、Framework 13（AMD Ryzen 7840HS搭載）は数日で頻繁にバッテリー切れを起こしました。この大きな違いは、ARM64アーキテクチャの優れたバッテリー効率を示しており、著者はFrameworkのARMマザーボードへのアップグレードを検討しています。この問題にもかかわらず、著者はFrameworkのモジュール式デザインを高く評価していますが、バッテリーの持続時間の短さは使い勝手を大きく損ねています。
続きを読む
TCPネットワーク接続の転送暗号化プロトコルであるGoogleのPSPセキュリティプロトコルが、Linux 6.18カーネルメインラインに統合されます。13回のレビューを経て、転送中のデータ暗号化のサポートが追加される予定です。IPsecと比較してシンプルさとスケーラビリティを重視して設計されており、現時点ではMellanox MLX5 NICのみに実装されています。トンネルモードなど複数のモードをサポートしますが、主な目的は、優れたオフロード機能を活用した、より効率的なTLSの代替手段として機能することです。
続きを読む
アマゾンのAIコーディングアシスタントチームを離れた後、著者はIcon社に入社し、ソフトウェア開発におけるAI革命を目の当たりにしました。アマゾンでは、遅々としたプロセスとKPI重視の意思決定が効率を阻害していましたが、Icon社ではAIを活用したアプローチにより、開発者は設計とユーザーニーズに集中し、コーディングの大部分を自動化しています。著者は、純粋なコーディングスキルは重要性が低下し、ユーザー理解、製品戦略、マーケティングが最重要になると予測しています。開発者は変化に適応し、これらの分野におけるスキルを高めることで、AI時代においても競争力を維持する必要があるでしょう。
続きを読む
米国国勢調査局による120万社を対象とした2週間ごとの調査によると、従業員数250名を超える企業におけるAI導入の減少が明らかになりました。この調査では、過去2週間で機械学習や自然言語処理などのAIツールを使用しているかどうかを企業に尋ねています。AIの全体的な導入は引き続き増加していますが、データは、大企業における成長の鈍化を示しており、特に大企業における限界収益の減少という点で、AIの広範な統合における潜在的な課題を示唆しています。
続きを読む
暗号通貨追跡プラットフォームCoinTrackerがフルスタックプロダクトエンジニアを募集しています。これは急成長中のチームに参加し、暗号通貨分野の未来に影響を与えるエキサイティングな機会です。この役割には、フルスタック開発の経験、様々なプログラミング言語とフレームワークへの精通、そしてブロックチェーン技術に関するある程度の理解が必要です。暗号通貨に情熱を持ち、やりがいのある環境で働きたいと考えているなら、これがあなたの理想のポジションです。
続きを読む
Synologyの今後の2025 PlusシリーズNASは、自社ブランドのハードディスクドライブにロックされることが報告されており、論争を呼んでいます。この動きはユーザーの選択肢を制限し、コストを増やし、ドライブの交換を困難にする可能性があります。QNAPやTrueNASなどの競合他社と比較して、Synologyのハードウェアは時代遅れに見え、このドライブロック戦略は競争力をさらに弱体化させます。著者は、これはユーザーエクスペリエンスを犠牲にして利益を追求した決定であり、最終的にSynologyのブランドと市場シェアを損なうと主張しています。
続きを読む
Zoom、Microsoft、Nvidiaなどのテクノロジー企業のCEOたちは、AIによる自動化によって、大幅に短い、おそらく3日または4日の勤務体系が実現する未来を予測しています。特定のセクターにおける雇用減少を認めつつも、AIによる生産性向上と、AIシステムやデジタルエージェントの管理といった新たな役割創出の可能性を強調しています。産業革命やインターネットの台頭と同様に、この変化は労働市場を大きく変革すると予想されますが、最終的には全体的な幸福度と効率性が向上すると考えられています。
続きを読む
この記事では、シンプルなGo HTTPサーバーを使用して、高負荷環境におけるOpenTelemetryのパフォーマンスオーバーヘッドをベンチマークしています。結果は、OpenTelemetryを有効にすると、CPU使用率が約35％増加し、メモリ使用率はわずかに増加し、ネットワークトラフィックが大幅に増加することを示しています。著者は、OpenTelemetry SDKの使用とeBPFベースの監視を比較し、後者は、特にメトリクスのみを収集する場合、高負荷シナリオではるかに軽量であることを発見しました。結論として、OpenTelemetryのオーバーヘッドは許容できないものではありませんが、適切な監視方法を選択することが重要であり、特定のニーズに基づいてパフォーマンスと可観測性のトレードオフを行う必要があります。
続きを読む
この記事では、アペルによる1992年の著書『Compiling with Continuations』を再検討します。著者は、継続渡しスタイルを用いたコンパイル技術について、MiniML言語、字句解析、構文解析、CPS言語、クロージャ変換、レジスタ・スピリング、仮想マシンといったトピックを網羅して詳細に解説しています。演習問題がないことや、一部の内容が時代遅れになっている点を除けば、この本はStandard MLと継続渡しスタイルに関する貴重な洞察を提供しており、特にコンパイラ設計と関数型プログラミングを学ぶ人にとって有益です。しかし、実装の詳細における曖昧性や、現代のコンパイラ技術に関する議論の欠如により、読み解くのが難しい部分もあります。
続きを読む