> Grock Grock was a famous Swiss clown and once the highest paid entertainer in ...

		hinkley 10 days ago \| parent \| context \| favorite \| on: Performance optimization is hard because it's fund... > Grock Grock was a famous Swiss clown and once the highest paid entertainer in Europe. The non-clown word you’re looking for is grok and Robert Heinlein coined it in 1961.