Articles by forks
59

The human cost of 10x: How AI is physically breaking senior engineers (techtrenches.dev)

1

Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0 (zerodayclock.com)

4

~Claude Is Having an Outage~ Resolved (claude.com)

1

AI Agents Gone Rogue (osohq.com)

3

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

1

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

1

Bake Oven Knob (wikipedia.org)

2

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

1

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

1

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

2

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

2

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

1

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

2

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

1

You Just Don't Need Tox (lukasatkinson.de)

1

Warby Parker Partners with Google to Develop Intelligent Eyewear (warbyparker.com)

1

NOAA Ocean Explorer: A Collection of Sounds from the Sea (noaa.gov)

1

Arena Proposal: Impact Reports (phila.gov)

2

Is it time to reconsider the keyboard pants? (theverge.com)

5

Winning Connect4 with Monte-Carlo Tree Search (steveindusteves.com)