HN Explorer

mmaaz

↗ HN profile [ 76.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com)

    Current support for nonlinear inequalities in Lean is quite limited. This package attempts to solve this. It contains a collection of Lean4 tactics for proving polynomial inequalities via sum-of-squares (SOS)…

    14 points 2
  2. Finding bugs across the Python ecosystem with Claude and property-based testing (red.anthropic.com)
    1 points 0
  3. 1 points 0
  4. 1 points 0
  5. Mathematics is hard for mathematicians to understand too (science.org)
    134 points 29
  6. Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem (mmaaz-git.github.io)
    2 points 1
  7. Property-based testing of batch-invariant operations (mmaaz.ca)
    1 points 0
  8. Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca)
    77 points 25