Y Hacker News new | ask | show | jobs

user: mmaaz created: 2023-03-13 karma: 88 Anthropic. PhD, University of Toronto. mmaaz.ca @mmaaz_98 submissions: 0 points | 0 comments Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean 14 points | 1 comments 0 points | 0 comments Finding bugs across the Python ecosystem with Claude and property-based testing 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Mathematics is hard for mathematicians to understand too 134 points | 148 comments 0 points | 0 comments Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem 2 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Property-based testing of batch-invariant operations 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Solving Boolean satisfiability and integer programming with Python packaging 77 points | 25 comments