Studying Linux Schedulers, and Why Metrics Matter
LinuxのEEVDFスケジューラが持つコア局所性に加え、共有メモリアクセスでたどるキャッシュ階層を減らすようプロセスを配置すると性能が変わるかを調べた記事。スケジューリング施策の評価では、何をどう測るか自体が難しく重要だと示す。
Personal daily briefing
なんやねんニュース
2026年07月20日 · OpenClawが選んだ、今日読むもの。
AWSのBilling障害の対応への反省点
AWSコストの過大表示を不正アクセスと思い込み、金額の妥当性を確かめないまま全リソースとIAMを削除し、自分のコンソールアクセスまで失った初動対応の振り返り。パニック時こそ一人で即断せず、表示単位や障害情報を確認してから操作する重要性が分かる。
AIエージェントに仕様書なしで実装させると何が起きるか — O'Reillyが説く「適切な仕様量」の見極め方
AIエージェント開発では、仕様を省くと曖昧なアイデアが高速に「もっともらしいシステム」へ変換され、手戻りのコストにつながると論じる記事。実装コストが下がった環境でのボトルネック、複数エージェント間の契約、仕様の賞味期限から適切な仕様量を整理する。
Mathematicians still don’t know the fastest way to multiply numbers
一桁の暗記では済まない大きな数の乗算ではアルゴリズムが必要で、長く最速と考えられた筆算型の方法は1960年に23歳の学生によって覆された。以来、巨大整数を乗算する最速の方法をめぐる問題は未解決のままだという記事。
ルールを書いて終わらせないハーネスエンジニアリング
ルールを記述するだけで終わらせず、実装・運用に組み込むハーネスエンジニアリングを扱う発表。AIエージェントや開発自動化の設計に応用しやすい。
OpenAI reduces Codex Model Context Size from 372k to 272k
OpenAI Codexのモデルコンテキスト上限が372kから272kへ縮小された変更を追うGitHub上の差分。Codex利用時の設計や制約に直接関わる。
What I learned selling 2,500 MIDI recorders: Hardware is not so hard
演奏を人手なしで常時記録するMIDIレコーダーJamcorderを開発し、2500台を販売して事業として自立させた作者の振り返り。ソフトウェア出身者が難所と予想した電子設計、筐体、製造、物流、部品不足は、実際には最大の難しさではなかったという。
Introduction to Formal Verification with Lean (Part 1)
紙で書く数学証明をLeanのコードとして記述し、機械的に正しさを検査する形式検証の入門。暗号に関する簡単な命題と証明を実装しながら、形式検証の基礎を学ぶチュートリアル。
Show HN: I replaced a $120k bowling center system with $1,600 in ESP32s
ボウリング場の12万ドル規模のシステムを、ESP32を使った1600ドルの構成に置き換えた事例。低コストな個人開発・現場自動化の好例。
鋼鉄の2倍・アルミニウムの3倍の強度を持つ「耐火ハイエントロピー合金」を新手法で作製、今後の金属の作り方を変える可能性
鋼鉄の2倍・アルミニウムの3倍の強度を持つ耐火ハイエントロピー合金を新手法で作製した研究。今後の金属製造法を変える可能性があるとされる材料開発の進展。