Submissions from github.com/eth-sri

1.		ERAN: ETH Robustness Analyzer for Deep Neural Networks (github.com/eth-sri)
		1 point by teleforce on April 10, 2025 \| past
2.		Show HN: ToolFuzz – Automated Testing for Agent Tools (github.com/eth-sri)
		1 point by imilev on March 12, 2025 \| past
3.		Show HN: Fine-grained stylistic control of LLMs using model arithmetic (github.com/eth-sri)
		85 points by OcelotBane on Dec 9, 2023 \| past \| 8 comments
4.		LMQL: A query language for programming (large) language models (github.com/eth-sri)
		108 points by behnamoh on May 16, 2023 \| past \| 12 comments
5.		Silq: High-level strong static typed programming language for quantum computing (github.com/eth-sri)
		4 points by ranit on June 24, 2020 \| past
6.		ILF: AI-Based Fuzzer for Ethereum Smart Contracts (github.com/eth-sri)
		5 points by veselin on Dec 3, 2019 \| past \| 1 comment
7.		Debin: Predicting Debug Information in Stripped Binaries (github.com/eth-sri)
		1 point by matt_d on Sept 1, 2019 \| past