Hacker News new | ask | show | jobs
by spwa4 3 days ago
It's machine translated with TLA, tested, and finished by adding a few extra pure go mechanisms (such as Go code-backed virtual tables)