52,709 results for av · 2.557s

News for “av”
7 results • 2552 ms server time
Moozonian News
bing.com• Jul 27, 2026• 1 min read
Demystifying AI To Help Leaders Focus On What Matters MostThis voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. I have sat across from hundreds of executives to figure out their AI strategy, and most ...
Moozonian News
github.com• Jul 27, 2026• 1 min read
Show HN: Injectable time and timers with custom Date types for TypeScriptI find TypeScript js/node environment is missing a Time-Provider (just like *.*NET TimeProvider for instance ships with its framework).So for this purpose I built a small library (@time-provider) tailored for js/node environment.Obviously the goal is to both avoid using global monkey-patching with fake-timers or re-writing your clock interface... and still use your date library (native or custom).I propose four clock strategies: system (real time), fixed manual (advance time explicitly), and sequential (replay of a sequence of timestamps).I also benchmarked slightly better performances than jest / sinon.The project is still young, so the API may still receive refinements as real usage appears.I would be happy to hear feedback on this ! Take care.You can check it out on GitHub: https://github.com/jaenyf/time-providerJaenyf
Advertisement
Moozonian News
github.com• Jul 27, 2026• 1 min read
Show HN: I built a static verifier for OpenCode to stop unsafe AI tool callsErik Meijer wrote the paper "Guardians of the Agents" on formal verification for AI workflows, and Nada Amin implemented it in the Guardians repository. I built this plugin to bring static security verification to OpenCode.How It Works: 1. Interception: Uses OpenCode's TypeScript plugin system ("tool.execute.before") to intercept candidate tool calls (bash, read, edit, write) before they run. 2. Sidecar Verification: Passes tool parameters to a local Python daemon running guardians.verify(). 3. Formal Verification (~1.5ms): Evaluates Z3 path containment (blocking path traversal like ../../../../etc/passwd), secret taint tracking (preventing .env data from flowing to output files or shell commands), and security automata (enforcing read-before-edit rules). 4. Pre-Execution Abort: If a violation is flagged, the plugin throws an exception to block execution before any side effects happen on disk, forcing the agent to self-correct.The repository links metareflection/guardians directly as a