2015-02-19 at 12:57:33

Liberty vs security: a human-sized case
last update on 2015-02-21 at 11:20:54

2013-11-18 at 19:01:19

PhD midterm report: Formal Software Methods for Cryptosystems' Implementation Security
last update on 2013-11-27 at 10:52:32

2013-07-18 at 22:56:43

Using AutoProxy to browse Onions, EepSites, and the clearweb with Firefox
last update on 2013-07-19 at 16:03:57

2013-01-21 at 01:01:14

outline-presentation-mode for Emacs
last update on 2019-08-13 at 17:23:04

2011-09-27 at 19:16:42

λ-virus
last update on 2011-09-27 at 23:02:27

2011-05-28 at 18:43:06

PHP and MySQL: going fully UTF-8 for real
last update on 2011-06-20 at 09:52:30

2011-04-26 at 12:54:42

Fast window switching: Bash tricks
last update on 2011-04-26 at 13:11:00

2011-04-21 at 03:13:06

Startup or research?
last update on 2016-02-12 at 23:16:16

2011-04-19 at 19:51:17

Fast window switching
last update on 2011-04-20 at 11:56:44

2010-12-07 at 18:19:59

Microwave Typing
last update on 2013-01-20 at 16:57:59

2010-12-03 at 18:43:22

Don't register third-level .name domains
last update on 2013-11-03 at 20:30:53

2010-09-30 at 11:28:56

Turing completeness bullshit

2010-09-24 at 17:19:47

Book review: The Limits of Mathematics by Gregory Chaitin
last update on 2010-09-25 at 09:14:27

2010-09-18 at 01:52:34

hackEns, a hacking club at Normale Sup'
last update on 2010-10-04 at 14:20:31

2010-09-04 at 23:18:56

fugitive: README
last update on 2019-08-13 at 17:23:04