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