Curadoria em português inspirada por histórias como a de Terry A. Davis: pessoas que programaram, projetaram linguagens, sistemas, ferramentas, protocolos, engines, compiladores, bancos de dados, editores, algoritmos ou infraestruturas que mudaram a computação.

Critério usado: esta lista não mede “QI” nem santifica ninguém. “Genial” aqui significa: criou algo tecnicamente difícil, original, influente, duradouro ou surpreendentemente feito por poucas pessoas. Alguns são programadores puros; outros são cientistas da computação que também escreveram sistemas, linguagens ou algoritmos fundamentais. Alguns têm histórias pessoais admiráveis; outros são controversos. A obra técnica é o foco.

Sumário rápido por tipo de genialidade

Sistemas operacionais e baixo nível: Dennis Ritchie, Ken Thompson, Linus Torvalds, Terry A. Davis, Dave Cutler, Gary Kildall, Richard Stallman, Theo de Raadt.
Linguagens de programação: Grace Hopper, John Backus, John McCarthy, Niklaus Wirth, Bjarne Stroustrup, James Gosling, Guido van Rossum, Larry Wall, Yukihiro Matsumoto, Brendan Eich, Anders Hejlsberg, Rich Hickey, Martin Odersky, Chris Lattner, Graydon Hoare.
Algoritmos e teoria que viraram prática: Donald Knuth, Edsger Dijkstra, Tony Hoare, Barbara Liskov, Leslie Lamport, Robin Milner, Simon Peyton Jones.
Web, internet e ferramentas: Tim Berners-Lee, Marc Andreessen, Daniel Stenberg, Ward Cunningham, Brian Behlendorf, Moxie Marlinspike.
Bancos de dados e infraestrutura: D. Richard Hipp, Jim Gray, Michael Stonebraker, Donald Chamberlin, Raymond Boyce, Sanjay Ghemawat, Jeff Dean.
Games e gráficos: John Carmack, John Romero, Sid Meier, Chris Sawyer, Alexey Pajitnov, Markus Persson.
Criptografia, segurança e privacidade: Phil Zimmermann, Daniel J. Bernstein, Moxie Marlinspike, Whitfield Diffie, Martin Hellman.

1. Ada Lovelace (1815–1852)

Por que entra na lista: é geralmente lembrada como autora do primeiro algoritmo publicado para uma máquina computacional, pensado para a Máquina Analítica de Charles Babbage. Não programou computador moderno, obviamente, mas enxergou algo absurdo para sua época: máquinas poderiam manipular símbolos, não apenas números.

Obras e links:

Impacto: visão conceitual da programação antes da existência de computadores eletrônicos.

2. Alan Turing (1912–1954)

Por que entra na lista: formalizou a ideia de computação com a Máquina de Turing, trabalhou em criptoanálise durante a Segunda Guerra e influenciou profundamente IA, computabilidade e arquitetura computacional.

Obras e links:

Impacto: sem Turing, a computação moderna não teria a mesma base teórica.

3. Konrad Zuse (1910–1995)

Por que entra na lista: construiu o Z3, um dos primeiros computadores programáveis eletromecânicos, e criou Plankalkül, uma das primeiras linguagens de alto nível.

Obras e links:

Impacto: pioneirismo brutal em hardware e linguagem, antes da indústria existir como conhecemos.

4. Grace Hopper (1906–1992)

Por que entra na lista: pioneira em compiladores e figura central na criação do COBOL. Hopper ajudou a tornar programação menos presa à linguagem de máquina.

Obras e links:

Impacto: abriu caminho para programação de negócios em escala industrial.

5. John Backus (1924–2007)

Por que entra na lista: liderou a equipe que criou o FORTRAN, linguagem que transformou programação científica e de engenharia.

Obras e links:

Impacto: FORTRAN mostrou que linguagens de alto nível podiam competir com assembly em problemas reais.

6. John McCarthy (1927–2011)

