Hacker Newsnew | past | comments | ask | show | jobs | submit | mmaaz's submissions login

1. Mathematics is hard for mathematicians to understand too (science.org) 134 points by mmaaz 23 days ago | past | 148 comments 2. Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem (mmaaz-git.github.io) 2 points by mmaaz 33 days ago | past | 1 comment 3. Property-based testing of batch-invariant operations (mmaaz.ca) 1 point by mmaaz 76 days ago | past 4. Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca) 77 points by mmaaz on Nov 25, 2024 | past | 25 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: