{"by":"b-man","descendants":51,"id":49909056,"kids":[49911795,49918093,49912416,49918540,49914375,49912267,49911400,49912002,49911792,49913430,49914931,49917386,49919920,49917636,49921847,49912816,49921879,49918936,49920085],"score":246,"time":1790776626,"title":"What TLA+ can and can't check","type":"story","url":"https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/"}