Hacker Newsnew | past | comments | ask | show | jobs | submit | zsu's submissions login

1. Property-based testing for mobile GUI apps (github.com/ecnusse) 2 points by zsu 9 months ago | past 2. Understanding and exploiting optimal function inlining (acm.org) 1 point by zsu on March 18, 2022 | past 3. Finding missed optimizations through the lens of dead code elimination (github.com/deadcodeproductions) 1 point by zsu on March 18, 2022 | past | 1 comment 4. How to make an award-winning software artifact (sigops.org) 2 points by zsu on Jan 8, 2021 | past 5. Yin-Yang – A tool for stress-testing SMT solvers (testsmt.github.io) 54 points by zsu on Nov 17, 2020 | past | 14 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: