Michael Griffiths
@griffiths.ai
I should! I just finished a P-spec for a system that looked something like this -- generate P spec from code, use that to find errors, turn error traces into tests in project language. You need to be a little careful but it's very fun.
June 2, 2025 at 7:42 PM
I should! I just finished a P-spec for a system that looked something like this -- generate P spec from code, use that to find errors, turn error traces into tests in project language. You need to be a little careful but it's very fun.
December 4, 2024 at 6:33 PM