I think someone in the comments of that thread said Maxis was the original publisher, and looking it up I do see Cinematronics listed as developers.

However, the taskman OP didn’t necessarily say that he wrote Space Cadet pinball, he said he “wrote/ported Space Cadet pinball, zip folders, . . .” My money is on him porting SC pinball, not writing it