Ruud-v-A | Dark Hacker News

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