These usb ports without spring loaded contacts seriously exist? I've never found any, and I have a bunch of Apple gear. Certainly Apple's modern ports do have sligtly shallower sprung pins than most other ports, but they are definitely still sprung. I have a really hard time imagining how unsprung contacts would work reliably with anything, especially seeing as many commercial usb products these days use PCB slightly recessed (because pcb mask layer) trace connectors to interface with the socket. Anyhow, the Digispark PCB should be thicker. It should be as thick as a regular usb plug - 0.4mm thicker. This change could probably be implemented with a sticker on the bottom or something like that. I've found that my digispark's work reliably in Mac USB ports, except for the USB 3.0 ports on the very newest Mac's, which are recessed even more deeply than previous ports.