最新

作为一名软件开发者，我非常喜欢在工作时播放无解说的实时编码视频作为背景。然而，在YouTube上找到时长超过一个小时的无解说编码视频却出乎意料地困难。 我真正想要的是一个无限循环的编码视频，因此我自己制作了一个。选择你喜欢的IDE、显示器和环境，点击屏幕保护程序按钮，将其放在第二个显示器或电视上，享受无限的编码ASMR。

我发现 TypeScript 的 js/node 环境缺少一个时间提供者（就像 .NET 框架自带的 TimeProvider 一样）。<p>因此，我为 js/node 环境构建了一个小型库 (@time-provider)。<p>显然，目标是避免使用全局猴子补丁和假定定时器，或者重写你的时钟接口……同时仍然可以使用你的日期库（无论是原生的还是自定义的）。<p>我提出了四种时钟策略：系统（真实时间）、固定手动（显式推进时间）和顺序（重放一系列时间戳）。<p>我还对比了与 jest 和 sinon 的性能，结果略有优势。<p>这个项目还很年轻，因此 API 可能会随着实际使用的出现而进行调整。<p>我很乐意听取大家的反馈！保重。<p>你可以在 GitHub 上查看它：<a href="https://github.com/jaenyf/time-provider" rel="nofollow">https://github.com/jaenyf/time-provider</a><p>Jaenyf

埃里克·梅耶撰写了关于人工智能工作流的形式验证论文《代理的守护者》，而纳达·阿敏则在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>我非常希望听到您的想法或反馈！