Ask HN: Is Algol used anywhere today? | Dark Hacker News