formalsystems | Dark Hacker News