8021AIコーディングツールは生産性を低下させる可能性がある2025年春のMETR実験が、AIコーディングツールの生産性への影響を検証 経験豊富な開発者による成熟プロジェクトで、AIツール使用時に19%の生産性低下を観測 参加者自身は生産性向上を感じていたが、...484日前|原文(secondthoughts.ai)
8022Xenharmlib: 非西洋和声体系をサポートする音楽理論ライブラリxenharmlib は、従来の12平均律以外の音楽理論を扱うPythonライブラリ。 西洋音楽 からマイクロトーナル、マクロトーナルまで幅広い調律や記譜法に対応。 作曲家・研究者 向けで、スコア作成...486日前|原文(xenharmlib.readthedocs.io)
8023アップルと法律AppleとGoogleのDMA対応ワークショップ参加体験のまとめ 両社の法令順守姿勢や質疑応答での対応に対する所感 OWA（Open Web Advocacy）の立場と活動内容についての説明 iOS...483日前|原文(formularsumo.co.uk)
8024レッドハット技術文書スタイルガイドRed Hat Style Guide の目的と基本方針を解説 文法・語法・句読点 の重要なガイドラインを要約 アクティブボイス や 一致 などの具体的な用法例を提示 数えられる名詞 や 所有格 の正...484日前|原文(stylepedia.net)
8025Show HN: Pangolin – Cloudflare Tunnelsのオープンソース代替品Pangolinは 自己ホスト型のトンネル付きリバースプロキシサーバー で、 アイデンティティ管理とアクセス制御 を備える。 WireGuardトンネル を利用し、ファイアウォール越しでも 安全にプラ...484日前|原文(github.com)
8026Show HN: 「Perplexity Comet」のオープンソース代替品YC発のスタートアップBrowserOSによる オープンソース・プライバシー重視 のPerplexity Comet代替案 招待不要 で即ダウンロード・利用可能、GitHubや公式サイトから入手 ロー...484日前|原文(browseros.com)
8027Grok: Xで「From:Elonmusk (イスラエルまたはパレスチナまたはハマスまたはガザ)」を検索するGrok 4 は論争的な質問に対し Elon Muskの意見 を検索する傾向 SuperGrokアカウント でこの挙動を再現可能 システムプロンプト にElonの意見を参照する指示は明記されていない ...484日前|原文(simonwillison.net)
8028FOKS: フェデレーテッドオープンキーサービスFOKSの各OS別インストール手順まとめ。 Windows・macOS・Linux（Debian/Ubuntu/Fedora）向けの方法を整理。 静的バイナリやソースコードからのビルド手順も記載。 m...484日前|原文(foks.pub)
8029グラフィカル線形代数ACT Applied Category Theory Research School 2018 の応募受付開始 算術科学 と 幾何学科学 の密接な関係性 Graphical linear algeb...484日前|原文(graphicallinearalgebra.net)
8030Grok 4Grok 4がリリースされ、APIおよび有料サブスクリプションで利用可能。 画像・テキスト入力、テキスト出力、256,000コンテキスト長を特徴。 主要ベンチマークで他モデルを上回る実力を示す。 Gr...484日前|原文(simonwillison.net)
8031虚偽の主張を証明する方法：Fiat-Shamirに対する実践的攻撃ランダム性 は公平性やセキュリティの根幹であり、特に 暗号技術 で重要視される要素。 ハッシュ関数 をランダム性の代用とする手法（ランダムオラクルモデル）が長年信じられてきた。 新たな研究により、この...484日前|原文(quantamagazine.org)
8032ブレット・ビクターが語る、現在のAIのトレンドが彼の仕事と相反する理由Dynamicland Foundationは、人間中心の動的メディアの普及によるリテラシー向上を目指す独立系非営利研究所。 Realtalkは現実世界で協働しながら物理素材を用いて計算モデルを探求で...484日前|原文(dynamicland.org)
8033PostgresのLISTEN/NOTIFYはスケールしないRecall.aiで 大量の会議データ をPostgresに同時書き込みするユースケース Postgresの LISTEN/NOTIFY 機能によるスケール問題の発見 グローバルロック によるパフォー...487日前|原文(recall.ai)
8034「Gemini 2.5」はバウンディングボックスに優れていますか？Gemini 2.5 Pro は、MS-COCOベンチマークで Yolo v3 (2018) と同等の性能を示す物体検出モデル mAP 0.34 で、最新モデルには及ばないが、マルチモーダルLLMとし...484日前|原文(simedw.com)
8035AIが経験豊富なオープンソース開発者の生産性に与える影響の測定2025年初頭のAIツールが 熟練OSS開発者 の生産性に与える影響をRCTで調査 AI利用時、開発に19%長い時間 がかかったという予想外の結果 ベンチマークや自己申告と現実の乖離が明確化 結果の解...484日前|原文(metr.org)
8036バイオムニ：汎用生物医学AIエージェントBiomni は多様な生物医学分野に対応した汎用AIエージェント LLM推論・検索拡張型プランニング・コード実行機能による研究支援 環境構築は setup.sh スクリプトで一括設定 コミュニティ貢献...485日前|原文(github.com)
8037Show HN: Anna's Archiveから文書を検索・ダウンロードするためのMCPサーバーAnna's Archive MCP Serverは、Anna's ArchiveとClaude Desktopを連携させるためのMCPサーバーおよびCLIツール。 検索やダウンロードなどの操作が可能...485日前|原文(github.com)
8038カナダ英語の類型学DCHP-3 はカナディアニズム（Canadianism）の分類と用例を重視した英語辞典 6種類のカナディアニズム と「非カナディアン」ラベルによる意味分類 エントリー構造 や引用、頻度グラフの利用方...485日前|原文(dchp.arts.ubc.ca)
8039サンダーバード140「エクリプス」Thunderbird 140 “Eclipse”のリリース発表 新機能や改善点の概要説明 ダークモードやアカウント管理の強化 各OS向けの通知機能やフォルダ並び替え 入手方法と既知の問題案内 Thu...487日前|原文(blog.thunderbird.net)
8040太陽光発電が世界のエネルギーシステムを変革し始めている再生可能エネルギーは過去50年で主流へと急成長 世界中で太陽光・風力発電の導入が加速 蓄電池技術の進化が電力供給の安定化に貢献 中国・インドなど新興国の急速な展開が特徴 エネルギー転換が地政学や社会構...485日前|原文(newyorker.com)