Y
Hacker News
new
|
ask
|
show
|
jobs
user:
ligurio
created:
2014-02-08
karma:
95
Sergey Bronnikov
Website: https://bronevichok.ru/
submissions:
Lua 5.5.0 Now Available
5 points
|
1 comments
Fuzzing as the basis for effective development a case study of LuaJIT [video]
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Show HN: Command-line front end to transactional consistency checkers
1 points
|
0 comments
SQL Static Analysis
2 points
|
0 comments
Fuzzing ClickHouse with SQLancer
5 points
|
1 comments
0 points
|
0 comments
A list of companies that use formal verification methods
2 points
|
0 comments
What can software authors do to help package their software?
1 points
|
0 comments
Support of OpenBSD's pledge(2) and unveil(2) in programming languages
1 points
|
0 comments
List of free software testing and verification resources
3 points
|
1 comments
Linux container migration around the world
1 points
|
0 comments
Top 100 of the most broken apps on Ubuntu
3 points
|
0 comments
Planet OpenBSD
2 points
|
0 comments
The list of old-school ASCII Unix games
3 points
|
0 comments
Rocket Launched from the Baltic Sea, Tracked via Amateur Radio
1 points
|
0 comments
0 points
|
0 comments
OpenVZ 7.0 released
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
CVE-2016-6213 was reported three years ago by OpenVZ developer
43 points
|
14 comments
Quality in open source: testing CRIU
49 points
|
9 comments
Support of OpenBSD pledge(2) in programming languages
5 points
|
1 comments