Por que entra na lista: criou Lisp e cunhou/organizou parte do campo da inteligência artificial. Lisp é uma das linguagens mais influentes da história.

Obras e links:

Impacto: Lisp moldou IA, metaprogramação, linguagens funcionais e pensamento simbólico.

7. Margaret Hamilton (1936–)

Por que entra na lista: liderou software de voo do Apollo no MIT Instrumentation Lab. Seu trabalho virou símbolo da engenharia de software crítica.

Obras e links:

Impacto: programação em ambiente onde erro não era “bug”: era risco de missão.

8. Donald Knuth (1938–)

Por que entra na lista: autor de The Art of Computer Programming, criador do TeX e METAFONT. Knuth é provavelmente o maior sistematizador da arte de programar.

Obras e links:

Impacto: elevou algoritmos e programação ao nível de disciplina matemática e artesanal.

9. Edsger W. Dijkstra (1930–2002)

Por que entra na lista: criou o algoritmo de caminho mínimo de Dijkstra, defendeu programação estruturada, formulou ideias fundamentais sobre concorrência e correção.

Obras e links:

Impacto: ensinou gerações a pensar programa como construção lógica, não gambiarra crescente.

10. Tony Hoare (1934–)

Por que entra na lista: criou o Quicksort, desenvolveu lógica de Hoare e contribuiu para linguagens e verificação formal.

Obras e links:

Impacto: Quicksort é um dos algoritmos mais famosos e usados; a lógica de Hoare fundamenta raciocínio formal sobre programas.

11. Dennis Ritchie (1941–2011)

Por que entra na lista: criou a linguagem C e cocriou UNIX com Ken Thompson. Poucos programadores influenciaram tanto o mundo invisível do software.

Obras e links:

Impacto: C e UNIX viraram base de sistemas operacionais, compiladores, linguagens, redes e dispositivos.

12. Ken Thompson (1943–)

Por que entra na lista: cocriador do UNIX, da linguagem B, do Plan 9 e do Go. Um hacker de sistemas no sentido mais puro.

Obras e links:

Impacto: UNIX definiu a filosofia de sistemas; seu ensaio sobre compiladores comprometidos ainda assombra segurança moderna.

13. Brian Kernighan (1942–)

Por que entra na lista: coautor do livro K&R, contribuidor do UNIX, AWK e cultura de programação clara.

Obras e links:

Impacto: talvez nenhum livro tenha ensinado tanta gente a programar em C com elegância quanto K&R.

14. Niklaus Wirth (1934–2024)

Por que entra na lista: criou Pascal, Modula, Oberon e uma tradição inteira de linguagem simples, compilador limpo e ensino forte.

Obras e links:

Impacto: se você gosta de linguagens pequenas, compiladores compreensíveis e engenharia enxuta, Wirth é obrigatório.

15. Barbara Liskov (1939–)

Por que entra na lista: desenvolveu CLU, Argus e ideias centrais de abstração de dados, modularidade, tolerância a falhas e substituição de Liskov.

Obras e links:

Impacto: seu trabalho está por trás da maneira moderna de pensar tipos, objetos e contratos.

16. Alan Kay (1940–)

Por que entra na lista: um dos pais da programação orientada a objetos moderna, do Smalltalk e da visão do computador pessoal como meio criativo.

Obras e links:

Impacto: influenciou GUI, OOP, educação computacional e visão de computadores como mídia.

17. Dan Ingalls (1944–)

Por que entra na lista: implementador fundamental do Smalltalk e de ambientes gráficos no Xerox PARC.

Obras e links:

Impacto: mostrou como linguagem, ambiente visual e sistema podiam formar um ecossistema vivo.

18. Bjarne Stroustrup (1950–)

Por que entra na lista: projetou e implementou C++, uma das linguagens mais usadas em sistemas, jogos, finanças, engines e software de alta performance.

Obras e links:

Impacto: C++ é difícil, mas domina onde controle, desempenho e abstração precisam coexistir.

