forks's submissions | Hacker News

1.		Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0 (zerodayclock.com)
		3 points by forks 8 days ago \| past \| discuss
2.		AI Agents Gone Rogue (osohq.com)
		1 point by forks 10 days ago \| past \| discuss
3.		AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io)
		12 points by forks 77 days ago \| past \| 1 comment
4.		Hax: Verifying Security-Critical Rust Software Using Multiple Provers (iacr.org)
		2 points by forks 77 days ago \| past
5.		Bake Oven Knob (wikipedia.org)
		2 points by forks 80 days ago \| past
6.		Learning from Sudoku Solvers (2007) (ravimohan.blogspot.com)
		22 points by forks 88 days ago \| past \| 8 comments
7.		Architecting Security for Agentic Capabilities in Chrome (googleblog.com)
		1 point by forks 88 days ago \| past
8.		Continuously hardening ChatGPT Atlas against prompt injection attacks (openai.com)
		3 points by forks 88 days ago \| past
9.		We removed 80% of our agent's tools (vercel.com)
		3 points by forks 3 months ago \| past
10.		Calm: Consistency as Logical Monotonicity (bloom-lang.net)
		3 points by forks 3 months ago \| past
11.		How the 'Lethal Trifecta' sets the conditions for stealing data on command (scworld.com)
		1 point by forks 3 months ago \| past \| 1 comment
12.		The Missing Abstraction for AI Agents: The Agent Filesystem (turso.tech)
		2 points by forks 4 months ago \| past
13.		You Just Don't Need Tox (lukasatkinson.de)
		4 points by forks 10 months ago \| past
14.		Warby Parker Partners with Google to Develop Intelligent Eyewear (warbyparker.com)
		1 point by forks 10 months ago \| past
15.		NOAA Ocean Explorer: A Collection of Sounds from the Sea (noaa.gov)
		1 point by forks on Feb 16, 2025 \| past
16.		Arena Proposal: Impact Reports (phila.gov)
		1 point by forks on Aug 27, 2024 \| past
17.		Is it time to reconsider the keyboard pants? (theverge.com)
		3 points by forks on Aug 8, 2024 \| past \| 1 comment
18.		Winning Connect4 with Monte-Carlo Tree Search (steveindusteves.com)
		4 points by forks on Aug 8, 2023 \| past \| 2 comments
19.		We Built an LSP-Powered VS Code Extension with Rust, WASM, and TypeScript (osohq.com)
		19 points by forks on Jan 10, 2022 \| past \| 4 comments

HN For You