Mozillaの調査によると、MicrosoftはWindowsにおけるブラウザ選択の妨害を継続している
Mozillaの独立レポート『Over The Edge 2.0』が公開されてから100日が経ち、WindowsがユーザーをEdgeに誘導する方法を指摘した後も、Microsoftはユーザーのブラウザ選択を上書きする設計戦術を継続しており、これはMozillaの最新の調査によるものです。
記事全文を読む →最新の解説
チャールズ・モンティースがゴールディングの『蝿の王』を文学的古典に編集した方法
LRBの記事は、編集者チャールズ・モンティースがウィリアム・ゴールディングの断固として拒まれた原稿を『蝿の王』に変えるために行った構造的、 tonal 、寓話的な具体的な修正を詳述し、さらに小説の成功後、二人の協力関係がどのように変化していったかを追う。ゴールディングはその後、ますます複雑なテーマを追求した。
記事全文を読む →
GitHub、プルリクエストアクセスを制御する新しいリポジトリ設定を導入
GitHub は、メンテナーがプルリクエストを完全に無効にしたり、コラボレーターのみがプルリクエストを作成できるように制限したりできる 2 つの新しいリポジトリ設定を追加し、リポジトリがコントリビューションを受け入れる方法を細かく制御できるようにしました。
記事全文を読む →
ボランティアメンテナーが支えるグローバルインターネット基盤
何十億人も利用する重要なデジタルインフラストラクチャーは、ごく少数の開発者、しばしばボランティアや最小限のサポートで維持されており、サプライチェーン攻撃や資金格差によって脆弱性が露呈している。
記事全文を読む →
QEMU上で動作する最小のSwiftカーネル
開発者はSwiftで小さなオペレーティングシステムカーネルを構築し、QEMUエミュレータで起動させました。これにより、基盤となるOSがないベアメタルハードウェアでもEmbedded Swiftが動作できることを示しています。
記事全文を読む →LLM生成のRustによるTypeScriptコンパイラ移植が互換性と速度の向上を示す
ts-rsという実験的なプロジェクトが、大規模言語モデルを使用してMicrosoftのTypeScript 7コンパイラをRustに移植し、元のGoベースの動作を維持しながらベンチマークで顕著なパフォーマンス向上をもたらした。
記事全文を読む →Zerobrewはコンテンツアドレス可能なストレージによりHomebrewに比べて最大100倍の速度向上を主張
Zerobrewは、Homebrewの既製ボトルを再利用しつつ、コンテンツアドレス可能なストレージとインプロセスリンクを通じてインストールを行い、HomebrewのRuby評価やバイナリごとの再リンク手順を回避することで、インストールを劇的に高速化すると主張する新しいパッケージマネージャーです。
記事全文を読む →
ウィーンと北京で初めてのトリウム核時計が刻む
オーストリアと中国の研究者が独立して、トリウム-229核遷移を用いて時間を追跡する初めての核時計を構築し、数百万年に1秒しかずれない精度を達成し、携帯可能な時間計測やダークマター検知への道を開いた。
記事全文を読む →
Cleoの謎：スタック・オーバーフローの匿名数学者がウラジミール・レシェトニコフと判明
スタック・オーバーフローのMathematics部門で、解答過程を示さずに複雑な積分問題の専門的な解答を提供していた匿名ユーザー「Cleo」の正体が、2025年1月にウズベキスタン系アメリカ人のソフトウェア開発者かつ数学者であるウラジミール・レシェトニコフであることが明らかになった。
記事全文を読む →
ジョナサン・ザ・トータス：ゲノムシークエンシングが極端な長寿の手がかりを明らかに
194歳のジョナサン・アルダブラゾウガメは、現存する陸上動物の中で最も長寿の記録を持っています。研究者は彼のゲノムをシークエンシングし、DNA修復、インスリン調節、ミトコンドリア機能に関連する特徴的な遺伝子変異、そして彼の例外的な寿命に寄与する可能性がある異常にきれいなミトコンドリアメチロームを発見しました。
記事全文を読む →
Penguin Mailは、オプションのAIアシスタントを備えたRust製のメールおよびカレンダークライアントをLinuxにもたらす
Penguin Mailは、Rustで書かれたLinux向けのオープンソースのメールおよびカレンダークライアントで、Gmail、Microsoft、IMAP/POP3アカウントの統合受信トレイ、ローカルデータストレージ、LM StudioまたはOllamaを介してユーザーのマシン上で動作するオプションのAIアシスタントを提供します。
記事全文を読む →
2026年調査：開発者たちの職業不安、燃え尽き、AIへの不安が高まる
2026年State of Devs調査は、ソフトウェア開発者における広範な職業不安と燃え尽き、AIに関する分断された見方を浮き彫りにしている。過半数が燃え尽きを経験し、約半数が外部要因によるキャリア変更を予見している。
記事全文を読む →
AIチューターが数学でわずかな向上を示すも、生徒のエンゲージメントが課題に
テネシー州の18の中学校で2年間にわたり実施された無作為化試験では、補習数学の授業でKhan AcademyのAIチューター「Khanmigo」へのアクセスを提供したところ、生徒の達成度が1学期あたり約1.3国立パーセンタイルランク上昇した。しかし、この向上はAIなしのKhan Academyを使用した場合と統計的に区別できず、研究者たちは最大の制約はエンゲージメントにあると結論付けている：大多数の生徒はチューターをほとんど使わず、使った場合も表面的なやり取りにとどまった。
記事全文を読む →
Ledge.sh は永続的なシェル環境を持つ実行可能な Markdown ノートを可能にする
Ledge.sh は、ユーザーがシェルコマンド、コード、SQL、AI プロンプトをノート内で直接実行できるオープンソースの Markdown ノートアプリケーションです。各ノートは独自の永続的なシェル環境を維持します。
記事全文を読む →
OCamlによる定量ファイナンス：型安全な金融エンジニアリングガイド
『Quantitative Finance with OCaml』は、OCamlの強力な型システムを使って金融プログラミングのエラーの大半をコンパイル時に排除し、デリバティブ価格付け、リスク管理、クレジットモデリング、アルゴリズミック取引などの定量ファイナンスの核心トピックを教えます。本書は実務レベルのコード、誠実な数学的導出、そして7パート31章にわたるOCaml 5の最新機能をカバーしています。
記事全文を読む →
バビロニアの書記訓練に宗教的指導が組み込まれていたことが研究で判明
紀元前1千年にさかのぼるバビロニアの教育に関する研究により、別個の宗教教育プログラムは存在しなかったものの、書記を目指す学生たちは標準カリキュラムを通じて宗教的知識を吸収し、神々、神殿の慣習、神と人間の関係について学んでいたことが明らかになった。これは行政職への訓練の一部としてだった。
記事全文を読む →
学生ストライキの義務付けに適用される不动点理論
2012年のブログ記事は、コンピュータサイエンスの不动点数学がケベックの学生組合のストライキ義務付けにどのように適用されるかを説明し、ストライキを行う組合を決定する直感的なアプローチがなぜしばしば失敗するのか、そして最大不动点を探すことが正しい解決策であることを示しています。
記事全文を読む →Xray-coreの証明書ピンニング問題、研究者が対応を問題視
脆弱性の報告者はGitHub issueで、Xray-coreが以前の証明書ピンニング回避問題をセキュリティ告知なしに修正したと主張しています。Xray-coreの2026年7月の公式アドバイザリーは、pinnedPeerCertSha256の一部設定で中間者攻撃につながり得ることを認め、修正版をv26.7.11以降としています。ただし、以前の不具合や隠蔽の意図まで独立に裏付けるものではありません。
記事全文を読む →
スワップページアウトされたメタデータによる40msのGoガベージコレクタ停止
Go開発者は、GCメタデータがスワップアウトされることでストップ・ザ・ワールドのガベージコレクタ停止が発生し、それが40msの遅延を引き起こすことを発見し、本番システムにおける潜在的なレイテンシリスクを明らかにした。
記事全文を読む →
ArtCraft、Rustで構築されたオープンソースクリエイティブアプリ7種を発表
ArtCraftは、画像編集、ベクターイラスト、ビデオ、フォトライブラリ、PDFワークベンチ、モーショングラフィック、ページレイアウト向けのネイティブデスクトップアプリ7種類を紹介しました。すべてRustで記述され、許容範囲の広いオープンソースライセンスでリリースされています。これらのアプリは、ローカルファイル処理、プロフェッショナルに馴染みのあるワークフロー、エージェント対応のCLI/MCPインターフェース、ブラウザ使用のためのWebAssemblyビルドを重視しています。
記事全文を読む →