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