ligurio

Joined 2/8/2014, 5:11:14 PM has 95 karma

Sergey Bronnikov

Website: https://bronevichok.ru/

Posts

Show HN: Command-line front end to transactional consistency checkers
by ligurio on 1/12/2022, 10:34:05 PM with 0 comments
SQL Static Analysis
by ligurio on 3/19/2021, 8:14:36 AM with 0 comments
Fuzzing ClickHouse with SQLancer
by ligurio on 3/12/2021, 8:23:09 AM with 1 comments
A list of companies that use formal verification methods
by ligurio on 2/8/2021, 9:55:49 AM with 0 comments
What can software authors do to help package their software?
by ligurio on 10/24/2019, 7:59:11 AM with 0 comments
Support of OpenBSD's pledge(2) and unveil(2) in programming languages
by ligurio on 7/16/2019, 12:36:59 PM with 0 comments
List of free software testing and verification resources
by ligurio on 12/3/2017, 1:53:28 PM with 1 comments
Linux container migration around the world
by ligurio on 10/12/2017, 7:32:42 PM with 0 comments
Top 100 of the most broken apps on Ubuntu
by ligurio on 10/1/2016, 8:54:21 PM with 0 comments
Planet OpenBSD
by ligurio on 8/19/2016, 8:58:40 AM with 0 comments
The list of old-school ASCII Unix games
by ligurio on 7/28/2016, 6:56:45 PM with 0 comments
Rocket Launched from the Baltic Sea, Tracked via Amateur Radio
by ligurio on 7/28/2016, 6:28:50 PM with 0 comments
OpenVZ 7.0 released
by ligurio on 7/25/2016, 7:42:42 PM with 0 comments
CVE-2016-6213 was reported three years ago by OpenVZ developer
by ligurio on 7/24/2016, 7:16:12 PM with 14 comments
Quality in open source: testing CRIU
by ligurio on 7/24/2016, 3:05:07 PM with 9 comments
Support of OpenBSD pledge(2) in programming languages
by ligurio on 4/7/2016, 1:54:56 PM with 1 comments
Testing of the ScyllaDB
by ligurio on 3/14/2016, 11:12:17 AM with 0 comments
OpenSSL vs. LibreSSL test coverage
by ligurio on 2/17/2016, 5:27:34 PM with 0 comments
Show HN: List of Free Software Testing Books
by ligurio on 2/7/2016, 4:26:04 PM with 0 comments