formalsystem | Dark Hacker News