241インテルの超高コア数プロセッサ向けのClickHouse最適化Intelの最新サーバーCPUはコア数が飛躍的に増加し、ClickHouseのスケーラビリティ最適化が重要課題。 高コア環境ではロック競合やメモリ帯域、NUMA効果などがボトルネックとなる。 Inte...397日前|原文(clickhouse.com)
242WASM 3.0 完了Wasm 3.0 のリリース発表 64ビットアドレス空間 や複数メモリ、ガーベジコレクションなど大規模な新機能追加 例外処理 や 型付き参照、 テイルコール など多言語対応強化 決定論的プロファイル ...397日前|原文(webassembly.org)
243DeepMindとOpenAIがICPCで金メダルを獲得OpenAI と Google DeepMind がICPC WF 2025でAIモデルの金メダル級パフォーマンスを発表 両社とも「I'm excited to announce/share」と題した...397日前|原文(codeforces.com)
244アンソロピック、モデルの使用制限でホワイトハウスを苛立たせるAnthropicはワシントンでのメディアツアー中、法執行機関によるAI利用を拒否したことでTrump政権内の反感を強めている。 同社は監視目的など一部用途でAI利用を認めず、連邦機関からの要請も断っ...397日前|原文(semafor.com)
245「DeepSeek」は中国が好まないグループのために、より安全性の低いコードを書くのか？この文書は、OpenAIのCEOであるSam Altman氏が、同社のAI開発ロードマップや、GPT-5を含む今後の展望について語った内容のまとめ。AIの進化速度、社会への影響、そしてAIの安全性につ...397日前|原文(washingtonpost.com)
246うつ病は嫌悪的な出来事を積極的に回避する能力を低下させる抑うつ症状と回避行動 の関係性に注目した研究 アクティブ回避 （行動で回避）と 抑制的回避 （動かず回避）を区別 抑うつ傾向が高い人ほどアクティブ回避の習得が困難 であることを発見 動物モデルと臨床研...397日前|原文(eneuro.org)
247トン・ルーセンダールが「Blender」の会長兼CEOを退任予定Blender創設者の Ton Roosendaal が2026年1月1日付で CEOを退任 後任CEOには現COOの Francesco Siddi が就任予定 Roosendaalは 監督委員会 ...397日前|原文(cgchannel.com)
248やりたくないことをするための自己モチベーションの高め方Air bike （アサルトバイク）を使った運動体験と、その辛さ モチベーション維持の難しさ と心理的な葛藤の具体例 モチベーションに影響する 多様な要因 の解説 やる気が出ない時の 対策・工夫方法 ...397日前|原文(ashleyjanssen.com)
249YouTubeが広告ブロッカーによって引き起こされると思われる低い視聴回数に対処するYouTube で動画の視聴回数が大幅に減少した現象が発生 主な原因として 広告ブロッカーの影響 が指摘 PCでの視聴回数のみ減少 し、他デバイスは安定 YouTube公式も広告ブロッカーによる影響を...397日前|原文(9to5google.com)
250Android向けFirefox 143でDoHを導入予定Firefox は、 DNS-over-HTTPS (DoH) によるプライバシー保護をAndroidへ拡大 DoH 導入で暗号化されたDNS通信を実現、第三者からの盗聴防止 2025年には パフォー...397日前|原文(blog.mozilla.org)
251クロードは時々それを証明できるAnthropicのClaude Code は、 対話型定理証明（ITP） で高い性能を発揮 Lean などのITPツールは強力だが、従来は 専門家でも扱いが難しい Claude Codeは 証明作業...397日前|原文(galois.com)
252Apple Photosアプリが画像を破損するApple Photosアプリでカメラから画像をインポートする際にファイルが破損する問題を経験。 「インポート後に削除」機能の使用が大きなリスクであると判明。 ハードウェアをすべて交換しても問題は解決...397日前|原文(tenderlovemaking.com)
253第五のビジービーバー値の決定Busy Beaver問題 の5状態版に対する新しい値$S(5)$の厳密な決定 Coq証明支援系 を用いた形式的検証の実施 181,385,789台 のTuring machineの網羅的な解析 40...397日前|原文(arxiv.org)
254EUチャットコントロール：ドイツの立場が未決定に戻りましたMastodon のWebアプリ利用には JavaScript の有効化が必要。 JavaScriptが無効な場合は ネイティブアプリ の利用が推奨される。 ネイティブアプリは 各プラットフォーム 向...397日前|原文(mastodon.social)
255アリババの新しいAIチップ：H20に匹敵する主要仕様Alibaba傘下Pingtougeの最新PPUチップが、主要指標でNVIDIA A800を上回り、H20と比較可能。 Sanjiangyuanプロジェクトで複数の国産AIチップブランドが採用。 Pi...397日前|原文(news.futunn.com)
256ASUSゲーミングノートパソコンのACPIファームウェアバグ：深層技術調査ASUS ROGシリーズ の一部ゲーミングノートPCで発生する 深刻なパフォーマンス低下問題 の技術的調査 問題の根本は BIOS/ファームウェアのACPI実装バグ であり、OSやドライバの問題ではな...397日前|原文(github.com)
257GNU ミッドナイトコマンダーMidnight Commander (mc) は、視覚的なデュアルパネル型ファイルマネージャー GNU General Public License 下で提供されるフリーソフトウェア コマンドライン...397日前|原文(midnight-commander.org)
258iOS 15.8.5およびiPadOS 15.8.5のセキュリティコンテンツについてAppleはセキュリティ問題について、調査と修正が完了するまで詳細を公表しない方針を採用。 最近のセキュリティリリース情報は公式ページで確認可能。 今回の脆弱性は特定端末に影響し、悪意のある画像ファイ...397日前|原文(support.apple.com)
2592.5年間の実稼働後に確認された「Doom」のクラッシュが実機で発生DOOMエンジン の変数オーバーフロー検証実験の報告 約 2年半 連続稼働後のクラッシュ観測 実験環境や方法の詳細説明 変数オーバーフローが 現実に発生 した証明 結果から得られる教訓と考察 DOOM...397日前|原文(lenowo.org)
260米国の投資家とトランプ氏、中国との「TikTok」取引に接近TikTok を巡る 米中対立 の新たな詳細 米国政府 による規制強化の動き ByteDance と 米国ユーザー情報 の管理問題 国家安全保障 を巡る懸念の高まり 今後の TikTok運営 への影響...397日前|原文(wsj.com)