Technology
Tech advances, inventions, AI, and digital innovation
-
Technology
Ford's assembly line built cars in 93 minutes
-
Technology
IBM's punched cards powered the data age
-
Technology
The first online purchase was a pizza
-
Technology
General Electric did not invent the first light bulb
-
Technology
Netflix once mailed DVDs in red envelopes
-
Technology
Curiosity: the engine of human innovation
-
Technology
Lam Coq ensures software is always correct
-
Technology
Bedrock makes computer systems truly trustworthy
-
Technology
Z3: The AI that checks if code is right
-
Technology
Why3 combines provers for perfect software
-
Technology
Yices software checks for errors automatically
-
Technology
ACL2: the software that certifies hardware
-
Technology
How PVS prevents disasters in critical systems
-
Technology
How one engine sparked the Industrial Revolution
-
Technology
Quantum computers compute exponentially faster
Other categories
Categories →