ChatGPT Understands Operational Semantics | Dark Hacker News