ligurio

Recent Submissions

1. 1. ▲ Lua 5.5.0 Now Available (groups.google.com) 5 points · 9 days ago · 1 comment
2. 2. ▲ Fuzzing as the basis for effective development a case study of LuaJIT [video] (youtube.com) 2 points · 1 month ago · 0 comments
3. 3. ▲ Show HN: Command-line front end to transactional consistency checkers (github.com) 1 point · 3 years ago · 0 comments
4. 4. ▲ SQL Static Analysis (holistic.dev) 2 points · 4 years ago · 0 comments
5. 5. ▲ Fuzzing ClickHouse with SQLancer (clickhouse.tech) 5 points · 4 years ago · 1 comment
6. 6. ▲ A list of companies that use formal verification methods (github.com) 2 points · 4 years ago · 0 comments
7. 7. ▲ What can software authors do to help package their software? (lobste.rs) 1 point · 6 years ago · 0 comments
8. 8. ▲ Support of OpenBSD's pledge(2) and unveil(2) in programming languages (gist.github.com) 1 point · 6 years ago · 0 comments
9. 9. ▲ List of free software testing and verification resources (github.com) 3 points · 8 years ago · 1 comment
10. 10. ▲ Linux container migration around the world (rhelblog.redhat.com) 1 point · 8 years ago · 0 comments