Hacker News のランキングは実際どう決まるか：スコア、論争、ペナルティ
著者は数日間 HN の上位 60 記事を追跡して逆解析した。公開式はほぼ正確だが、フロントページの 20% はペナルティを受け、タイトルに NSA があると 0.4 倍、コメントが票より多く 40 件に達すると「論争」判定で一瞬で消える。
寄付がどう働いたか：Servo の資金支援開発から 1 年
Servo のパートタイムメンテナ Josh Bowman-Matthews が寄付に支えられた 1 年を振り返る。新メンテナ 8 名の推薦、1150 件の PR レビュー、新人向け issue 114 件の起票（92% 修正済み）など。
Bend 2 と vibe-coding の罠：調べる前に言語とコンパイラを作り切ってしまう
Bend 2 のデモは「法則」の宣言に 58 行、証明に 442 行。著者は同じプログラムを形式検証の SPARK で作り直し、不変条件を示すだけで GNATprove が 12 項目すべてを検証したと指摘する。
私がフィールズ賞受賞者たちの公開書簡に署名しなかった理由
Gowers は「危機に直面している」ことに同意しつつ、「概念的理解が問題解決より上位」という唯一の正解には与しない。数学者の動機をスペクトラムとして捉え、モデルが人間を全面的に超える未来と、公開が国際的に制限される未来を比較する。
みんな正気を失っている
著者は毎日の 7 割以上を AI 対応に費やし、仕事の楽しみを失ったと書く。規制を求める一方で拡大を続ける AI 企業、脆弱性の発見に資源を投じるセキュリティ業界、「ループに入った人間」のゴム印化を批判する。
Ternary Bonsai 2 27B：体積 9 分の 1、ベンチマーク性能の 98.2% を保持
Qwen3.8 27B をベースに三値重みで 5.9GB（重みあたり 1.76 実効ビット）まで圧縮し、総合ベンチマークの 98.2% を保持。RTX 5090 で 143 トークン/秒、Apache 2.0 で公開。
AI が作るポスターは、みんな同じでなくていい
著者は同じ架空のイベント情報で ChatGPT に何度もスタイルを変えさせ、バウハウスからリソグラフ、パンク・ファンジン、日本風ミニマルまで作らせて、AI ポスターの画一性は能力ではなく指示の問題だと示した。
LLMで書く方法
LLMが記事をベルビータチーズに変えないための2つのルール：提案された言い回しは使わず、初稿への褒め言葉も信じない。
数学が証明だけではないなら、その他の部分ももっと称える必要がある
Grant Sandersonは、AIによる証明の衝撃に応えるため、数学界は新しい証明だけでなく動機づけられた説明を正式に評価すべきだと提案した。
光子放出誘導レーザーフォールトインジェクションによるRP2350セキュアデバッグ
差分光子放出顕微鏡はデバッグ有効化レジスタの活動を特定し、SWDの前にレーザー探索範囲を絞り込んだ
スタンフォード大学医学部主導の研究で、人間の脳は実は2つの独立した器官であることが判明
スタンフォード医療センターは最高水準のケアと思いやりを提供しています。SHCはがん、心臓病、脳疾患、プライマリケアの問題などを治療しています。
なぜRust LSPの構築は難しいのか · Rust Glancer
ずっと昔、強力なmatkladがRustツールチェーンの仕組みについて素晴らしい記事をいくつか書いた。良い時代だったが、最後のrust-analyzerブログは2023年で止まっている。
AIにUIを作らせるが、選択問題だけをやらせる
大規模モデルにUIのJSONを直接書かせると、存在しないコンポーネントをでっち上げたり、勝手に文言を作ったり、壊れたとしても結果が返ってくるまで分からない。json-renderは発想を変え、UI構築を2つの有限な選択肢に分解し、モデルは選ぶだけ、コードが組み立てる。
Reanimated 4 安定版：ほとんどのworkletシナリオをCSSアニメーションで置き換え
Reanimated 4 安定版がリリース、CSS 互換の宣言的アニメーション API を追加し、一部の worklet シーンを置き換え可能。
スマホでオフライン動作するローカルモデル6選：パラメータ数、サイズ、それぞれの得意分野
2026年のローカルAIモデル6選：データをデバイス外に出さずに実行でき、プライバシーとオフライン能力を両立。
Discord を React Native の新アーキテクチャへ移行：本当に難しいのはスイッチを切り替えた後のロングテール
Discord がアプリを React Native の新アーキテクチャへ移行し、Fabric、Reanimated、Screens などの課題を解決した方法をご紹介します。
TypeSafeのAIユースケースマップとリスク評価チェックリスト：10の「判断形態」
TypeSafeはAIの意思決定をコードの制御フローに組み込み、リアルタイム適用の遅延はわずか150ms、ビッグデータ処理コストを100分の1に削減。
雪崩技術：流星的雪情報伝達、榴弾砲による斜面砲撃、盗難防止タグによる人物捜索
6年前に温めていたテーマ、アバランチテクノロジー。雪崩予報のSNOTELネットワークから山岳道路の能動的防除手段までを扱う。
GitHub CopilotランタイムをRustに移行し、Copilotを使用する
エージェントが登場する前は、この規模の書き換えは手が出なかった。Copilotエージェントランタイムを80万行の本番Rustコードに移植するのに実際にかかったコストを以下に示す。
同じリンカで2つのベンチマークが正反対の結論：Wild作者が項目ごとに分解して自分で確認
Moldが最近リンカベンチマークを更新し、初めてWildを対象に含めた。このベンチマークではWildはMoldよりかなり遅く、8月4日の前回リリース時にWildが最新で公表したベンチマーク結果とは逆である。
Go 1.27 で 80 バイト以内の割り当てが 20～30% 高速化、代償は icache
Go 1.27 で 80 バイト以下の割り当てがより高速なメモリ割り当てに。こうした割り当ては最大 20～30% 高速になり、割り当ての多いプログラムは最大 1% 高速に。Go ランタイムは特定サイズの割り当てに特化した関数を導入することで、これらの割り当ての性能を向上させた。
Rust公式が警告：メンテナーを狙った標的型攻撃が進行中、目的は公開権の奪取
すべての人が信頼性が高く効率的なソフトウェアを構築できるようにする。
JevとDeepSeekは同じ判断問題群を解いたが、違いはどちらがより賢いかではない
10の実シナリオ、確定的な答えを持つ66問、さらに229の検証問題、3つの比較アーム。精度差はわずか数ポイント、時間差は10倍、そして確率の使い方はまったく異なる。
制御と複雑性：システム設計における緊張
分析的な分解に基づきシステムの制御を維持することを目的とする広範なアプローチと、分析に抵抗する複雑系の視点、およびシステム設計への影響という2つの広範な方法を統合する。