Ruud-v-A
- Karma
- 470
- Created
- 13 years ago
Recent Submissions
- 1. ▲ Semi-Formal Development: The Cardano Wallet (well-typed.com)
- 2. ▲ GNU Guix and GuixSD 0.14.0 released (gnu.org)
- 3. ▲ An API for my Christmas tree (ruudvanasseldonk.com)
- 4. ▲ Airport police demanded activist’s passwords. He refused. Now faces prison in UK (theintercept.com)
- 5. ▲ On benchmarking (ruudvanasseldonk.com)