Lambda the Ultimate

Pascal-F verifier.
Nagle Algorithm in TCP.
First stable ragdoll physics.
DARPA Grand Challenge participant.
Predicted dot-com crash and housing bubble collapse (downside.com)

Programming languages.
Real-time programming.
Pre-WWII Teletype machines.
Horses.