1Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (opens in new tab)(github.com)14mmaaz21d ago1
2Finding bugs across the Python ecosystem with Claude and property-based testing (opens in new tab)(red.anthropic.com)1mmaaz3mo ago0
3Mathematics is hard for mathematicians to understand too (opens in new tab)(science.org)134mmaaz5mo ago148
4Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem (opens in new tab)(mmaaz-git.github.io)2mmaaz5mo ago1
6Solving Boolean satisfiability and integer programming with Python packaging (opens in new tab)(mmaaz.ca)77mmaaz1y ago25
