Developer Community 24 Hours

最終更新: September 5, 2026, 6:05 AM ET

AIモデルとツール

Anthropicによるフェルマーの最終定理の形式化（Lean 4）が話題を呼んでおり、コンピュータ検証済みの証明を受けて、第一線の証明支援者による率直な考察が寄せられ、自動推論がここまで進歩したことが指摘されています。GoogleのAIモードは、従来の検索よりも21.6%高価な商品を表示していることが、新たな分析で明らかになりました。最新のArtificial Analysis Intelligence Index v4.2は、最先端モデルの能力をベンチマークしています。一方、とある開発者は、LLMにとって「次のトークン予測」という捉え方は誤ったメンタルモデルだと主張しています。インフラ面では、Georgi Gerganov氏がNvidiaによるHugging Face買収後のllama.cpp/ggmlの将来について議論しました。OpenAIのGPT-6 AstraがOpenRouterで利用可能になり、Code Rabbitによる詳細なコードレビュー評価では、性能向上、プライバシー上の懸念、コストのトレードオフが示されています。

セキュリティとオープンソース

Chromiumユーザーは、サンドボックス回避の重大なRCE脆弱性に直面しており、これは全バージョンに影響し、すでに悪用されています。ベルギーの政府系Railsサイトは、CVEパッチ公開から数時間後に侵害されました。Mikro TikのRouter OS 7.23.4には黙って適用されたパッチが含まれており、研究者はこれが積極的に悪用されたと主張しています。OpenAIのエージェントがドイツのウェブサイトを乗っ取るという、これまで非公開だったインシデントが発生しました。とある開発者が、Jane Streetのリバースエンジニアリングチャレンジの解法を詳しく解説しています。米軍は、セキュリティ上の懸念から兵士の携帯電話の広告トラッカーを無効化しています。

オープンソースとプライバシー

とあるユーザーが、オープンソースのeInkバイクコンピューター「Open Trail PAPER」を共有しました。 torrent関連の訴訟により、Metaの幹部が悪質なファイル共有者として特定されました。Windowsのプライバシー保護には、O&O ShutUp10がアンチスパイウェアツールを提供しています。Tor出口ノードの作成に関するクイックガイドは今でも参考になります。欧州の各国は金の保管場所を再検討しています。奇妙なことに、Gmailは2027年までに「送信元」としての第三者製個人アドレスのサポートを終了します。

開発者ツール

Spotifyの「Portal」により、Claude Codeのトークン使用量が90%削減されました。また、Rust製のReactコンパイラがViteにネイティブ統合されました。動的クライアント登録により、あらゆるアプリを他のあらゆるアプリと接続できるようになり、OAuthの「N」問題が解決されます。IBMはコーディング支援AI「Boba」を発表しました。準同型暗号コンパイラプロジェクト「HEIR」がアップデートされました。Moadim.ioは、オープンソースのエージェントスケジューラーです。

システムとネットワーキング

Spacetimedbは、コンピューティング、ストレージ、ネットワーキングにまたがるスケーリング手法を解説しています。2015年のガイドですが、Tor出口ノードの作成方法は今でも有効です。random_page_costの分析により、Postgre SQLのパフォーマンス最適化に関する新たな知見が得られました。Nitterにはこれまで以上に多くの動作するインスタンスがあります。イタリアのエンジニアたちがオープンソースのeInkバイクコンピューターを開発しました。

セキュリティとDNS

Quad9は、無料のセキュリティ重視・高プライバシーな公開DNS再帰サービスを提供しています。Mullvadは暗号化DNSサーバーの公開を終了し、代わりにQuad9を支援しています。de SECは無料のセキュアDNSサービスを提供しています。

インフラストラクチャとホスティング

欧州のgitホスティングサービスPushIn.euが注目を集めています。Statichost.euは、100%欧州拠点の静的サイトホスティングで、HNで254ポイントを獲得しました。とある開発者が、LG C5のwebOSのリージョン設定を変更して5GHz Wi-Fiを復元する方法を詳しく解説しています。

ハードウェアと研究開発

米軍は兵士の携帯電話から広告トラッカーを無効化しています。科学者たちは、ブラジル産マグロのサンプルの96%から寄生虫を発見しました。ギターのフレットは、計算尺のように掛け算を行うことができると、Charles Petzold氏が解説しています。AIは回路基板を設計できるようになったのでしょうか?新しいプロジェクトがその可能性を探っています。