First fully-polynomial transformer for distributed algorithms | Dark Hacker News