Tailsnic Retroworks
Champion
They are "golden fingers". Don't think about "arduino pins", these ones are socket-designed for.Slightly off topic but what are you using for the part that plugs into the sockets, can you buy "chip legs" for something like that somewhere? Or are these just regular pin headers (I would think these are slightly too big to plug into usual sockets though?)
