Viewing profile — bbippin

Yeah SPARK ADA is what I meant :) I think formal verification is the way to go with AI moving forward.

Perhaps. But what percentage of exploits are actually zero days versus, say, 10 days or 100 days? Most exploited code probably exists in the application layer in a high-level, memo…

The point is that memory issues are a smallish number of issue compared to the larger ecosystem of vulnerabilities, and choosing to port everything to Rust is like over-optimizing.…

Perhaps. Open source is also more vulnerable because the source is out in the open. As we’ve seen it doesn’t matter with supply-chain attacks. I’m not a security expert by any stre…

I agree and don’t think they should have been forced to pull it, but what I’m surprised about is how many people are accusing Anthropic of being liars or trying to overhype the dan…

I’m surprised people are reacting so strongly over this. Suppose there is a huge concern—would you prefer they just release it as-is and everyone suffers data-breaches and more sup…