| 1. | | Lua 5.5.0 Now Available (groups.google.com) |
| 5 points by ligurio 31 days ago | past | 1 comment |
|
| 2. | | Fuzzing as the basis for effective development a case study of LuaJIT [video] (youtube.com) |
| 2 points by ligurio 59 days ago | past |
|
| 3. | | Show HN: Command-line front end to transactional consistency checkers (github.com/ligurio) |
| 1 point by ligurio on Jan 12, 2022 | past |
|
| 4. | | SQL Static Analysis (holistic.dev) |
| 2 points by ligurio on March 19, 2021 | past |
|
| 5. | | Fuzzing ClickHouse with SQLancer (clickhouse.tech) |
| 5 points by ligurio on March 12, 2021 | past | 1 comment |
|
| 6. | | A list of companies that use formal verification methods (github.com/ligurio) |
| 2 points by ligurio on Feb 8, 2021 | past |
|
| 7. | | What can software authors do to help package their software? (lobste.rs) |
| 1 point by ligurio on Oct 24, 2019 | past |
|
| 8. | | Support of OpenBSD's pledge(2) and unveil(2) in programming languages (gist.github.com) |
| 1 point by ligurio on July 16, 2019 | past |
|
| 9. | | List of free software testing and verification resources (github.com/ligurio) |
| 3 points by ligurio on Dec 3, 2017 | past | 1 comment |
|
| 10. | | Linux container migration around the world (redhat.com) |
| 1 point by ligurio on Oct 12, 2017 | past |
|
| 11. | | Top 100 of the most broken apps on Ubuntu (ubuntu.com) |
| 3 points by ligurio on Oct 1, 2016 | past |
|
| 12. | | Planet OpenBSD (bronevichok.ru) |
| 2 points by ligurio on Aug 19, 2016 | past |
|
| 13. | | The list of old-school ASCII Unix games (bronevichok.ru) |
| 3 points by ligurio on July 28, 2016 | past |
|
| 14. | | Rocket Launched from the Baltic Sea, Tracked via Amateur Radio (arrl.org) |
| 1 point by ligurio on July 28, 2016 | past |
|
| 15. | | OpenVZ 7.0 released (openvz.org) |
| 2 points by ligurio on July 25, 2016 | past |
|
| 16. | | CVE-2016-6213 was reported three years ago by OpenVZ developer (redhat.com) |
| 43 points by ligurio on July 24, 2016 | past | 14 comments |
|
| 17. | | Quality in open source: testing CRIU (lwn.net) |
| 49 points by ligurio on July 24, 2016 | past | 9 comments |
|
| 18. | | Support of OpenBSD pledge(2) in programming languages (gist.github.com) |
| 5 points by ligurio on April 7, 2016 | past | 1 comment |
|
| 19. | | Testing of the ScyllaDB (reddit.com) |
| 2 points by ligurio on March 14, 2016 | past |
|
| 20. | | OpenSSL vs. LibreSSL test coverage (reddit.com) |
| 1 point by ligurio on Feb 17, 2016 | past |
|
| 21. | | Show HN: List of Free Software Testing Books (github.com/ligurio) |
| 6 points by ligurio on Feb 7, 2016 | past |
|
| 22. | | Show HN: Reworked taskdiag interface in Linux kernel (slideshare.net) |
| 3 points by ligurio on Feb 1, 2016 | past | 1 comment |
|
| 23. | | Show HN: The list of old-school ASCII Unix games (bronevichok.ru) |
| 1 point by ligurio on Jan 20, 2016 | past |
|
| 24. | | Show HN: Linux container live migration tool (github.com/openvz) |
| 3 points by ligurio on Jan 18, 2016 | past |
|
| 25. | | Share bugs in closed source software (sharebug.org) |
| 2 points by ligurio on Nov 27, 2015 | past | 1 comment |
|
| 26. | | Funtoo Containers – New Project by Daniel Robbins, Gentoo Founder (funtoo.org) |
| 2 points by ligurio on Nov 3, 2015 | past |
|
| 27. | | Analyzing OpenVZ Components with PVS-Studio (openvz.livejournal.com) |
| 1 point by ligurio on July 3, 2015 | past |
|
| 28. | | Docker and OpenVZ/Virtuozzo are not competitors (openvz.livejournal.com) |
| 2 points by ligurio on July 3, 2015 | past |
|
| 29. | | Publishing of Virtuozzo builds (openvz.org) |
| 1 point by ligurio on July 1, 2015 | past |
|
| 30. | | Odin company opened Virtuozzo development process (openvz.org) |
| 1 point by ligurio on April 27, 2015 | past |
|
|
| More |
