HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
mmaaz
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
13 points
mmaaz
2026-04-18T22:36:33Z
github.com
Finding bugs across the Python ecosystem with Claude and property-based testing
1 points
mmaaz
2026-01-14T23:19:20Z
red.anthropic.com
1 points
mmaaz
2026-01-04T03:22:16Z
news.ycombinator.com
1 points
mmaaz
2025-12-28T06:04:37Z
news.ycombinator.com
Mathematics is hard for mathematicians to understand too
134 points
mmaaz
2025-11-27T23:05:54Z
www.science.org
Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
2 points
mmaaz
2025-11-18T08:25:05Z
mmaaz-git.github.io
Property-based testing of batch-invariant operations
1 points
mmaaz
2025-10-05T22:53:01Z
www.mmaaz.ca