mmaaz's submissions | Hacker News

1.		Finding bugs across the Python ecosystem with Claude and property-based testing (anthropic.com)
		1 point by mmaaz 22 days ago \| past
2.		Mathematics is hard for mathematicians to understand too (science.org)
		134 points by mmaaz 70 days ago \| past \| 148 comments
3.		Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem (mmaaz-git.github.io)
		2 points by mmaaz 80 days ago \| past \| 1 comment
4.		Property-based testing of batch-invariant operations (mmaaz.ca)
		1 point by mmaaz 4 months ago \| past
5.		Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca)
		77 points by mmaaz on Nov 25, 2024 \| past \| 25 comments