user: setori88

602 karma | created 17 years ago

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

recent submissions

(no title)

4 years ago|discuss

The Stewart Mackenzie Indaba #7 Shawn Chang – Hardened Linux Founder [video] (youtube.com)

1 pts|5 years ago|discuss

HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers (wrongbaud.github.io)

1 pts|6 years ago|discuss

Fairylog: A Racket language aiming to be like Verilog (pinksquirrellabs.com)

60 pts|6 years ago|20 comments

(no title)

8 years ago|discuss

Typing the nix language (gofundme.com)

1 pts|9 years ago|discuss

CakeML – A Verified Implementation of ML (cakeml.org)

163 pts|9 years ago|37 comments

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

The Coming War on China – John Pilger (johnpilger.com)

2 pts|9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss

(no title)

9 years ago|discuss