ParentFull threadgjadi·Have a look at https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/...View on HN