RSS

Lanrian

Karma: 434
Page 1

For­mal­is­ing de­ci­sion the­ory is hard

Lanrian
23 Aug 2019 3:27 UTC
18 points
19 comments2 min readLW link