Viewing profile — seqradev
seqradev
HN member- Joined
- Fri, Feb 20, 2026, 4:11 PM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About seqradev
No profile information was provided.
Recent public activity
-
comment
Comment #49242490
[flagged]
-
comment
Comment #48537877
We are working toward applying formal methods from the application security testing side, but I believe the same kind of approach can be applied to business logic verification as w…