Stories by p4bl0

Git powered FTP client

Sandboxing Dropbox

A revocable anonymity in Tor

Formally verify a script in Coq

Write a script in Coq

Scientific paper submission checklist

Liberty vs. security: a human-sized case

PAANDA: The Professional Academic Alternative to Non-Disclosure Agreements

Inkscape 0.91 release

Luz (from Charlie Hebdo): “All eyes are on us, we've become a symbol”

High priority free software projects

Independent Peer-Review Initiative

Pluto: a first concurrent web server in Gallina

Nature's fauxpen access leaves me very sad and very angry

High-tech mirror to beam heat away from buildings into space

Hubble Uncovers a Baby Galaxy in a Grown-Up Universe (2004)

Sherlock Holmes Debugging

Attacking Suggest Boxes in Web Applications Over HTTPS Using Side-Channel

France signs a five-year national deal with Elsevier

What women in technology really think (150 of them at least)

12
13
14
15
16
17
18
19
20
21