News for hackers. Stuff that matters.

abj908

thanks!
Fair enough. I'll add more neighborhoods.
thanks! I got inspired by the original game https://maptap.gg/
Oof I think that's a bug. Let me investigate!
This is cool. It would be nice if there was a map on the right side of the page so that I could see where I am relative to everything.
Wow this is a very detailed map! I will check it out. Thanks.

Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls

https://github.com/albertjoseph0/opencode-plugin-guardians

Erik 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...

( Read More... | 1 comment | on HN )