Did someone measure the 3 seconds delay on tweets sent to 10 mil followers ? Or just some assumption based on lower scale tests ?

I'd imagine "shard the servers serving the subscription to users, accessing sharded database/queue of new tweets" would get you close. Much easier to do with established software now than when twitter was created tho.