19. James Gosling (1955–)

Por que entra na lista: liderou o design do Java, linguagem que dominou servidores, sistemas corporativos, Android e educação por décadas.

Obras e links:

Impacto: “write once, run anywhere” virou uma promessa cultural e industrial.

20. Guido van Rossum (1956–)

Por que entra na lista: criou Python, linguagem que se tornou central em automação, ciência de dados, IA, web, ensino e scripting.

Obras e links:

Impacto: Python ganhou por legibilidade, ecossistema e pragmatismo.

21. Larry Wall (1954–)

Por que entra na lista: criou Perl e o programa patch. Misturou linguística, Unix e pragmatismo hacker em uma linguagem que marcou a web inicial e administração de sistemas.

Obras e links:

Impacto: Perl foi a fita adesiva da internet por muito tempo.

22. Yukihiro “Matz” Matsumoto (1965–)

Por que entra na lista: criou Ruby, linguagem desenhada para felicidade do programador, combinando ideias de Perl, Smalltalk, Lisp, Eiffel e Ada.

Obras e links:

Impacto: Ruby influenciou fortemente web moderna por meio de Rails e cultura de developer experience.

23. Rasmus Lerdorf (1968–)

Por que entra na lista: criou as primeiras versões do PHP, linguagem que ainda sustenta enorme parte da web.

Obras e links:

Impacto: PHP venceu por implantação fácil, hospedagem barata e pragmatismo web.

24. Brendan Eich (1961–)

Por que entra na lista: criou JavaScript em 1995, em pouquíssimo tempo, e ajudou a fundar Mozilla. JavaScript virou a linguagem nativa da web.

Obras e links:

Impacto: amar ou odiar JavaScript é irrelevante: ele virou um dos pilares do planeta digital.

25. Anders Hejlsberg (1960–)

Por que entra na lista: criou Turbo Pascal, foi arquiteto do Delphi, C# e TypeScript. Poucos projetistas criaram tantas ferramentas de massa.

Obras e links:

Impacto: sua marca é unir linguagem, IDE e produtividade industrial.

26. Linus Torvalds (1969–)

Por que entra na lista: criou o kernel Linux e o Git. Um único programador com duas obras que sustentam praticamente o mundo moderno.

Obras e links:

Impacto: Linux roda servidores, Android, embarcados, nuvem; Git virou padrão mental de colaboração em código.

27. Richard Stallman (1953–)

Por que entra na lista: criou GNU Emacs, GCC, GDB em fases iniciais, fundou o projeto GNU e formulou a ética do software livre.

Obras e links:

Impacto: a parte “GNU” do ecossistema GNU/Linux existe porque Stallman transformou filosofia em código e licença.

28. Terry A. Davis (1969–2018)

Por que entra na lista: criou praticamente sozinho o TempleOS: sistema operacional, shell, linguagem HolyC, compilador, editor, gráficos e aplicações.

Obras e links:

Impacto: TempleOS é tecnicamente impressionante como obra individual. Também é uma história trágica sobre genialidade, isolamento e doença mental. O correto é admirar a obra sem romantizar o sofrimento.

29. Fabrice Bellard (1972–)

Por que entra na lista: criou FFmpeg, QEMU, Tiny C Compiler, Bellard’s formula para pi e outros projetos absurdamente técnicos.

Obras e links:

Impacto: Bellard é o arquétipo moderno do programador solo monstruoso: compiladores, emulação, multimídia, matemática.

30. D. Richard Hipp (1961–)

Por que entra na lista: criou SQLite, Fossil SCM, Lemon parser generator e Pikchr. SQLite talvez seja o banco de dados mais distribuído do planeta.

Obras e links:

Impacto: SQLite é invisível, pequeno, confiável e onipresente: celulares, browsers, apps e sistemas embarcados.

31. John Carmack (1970–)

Por que entra na lista: programador principal de engines de Commander Keen, Wolfenstein 3D, Doom, Quake; depois trabalhou com VR e IA.

