setori88

Karma: 602
Created: 16 years ago

About

[ my public key: https://keybase.io/sj_mackenzie; my proof: https://keybase.io/sj_mackenzie/sigs/A_jibuqndvVYnWIPtQO_q7lO7CCF-1G_k60T0QCFq40 ]

Recent Submissions

1. ▲ The Stewart Mackenzie Indaba #7 Shawn Chang – Hardened Linux Founder [video] (youtube.com) 1 point · 5 years ago · 0 comments
2. ▲ HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers (wrongbaud.github.io) 1 point · 5 years ago · 0 comments
3. ▲ Fairylog: A Racket language aiming to be like Verilog (pinksquirrellabs.com) 60 points · 6 years ago · 20 comments
4. ▲ Typing the nix language (gofundme.com) 1 point · 8 years ago · 0 comments
5. ▲ CakeML – A Verified Implementation of ML (cakeml.org) 163 points · 8 years ago · 37 comments
6. ▲ The Coming War on China – John Pilger (johnpilger.com) 2 points · 9 years ago · 0 comments
7. ▲ Show HN: Simple Rust Microservices (github.com) 3 points · 9 years ago · 1 comment

All submissions on HN · View profile on HN