221Tin: PostgreSQLの全文検索Postgres向けの新しい全文検索拡張機能「 TIN」を発表 高速性・高機能・信頼性 を兼ね備えた全文検索を実現 既存の全文検索インデックスを凌駕する パフォーマンス 多様な検索クエリや同時更新にも...30日前|原文(planetscale.com)
222Laya：Jevのオープンソース版新しいAIモデル「Laya」の発表とその背景 既存のLLMやTypeSafe Jevとの比較 Layaの特徴：非自己回帰型、高速、構造化スキーマ対応 多言語・多スクリプト対応ルーティングの重要性 公開...30日前|原文(laya.convaiinnovations.com)
223AI生成のポスターはひどくなくてもいいAI生成ポスター が同じようなデザインで溢れる現状 ChatGPT などAIは多様なデザインスタイルも生成可能 指定した 美術様式 で個性的なポスターを依頼できる 具体的なスタイル名 を使えば差別化が...30日前|原文(john.hartnup.uk)
224GPT-6 Astraが第一次世界大戦のドイツの無線暗号を解読するScienceblogs.de に掲載された 50の未解読暗号リスト の一つ、第一次世界大戦の ADFGVX暗号。 ADFGVX暗号 の仕組みと、実際の暗号解読手順を詳細に解説。 GPT-6 Astr...30日前|原文(prinzai.com)
225数学が証明以上のものであるなら、私たちはその残りの部分をもっと祝う必要がある現在、 数学界 では証明の自動生成が人間の理解を妨げる可能性が議論されている 「動機付けられた説明」 に学術的価値を与えるべきという提案 証明と説明の違い、および説明の重要性を強調 実例として Pri...30日前|原文(terrytao.wordpress.com)
226スタンフォード大学医学部の研究により、人間の脳は二つの別々の器官であることが判明Stanford Medicine主導の新研究により、 脳は2つの独立した器官 で構成されていることが判明 前脳・中脳 と 後脳 は異なる発生経路を持つ 研究は Nature Neuroscience...30日前|原文(med.stanford.edu)
227サンフランシスコオニオン先物会社San Francisco Onion Futures Companyは、黄玉ねぎの将来物理受渡契約を個人向けに販売。 契約は最大6ヶ月先まで、価格は1個あたり3～12 USD。 契約購入や価格確認に...30日前|原文(onionfutures.com)
228OpenAIが自社のLLMを活用して「ハラペーニョチップ」を設計した方法OpenAIはAIアクセラレータチップ「Jalapeño」を発表し、Nvidia GB300を大幅に上回る性能と省電力性を実現。 設計期間は20ヶ月未満、設計チームは100人以下という小規模かつ高速な...30日前|原文(spectrum.ieee.org)
229Claude Codeは、Claude.mdが存在しない場合にAGENTS.mdを読み込みます。Claude CodeのCHANGELOG（2026年9月18日）に基づく最新アップデートの内容 新機能追加、バグ修正、改善点を箇条書きで整理 VSCode拡張やWeb版の変更点も含む 重要な設定やエ...30日前|原文(code.claude.com)
230Android 17は、AOSPにリリースせずに新しいAPIを追加した3.x以降初のバージョンです。Mastodon利用には JavaScriptの有効化 が必要 JavaScriptが無効の場合、 Webアプリ は利用不可 ネイティブアプリ の利用も推奨 プラットフォームごとに 公式アプリ が提供...31日前|原文(grapheneos.social)
231さらに100TBのRAMを節約するCloudflareのPingoraサービスで 小さなアルゴリズム改善 により大規模なメモリ削減を実現 一部の構造体最適化 で世界中で100TB超のRAMを回収 Consistent Hashing ...31日前|原文(blog.cloudflare.com)
232米軍、AIによる幻覚的な情報報告を使用した後に危機的状況に直面米軍がAI生成の誤情報で中国船拿捕寸前の危機 AIツールの誤認識が戦争勃発リスクを増大 米軍内でAI活用が急速に進行中 安全基準や検証体制の未整備が課題 AI依存による判断ミス懸念の高まり AI誤報に...31日前|原文(cnn.com)
233光放射誘導レーザー故障注入によるRP2350のセキュアデバッグの実現Raspberry Pi RP2350 のセキュリティ機能に対する物理攻撃の実証 Photon-emission microscopy とレーザー注入で Secure debug アクセスを復元 OT...31日前|原文(donjon.ledger.com)
234北朝鮮の核実験が数年にわたる地震を引き起こす2024年6月現在、Meta社がThreadsをEUで正式リリース EUでのリリースに伴うプライバシーや法規制への対応 Threadsの新機能や利用者数の増加傾向 競合サービスとの比較分析 今後の展望...31日前|原文(science.org)
235コナウィの予想の証明を感じ取った数ヶ月前、AIによる数学の進展が話題となり、自分も未解決問題にAIで挑戦 John Conwayの50年前の精緻化予想（refinement conjecture）の証明に挑戦 Leanによる機械的検...31日前|原文(overreacted.io)
236Cloudflare クイックトンネルCloudflare Quick Tunnels は、ローカルアプリケーションをグローバルに即時公開できる無料・安全なサービス。 インストールや設定が不要 で、コマンド一つでトンネルを作成可能。 HT...31日前|原文(try.cloudflare.com)
237コーディングエージェントのためのハーネス設計に関する実証研究コーディングハーネスの構成要素ごとの効果検証 コンテキスト管理、プランニング、アクション空間の比較分析 SWE-Bench VerifiedとTerminal-Bench 2.1で176条件を評価 モ...31日前|原文(arxiv.org)
238パスキーが好きではありませんPasskey はフィッシング対策に優れた技術だが、個人利用には課題が多い現状 大手IT企業 はパスワードレスを推進し、設定変更を促している ハードウェアキー や同期型パスキーにはコストやロックアウト...31日前|原文(hawksley.dev)
239Bend 2とバイブコーディングトラップBend の設計を例に、「vibe-coding」の落とし穴を指摘 Bend はAI時代向けの新言語だが、既存の形式手法を無視 SPARK との比較で、現代的な形式検証とのギャップを解説 事前調査の重...31日前|原文(blog.liampwll.com)
240ZCode、GLMコーディングエージェントがあなたのGit履歴を静かにアップロードします2026年9月18日、ferstarがZCodeのリバースエンジニアリング結果を公開 ZCodeはユーザーの作業空間全体を無断で暗号化・クラウドにアップロード 暗号鍵はZ.aiのみが所有し、ユーザー自...31日前|原文(tokenstead.ai)