Ask HN: What are some good blogs/sites about formal/computer languages? | Hacker News Reader