Lean proved this program was correct; then I found a bug. 13 Apr, 2026 lean formal_verification security fuzzing I fuzzed a verified implementation of zlib and found a buffer overflow in the Lean runtime. AI agents are getting very good at finding vulnerabilities in large-scale software systems...
書籍に関するメモなんかも、着実に増えています。 あとから「あの本、なんて書いてあったっけ？」と思ったときに、自分の言葉でまとめた記録にすぐアクセスできるのは、便利です。 ただ、ノートが増えてくると、別の問題が出てきます。 「あのメモ、どこだっけ？」問題です。 ファイル名で検索すればいいじゃん、と思う...
1. PPTXファイルの正体 ── ZIP の中の XML 群 PowerPointファイルは、見た目はひとつの塊だが、実態は XMLファイルの集合体をZIPで圧縮したもの だ。 スライド本体（slide*.xml）とは別に、デザインを司る「マスター」「レイアウト」「テーマ」が独立したファイルとして存在している。この分離が、後述するテンプレート...
Claude Codeに「学習する仕組み」を自作して載せたら、同じ指摘を繰り返す回数が目に見えて減りました。 「記事で盛らないで」「コードブロックの中も直して」「テストする前に聞いて」——私はこういう注意を、セッションのたびに何度も繰り返していたんです。 AIは賢い。賢いんですが、次のセッションではきれいさっぱり...
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? お前がコードを書き始める前に 言っておきたい事がある かなりきびしい話もするが 俺の本音を聞いておけ はじめに これから少しの間、不器用で、偉そうで、厳しいことを言う。けれ...
先日CloudflareからEmDashというCMSが登場して、「Wordpressの精神的後継者」というキャッチフレーズが流行りました。EmDash自体はCloudflareのSandboxという仕組みを前面に押し出していて、プラグインを安全に実行するというコンセプトは非常に面白かったです。が、公私ともに何十個もWordpressをインストールしたり、...
Windows端末やAndroid端末のベンチマークやモニタリングを行うソフトウェアを配布している「CPUID」がハッキングの被害に遭い、端末のCPU情報を取得・閲覧する「CPU-Z」やハードウェア監視を行う「HWMonitor」にマルウェアが混入されていたことがわかりました。CPUIDはおよそ6時間にわたり侵害があったことを認めた上で...
「ZIP!」の制作スタッフが、芸能人の名前が入った台本と思われる資料や番組シフト表をSNSにアップし、問題となっている。ITジャーナリスト鈴木朋子さんは「企業にとって社内情報の漏洩は、経済的な損失や社会的な信用の失墜に繋がる。一方で、問題を起こした人は企業の就業規則に基づいて処分されるだけでなく、実名や顔...
「ZIP！」の制作スタッフが、芸能人の名前が入った台本と思われる資料や番組シフト表をSNSにアップし、問題となっている。ITジャーナリスト鈴木朋子さんは「企業にとって社内情報の漏洩は、経済的な損失や社会的な信用の失墜に繋がる。一方で、問題を起こした人は企業の就業規則に基づいて処分されるだけでなく、実名や...
トップページ＞ 理科 『 野菜くだもの』＞ 世界最大の柑橘類といわれているくだものは次のうちどれ? ブログランキングに参加しています。 この記事を読んでおもしろいという人は応援クリックお願いします。 どうも、クイズで知識も楽しくゲットしたくなるブログです。 日本や世界にはいろいろな品種があるくだものがあり...
「ZIP!」に関連する商品は見つかりませんでした