user: forks

106 karma | created 7 years ago

recent submissions

AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io)

12 pts|1 month ago|1 comment

Hax: Verifying Security-Critical Rust Software Using Multiple Provers (eprint.iacr.org)

2 pts|1 month ago|discuss

Bake Oven Knob (en.wikipedia.org)

2 pts|1 month ago|discuss

Learning from Sudoku Solvers (2007) (ravimohan.blogspot.com)

22 pts|1 month ago|8 comments

Architecting Security for Agentic Capabilities in Chrome (security.googleblog.com)

1 pts|1 month ago|discuss

Continuously hardening ChatGPT Atlas against prompt injection attacks (openai.com)

3 pts|1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

2 months ago|discuss

We removed 80% of our agent's tools (vercel.com)

3 pts|2 months ago|discuss

(no title)

2 months ago|discuss

Calm: Consistency as Logical Monotonicity (bloom-lang.net)

3 pts|2 months ago|discuss

How the 'Lethal Trifecta' sets the conditions for stealing data on command (scworld.com)

1 pts|2 months ago|1 comment

(no title)

2 months ago|discuss

(no title)

2 months ago|discuss

(no title)

3 months ago|discuss

The Missing Abstraction for AI Agents: The Agent Filesystem (turso.tech)

2 pts|3 months ago|discuss

(no title)

4 months ago|discuss

(no title)

5 months ago|discuss

(no title)

5 months ago|discuss