Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them
(github.com/kerberosmansour)
4 points
kerberosmansour
3 years ago
1 comment
2.
▲
Auto Score CVEs (Vulnerabilities) Using GPT-4
(github.com/kerberosmansour)
1 point
kerberosmansour
3 years ago
1 comment
3.
▲
Plunger a library to simplify unit testing of Hadoop apps that use Cascading API
(github.com/HotelsDotCom)
2 points
kerberosmansour
12 years ago
discuss
4.
▲
Scripts that automate ZAP Webapp security tests as part of a CI/CD pipeline
(github.com/zaproxy)
1 point
kerberosmansour
10 years ago
discuss