Y Hacker News new | ask | show | jobs

user: setori88 created: 2009-03-31 karma: 602 [ my public key: https://keybase.io/sj_mackenzie; my proof: https://keybase.io/sj_mackenzie/sigs/A_jibuqndvVYnWIPtQO_q7lO7CCF-1G_k60T0QCFq40 ] submissions: 0 points | 0 comments The Stewart Mackenzie Indaba #7 Shawn Chang – Hardened Linux Founder [video] 1 points | 0 comments HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers 1 points | 0 comments Fairylog: A Racket language aiming to be like Verilog 60 points | 20 comments 0 points | 0 comments Typing the nix language 1 points | 0 comments CakeML – A Verified Implementation of ML 163 points | 37 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The Coming War on China – John Pilger 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Simple Rust Microservices 3 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments