John Nagle

Personal information


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.

History


11 years 34 weeks