Litex: The First Formal Language Learnable in 2 Hours | Dark Hacker News