forks's submissions | Hacker News

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