Obras e links:

Impacto: Carmack empurrou gráficos em tempo real com matemática, assembly, C e obsessão por performance.

32. John Romero (1967–)

Por que entra na lista: programador e designer de jogos, cofundador da id Software, figura central em Doom, Quake, Wolfenstein 3D e cultura de modding.

Obras e links:

Impacto: ajudou a definir o FPS moderno, level design agressivo e cultura shareware/modding.

33. Steve Wozniak (1950–)

Por que entra na lista: projetou o Apple I e Apple II, máquinas fundamentais para o computador pessoal.

Obras e links:

Impacto: engenharia elegante, econômica e criativa no nascimento do PC.

34. Bill Joy (1954–)

Por que entra na lista: criou o editor vi, contribuiu para BSD Unix, TCP/IP no Unix e cofundou a Sun Microsystems.

Obras e links:

Impacto: vi e BSD ainda vivem em quase todo sistema Unix-like.

35. Gary Kildall (1942–1994)

Por que entra na lista: criou CP/M, um dos sistemas operacionais mais importantes da microcomputação inicial.

Obras e links:

Impacto: CP/M foi plataforma dominante antes do MS-DOS e moldou a computação pessoal.

36. Dave Cutler (1942–)

Por que entra na lista: arquiteto de sistemas operacionais como RSX-11M, VMS e Windows NT.

Obras e links:

Impacto: Windows moderno herda muito da arquitetura NT.

37. Tim Berners-Lee (1955–)

Por que entra na lista: inventou a World Wide Web, escreveu o primeiro cliente e servidor web e definiu URI, HTTP e HTML.

Obras e links:

Impacto: a web é uma das maiores infraestruturas cognitivas já criadas.

38. Marc Andreessen (1971–)

Por que entra na lista: coautor do Mosaic, navegador que popularizou a web gráfica, e cofundador da Netscape.

Obras e links:

Impacto: ajudou a transformar a web de curiosidade acadêmica em fenômeno de massa.

39. Jamie Zawinski (1968–)

Por que entra na lista: hacker lendário de Netscape/Mozilla, XEmacs e XScreenSaver.

Obras e links:

Impacto: representa o hacker pragmático da web inicial: código, cultura e crítica sem filtro.

40. Daniel Stenberg (1970–)

Por que entra na lista: criador do curl, uma das ferramentas de rede mais usadas do mundo.

Obras e links:

Impacto: se você usa APIs, CI/CD, Linux, containers ou scripts, provavelmente já dependeu de curl.

41. Ward Cunningham (1949–)

Por que entra na lista: criou o primeiro wiki e contribuiu para padrões, refatoração e metodologias ágeis.

Obras e links:

Impacto: wikis mudaram documentação, colaboração e cultura de conhecimento online.

42. Phil Zimmermann (1954–)

Por que entra na lista: criou o PGP, levando criptografia forte ao público.

Obras e links:

Impacto: ajudou a transformar criptografia em ferramenta civil, não apenas militar/estatal.

43. Daniel J. Bernstein (1971–)

Por que entra na lista: criou qmail, djbdns, Curve25519, NaCl/libsodium influenciada por seu trabalho, além de contribuições em cripto e segurança.

Obras e links:

Impacto: engenharia de segurança radicalmente focada em simplicidade, desempenho e correção.

44. Moxie Marlinspike (1979–)

Por que entra na lista: criador do Signal Protocol e fundador do Signal como ferramenta moderna de comunicação criptografada.

Obras e links:

Impacto: criptografia ponta a ponta deixou de ser nicho e entrou no bolso de bilhões.

45. Theo de Raadt (1968–)

Por que entra na lista: fundador do OpenBSD e OpenSSH, projetos focados em segurança, auditoria e correção.

Obras e links:

Impacto: OpenSSH virou infraestrutura básica da administração remota segura.

46. Rob Pike (1956–)

Por que entra na lista: trabalhou em Unix, Plan 9, UTF-8 com Ken Thompson, Limbo, Go e ferramentas no Bell Labs/Google.

Obras e links:

Impacto: representa a escola Bell Labs: sistemas simples, composição e clareza.

47. Robert Griesemer (1964–)

Por que entra na lista: codesigner da linguagem Go e contribuidor em V8/JavaScript e sistemas de linguagem.

Obras e links:

Impacto: Go consolidou uma linguagem simples para infraestrutura moderna, cloud e servidores.

48. Russ Cox (1980–)

Por que entra na lista: figura central no desenvolvimento moderno de Go, toolchain, módulos e ecossistema.

Obras e links:

Impacto: ajudou Go a virar linguagem operacional de infraestrutura em escala.

49. Chris Lattner (1978–)

Por que entra na lista: criou LLVM e liderou Swift. LLVM mudou compiladores modernos.

Obras e links:

Impacto: LLVM virou infraestrutura comum para linguagens, compiladores, análise e otimização.

50. Graydon Hoare

Por que entra na lista: iniciou Rust, linguagem que tenta unir performance de baixo nível com segurança de memória.

Obras e links:

Impacto: Rust virou resposta séria para décadas de bugs de memória em C/C++.

51. Rich Hickey (1965–)

Por que entra na lista: criou Clojure, linguagem Lisp moderna para JVM/JS/.NET, com foco em imutabilidade e simplicidade.

Obras e links:

Impacto: influenciou fortemente como programadores pensam estado, identidade, dados e simplicidade.

52. Martin Odersky (1958–)

Por que entra na lista: criou Scala, trabalhou em generics do Java e design de linguagens funcionais/OO.

Obras e links:

Impacto: Scala levou programação funcional tipada para indústria JVM em larga escala.

53. Simon Peyton Jones (1958–)

Por que entra na lista: figura central no Haskell e no compilador GHC.

Obras e links:

Impacto: ajudou programação funcional preguiçosa e fortemente tipada a sair do papel.

54. Joe Armstrong (1950–2019)

Por que entra na lista: cocriador de Erlang, linguagem/plataforma para sistemas distribuídos tolerantes a falhas.

Obras e links:

Impacto: Erlang ensinou o mundo a construir sistemas que continuam funcionando quando partes falham.

55. John Ousterhout (1954–)

Por que entra na lista: criou Tcl/Tk e trabalhou em sistemas distribuídos, armazenamento e ensino de design de software.

Obras e links:

Impacto: Tcl/Tk simplificou scripting e interfaces gráficas em Unix e pesquisa.

56. Bram Moolenaar (1961–2023)

Por que entra na lista: criou Vim, um dos editores mais importantes e duradouros da história.

Obras e links:

Impacto: Vim prova que software pequeno, extensível e obsessivamente refinado pode atravessar décadas.

57. Richard Gabriel (1949–)

Por que entra na lista: figura importante em Lisp/Common Lisp, Lucid, design de linguagens e reflexão sobre software.

Obras e links:

Impacto: suas ideias sobre “worse is better” ainda explicam por que software imperfeito vence no mundo real.

58. Guy L. Steele Jr. (1954–)

Por que entra na lista: cocriador de Scheme, autor de livros essenciais e participante de Java, Common Lisp e especificações de linguagem.

Obras e links:

Impacto: um dos grandes artesãos de especificação e design de linguagem.

59. Gerald Jay Sussman (1947–)

Por que entra na lista: cocriador de Scheme, coautor de SICP e pesquisador de IA/sistemas simbólicos.

Obras e links:

Impacto: SICP formou gerações de programadores que pensam em abstração de verdade.

60. Peter Norvig (1956–)

Por que entra na lista: programador e pesquisador de IA, coautor de Artificial Intelligence: A Modern Approach, famoso por código claro em Python e Lisp.

Obras e links:

Impacto: une teoria, IA e código didático de altíssimo nível.

61. Leslie Lamport (1941–)

Por que entra na lista: criou LaTeX e algoritmos fundamentais de sistemas distribuídos, como relógios lógicos e Paxos.

Obras e links:

Impacto: se existe consenso distribuído moderno, Lamport está no DNA.

62. Butler Lampson (1943–)

Por que entra na lista: trabalhou no Xerox Alto, sistemas distribuídos, segurança, arquitetura de computadores pessoais e design de sistemas.

Obras e links:

Impacto: muitas ideias do computador pessoal e de sistemas modernos passaram pelo PARC.

63. Ivan Sutherland (1938–)

Por que entra na lista: criou Sketchpad, sistema pioneiro de computação gráfica interativa.

Obras e links:

Impacto: CAD, interfaces gráficas e computação visual devem muito a Sketchpad.

64. Douglas Engelbart (1925–2013)

Por que entra na lista: criou/dirigiu o NLS, demonstrando mouse, hipertexto, edição colaborativa e ideias de interface modernas.

Obras e links:

Impacto: viu o computador como amplificador do intelecto humano.

65. Fernando Corbató (1926–2019)

Por que entra na lista: liderou CTSS e Multics, sistemas de time-sharing que influenciaram UNIX e sistemas multiusuário.

Obras e links:

Impacto: sem time-sharing, a computação interativa moderna demoraria mais a nascer.

66. Jim Gray (1944–desaparecido em 2007)

Por que entra na lista: pioneiro em transações, bancos de dados, confiabilidade e sistemas distribuídos.

Obras e links:

Impacto: quando você confia que uma transação aconteceu ou não aconteceu, Gray está no fundo conceitual.

67. Michael Stonebraker (1943–)

Por que entra na lista: criador/líder de Ingres, Postgres, VoltDB, SciDB e outros sistemas de banco de dados.

Obras e links:

Impacto: bases relacionais e pós-relacionais têm sua impressão digital.

68. Donald D. Chamberlin (1944–)

Por que entra na lista: cocriador do SQL, uma das linguagens mais usadas da história.

Obras e links:

Impacto: SQL é a língua franca de dados estruturados.

69. Raymond F. Boyce (1947–1974)

Por que entra na lista: cocriador do SQL/SEQUEL e associado à forma normal Boyce-Codd.

Obras e links:

Impacto: morreu cedo, mas tocou fundamentos que ainda sustentam bancos relacionais.

70. Edgar F. Codd (1923–2003)

Por que entra na lista: não é lembrado principalmente como programador, mas sua teoria relacional moldou bancos de dados e SQL.

Obras e links:

Impacto: sem Codd, dados corporativos modernos seriam muito mais caóticos.

71. Jeff Dean (1968–)

Por que entra na lista: engenheiro-chave do Google em sistemas distribuídos, MapReduce, Bigtable, TensorFlow e infraestrutura de IA.

Obras e links:

Impacto: ajudou a moldar computação em escala planetária.

72. Sanjay Ghemawat (1966–)

Por que entra na lista: parceiro técnico de Jeff Dean em MapReduce, Bigtable, GFS e infraestrutura Google.

Obras e links:

Impacto: engenharia distribuída concreta, não só paper bonito.

73. Brian Behlendorf (1973–)

Por que entra na lista: figura central no Apache HTTP Server, um dos servidores web mais importantes da história.

Obras e links:

Impacto: Apache ajudou a web aberta a crescer fora do controle de uma única empresa.

74. Ryan Dahl (1981–)

Por que entra na lista: criou Node.js e depois Deno, mudando o uso de JavaScript no servidor.

Obras e links:

Impacto: Node tornou JavaScript linguagem full-stack de massa.

75. David Heinemeier Hansson (1979–)

Por que entra na lista: criou Ruby on Rails, framework que redefiniu produtividade web nos anos 2000.

Obras e links:

Impacto: Rails popularizou convenção sobre configuração, MVC moderno e desenvolvimento web rápido.

