difc

5 ms·

1.
by difc 3mo ago
Moving theorem proving upstream into compilers, sandboxes, and the browser seems like the future when we're dealing with increasingly sophisticated AIs. I'm working on similar formal methods but applied to agent sandboxing; do you
2.
by difc 4mo ago
I'm building Nucleus for exactly this problem - using information flow control and formal methods, we can prevent confused deputies by proofs instead of heuristics. Very much WIP, would appreciate any feedback. https://githu
3.
Information Flow Kernel for Claude Code Hooks(github.com)
2 points by difc 6mo ago|1 comments
4.
by difc 6mo ago
Everyone agrees that agent security is an area that needs significant improvement, and quickly. Using methods from information flow control, this is a lightweight demo of how web search can taint a Claude session so it doesn't allow wr
5.
by difc 8mo ago
Thanks! Currently network identity is host-based, but in the middle of introducing SPIFFE based on ZTunnel. Should be done in the next couple of days. Runtime enforcement means that any side effects are routed through a proxy (nucleus-tool-
6.
Show HN: Nucleus – enforced permission envelopes for AI agents (Firecracker)(github.com)
3 points by difc 8mo ago|3 comments
7.
Semigroups, automata, and REST(docs.google.com)
2 points by difc 10y ago|0 comments
8.
by difc 11y ago
Nice post. Functional programming is an excellent paradigm for manipulating these data structures. I wrote a limited visualizer for this a few years back. http://bl.ocks.org/bcrisp/6072748
9.
by difc 12y ago
Act I: The Setup In this the protagonist discovers he is special, exceptional. He devotes time to thinking and researching career goals and world-changing ideas. Dreaming of reification and being lauded as the (Gauss|Galois|Mozart) of his g
10.
by difc 12y ago
Thanks for the excellent suggestions. My local transit agency doesn't have a reputation for complexity, but I'll do some research. Yes, a startup would certainly offer the complexity I'm after. I'm not pursuing insurmoun
11.
Poetry, real danger, and ASP.NET
2 points by difc 12y ago|2 comments