1805 点
裁判所がユタ州のVPN法を差し止め、技術的に不可能であると裁定
連邦裁判官がユタ州SB 73に対して仮差し止め命令を出し、その法律のVPN執行メカニズムが存在しない完璧なジオロケーションを要求していると判断。この裁定により、成人向けウェブサイトに全国のVPNユーザーを検出・ブロックさせたり、ユタ州からのアクセスを完全に遮断させたりする条項の執行が停止される。
記事全文を読む →
2566 点
Apple、Apple Wallet用のパスを作成する「Pass Designerベータ版」をリリース
Appleは、Apple Wallet用のパス作成を効率化するmacOSアプリケーション「Pass Designer」をリリースしました。このツールは、iPhoneとApple Watchに表示されるパスをリアルタイムで正確にプレビューでき、カスタマイズ可能なテンプレート、バリデーション、セマンティックタグのサポートを提供し、Siri Suggestions、Calendar統合、Mapsの方向性などの機能を活用できます。
記事全文を読む →4438 点
FLUX.3 Image: Black Forest LabsがOpenRouterでフラッグシップモデルを発売
Black Forest Labsは2026年10月1日にFLUX.3 Imageをリリースしました。これはOpenRouter経由で利用可能なtext-to-imageおよびmulti-reference editingモデルで、解像度に応じたフラットレート価格が1画像あたり$0.0205から$0.3035の範囲です。768から4Kまでの複数のアスペクト比オプションでの出力をサポートします。
記事全文を読む →
5370 点
細胞アイデンティティの喪失がヒト老化の中心的駆動因子として浮上、2つの研究が示唆
新たな老化モデルは、細胞が時間とともに特化したアイデンティティを失うことが—単なる損傷の蓄積ではなく—線維化、炎症、疾患を駆動すると提唱する。NatureとCellに掲載された2本の最近の論文が、この「間葉系ドリフト」の背後にある分子機構を特定し、エピゲノム時計が細胞アイデンティティを固定する鍵となるタンパク質複合体の浸食を測定していることを示唆している。部分的リプログラミングやカロリー制限のような介入がこのプロセスを遅らせたり逆転させたりする可能性があるが、ヒトにおける安全性と有効性は未証明のままである。
記事全文を読む →9289 点記事準備中
With most information hidden, the game Stratego had stumped AI until now (arstechnica.com)
10350 点
ChatGPT Sites：会話からミニアプリを構築・ホスティング
ChatGPT Sitesは、ChatGPTユーザーが平易な言葉でウェブサイトやアプリのアイデアを説明し、アプリ内ブラウザで動作するプロトタイプを生成し、制御されたアクセス権で公開できるパブリックベータ機能です。この機能はChatGPTのプランによって段階的に提供され、現在はEEA、スイス、英国を除外しています。
記事全文を読む →
12578 点
Linux カーネルの CVE 割り当てプロセスと、脆弱性番号が多く見える理由を理解する
Linux カーネルチームは、過剰に慎重なプロセスを通じてセキュリティ修正に CVE 番号を割り当てており、これにより多くの脆弱性識別子が生じます。ただし、カーネルの多様な利用パターンのため、すべての識別子がすべての Linux システムに適用されるわけではありません。
記事全文を読む →
13232 点
GLM 5.3 Flashを用いた1ヶ月間のコーディング：Wagtailの9月モデル実験
Wagtail CMSチームは、効率的なオープンモデルの階層であるGLM 5.3 Flashのみを使用して、2026年9月の1ヶ月間すべてをコーディングする実験を行いました。この実験では、目標モデルのトークン使用率は50%にとどまり、20億トークンのうち10億トークンが他のモデルに費やされました。これにより、インフラの制約とモデル選択の教訓が明らかになった一方で、開発タスクにおけるGLM 5.3 Flashの強力な能力も確認されました。
記事全文を読む →
14250 点
Muse Gadgets: AIエージェントをカスタマイズするためのオープンソースハードウェアプラットフォーム
Muse Gadgetsは、Muse AIエージェントに接続するカスタムハードウェア拡張を構築するためのオープンソースのソフトウェア開発キット（SDK）とプロジェクトガイドを提供し、電子ペーパーディスプレイからホームオートメーションコントローラーまでのパーソナライズされたデバイスを作成できるようにします。
記事全文を読む →
15312 点
Apple、macOSのフルディスクアクセスにさらに厳格な管理を導入すると発表
Appleは、macOSのフルディスクアクセスに対して追加のセーフガードを導入し、アプリがユーザーの明示的な同意なく機密データにアクセスすることを防ぐため、より明示的なユーザー許可を要求する計画である。
記事全文を読む →
16585 点
Frog and Toad と ますます能力が高まる機械
提出されたストーリィは、Frog and Toad 書籍シリーズと機能が進歩する機械との間に関連があると示唆しているが、提供されたソースではこの関連を裏付ける証拠は見つからない。
記事全文を読む →
18415 点
DeepSeek Harness、拡張可能なプラグインアーキテクチャを備えたオープンソースエージェントプラットフォームを発表
DeepSeekは、Cordisの「すべてはプラグイン」アーキテクチャに基づいたオープンソースのエージェントハブ「DeepSeek Harness」をリリースしました。ユーザーは公式、コミュニティ、またはカスタムプラグインを通じて機能を拡張でき、日常業務からコーディング、リサーチまで幅広いタスクに対応します。
記事全文を読む →
19227 点
AI支援研究がモーリシャスでのドードー鳥狩りを記述する1615年オランダ船の航海日誌を発見
歴史学者ベンジャミン・ブリーンは、AnthropicのOpus 5.5言語モデルが、GLOBALISEアーカイブの意味検索を通じて見つかった、以前に注目されなかった1615年のオランダ東印度会社（VOC）船の航海日誌でモーリシャスでのドードー鳥の狩りを記述したエントリを特定したと報告している。同じ検索では、絶滅した赤レールに関する可能性のある新しい言及が見つかり、1890年の誤訳を修正した。ブリーンはこれらの発見を発表可能だが modest な成果と位置づけ、それを用いて、フロンティアAIモデルが歴史研究ツールとしての可能性と認識論的限界の両方を説明している。
記事全文を読む →
20309 点
シマノ自転車博物館はブランドよりも自転車を優先する
日本の堺市にあるシマノ自転車博物館のレビュー：自転車の進化を体験できる広々とした空間であり、機械そのものを第一に据え、企業の企業史は背景に退かせている。この報告は一人の訪問者の実体験に基づいたものであり、現在の入場料金やシマノがいかにして欧州のレース界に入り込んだかといったいくつかの未解決の点を含んでいる。
記事全文を読む →
21256 点
シンガポール政府が運営する出会いサービス、ノーベル賞アルゴリズムを使用も効果に疑問
シンガポールのGovTechが立ち上げた政府職員向けのパイロット出会いサービスFirstDateは、ノーベル賞受賞のゲール・シャプリー安定婚姻アルゴリズムを用いて参加者に1人ずつ潜在的なパートナーを提示する。ただし、アルゴリズムが保証するのは安定性のみであり、満足度や実際の相性については疑問が残る。
記事全文を読む →
2280 点
蝶は翼の模様を利用して捕食者を惑わす運動錯覚を生み出す
研究によると、蝶の翼の模様と飛行動作が組み合わさって視覚的錯覚を生み出し、捕食者の狙いを乱して攻撃を外させるということが示されている。
記事全文を読む →
23214 点
Turbo Haskell: GHC Core向けJVMベースのJITおよびAOTコンパイラ
Edward KmettのTurbo Haskell（THC）は、TruffleとGraalVMを使用してGHC CoreをJVM上で実行するようにコンパイルし、GHCのフロントエンドを維持しながらJITおよびAOTコンパイルを提供します。このシステムは、ポリグロットな外部関数インターフェイス、SIMDベクトル化、および高度なテールコール最適化をサポートし、JVMエコシステムにHaskellのパフォーマンスをもたらそうとしています。
記事全文を読む →
24168 点
数学者たちはAIの進歩に嘆く：否定、怒り、取引、抑うつ、そして透明性への呼びかけ
ケビン・バザードのブログ記事は、難しい問題を解くAIの能力に対する数学界の反応を述べ、それらの反応をキュブラー・ロスの5段階の悲嘆に当てはめ、数学が人間の理解によるものか、定理の数によるものかという見解を対比し、AIラボに結果を公開してコミュニティの精査を求めている。
記事全文を読む →
xenaproject.wordpress.com
26129 点
Lean証明の解剖：有限オートマトンによる正則言語認識の検証
この記事では、特定の言語が正則であることを示す理論計算機科学の証明がLean定理証明器でどのように形式化されたかを説明します。二進法の加算中にキャリーを追跡する有限オートマトンの構築と、それがLeanのMathlibを使ってどのようにエンコードされ、言語認識とプログラム検証の関連が検証されたかを詳述します。
記事全文を読む →
2795 点
Org-mode と Emacs を中心とした型安全なブログパイプライン
著者は、Org-mode をソース形式とし、Pandoc で変換、Blogatto で HTML 生成、Gleam と Lustre で型安全な静的サイト生成、Nix で再現可能なビルドを行い、すべての執筆と開発ワークフローを Emacs 内に保つ個人ブログシステムを説明する。このアプローチは、Org-mode のリテラルプログラミング機能を活用して一貫性を重視し、コンテキストスイッチングを避ける。
記事全文を読む →
28153 点
決定モデルのようなJevは、LLM-as-a-judgeや従来の分類器と比較してAIガードレールベンチマークで高いレイテンシを示す
ベンチマークテストによると、Jevのような決定モデルは従来のテキスト分類器およびLLM-as-a-judgeの代替手段よりも遥かに高いレイテンシを示し、AIセーフティガードレールにおける優れた速度とコスト効率という主張を裏付けるものではない。
記事全文を読む →2990 点記事準備中
The first packet sent via RFC1149 avian carrier is up for auction at Christie's (christies.com)
30152 点
Audionaut: AIエージェントと統合されたオープンソースマルチトラックオーディオエディター
Audionautは、Windows、macOS、Linuxで動作する無料のオープンソースデスクトップオーディオ編集および録音アプリケーションで、Model Context Protocolを通じてClaudeなどのAIエージェントがセッションを編集でき、変更はGUIでのアンドゥステップとして表示されます。
記事全文を読む →