Meaning

noun a dull hollow sound

originSaid by the inventors to be from the irregular jocular past tense of think (see Etymology 1), being coined when they realised that the type of an argument in ALGOL 60 could be predetermined at compile time (with a little compile-time “thought”).

Etymology from Wiktionary, CC BY-SA 3.0