Looking for a language that popped up here

Hey HN. I'm looking for a language that had a popular thread here maybe a few months ago. I forgot the name, but remember a few sparse details: every program having a unique ID (or something of that nature), it read a bit like JSON I think. Again, totally blanking on the details, but it was very cool and novel. It was in beta back then with a website showing examples. Any help?