Tony Hoare (SciCast #653)

Neste episódio iremos conhecer a vida e obra de Sir Charles Antony Richard Hoare mais conhecido como Tony Hoare. Um premiado Cientista da Computação Britânico responsável por diversas descobertas significativas na Ciência da Computação. Vamos discutir alguns de seus algoritmos, teorias e sua contribuição para os campos de verificação formal e computação simultânea. Descubra conosco o que fez esse programador ser tão importante ao ponto de se tornar um Cavaleiro Britânico condecorado pela Rainha Elizabeth II.     Patronato do SciCast: 1. Patreon SciCast 2. Apoia.se/Scicast     3. Nos ajude via Pix também, chave: [email protected] ou acesse o QRcode:   Sua pequena contribuição ajuda o Portal Deviante a continuar divulgando Ciência! Contatos: [email protected] https://twitter.com/scicastpodcast https://www.facebook.com/scicastpodcast https://instagram.com/scicastpodcast Fale conosco! E não esqueça de deixar o seu comentário na postagem desse episódio! Expediente: Produção Geral: Tarik Fernandes e André Trapani Equipe de Gravação: Marcelo de Matos, Cézar Antônio , Gabriela Reciputti, Vinicius Trevisan Citação ABNT: Scicast #653: Tony Hoare. Locução: Marcelo de Matos, Cézar Antônio , Gabriela Reciputti, Vinicius Trevisan . [S.l.] Portal Deviante, 21/07/2025. Podcast. Disponível em: https://www.deviante.com.br/podcasts/scicast-653 Imagem de capa: https://habr.com/ru/companies/superjob/articles/624543/   Para apoiar o Pirulla, use o Pix abaixo: [email protected] Em nome de Marcos Siqueira (primo do Pirulla) [caption id="attachment_65160" align="aligncenter" width="300"] QR code PIX[/caption]   Site: https://www.pirulla.com.br/   Expotea: https://expotea.com.br/https://www.instagram.com/expoteabrasil/ Referências e Indicações Sugestões de vídeos: Explicação sobre CSP:  https://www.youtube.com/watch?v=xmpUsSkcUI0   Palestra de Tony Haore sobre o erro de um Bilhao de Dolares: https://www.youtube.com/watch?v=ybrQvs4x0Ps&pp=ygUhdG9ueSBob2FyZSBiaWxsaW9uIGRvbGxhciBtaXN0YWtl Dança Húngara do QuickSort : https://www.youtube.com/watch?v=3San3uKKHgg&pp=ygUZaHVuZ2FyaWFuIGRhbmNlIGFsZ29yaXRobQ%3D%3D Sugestão de Série:  Halt and Catch Fire: https://www.imdb.com/pt/title/tt2543312/ Sugestões de links: Artigo sobre o Jantar dos Filósofos:  https://www.deviante.com.br/noticias/entre-forks-e-segredos/  Indicação de Hoare ao A.M Turing: https://amturing.acm.org/award_winners/hoare_4622167.cfm Algoritmo de Bolha: https://pt.wikipedia.org/wiki/Bubble_sort Linguagem Algol W: https://en.wikipedia.org/wiki/ALGOL_W See omnystudio.com/listener for privacy information.