Submissions from mmaaz.ca

		Property-based testing of batch-invariant operations (mmaaz.ca)
		1 point by mmaaz 6 months ago \| past
		How Opus and o3 saved me from permanent blindness (mmaaz.ca)
		14 points by pr337h4m 7 months ago \| past \| 6 comments
		Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca)
		77 points by mmaaz on Nov 25, 2024 \| past \| 25 comments