Ask HN: Is there any programming language to argument thought processes? | Dark Hacker News