Stories by infruset

How to Wake Up Feeling Totally Alert (2007)

Turtl: A secure, encrypted Evernote alternative

Why Procrastinators Procrastinate (2013)

When Will We See Collisions for SHA-1? (2012)

Michelson:a Statically Typed Stack Based Language for Smart-Contracts[video]

Highlights from the Comments on Cost Disease

We should justify ourselves no more: Felwine Sarr’s Afrotopia

Hero's Journey

The Doomsday Clock just advanced

Listening to Trump Voters

CompCert C: a trustworthy compiler

1 second everyday

What Flirting Looked Like in 2016

Coq 8.6 is out

The upcoming version: Coq 8.6rc1

Anti-homeless spikes:Sleeping rough opened my eyes to the city’s barbed cruelty

Moralized Rationality

In search of software perfection

The trouble with books

Doctors and Drugs: Promoting Growth and Equality Through Free Trade

1
2
3
4