Qiita (LLM)Japan
【Python×セキュリティ】Lean 4で形式検証したTOCTOU耐性パス閉じ込めライブラリ「PathFence」を作った
AIエージェントやMCPサーバーにローカルのファイル操作を任せる機会が急増しています。しかし、Python標準のパス検証には検査と実行の時間差を突かれる致命的なセキュリティリスクが潜んでいます。 本記事では、OSカーネルのシステムコールと定理証明支援系である Lean 4 ...
Read at Qiita (LLM) ↗Related
Japanpip install しただけで鍵が盗まれる？ LiteLLM 1.107.0 乗っ取りの仕組みと対処 Zenn (AI)
Japanwasm-opt -Ozでgzip後のサイズが増えたWasmを、141通りの実験で48%削減した話 Zenn (AI)
Japan【Python/pgvector】全国500万社規模の法人テキストを多次元空間に埋め込み、類似企業・競合をミリ秒で推薦するベクトル検索アーキ Zenn (AI)
JapanPyCon JP 2026 開催レポート ―Pythonコミュニティの熱気と学びが詰まった3日間 in 広島 gihyo.jp
JapaneMudhraの中間CAの秘密鍵が公開された証明書から復元可能と判明、pip・uvなどの開発ツールに修正版 gihyo.jp