76. Miguel de Icaza (1972–)

Por que entra na lista: cofundador do GNOME, criou/impulsionou Mono e Xamarin, aproximando software livre, desktop Linux e .NET.

Obras e links:

Impacto: ponte importante entre ecossistemas que normalmente se ignoravam ou brigavam.

77. Eric S. Raymond (1957–)

Por que entra na lista: programador, autor de fetchmail e figura de cultura open source; escreveu textos que moldaram o movimento.

Obras e links:

Impacto: mais importante como teórico/codificador da cultura hacker do que como criador de um grande sistema.

78. Bill Gates (1955–)

Por que entra na lista: antes de ser executivo, foi programador de BASIC e figura central no nascimento da Microsoft.

Obras e links:

Impacto: transformou software em indústria comercial de massa. Tecnicamente não é o mais elegante da lista, mas historicamente é impossível ignorar.

79. Paul Allen (1953–2018)

Por que entra na lista: cocriador da Microsoft e do Altair BASIC com Bill Gates.

Obras e links:

Impacto: ajudou a colocar linguagens acessíveis em microcomputadores iniciais.

80. Alan Cooper (1952–)

Por que entra na lista: chamado de “pai do Visual Basic”, influente em design de interação e ferramentas RAD.

Obras e links:

Impacto: Visual Basic colocou programação de aplicativos nas mãos de milhões.

81. Alexey Pajitnov (1955–)

Por que entra na lista: criou Tetris, um dos jogos mais perfeitos e duradouros já programados.

Obras e links:

Impacto: simplicidade mecânica extrema, viciante, universal.

82. Sid Meier (1954–)

Por que entra na lista: programador e designer de Civilization, Pirates!, Railroad Tycoon e outras obras fundamentais.

Obras e links:

Impacto: modelou sistemas complexos em jogos acessíveis e profundos.

83. Chris Sawyer (1967–)

Por que entra na lista: criou Transport Tycoon e RollerCoaster Tycoon, famosos por uso extremo de assembly e simulação eficiente.

Obras e links:

Impacto: exemplo raro de jogo comercial complexo escrito quase inteiramente em baixo nível.

84. Markus “Notch” Persson (1979–)

Por que entra na lista: criou Minecraft, fenômeno de programação indie que virou plataforma cultural.

Obras e links:

Impacto: mostrou a força de sistemas emergentes simples: blocos, crafting, mundo procedural, comunidade.

85. Jordan Mechner (1964–)

Por que entra na lista: criou Karateka e Prince of Persia, combinando programação, animação e narrativa visual.

Obras e links:

Impacto: levou cinematicidade e animação realista para jogos de computador antigos.

86. Richard Garriott (1961–)

Por que entra na lista: criador de Ultima, um dos pilares dos RPGs eletrônicos.

Obras e links:

Impacto: ajudou a definir RPGs digitais, mundos persistentes e narrativa interativa.

87. Tim Sweeney (1970–)

Por que entra na lista: fundador da Epic Games e criador inicial da Unreal Engine.

Obras e links:

Impacto: Unreal Engine virou uma das plataformas de criação 3D mais importantes do mundo.

88. John Resig (1984–)

Por que entra na lista: criou jQuery, biblioteca que simplificou JavaScript e DOM por anos.

Obras e links:

Impacto: antes dos frameworks modernos, jQuery era a ponte para fazer web dinâmica sem enlouquecer.

89. Evan You (1987–)

Por que entra na lista: criou Vue.js e Vite, ferramentas centrais no frontend moderno.

Obras e links:

Impacto: Vue e Vite melhoraram muito a ergonomia do desenvolvimento frontend.

90. Jordan Walke

Por que entra na lista: criou React no Facebook, mudando profundamente a maneira de construir interfaces web.

Obras e links:

Impacto: components, virtual DOM e reatividade se tornaram padrão mental do frontend moderno.

