mmaaz | Dark Hacker News

user:	mmaaz
created:	March 13, 2023
karma:	88
about:	Anthropic. PhD, University of Toronto. mmaaz.ca @mmaaz_98

1.	Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean(github.com) 14 points by mmaaz 52 days ago \| 1 comment
2.	Finding bugs across the Python ecosystem with Claude and property-based testing(red.anthropic.com) 1 points by mmaaz 146 days ago \| 0 comments
3.	1 points by mmaaz 157 days ago \| discuss
4.	1 points by mmaaz 163 days ago \| discuss
5.	Mathematics is hard for mathematicians to understand too(science.org) 134 points by mmaaz 194 days ago \| 148 comments
6.	Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem(mmaaz-git.github.io) 2 points by mmaaz 203 days ago \| 1 comment
7.	Property-based testing of batch-invariant operations(mmaaz.ca) 1 points by mmaaz 247 days ago \| 0 comments
8.	Solving Boolean satisfiability and integer programming with Python packaging(mmaaz.ca) 77 points by mmaaz 1 year ago \| 25 comments