| user: | setori88 |
| created: | March 31, 2009 |
| karma: | 602 |
| about: | [ my public key: https://keybase.io/sj_mackenzie; my proof: https://keybase.io/sj_mackenzie/sigs/A_jibuqndvVYnWIPtQO_q7lO7CCF-1G_k60T0QCFq40 ] |
| 1. | |
| 2. | HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers(wrongbaud.github.io) |
| 3. | Fairylog: A Racket language aiming to be like Verilog(pinksquirrellabs.com) |
| 4. | Typing the nix language(gofundme.com) |
| 5. | CakeML – A Verified Implementation of ML(cakeml.org) |
| 6. | The Coming War on China – John Pilger(johnpilger.com) |
| 7. | 9 years ago | discuss |
| 8. | Show HN: Simple Rust Microservices(github.com) |