91. Solomon Hykes (1983–)

Por que entra na lista: criador/fundador do Docker, que popularizou containers para desenvolvimento e deploy.

Obras e links:

Impacto: containers já existiam, mas Docker tornou o fluxo acessível e padronizado.

92. Kelsey Hightower (1981–)

Por que entra na lista: não é criador único de uma linguagem, mas virou referência em Kubernetes, infraestrutura e ensino técnico limpo.

Obras e links:

Impacto: mostrou que documentação e didática técnica também são obras de engenharia.

93. Joe Beda

Por que entra na lista: cocriador do Kubernetes, junto com Brendan Burns e Craig McLuckie.

Obras e links:

Impacto: Kubernetes virou camada operacional padrão da nuvem moderna.

94. Brendan Burns

Por que entra na lista: cocriador do Kubernetes e pesquisador/engenheiro de sistemas distribuídos.

Obras e links:

Impacto: ajudou a consolidar orquestração de containers em escala global.

95. Craig McLuckie

Por que entra na lista: cocriador do Kubernetes, vindo da experiência de infraestrutura do Google.

Obras e links:

Impacto: Kubernetes virou fundação de DevOps/cloud native.

96. Werner Vogels (1958–)

Por que entra na lista: CTO da Amazon, influente em arquitetura distribuída, cloud e sistemas de grande escala.

Obras e links:

Impacto: ajudou a popularizar pensamento de sistemas distribuídos práticos em escala empresarial.

97. Werner Buchholz (1922–2019)

Por que entra na lista: cunhou o termo “byte” enquanto trabalhava no IBM Stretch.

Obras e links:

Impacto: às vezes a genialidade também está em conceitos e nomenclatura que viram base universal.

98. Jean Ichbiah (1940–2007)

Por que entra na lista: liderou o design da linguagem Ada, criada para sistemas críticos e militares.

Obras e links:

Impacto: Ada é linguagem séria para software onde erro custa caro.

99. Xavier Leroy (1968–)

Por que entra na lista: criador/líder de OCaml e CompCert, compilador C formalmente verificado.

Obras e links:

Impacto: CompCert é um marco: compilador industrialmente relevante com prova formal de correção.

100. Robin Milner (1934–2010)

Por que entra na lista: criou ML, trabalhou em teoria de tipos, LCF e sistemas formais.

Obras e links:

Impacto: ML influenciou Haskell, OCaml, F#, Rust e boa parte da teoria prática de tipos.

Leituras e fontes-base recomendadas

Estas fontes são bons pontos de partida para continuar a pesquisa:

Observação final

Se você veio pela história de Terry A. Davis, o padrão que provavelmente te atrai é o do programador-sistema, aquele que não só escreve apps, mas constrói o próprio mundo onde o software roda: linguagem, compilador, editor, sistema operacional, engine, protocolo, banco de dados. Nesse recorte, os nomes mais próximos do “espírito Terry Davis” são:

Fabrice Bellard — QEMU, FFmpeg, TCC; gênio solo moderno.
D. Richard Hipp — SQLite e Fossil; minimalismo extremo e confiabilidade.
Ken Thompson — UNIX, B, Plan 9, Go; hacker primordial de sistemas.
Dennis Ritchie — C e UNIX; influência invisível em quase tudo.
Niklaus Wirth — linguagens e sistemas pequenos, compreensíveis, elegantes.
Linus Torvalds — Linux e Git; escala planetária.
Richard Stallman — GNU Emacs, GCC, GNU; ideologia mais código real.
John Carmack — engines, gráficos, performance, baixo nível.
Chris Sawyer — simulação/jogos complexos em assembly.
Terry A. Davis — TempleOS como catedral individual, tecnicamente impressionante e humanamente trágica.

A lição dura: genialidade em programação raramente é só “saber linguagem X”. É dominar camadas: máquina, sistema, abstração, ferramenta, ergonomia, performance e clareza. O resto é currículo inflado.

Related documents