一周热榜

在1950年代，芯片行业削弱了少数族裔、移民和女性的地位，并打击了工会。<p>在1960至1970年代，该行业将目标对准了黑人民权组织。<p>与此同时，白人男性被推入管理层，而与业务无关的工作则被拆分成更小的任务。这反过来使公司有了削减薪资的筹码。<p>我不在乎奥特曼所说的ChatGPT在黑箱中做了什么。我根据我所看到的来判断这个世界。现实是，ChatGPT、Claude等工具的实用性和智能水平与团队中最愚蠢、最慢的工程师差不多。<p>另一方面，引入这些工具使工作看起来更“高效”，更像是生产线。工作量增加了，但薪资却停滞不前。<p>现在公司从人工智能中没有获得回报，他们正在削减人工智能的开支，但不要搞错。薪资不会恢复。<p>我错过了什么？我哪里错了？<p>希望能听到对此的看法。

这个故事可能永远不会发生，尽管我已经酝酿了很久一个调试器的想法。没有任何触发因素。但有一天，一个足够强大的触发因素出现了，我决定放下其他项目，专心构建调试器，以便不再经历这样的痛苦。 一点背景故事：我正在为人工智能解决方案开发者构建一个平台，让任何人都可以在一个舒适的环境中开展自己的创业项目。为了实现这一目标，还有很多工作要做。 我应该提到，我整个项目的构建原则是使用自主编码。不是“随意编码”——那是那些刚刚嗅到“可能性”的业余者的做法——而是真正的自主编码，具有明确结构化的工作流程，代理在我设定的规则和构建的边界内别无选择。原则上，我没有手动编写这个项目的任何一行代码。 于是，我在进行日常工作，修复Prompt Studio工具中的错误。我甚至现在都不记得那个错误到底是什么——它顽固地抵抗着我和我的Opus的共同努力。但这件事拖得太久了，以至于我感到的不仅仅是疲惫，还有愤怒。就在那时，我意识到：如果我不是在进行这种无效的挣扎，而是早早构建了那个调试器，我现在就能解决这个错误。但我还是继续坚持，直到我赢了。 不用说，我的项目被搁置，我开始构建调试器。由于这个想法已经酝酿了很久，第一个Python原型——六个模块——很快就被构建成了平台的内置调试子系统。接下来是测试它的时刻。我告诉代理：“使用Revizor自检。”在接下来的三分半钟里，发生了以下事情： 代理启动了Revizor，激活了其中的所有跟踪点，发现了几个错误（4或5个，我不太记得了），修复了它们，并使用Revizor自己的工具运行了199个测试——全部通过！我惊呆了，无法用语言形容。 就在那时，我明白了：平台的第一个产品不应该是Prompt Studio，而应该是Revizor。我用Go重写了它，并开始使用这个二进制文件，淘汰了作为原型的旧子系统。 随着时间的推移，Revizor获得了扩展其功能的工具。现在，在代理的指导下，它可以检查代码中的跟踪点，添加或移除它们——这一切都在瞬间完成。代理们形容使用Revizor就像是“X光视力”。以下是其中一个真实的评论： Revizor今天节省了多少时间？ ● 大约15-20分钟。trace_search“提升”在2秒内显示了5个跟踪点的完整链，确认提升工作正常——如果没有它，我需要翻阅代码和日志，添加临时的print()语句，重启服务器。但真正的价值不在于节省的分钟数，而在于确定性：我不是在猜测它是否有效。我看到了。 不要相信代理：它总是夸大任何任务所需的时间。但它所说的有价值之处在于——“我不是在猜测，我看到了。”如果我在与导致我构建这个调试器的错误斗争时就拥有了这个调试器，调试工作将会快得多。 现在我无法想象没有它的工作。我邀请你免费试用：有一个免费的社区版，无限制的14天试用期，以及——最重要的，对于我所有产品始终适用——周日无限制，专为那些在周末进行激情项目或开源工作的人设计。 使用任何主要提供商（目前有六个选项）登录以下载它。 关于安全性：平台不收集或存储任何个人数据——仅仅是你的内部ID和你认证提供商的哈希，以便下次识别你。Revizor本身不会从你的机器发送任何信息，除了每日许可证检查的ping和周日无限制的时间同步。企业许可证则完全保持沉默。 试试Revizor：https://ais-platform.dev/revizor

埃里克·梅耶撰写了关于人工智能工作流的形式验证论文《代理的守护者》，而纳达·阿敏则在Guardians代码库中实现了该论文的内容。我开发了这个插件，以便为OpenCode带来静态安全验证。 <p>工作原理： 1. 拦截：使用OpenCode的TypeScript插件系统（“tool.execute.before”）在候选工具调用（bash、read、edit、write）执行之前进行拦截。 2. 侧车验证：将工具参数传递给本地运行的Python守护进程，调用guardians.verify()。 3. 形式验证（约1.5毫秒）：评估Z3路径包含性（阻止路径遍历，如.. /.. /.. /.. /等/ passwd）、秘密污点跟踪（防止.env数据流入输出文件或shell命令）以及安全自动机（强制执行先读后写规则）。 4. 执行前中止：如果标记出违规，插件会抛出异常，以阻止执行，确保在磁盘上没有任何副作用发生，从而迫使代理自我修正。 <p>该代码库将metareflection/guardians直接作为Git子模块（guardians-core）链接，保持核心验证器不变，并与上游更新保持同步。 <p>代码库及设置说明：<a href="https://github.com/albertjoseph0/opencode-plugin-guardians" rel="nofollow">https://github.com/albertjoseph0/opencode-plugin-guardians</a> <p>我非常希望听到您的想法或反馈！