1
フェルマーの最終定理の形式化
Formalizing Fermat's Last Theorem->
P723
2
Chromiumの全バージョンに存在する、実際に悪用されているサンドボックスRCE脆弱性
Actively exploited sandbox RCE in all Chromium versions->
P711
3
Nitterの稼働インスタンス数が、差し押さえ前よりも増加
Nitter has more working instances than before the takedowns->
P551
4
アメリカ人の89%（過去最高）が「政府の汚職が蔓延している」と回答
Record-High 89% in U.S. Say Government Corruption Widespread->
P533
5
パブリックな暗号化DNSサービスの提供終了
Shutting down our public encrypted DNS->
P425
6
アダルトビデオ制作会社が、有名なトレント海賊版投稿者「John DOE」の正体はMeta社の幹部であると特定
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive->
P414
7
Statichost.eu – 欧州の静的サイトホスティング
Statichost.eu – European static site hosting->
P412
8
Show HN: オープンソースの電子ペーパー搭載サイクルコンピューター
Show HN: Open-Source eInk Bike Computer->
P369
9
AIはもう回路基板を設計できるのか？
Can AI design circuit boards yet?->
P339
10
AIが障害対応を行うことで、エンジニアがシステムを把握できなくなっている
AI handles incidents, engineers lose touch with their systems->
P328
11
オランダ、米国から金（ゴールド）を回収
Netherlands pulls gold out of the US->
P325
12
アメリカの企業がオープンソースAIに夢中になっている
Corporate America is getting hooked on open-source AI->
P314
13
OpenRouterでGPT-6 Astraが利用可能に
GPT-6 Astra on OpenRouter->
P290
14
地球温暖化は1.5度の制限を超えると国連が発表
Global warming will exceed 1.5-degree limit, UN says->
P289
15
欧州からデータが出ることのないGitホスティング
Git hosting that never leaves Europe->
P263
16
「永遠の化学物質」による惨劇は、いかにして秘密にされてきたのか
How the Disaster of "Forever Chemicals" Was Kept Secret->
P243
17
SpotifyのPortalによりClaude Codeのトークン使用量が90%削減された
Portal by Spotify cut my Claude Code token usage by 90%->
P234
18
「60ドルのゲーミングPC」 – AMD BC-250 (2025年)
The "$60 Gaming PC" – AMD BC-250 (2025)->
P203
19
OpenAIとAnthropicで発生した障害の原因について、誰も語っていない
Nobody is saying why OpenAI and Anthropic had outages->
P202
20
Gmailが@yahoo.comなどのサードパーティ製アドレスを使用した「名前付き送信」のサポートを終了へ
Gmail to end support for "Send as" for third-party addresses, such as @yahoo.com->
P189
21
なぜ欧州諸国は北米から自国の金（ゴールド）を引き上げているのか？
Why are European countries moving their gold out of North America?->
P187
22
Rust製のReactコンパイラがViteにネイティブ搭載
The Rust React Compiler is now native in Vite->
P162
23
deSEC – 無料でセキュアなDNS
deSEC – Free Secure DNS->
P148
24
25
Lean 4を用いたフェルマーの最終定理の証明
Fermat's Last Theorem in Lean 4->
P141
26
LLMのメンタルモデルとして「次トークン予測機」と考えるのは間違いである
“Next-token predictor” is the wrong mental model for LLMs->
P136
27
ギターのフレットで掛け算はできるのか？
Can guitar frets perform multiplication?->
P119
28
無料でセキュリティと高いプライバシーを提供するオープンな再帰DNSサービス
An open DNS recursive service for free security and high privacy->
P111
29
政府のRailsサイト、CVEパッチ適用からわずか数時間後にハッキング被害
Government Rails Site Hit Hours After CVE Patch->
P110
30
デフォルトですべてを.gitignoreの対象にする
.gitignore Everything by Default->
P105
31
米国国防総省、説明なしに新しいテストステロン検査方針を撤回
Pentagon rescinds new testosterone screening policy without explanation->
P102
32
コードがどれほど酷くなり得るかに限界はない
There's No Limit to How Bad Code Can Get->
P95
33
Terpstraキーボード
Terpstra Keyboard->
P91
34
イグノーベル賞受賞者たちの紹介
Meet the Ig Nobel Prize Winners->
P86
35
NVIDIAによるHugging Face買収後におけるllama.cpp/ggmlの将来について：Georgi Gerganov氏の見解
Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace->
P76
36
Amazonが「プラットフォームの糞化（Enshitification）」のさらなる深みに到達
Amazon Achieves Enshitification Inception->
P76
37
Project HydraFusion: マルチモデルの連携（オーケストレーション）による最先端の品質
Project HydraFusion: Frontier quality via multi-model orchestration->
P74
38
コードレビューにおけるGPT-6 Astra：メリット、プライバシー、およびコスト
GPT-6 Astra in code review: Gains, privacy, and cost->
P69
39
Claudeの新しいシステムプロンプトは歌詞の複製を拒否するように
Claude's new system prompt doesn't want to reproduce song lyrics->
P64
40
今月のLadybird – 2026年8月
This Month in Ladybird – August 2026->
P63
※ ポイントは2026-09-05時点の値です