2Fuzzing as the basis for effective development a case study of LuaJIT [video] (opens in new tab)(youtube.com)2ligurio4mo ago0
3Show HN: Command-line front end to transactional consistency checkers (opens in new tab)(github.com)1ligurio4y ago0
6A list of companies that use formal verification methods (opens in new tab)(github.com)2ligurio5y ago0
7What can software authors do to help package their software? (opens in new tab)(lobste.rs)1ligurio6y ago0
8Support of OpenBSD's pledge(2) and unveil(2) in programming languages (opens in new tab)(gist.github.com)1ligurio6y ago0
9List of free software testing and verification resources (opens in new tab)(github.com)3ligurio8y ago1
14Rocket Launched from the Baltic Sea, Tracked via Amateur Radio (opens in new tab)(arrl.org)1ligurio9y ago0
