11337 点
OpenAI、フロンティアAIモデルが生成した新しい数学的成果を共有
OpenAIは、社内のフロンティアAIモデルが生成した新しい数学的成果のコレクションをGitHubリポジトリを通じて公開し、Leanによる形式証明と計算コストの見積もりを含め、数学の専門家と協議しながらAI支援による発見のベストプラクティスを策定した。
記事全文を読む →
22036 点
Mistral Large 4、欧州のAI主権を重視したオープンソースAIを前進させる
Mistralの新しい1兆パラメーターモデルは、データ分析のパフォーマンスとコスト効率を大幅に向上させるとともに、ヨーロッパ内でのトレーニングと導入を通じて欧州のAI主権を強調している。
記事全文を読む →
3359 点
example.com の最近の redesign が多言語サポートとアニメーション遷移を追加
文書の例として使われる IANA が運営する example.com ドメインは、2026 年 9 月下旬から 10 月初頭にかけて大きな変更が行われ、多言語サポートとアニメーションテキスト遷移を追加した後、すぐにすべての言語を表示するように簡素化されました。
記事全文を読む →
4581 点
フランシス・ハルツェン氏がIceCubeニュートリノ観測所の業績で2026年ノーベル物理学賞を受賞
王立スウェーデン科学アカデミーは、IceCubeニュートリノ観測所の先駆的な業績と天体物理学的起源を持つ高エネルギーニュートリノの発見により、フランシス・ハルツェン氏に2026年のノーベル物理学賞を授与しました。この記事では、IceCubeがこれらの elusive な粒子をどう検出するのか、そしてなぜそれが宇宙の最もエネルギー的な過程を観測する独自の窓となるのかを説明します。
記事全文を読む →5345 点
OpenTPU：AIが設計したFPGAアクセラレータがシミュレータ完全一致の出力で量子化言語モデルを実行
openTPUプロジェクトは、AIエージェントがハードウェア、命令セット、シミュレータ、コンパイラ、プロファイラを単一リポジトリで設計したオープンソースのAIアクセラレータを紹介しています。Xilinx Kintex-7 FPGAカード上でQwen3やLFM2.5などの量子化された現代の言語モデルを実行し、シミュレータとビット同一のトークン出力を生み出しながら、ホストの関与や量子化の精度におけるトレードオフを明らかにしています。
記事全文を読む →
6435 点
EmbeddingGemma 2: Googleのオープンマルチモーダル埋め込みモデル（オンデバイスAI向け）
GoogleのEmbeddingGemma 2は、テキスト、画像、音声、動画を共有埋め込み空間で統合し、モジュラー設計、Matryoshka Representation Learning、8Kトークンのコンテキスト窓を備え、Apache 2.0ライセンスの下でオンデバイス性能に最適化されています。
記事全文を読む →
7322 点
Deno の体験が悪化したため、開発者が Node.js に戻る
ウェブ開発者が、Deno から Node.js への移行を詳述し、Node.js のモダン JavaScript サポートと開発者エクスペリエンスの大幅な改善を挙げつつ、Deno を離れた原因となった特定の使いやすさと信頼性の問題を指摘している。
記事全文を読む →
8390 点
OpenAIのDecisions APIがパブリックベータに移行、専用評価エンドポイントを提供
OpenAIはDecisions APIをパブリックベータでリリースし、テキストと画像入力の高速評価のための専用エンドポイントを提供しました。このAPIはgpt-6-lunaモデルを使用し、述語、選択、スコアの質問タイプをサポートします。ドキュメントによれば、Responses APIと比べて約10倍のパフォーマンス向上が実現されています。
記事全文を読む →
9244 点
人気のZigbee温度センサーの包括的比較が明らかにした主な違い
ベストセラーのZigbee温度・湿度センサー12機種を詳細に比較した結果、精度、バッテリー寿命、形状、使用環境に大きな違いがあることが判明し、屋外使用に耐える防塵防水性能を備えているのは1機種のみだった。
記事全文を読む →10148 点記事準備中
Benchmark in Milliseconds (matklad.github.io)
11269 点記事準備中
Claude Code’s suggested message feature: I think the real customer is the model (zohaib.cc)
12301 点
地球の質量で優占している種は何か？人間でもアリでもなく、北方の針葉樹である
アリが人間より重いという神話にかかわらず、実際には人間はアリ全体の五倍の質量がある。生物圏のエネルギー流を反映する炭素含量でバイオマスを測ると、植物は動物を圧倒的に上回る。個々の種では、北方針葉樹のブラック・スプルースが110億トン以上のバイオマスを蓄え、これはほぼ56億トンの炭素に相当し、すべての動物の炭素総量のほぼ3倍となる。
記事全文を読む →13205 点記事準備中
Wood Tape (2004) (gamesbyemail.com)
14318 点
Gleam がビルドの高速化とデバッグの精度向上のために Erlang 抽象フォームに切り替え
Gleam v1.19.0 は、Erlang ソースコードの代わりに Erlang 抽象フォームを出力するようになり、コンパイルが高速化され、ランタイムエラーでの正確な行番号が提供され、さらに直接的な BEAM バイトコード生成によるメンテナンスの負荷を回避します。
記事全文を読む →
15353 点
研究により、生態系が種の喪失に対して以前考えられていたよりもレジリエンスが低いことが明らかになった
400以上の研究を横断的に分析した結果、ほとんどの生態系サービスは生物多様性とともに安定して増加し、早期にレベルオフするわけではなく、そのため自然が種の喪失後に『戻る』能力は過大評価されていることが示された。
記事全文を読む →17468 点記事準備中
Polars 2.0 (pola.rs)
18155 点
カリフォルニア州、新しいビジネス居住規則でモンタナ州ナンバープレート税の抜け道を封じ込む
2026年9月30日より、カリフォルニア州の上院法案SB 1406は、カリフォルニア州在住のオーナーがいるビジネスを税務上カリフォルニア州の居住者として扱うことでモンタナ州のナンバープレート税の抜け道をなくし、会社の役員に未納の車両使用税について個人責任を負わせます。
記事全文を読む →
19271 点
パラマウントとワーナー・ブラザーズ・ディスカバリーが1110億ドルの合併を完了し、スカイダンスを設立
パラマウントとワーナー・ブラザーズ・ディスカバリーの合併が最終化され、デビッド・エリソンの指導の下、主要な映画スタジオ、ストリーミングサービス、放送ネットワーク、スポーツ資産、広範なコンテンツライブラリを統合した新しいエンターテイメントコングロマリット「スカイダンス」が誕生しました。
記事全文を読む →
21109 点
秘密投票の下に潜むアルゴリズムの失敗
Dominion の投票スキャナーに脆弱性があり、投票を匿名化するシャッフルアルゴリズムの逆変換が可能となり、公開された投票者リストと組み合わせることで個人の投票内容を復元できる。2023 以降に修正が提供されているにもかかわらず、多くの管轄区域がシステムを更新しておらず、選挙がプライバシー侵害のリスクにさらされている。
記事全文を読む →
22294 点
LLM時代におけるCommon Lispが優れている理由
ヴィヴィアン・ヘンズは、Common Lispのライブイメージシステム、条件ベースのデバッグ、コードとデータの一貫性が、AI支援開発に独自に適していると主張しており、即時フィードバック、安全な実験、トークン使用量を減らす簡潔なプログラムを提供すると述べています。
記事全文を読む →
2477 点
なぜ C++ で ~true が true と評価されるのか——そしてコンパイラが意見を分ける場所
C++ の true のビット補数が true と評価されるのは、まず bool が int に昇格され、ビット補数で –2 となり、その後ブーリアン変換により bool に戻されるためです。この単純な規則は、基底型が bool のスコープ列挙型では機能せず、その結果を切り捨ててブーリアン変換を適用しない gcc が間違った結果を出す一方で、Clang と MSVC は標準に従います。さらに、基底型が固定されていないスコープなし列挙型では、補数値を列挙型にキャストしようとしたときに未定義の動作が発生する可能性があります。
記事全文を読む →
26113 点
ヴィンテージ Mac での iChat 音声・ビデオ会議の復活
詳細なガイドでは、Leopard または Snow Leopard を実行している古い Mac で、個人用 SNATMAP サーバーを実行し /etc/hosts を使って configuration.apple.com をリダイレクトすることで、iChat AV の音声およびビデオ通話を復元する方法を示しています。
記事全文を読む →
27163 点
Fervo Energyの強化型地熱発電所が建設から23か月で電力供給を開始
Fervo Energyは、ユタ州のケープステーション強化型地熱発電所が電力網への供給を開始したと発表しました。これによりこの技術の最初の商業的マイルストーンを達成しました。最初のフェーズは着工から23か月で完了し、計画された100メガワット容量の3分の1を供給します。Googleと南カリフォルニアエジソンからの購入 commitments があり、将来的には最大4ギガワットへの拡張の可能性があります。
記事全文を読む →
2874 点
地熱エネルギー探査と最適化の数学的基盤
地熱エネルギーは地球内部の熱を発電や暖房に利用するが、実際の導入には地下過程をシミュレートし、採取を最適化し、経済的妥当性を評価する数学モデルが不可欠である。これらのモデルは理論的ポテンシャルをエンジニアリングソリューションに変換する。
記事全文を読む →
2988 点
音楽ベースのアカウンタビリティシステムが日常のタスクを共有の喜びに変える方法
個人のタスクを完了した後に曲を交換するカップルの実験は、説明責任を罰則的措置ではなく、ポジティブで共有される体験として捉えることができることを示している。
記事全文を読む →