u-pump Karma 6 Created 4 years ago Recent Submissions 1. ▲ Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes (unfix.dev) 15 points · 5 days ago · 2 comments 2. ▲ Engineering a reusable insulin patch pump 2 points · 9 months ago · 0 comments All submissions on HN · View profile on HN