Texas Instruments set to buy National Semiconductor for $6.5 billion? | Dark Hacker News