mmaaz

Karma: 88
Created: 3 years ago

About

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

Recent Submissions

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

All submissions on HN · View profile on HN