641北朝鮮の核実験が数年にわたる地震を引き起こす2024年6月現在、Meta社がThreadsをEUで正式リリース EUでのリリースに伴うプライバシーや法規制への対応 Threadsの新機能や利用者数の増加傾向 競合サービスとの比較分析 今後の展望...32日前|原文(science.org)
642100年ぶりに発見された新しい猫の種2017年、ボリビアで発見された「奇妙な猫」が、 100年以上ぶり の新種ネコ科動物「Leopardus tilcayo」と判明。 Paola Nogales-Ascarrunz 率いる研究チームが、...33日前|原文(nationalgeographic.com)
643ミニマルフォン2Minimal Phone 2 は、現代人のスマホ依存を減らすために設計されたコンパクトなスマートフォン。 物理キーボード 搭載、集中と生産性重視の独自OS「Minimal OS」採用。 Google...33日前|原文(minimalcompany.com)
644さらに100TBのRAMを節約するCloudflareのPingoraサービスで 小さなアルゴリズム改善 により大規模なメモリ削減を実現 一部の構造体最適化 で世界中で100TB超のRAMを回収 Consistent Hashing ...32日前|原文(blog.cloudflare.com)
645コーディングエージェントのためのハーネス設計に関する実証研究コーディングハーネスの構成要素ごとの効果検証 コンテキスト管理、プランニング、アクション空間の比較分析 SWE-Bench VerifiedとTerminal-Bench 2.1で176条件を評価 モ...32日前|原文(arxiv.org)
646コナウィの予想の証明を感じ取った数ヶ月前、AIによる数学の進展が話題となり、自分も未解決問題にAIで挑戦 John Conwayの50年前の精緻化予想（refinement conjecture）の証明に挑戦 Leanによる機械的検...32日前|原文(overreacted.io)
647Claude Codeは、Claude.mdが存在しない場合にAGENTS.mdを読み込みます。Claude CodeのCHANGELOG（2026年9月18日）に基づく最新アップデートの内容 新機能追加、バグ修正、改善点を箇条書きで整理 VSCode拡張やWeb版の変更点も含む 重要な設定やエ...32日前|原文(code.claude.com)
648Android 17は、AOSPにリリースせずに新しいAPIを追加した3.x以降初のバージョンです。Mastodon利用には JavaScriptの有効化 が必要 JavaScriptが無効の場合、 Webアプリ は利用不可 ネイティブアプリ の利用も推奨 プラットフォームごとに 公式アプリ が提供...32日前|原文(grapheneos.social)
649ZCodeの内部：静かにGit履歴をクラウドにアップロードするZCode（Zhipu公式AIコーディングデスクトップアプリ）が、ユーザーのワークスペース全体を暗号化・アップロードしている実態を調査。 アップロードされる内容は、.git履歴やLFSキャッシュなど知...32日前|原文(blog.ferstar.org)
650米軍、AIによる幻覚的な情報報告を使用した後に危機的状況に直面米軍がAI生成の誤情報で中国船拿捕寸前の危機 AIツールの誤認識が戦争勃発リスクを増大 米軍内でAI活用が急速に進行中 安全基準や検証体制の未整備が課題 AI依存による判断ミス懸念の高まり AI誤報に...32日前|原文(cnn.com)
651Cloudflare クイックトンネルCloudflare Quick Tunnels は、ローカルアプリケーションをグローバルに即時公開できる無料・安全なサービス。 インストールや設定が不要 で、コマンド一つでトンネルを作成可能。 HT...32日前|原文(try.cloudflare.com)
652x86エミュレーションの厄災x86-TSO メモリモデルのエミュレーション課題を解説 ARMの 弱いメモリ順序 との違いと問題点を整理 FEX などのエミュレータが取る対策や限界を紹介 Apple Silicon など最新ハード...33日前|原文(fex-emu.com)
653ZCode、GLMコーディングエージェントがあなたのGit履歴を静かにアップロードします2026年9月18日、ferstarがZCodeのリバースエンジニアリング結果を公開 ZCodeはユーザーの作業空間全体を無断で暗号化・クラウドにアップロード 暗号鍵はZ.aiのみが所有し、ユーザー自...32日前|原文(tokenstead.ai)
654Bend 2とバイブコーディングトラップBend の設計を例に、「vibe-coding」の落とし穴を指摘 Bend はAI時代向けの新言語だが、既存の形式手法を無視 SPARK との比較で、現代的な形式検証とのギャップを解説 事前調査の重...32日前|原文(blog.liampwll.com)
655パスキーが好きではありませんPasskey はフィッシング対策に優れた技術だが、個人利用には課題が多い現状 大手IT企業 はパスワードレスを推進し、設定変更を促している ハードウェアキー や同期型パスキーにはコストやロックアウト...32日前|原文(hawksley.dev)
656日本では10万人以上が100歳以上になっています日本の100歳以上人口が初めて10万人を突破 長寿の主因は食生活とアクティブな生活習慣 超高齢化による社会保障制度維持の課題 出生率低下と人口減少が深刻化 記録の信頼性や移民政策も議論の焦点 日本の1...33日前|原文(bbc.com)
657Jemalloc 5.4.0160以上のコミット による大規模な技術的負債の解消 新機能追加 と 既存機能の最適化 移植性の向上 と バグ修正 互換性のない変更点 を含むリリース 統計情報とAPI拡張 による利用状況の可視化 技...33日前|原文(github.com)
658LLMを使った文章の書き方LLMを使っても文章が不自然になるリスク LLMは編集者として使うのが最適 2つの重要なルールの提案 モデルに頼りすぎない編集手法の紹介 自分の声を守るための実践的アドバイス LLM活用で文章力を高め...33日前|原文(sockpuppet.org)
659OpenJevの翻訳は「OpenJev」となります。これは製品名や特定の用語であるため、翻訳せずにそのまま表記します。ブラウザ上で ローカルAIモデル による意思決定実験が可能 バックエンド不要、データは端末から外部に送信されない設計 複数のモデルサイズと精度が選択可能、 GPU対応 2つの手法で 選択肢確率 を計測...32日前|原文(openjev.com)
660マイクロソフトの幹部がAIスクレイピングを「人類史上最大の労働の盗難」と呼ぶThe New York Times によるOpenAIとMicrosoftへの著作権訴訟の新たな未編集情報 AIによるデータスクレイピングが「窃盗」と認識されていた事実 AI製品が出版業界に重大な脅...32日前|原文(techcrunch.com)