HNHacker News
TopNewBestAskShowJobs

mmaaz

88 karma · joined March 13, 2023

Anthropic. PhD, University of Toronto. mmaaz.ca @mmaaz_98
submissionscomments

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

github.com·14 pts·mmaaz·
1

Finding bugs across the Python ecosystem with Claude and property-based testing

red.anthropic.com·1 pts·mmaaz·
0

Mathematics is hard for mathematicians to understand too

science.org·134 pts·mmaaz·
148

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem

mmaaz-git.github.io·2 pts·mmaaz·
1

Property-based testing of batch-invariant operations

mmaaz.ca·1 pts·mmaaz·
0

Solving Boolean satisfiability and integer programming with Python packaging

mmaaz.ca·77 pts·mmaaz·
25