A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

Watch: Apple's Lesser-Known Co-Founder Ronald Wayne to Appear at Event Tonight

The First 50 Years, tech columnist David Pogue is hosting an Apple at 50: Five Decades of Thinking Different event at the Computer History Museum in Mountain View, California tonight. The event will ...