4 ms·
Apparently the language was renamed at some point, google/puffs redirects to google/wuffs? Puffs was discussed few years back https://news.ycombinator.com/item
by zokier 6y ago
Apparently the language was renamed at some point, google/puffs redirects to google/wuffs?
Puffs was discussed few years back https://news.ycombinator.com/item?id=15711767 https://news.ycombinator.com/item?id=15711767
- teraflop 6y agoYeah, I was curious about that as well. The README file links to a Google Groups discussion about the name change that seems to have been memory-holed, but apparently it was renamed to avoid confusion with a NetBSD component: https://news.ycombinator.com/item?id=15712659 https://news.ycombinator.com/item?id=15712659
- pjmlp 6y agoThankfully they changed the name, in Germany it would be quite impossible to use it in any public discussion, as Der Puff is a special kind of boys club.
- avmich 6y agoYeah, Coq also feels the heat with name...