RSS

apophenia

Karma: 489

Friendly, but Dumb: Why for­mal Friendli­ness proofs may not be as safe as they appear

apophenia19 Apr 2010 23:38 UTC
12 points
4 comments2 min readLW link