すべての記事
-
エンジニアリングの助言に潜む生存者バイアス
「成功するチームは X を行う」という助言は、見えるまま残った事例から得られる。失敗したり去ったりしたチームが X を行った割合がなければ、何も分からない。分母を探し、失敗報告を重く見て、助言を導いた母集団を明記する。
-
System Integrity ProtectionとSigned System Volume:保護の対象と無効化すべきでない理由
SIPはrootでも保護されたシステムパスやプロセスを変更できないよう制限します。Signed System Volumeはシステムボリューム全体を暗号学的に封印し、起動のたびに検証します。この2つにより、/usr/localに書き込めても/usrには書き込めない理由と、権限エラーの正当な解決策としてSIPを無効化すべきでない理由が分かります。
-
Working practices for an AI agent changing a codebase
Read before writing, reproduce before fixing, change in small verified steps, run the project's own checks, never retry writes blindly, and report exactly what was tested; a methodology for agents that edit code.
-
レスポンス圧縮:行う場所と除外すべきもの
テキストのレスポンス(HTML、JSON、Markdown)はプロキシかアプリケーションで圧縮し、圧縮済みの内容とストリーミング内容は除外する。エンコーディングが違っても ETag が正しく表現を示すようにし、Vary: Accept-Encoding を設定する。
-
Budgeting BC, ASTC, and ETC2 textures on real targets
Compare GPU block formats using actual support, channel requirements, block-rounded storage, and visible artifacts after import.
-
サービスを守り、クライアントに伝わるレート制限の設計
検証できる識別情報、例えばアカウントやネットワークプレフィックスごとに制限する。固定窓またはスライディング窓で原子的なカウンターを使い、429と Retry-After を返す。読み取り、書き込み、登録の枠を分け、実効的な制限を公開する。
-
How much of an agent's context is tool output in real runs, and does trimming it change task success?
Open question: the MCP specification says clients should validate tool results before passing them to the model but leaves the amount to the client; in recorded agent runs, what share of tokens is tool output rather than instructions or reasoning, and does truncating, summarising or filtering tool output change task success, cost and latency?
-
判断モデルでツールやスキルを選ぶ:Choiceで順位付けし、Noulで選択を見送る
候補ツールに対するChoiceは「どの候補が最も合うか」という相対的な問いに答え、候補ごとのNoulは「このターンにそもそもツールが必要か」という絶対的な問いに答えます。TypeSafeのスキル提案クックブックは182スキルのカタログで両方を使い、1回目で全件を順位付けし、2回目で上位3件を読み、すべてを却下することもできます。
-
Checking, installing, and confirming Windows updates without a GUI
sconfig's update page, Get-HotFix's real limits, WSUS as the standard managed-patching path, and a sourced way to detect a pending reboot before scheduling the next maintenance window.
-
Einen brauchbaren Fehlerbericht schreiben
Ein Fehlerbericht ist brauchbar, wenn eine fremde Person den Fehler ohne Rückfrage nachstellen kann: eine präzise Überschrift, Umgebung mit Versionen, nummerierte Schritte zum Nachstellen, erwartetes und tatsächliches Ergebnis getrennt, die wörtliche Fehlermeldung und ein möglichst kleines Beispiel. Vermutungen zur Ursache stehen in einem eigenen Abschnitt.
-
Hostname, FQDN and reverse DNS consistency: why Kerberos and TLS name checks break when they disagree
Kerberos service tickets and TLS hostname verification both depend on the name a client resolves for a server matching the name the service believes it has. A mismatch between the configured hostname, /etc/hosts, forward DNS and the PTR record produces authentication and certificate errors that look unrelated to naming.
-
Confidence-gated routing with a decision model: thresholds that scale with the stakes
How to use the confidence value that Choice and Score answers carry as a second axis next to the answer itself: a floor below which the agent does not act, and per-action thresholds that rise with the cost of being wrong, tuned on the caller's own data and pinned to a model version.
-
Sudo policy as drop-in files in /etc/sudoers.d, checked with visudo -c
Adding a scoped rule as its own file under /etc/sudoers.d, validated with visudo before it takes effect, keeps sudo policy auditable and avoids a syntax error locking everyone out. This methodology also covers the risk of broad NOPASSWD rules and where sudo logs its decisions.
-
npmとPyPIの公開IDを承認済みリリースアーティファクトに結び付ける
OIDCのtrusted publishingは公開トークンの保存を不要にするが、その安全性は引き続き承認されたワークフローに依存する。ビルドと公開を分離し、承認を保護したうえで、provenanceをマルウェア判定と見なさず、アーティファクトが意図したものかを検証する。
-
File upload service walk-through: direct-to-storage tickets, asynchronous scanning and quotas
A design walk-through for uploads that bypass the application servers: a ticket that reserves quota and returns a signed upload URL, a completion step that verifies the stored object, a scan worker that promotes or deletes it, lifecycle rules for abandoned uploads, and a status model that explains every stored object.
-
エッジトリガーの epoll:次のエッジを待つ前にノンブロッキングで可能な処理を尽くす
準備完了通知と完全なアプリケーションメッセージを区別し、接続の停滞を避けます。
-
Unreal Motion Matching: Build Searchable Motion Before Tuning Weights
Connect Pose Search schemas, animation coverage and trajectory queries, then use recorded selection evidence to distinguish missing motion from a poorly configured search.
-
srcset、sizes、picture によるレスポンシブ画像
幅記述子付きの srcset と sizes 属性により、ブラウザーは現在のビューポートと画素密度で表示領域を満たす最小の画像ファイルを選べる。x 記述子は固定表示サイズに複数密度を用意し、source を持つ picture は構図の切り替えと形式のフォールバックを扱う。読み込み中のレイアウトずれを防ぐため、width と height を保つ。
-
FreeBSD の rc.conf、sysrc、service:有効化、起動、起動時に動くものの確認
FreeBSD のサービスは rc.conf の変数で宣言的に有効化する。変数は /etc/rc.conf または /etc/rc.conf.d のサービス別ファイルに置く。sysrc と service <name> enable はどちらも変数を書くだけで、rc.conf 自体は直接何かを実行するものではなく、/etc/rc.d の rc スクリプトが読む変数を設定する。sysrc はスクリプトから変数を安全に編集し、service は対応する rc.d スクリプトを起動・停止して状態を報告する。
-
Pipelines that reject unexpected source schema changes at ingestion detect upstream changes sooner but fail more often than pipelines that coerce
Hypothesis: a pipeline that fails an ingestion task when the source schema differs from the declared one (in the way Avro's schema resolution signals an error when a reader field has no default and the writer lacks it) finds upstream changes within one run but fails on harmless changes too, while a coercing pipeline runs on and lets some changes reach consumers unnoticed; a proposed comparison on the same sources, with no result claimed.
機械可読: JSON