オープンソース3DソフトウェアBlenderの創設者兼CEOであるTon Roosendaal氏が、2026年1月1日付でCEOを退任することを発表しました。新たに設立されたBlender Foundationの監督委員会に移行します。現COOのFrancesco Siddi氏がCEOを引き継ぎ、新たな取締役会メンバーとしてSergey Sharybin（開発責任者）、Dalai Felinto（製品責任者）、Fiona Cohen（オペレーション責任者）が就任します。Roosendaal氏は、2019年からこの準備を進めており、チームがBlenderを次の10年に導くと確信していると述べています。
続きを読む
R. Kent Dybvigによるこのガイドは、Chez Scheme プログラムのデバッグのための包括的なアプローチを提供します。エラーメッセージの理解、コードと入力の簡素化、print文の戦略的な配置などの基本的なテクニックから始まります。その後、Chez Scheme のトレース機能とデバッガーを使用してプログラムの状態を検査し、見つかりにくいバグを特定する高度な方法に進みます。初心者から経験豊富なプログラマーまで、このガイドは効率的なデバッグのための貴重な洞察を提供します。
続きを読む
9ヶ月間の開発を経て、Bluefin LTS（長期サポート版）とBluefin GDX（AIワークステーション版）が一般公開されました。CentOS Stream 10をベースとしたBluefin LTSは、安定したGNOME 48デスクトップと長期サポートを提供し、新しいカーネルのためのオプションのハードウェア有効化ブランチ（lts-hwe）も用意されています。Bluefin GDXはAI/MLのプロフェッショナルをターゲットとし、NvidiaドライバとCUDAを統合し、Red Hatと協力してオープンソースのAI/MLツールを開発しています。どちらのバージョンも、改善されたインストール体験とセキュアブートのサポートを備え、安定性と効率性の高いデスクトップエクスペリエンスを目指しています。
続きを読む
この記事では、Pythonを使ったハードウェアモデリングの新手法であるシンボリックモデルを紹介します。従来のハードウェア設計ワークフローでは、検証のために複数のモデル（ビヘイビアモデル、アーキテクチャモデル、RTLモデルなど）を使用しますが、複雑なアルゴリズムやデータ管理においてはデバッグが困難になる場合があります。著者は、Pythonシンボリックモデルを用いて、データそのものよりもデータの起源を追跡することで、デバッグプロセスを簡素化することを提案しています。画像ダウンサンプラーを例に、リファレンスシンボリックモデルとハードウェアシンボリックモデルの構築と比較を詳細に説明し、特に複雑なデータ管理や仕様変更に対処する際に、シンボリックモデルが設計効率と信頼性を向上させる利点を示しています。
続きを読む
この記事では、メンサが9～12年生のために推奨する優れた読書リストについて考察しています。これは、『神曲』や『魔の山』といった挑戦的な古典作品を集めたリストです。著者は、これらの本は単なる知識の習得のためではなく、既成概念や快適な領域に挑戦することを目的としていると主張しています。これらの本が引き起こす不快感は、より深い思考を促し、批判的思考を育成します。最終的な目的は博学になることではなく、自己省察と知的な成長によって推進される継続的な学習プロセスを育むことです。これらの作品を読む旅は、曖昧さと不快感に立ち向かうことです。
続きを読む
Debian 13、コードネームTrixieがリリースされ、多くの改良が加えられました。最も重要な変更点は、32ビットx86アーキテクチャのサポートを終了し、RISC-Vアーキテクチャをサポートし、Linuxカーネル6.12にアップグレードしたこと。Trixieは、プログラミング言語のアップデート（Python 3.13、PHP 8.4など）、改良されたAptパッケージマネージャー、セキュリティ強化（CET、PAC、BTIなどに対応）、GNOMEとKDEデスクトップ環境のパフォーマンスとユーザーエクスペリエンスの向上も特徴としています。GoとRustエコシステムのセキュリティサポートは限定的ですが、全体としてTrixieは安定性、安全性、そして高いパフォーマンスを備えたディストリビューションです。
続きを読む
この記事は、大規模言語モデル（LLM）が世界を理解しているという一般的な仮定に異議を唱えています。LLMは言語タスクで優れた成績を収めていますが、著者は、これが真の世界モデルを構築するのではなく、次のトークンを予測するためのヒューリスティックを学習する能力によるものだと主張しています。著者は、真のAGIには物理的世界に対する深い理解が必要であり、現在のLLMにはその能力が欠けていると主張しています。この記事では、AGIへの多様なモダリティのアプローチを批判し、代わりに、将来の研究の主要な構成要素として、具象化された認知と環境との相互作用を提唱しています。
続きを読む
この記事では、さまざまなプログラミング言語における絵文字文字列の長さの矛盾について掘り下げています。例えば、JavaScriptでは「🤦🏼♂️」。lengthは7ですが、Pythonでは5、Rustでは17です。これは、言語が文字列のエンコーディング（UTF-16、UTF-8など）と文字単位（Unicodeスカラー値、拡張グラフェムクラスタなど）をどのように処理するかによる違いに由来します。著者は、ネイティブエンコーディングでの長さを記憶しておくことは妥当であると主張していますが、他の長さ（拡張グラフェムクラスタなど）は、不必要なストレージオーバーヘッドと同期の問題を避けるために、必要に応じて計算するべきだと述べています。この記事では、さまざまなエンコーディングスキームの長所と短所を分析し、ストレージと交換におけるUTF-8の利点を強調しています。最後に、公正な長さの割り当ての問題を取り上げ、言語間で情報の密度を公正に測定する簡単な方法がないことを示し、世界人権宣言の翻訳を例に挙げています。
続きを読む
Bullseye2Dチームは、ゲーム開発ワークフローを強化する高度な機能を備えたプレミアムエディションを開発中です。サポーターとスポンサーは、感謝の意を表して早期アクセス権を取得します。安定した機能は、後でコアバージョンに統合される可能性があります。計画されている機能には、簡単なシーン管理、スプライトアニメーションシステム、強力なステートマシン、高速2D衝突検出、カスタムシェーダー、Tiledマップ統合、TexturePackerローダー、完全なゲーム例、シンプルなイミディエイトモードGUIライブラリ、ネイティブのWindows、Mac、Linuxビルドなどがあります。
続きを読む
Metaは、Constellation EnergyのClinton原子力発電所の稼働を2047年まで継続するため、数十億ドルの投資を行うと発表しました。これはMetaのデータセンターへの直接的な電力供給ではなく、同社のカーボンフットプリントを削減するために、発電所の「クリーンエネルギー属性」を購入するというものです。この取引は、発電所の再認可を確保し、保証された顧客を提供することで、期限切れとなる補助金を事実上置き換え、潜在的な閉鎖を防ぎます。これは、AIとクラウドコンピューティングの急増するエネルギー需要を満たすために、大手テクノロジー企業が原子力に投資するという、増加傾向を反映しています。
続きを読む
RustでCLIツールを構築中に、ファイル管理テストの高速化のためにインメモリファイルシステムを使用しようとしました。`vfs`や`rsfs`などのクレートを調べた結果、驚くべきことに、現代のSSDとOSのファイルシステムキャッシュは非常に効率的であるため、インメモリファイルシステムを使用してもパフォーマンスの向上はほとんどないという結論に至りました。インメモリファイルシステム、通常のファイルシステム、RAMディスクを使ったテストはいずれも約45msかかりました。これは期待とは大きく異なっていました。インメモリファイルシステムの使用でパフォーマンスの違いが見られた事例を共有していただければ幸いです。
続きを読む
欧州委員会は、マイクロソフトが自社のメッセージングアプリTeamsをOffice生産性スイートから分離することに合意した後、同社に対する長年にわたる独禁法違反調査を終了しました。これにより、マイクロソフトは巨額の罰金を回避することになります。同社は今後7年間、Teamsを含まない低価格版Microsoft 365とOffice 365を提供し、サードパーティツールとの相互運用性を高めるためAPIを開放することを約束しました。この決定は、EUが法的紛争を回避し、マイクロソフトが年間収益の最大10％に達する可能性のある罰金を免れるという、双方にとって有利な結果となりました。
続きを読む
古典的なAIでは、知覚は空間表現の学習に依存する一方、計画（行動シーケンスに関する時間的推論）は通常、探索によって達成されます。本研究では、空間構造と時間構造の両方を捉える表現から、そのような推論を出現させることができるかどうかを調べます。標準的な時間的コントラスト学習は、見せかけの特徴への依存により、時間構造を捉えることができないことが示されています。これに対処するために、著者らは、時間的推論のためのコントラスト表現（CRTR）を導入し、負例サンプリングスキームを使用して、これらの見せかけの特徴を除去し、時間的推論を促進します。CRTRは、ソコバンやルービックキューブなどの複雑な時間構造を持つドメインで強力な結果を達成します。特にルービックキューブでは、CRTRはすべての初期状態に一般化する表現を学習し、BestFSよりもはるかに高速にパズルを解くことができます（ただし、解は長くなります）。私たちの知る限り、これは、手作業による探索ヒューリスティックを使用せずに、学習済み表現のみを使用して任意のキューブの状態を効率的に解く最初のデモンストレーションです。
続きを読む
この記事は、Clojureを使用して宇宙飛行シミュレーターを開発した5年間の道のりを詳述しています。著者は最初に、3Dレンダリングの難しい部分（惑星、大気、影、ボリュームクラウド）に取り組み、オープンソースのOrbiterシミュレーターからインスピレーションを得ました。このプロジェクトでは、グラフィックスと入力にLWJGLスイート、物理エンジンにJolt Physics、そしてClojureの強みである不変値と安全な並列処理など、多くのライブラリを活用しています。著者は、大気レンダリング、NASAデータを使用した惑星のレンダリング技術、OpenGLシェーダーのテンプレート化、パフォーマンスの最適化、ビルドプロセス、Steamへの展開について詳しく説明しています。コア機能は完成していますが、将来の計画にはコックピット、月、宇宙ステーションの追加が含まれています。
続きを読む
この記事は、グラフィカルユーザーインターフェース（GUI）の歴史において、しばしば見過ごされてきたWindows 2.0の知られざる物語を深く掘り下げています。当時の技術的制約、VisiOnやApple Lisaといった競合システムからの激しい競争、そしてWindows 2.0の開発を形作ったMicrosoft内部の葛藤を探ります。豊富なソフトウェアこそ不足していましたが、Windows 2.0はマウスサポートや基本的なマルチタスク処理など、驚くべき機能を備えていました。ほぼ行き詰まりそうになったにもかかわらず、その開発から得られた教訓は、後のWindows 3.0の成功に不可欠なものとなりました。物語は技術的な詳細、歴史的背景、開発プロセスの逸話を織り交ぜ、コンピューティングの歴史におけるこの重要な瞬間を鮮やかに描いています。
続きを読む
この記事は、ワインの品質とワインラベルの動物の絵柄との相関関係を調べるためのデータ駆動型調査について詳述しています。著者は、ニュージーランドのスーパーマーケットのワインデータを収集し、OpenAI APIを使用してラベル上の動物の存在を分析しました。初期の仮説にもかかわらず、ニュージーランドワインは価格と品質の間に強い正の相関関係を示し、ラベル上の動物とは有意な関連性はありませんでした。最終的に、ニュージーランドのマルボロ地方にあるマウント・フィッシュテールのソーヴィニヨン・ブランが、最も優れたコストパフォーマンスのワインとして登場しました。
続きを読む
アンナのアーカイブチームは最新のアップデートを発表し、知識の検閲に対する戦いで大きな進歩を遂げたことを明らかにしました。数千万冊の本、科学論文などをバックアップすることに成功しました。増加する攻撃にもかかわらず、セキュリティの強化に取り組んでいます。チームは、ボランティアやパートナー（LibGenフォーク、STC/Nexus、Z-Libraryなど）への感謝を表明し、LibGenフォークの一つが消滅したことを残念に思っています。また、コミュニティへの貢献がないため、新興プラットフォームWeLibの使用には注意を促しています。今後、数百テラバイトのデータを処理し続け、ボランティアや寄付を呼びかけています。
続きを読む
この記事では、「子グループ」という概念を導入することで、より厳格なメモリ安全性のルールを紹介します。以前のルールは緩やかすぎました。新しいルールは、オブジェクトが変更された場合にどの参照を無効にする必要があるかをより正確に定義します。`Entity`構造体を例として使用して、オブジェクト自体とその「子グループ」（リスト内の要素、ポインタが指すオブジェクトなど）を区別する方法を説明します。新しいルールでは、オブジェクトが変更される可能性がある場合、オブジェクト自体の参照は有効なままですが、子グループへの参照は無効になります。コード例を通して、新しいルールがメモリ安全性を向上させ、ぶら下がりポインタを回避する方法を明確に示します。
続きを読む
Ruby 3.4は、デフォルトで凍結文字列リテラルへの複数バージョンにわたる移行を開始します。現在、Ruby 3.4は、非推奨警告が有効になっている場合にオプトイン警告を提供し、下位互換性を確保しています。警告はRuby 3.7でデフォルトで有効になり、凍結文字列リテラルはRuby 4.0でデフォルトになります。この変更により、文字列の重複排除を通じてパフォーマンスの向上、ガベージコレクションの削減、メモリ使用量の削減が期待できます。この記事では、警告の有効化、問題の修正、既存コードの移行方法を詳細に説明し、段階的なアップグレードアプローチを推奨しています。
続きを読む
Metaが発表したLlama 4は、大きな期待と同時に大きな論争を巻き起こしました。10Mというコンテキスト長を誇る一方、LM Arenaなどのベンチマークテストでは期待外れの結果となり、操作の疑いも浮上しています。理論的には優れたMoEアーキテクチャを採用しているものの、メモリと効率性の問題に直面しています。内部告発によると、Metaは目標達成のため、問題のある手法を用い、幹部の辞任にも繋がっています。Llama 4の発表は、LLM開発における継続的な課題を浮き彫りにし、ベンチマーク基準と透明性に関する重要な疑問を投げかけています。
続きを読む
ハーバード大学中退者によって設立されたスタートアップ企業Haloが、すべての会話を記録し、AIによるインサイトを提供するスマートグラスHalo Xを発表し、大きな論争を引き起こしています。このグラスには録画インジケーターがなく、すべてを密かに記録するため、プライバシーに関する大きな懸念が生じています。特に、厳格な両者同意法のある州では問題です。AIによる認知能力向上という約束についても疑問視されており、批判的思考能力の低下を懸念する声が多くあります。Halo Xの機能性と実用性に対する疑問にもかかわらず、プライバシーへの軽視と創業者の過去の論争が、この製品をテクノロジー業界のホットトピックにしています。
続きを読む
世界的なEVバッテリーリサイクルの課題に対処するため、トヨタはSweepエネルギー貯蔵システムを開発しました。このシステムは、様々な種類と劣化レベルの使い古されたEVバッテリーを収集し、電力網に接続します。高度なエネルギー管理により、良好な状態のバッテリーを優先的に使用し、性能の低いバッテリーをバイパスすることで、効率的なエネルギー利用を実現します。マツダ広島工場で実地試験が行われ、中部電力電力網に接続されており、ピーク出力485kW、蓄電容量1260kWhを誇ります。Sweepは、バッテリーリサイクルの向上だけでなく、カーボンニュートラル目標への貢献にも大きく役立ちます。
続きを読む
インターネットアーカイブは、YouTubeでマイクロフィッシュのデジタル化プロセスをライブ配信しており、物理的な文書をデジタル文書に変換する様子を舞台裏から見ることができます。ライブストリームでは、高解像度カメラがマイクロフィッシュカードから画像をキャプチャし、ソフトウェアがこれらの画像を繋ぎ合わせ、スタッフが自動化されたツールを使用して個々のページを切り抜いた後、インターネットアーカイブのパブリックコレクションにアップロードする様子が映し出されます。ライブストリームは月曜日から金曜日まで、午前10時30分から午後6時30分（ET）まで行われ、デジタル化時間以外には、パブリックドメインのサイレント映画やNASAの歴史的写真なども放送されます。
続きを読む
数年来最大のリストラから数週間後、マイクロソフトはさらに数百人の従業員を削減しました。これは、AIへの多額の投資にもかかわらず、テクノロジー業界のコスト削減努力を浮き彫りにしています。ソフトウェアエンジニア、マーケティング担当者、研究者など、さまざまな職種の300人以上の従業員が影響を受けました。これは、以前の6000人の従業員のリストラに続きます。マイクロソフトは、これらの削減は継続中の組織変更の一部であると述べています。AIブームはテクノロジー業界の雇用市場を再編しており、企業はAI関連の職種を優先し、AIを使用して効率性を高め、人員を削減しています。
続きを読む
BlueskyのATプロトコル上に構築された分散型ソーシャルネットワークであるBlackskyは、オーガニックに200万ユーザーに急成長し、分散型プラットフォームの可能性を示しました。黒人の声とコミュニティの安全性を優先し、Blackskyは独自開発のオープンソースツールとコミュニティベースのモデレーションシステムを使用して、Blueskyから独立した独自のアイデンティティを維持しています。その成功は、包括的で自己統治型のオンライン空間を促進する分散型インフラストラクチャの力を浮き彫りにしています。
続きを読む
この記事では、単一化アルゴリズムについて詳しく説明します。これは、シンボリックな項間の等式を自動的に解くためのプロセスです。論理プログラミングや型推論で広く使用されています。パターンマッチングから始まり、単一化の概念を構築し、Norvigの改良されたアルゴリズムに基づいたPython実装を提供します。実装には、データ構造の定義、コア関数`unify`、ヘルパー関数`unify_variable`と`occurs_check`、詳細なコード例と実行結果が含まれています。
続きを読む
Posit PBCは、データサイエンスのための無料の次世代統合開発環境（IDE）Positronをリリースしました。PythonとRの両方を同等にサポートし、データ探索とプロダクションワークフローをシームレスに統合します。対話型ノートブック、プロットツール、統合データアプリワークフロー、そして組み込みのAIアシスタントなどの主要機能を備えています。Code OSS上に構築されており、拡張されたカスタマイズのためにVSIX拡張機能をサポートしています。
続きを読む
この記事では、XORビット演算子を使っていくつかの一般的な面接問題を解決する賢いトリックを紹介します。XORには、同じ数字をXORすると0になり、異なる数字をXORすると0以外の値になり、演算の順序は結果に影響しないという独自の性質があります。これらの性質を利用することで、複雑なアルゴリズムやデータ構造に頼ることなく、配列から欠損している数字や重複している数字、さらには2つの欠損/重複している数字をスマートに見つけることができます。この記事では、コード例を交えながらXORトリックの応用を段階的に説明し、効率的で簡潔な問題解決アプローチを提供します。
続きを読む
JetBrainsのAIアシスタントプラグインは2200万回以上ダウンロードされていますが、評価はわずか2.3星と低いものです。最近、ユーザーはネガティブレビューが削除されていることに気づき、JetBrainsは、これらのレビューが解決済みの問題に関するものか、ポリシーに違反していたため削除したと説明しました。しかし、この行為は反発を招き、ユーザーはJetBrainsがAIアシスタントの多くの問題、例えばサードパーティモデルの限定的なサポート、頻繁な遅延、コア機能のクラウドサービスへの依存、プロジェクトタイプ間でのユーザーエクスペリエンスの不一致、ドキュメントの不足などを隠蔽しようとしていると非難しています。AIアシスタントの無許可自動インストールも大きな問題となっています。JetBrainsは新しいAIエージェントJunieと無料プランを導入しましたが、高コストと、競合他社とは異なり、独立したクラウドビジネスがないことが、依然として課題となっています。
続きを読む
この記事では、RustとZ3制約ソルバーを使用して、簡単な方程式から複雑な数独パズル、ページレイアウトまで、さまざまな問題を解決する方法を示します。著者はZ3の学習過程を共有し、基本的な概念、使用方法、Rustとの統合を具体的な例を通して説明します。方程式の解法、解の最適化（コインの両替問題など）、数独パズルの解法などが網羅されています。配列、ビットベクトル、集合などの制限事項や高度な機能についても議論されており、読者の更なる探求を促します。
続きを読む