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