Oddbean new post about | logout
 Maybe I should do FDE in Mercury soonish, would be fairly easy 
 I might want to finish unifying the driver/process model so that the FDE driver can prompt for a key from stdin