OSCON 2013: Turing's Curse
•
0 likes•1,752 views
The document discusses the history of computing concepts from the 1940s to the 1980s. Many modern technologies like cloud computing, big data, hypertext, networking and programming languages were conceptualized decades earlier. While much innovation occurred, unreliability remains unsolved as programming errors are inevitable. The author argues for continued work on reliability to help programmers make fewer mistakes and better identify errors.
Report
Share
Related slideshows
OSCON 2013: Turing's Curse
- 1. Turing’s Curse July 26, 2013 John Graham-Cumming www.cloudflare.com!
- 2. A LONG, LONG TIME AGO... www.cloudflare.com!
- 3. The Mother of All Demos - 1968 www.cloudflare.com!
- 5. I’ve got a bad feeling about this www.cloudflare.com!
- 7. Cloud Computing - 1966 www.cloudflare.com! 1966 - 1968
- 9. Big Data in 1955 www.cloudflare.com! 1955 - 1968
- 11. Virtual Machine Hypervisor - 1967 www.cloudflare.com! 1955 - 1968
- 13. Hypertext - 1945 www.cloudflare.com! 1945 - 1968
- 15. Hypertext with clickable links - 1967 www.cloudflare.com! 1945 - 1968
- 17. Markup Languages • IBM Generalized Markup Language – 1960s www.cloudflare.com! 1945 - 1968
- 19. Fibre Optic Networking - 1966 www.cloudflare.com! 1945 - 1968
- 21. Wireless Networking – 1971 www.cloudflare.com! 1945 - 1971
- 23. Ethernet - 1973 www.cloudflare.com! 1945 - 1973
- 25. SSDs – 4MB in 1976 www.cloudflare.com! 1945 - 1976
- 27. Processor Architecture 1945 - 1976 • RISC (1960s Cray; 1980s) • CISC (1960s IBM mainframes) • Instruction and Data Caching (1960s; IBM System/360) • Instruction Pipelining and Prefetch (1961 IBM Stretch; 1979 8086) • Branch Prediction (1961 IBM Stretch) • Vector processor (1974 STAR-100) www.cloudflare.com!
- 29. Internetworking 1945 - 1976 • Chat – 1967 (NLS later Unix Talk) • File Transfer – 1971 (FTP) • Email – 1971 (host to host) • Remote Procedure Calls – 1975 (RFC 707) www.cloudflare.com!
- 31. GUI – Xerox 8010 (1981) www.cloudflare.com! 1945 - 1981
- 32. GUI – Apple Lisa (1983) www.cloudflare.com! 1945 - 1983
- 33. 1945 - 1983 INTERNET TCP/IP – 1983 www.cloudflare.com!
- 34. 1945 - 1983 FUNCTIONAL PROGRAMMING LISP – 1958 APL - 1964 ML – 1973 www.cloudflare.com!
- 35. 1945 - 1983 OBJECT ORIENTED PROGRAMMING Simula 1 – 1967 C++ - 1979 Smalltalk - 1980 www.cloudflare.com!
- 36. 1945 - 1983 CONCURRENT PROGRAMMING CSP – 1978 Ada - 1979 Occam – 1983 www.cloudflare.com!
- 37. 1945 - 1983 EVENT DRIVEN PROGRAMMING PL/1 - 1966 www.cloudflare.com!
- 38. 1945 - 1983 DECLARATIVE LANGUAGES SQL – 1979 Regular Expressions – 1970s www.cloudflare.com!
- 39. HIGH WATER MARK IS (ROUGHLY) 1983 www.cloudflare.com!
- 41. THE THING YOU ARE DOING HAS BEEN DONE BEFORE There’s great value in computer science education www.cloudflare.com!
- 42. WE ARE IN THE AGE OF GREAT PRODUCTIVITY Be thankful all that stuff’s been invented already www.cloudflare.com!
- 43. WE HAVE YET TO CONQUER UNRELIABILITY www.cloudflare.com!
- 46. Maurice Wilkes (1950s) • As soon as we started programming, we found to our surprise that it wasn't as easy to get programs right as we had thought. Debugging had to be discovered. I can remember the exact instant when I realized that a large part of my life from then on was going to be spent in finding mistakes in my own programs. www.cloudflare.com!
- 47. Donald Knuth (1990s) • Question from audience: “Which programming language do you prefer Java or C++?” • Knuth: “Which has the better debugger?” www.cloudflare.com!
- 48. TURING’S CURSE 1936: There is no program that, given a description of an arbitrary computer program, can decide whether the program finishes running or continues to run forever. www.cloudflare.com!
- 49. WORK ON RELIABILITY Help programmers make fewer mistakes Help programmers find their mistakes www.cloudflare.com!