Ruud-v-A

Recent Submissions

1. 1. ▲ Semi-Formal Development: The Cardano Wallet (well-typed.com) 1 point · 7 years ago · 0 comments
2. 2. ▲ GNU Guix and GuixSD 0.14.0 released (gnu.org) 69 points · 8 years ago · 24 comments
3. 3. ▲ An API for my Christmas tree (ruudvanasseldonk.com) 2 points · 8 years ago · 0 comments
4. 4. ▲ Airport police demanded activist’s passwords. He refused. Now faces prison in UK (theintercept.com) 46 points · 8 years ago · 4 comments
5. 5. ▲ On benchmarking (ruudvanasseldonk.com) 2 points · 8 years ago · 0 comments