Installed a formal-verification skill: it silently installed Java, MacBook runs 10 degrees hotter
zealcaiden · x · 2026-10-23
After using @poteto's /create-formal-verification-skill, the user has no idea what it actually did, but it installed Java, his MacBook runs 10 degrees hotter, and compiling takes 6 extra minutes. On the upside, he's been assured race conditions can no longer happen — a classic complaint about opaque agent-skill side effects.
More from coding & agent
- Claude cut a 2.6-hour video export to 20 minutes — but only after being told to rebuild the server — byhewar · 2026-10-23
- 3 flight-booking rules my AI agent checks that I'd never do by hand — Efistoffeles · 2026-10-23
- OpenJet claims Qwen3.8-27B coding runs 1.9x faster than llama.cpp on one RTX 3090 — JeremyCMorgan · 2026-10-23
- Building an autonomous SEO agent in Hermes with three skills: programmatic pages, Keywords Everywhere, DataForSEO — EXM7777 · 2026-10-23
- Building a sports betting AI agent with onchain execution and human approval by default: architecture and lessons — Dry-Comfortable-2678 · 2026-10-23
- How do you audit AI agent decisions in regulated workflows? A field survey — Ok_Way_1993 · 2026-10-23