| user: | wofo |
| created: | December 17, 2013 |
| karma: | 2.3k |
| about: | Contact me at: [my username] [at] adolfo [dot] ochagavia [dot] nl (or check out ochagavia.nl) |
| 1. | Pushing Local Models with Focus and Polish(lucumr.pocoo.org) |
| 2. | A real-world case of property-based verification(ochagavia.nl) |
| 3. | From WSL to bare-metal Linux(ochagavia.nl) |
| 4. | Do the Illegible(ashwinsundar.com) |
| 5. | |
| 6. | Help my website is too small(lukeplant.me.uk) |
| 7. | Towards Interplanetary QUIC Traffic(ochagavia.nl) |