mmaaz's submissions | Hacker News

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