Future of Coding

Joining the discussion is Felienne Hermans, a computer scientist renowned for her work in programming education and spreadsheet programming. They dive into Alan Turing's legacy, critiquing the outdated assumptions in his famous paper on artificial intelligence. The conversation navigates gender identity, deception in the Turing Test, and the complexities of machine intelligence versus human thought. They also challenge the simplistic definitions of intelligence, advocating for a broader understanding that goes beyond language. Hermans' insights make for a thought-provoking exploration of Turing's impact.

Felienne Hermans, a programming language researcher known for her work on Hedy, discusses the critical intersection of feminism and programming language design. She reveals the biases in academia that prioritize formal research over human-focused studies, which can stifle diverse contributions. With personal anecdotes, she emphasizes the need for inclusivity and the significance of addressing gender dynamics in the field. The conversation also highlights how outdated norms in academia affect women's participation and advocates for a more nuanced understanding of gender in tech.

Dive into an exploration of whether the universe itself acts like a computer. Delve into philosophical debates about computation and the mind, where historical insights from figures like Alan Turing enrich the discussion. Discover distinctions between deterministic and non-deterministic systems, and their implications for understanding reality. The conversation poses lofty questions about existence and our place in the cosmos, mixing humor with deep thoughts on how computation shapes our understanding of time and change.

In this engaging discussion, Alexander Repenning, an innovator in educational tools, shares insights from his 20-year journey with AgentSheets, a platform designed to foster kids' computational thinking. He delves into the evolution of block-based programming, critiques the limitations of syntax-focused education, and advocates for more accessible coding tools for diverse students. Repenning humorously addresses the naming conventions in programming and emphasizes the importance of a deeper understanding of semantics and pragmatics in coding education.

The podcast delves into the history and significance of Pygmalion, the originator of concepts like icons and programming by demonstration. It explores the original paper by David Canfield Smith, the debate between reading sequentially or jumping to conclusions, and critiques gender dynamics in visual programming. The hosts also discuss the role of language in thought, explore the existence of triangles, and examine visual representations in programming.

The podcast delves into topics like 'Inventing on Principle' by Brett Victor, Paris Fashion Week, Canadian Tuxedo, hot module replacement, and innovative programming demos. It also discusses the intersection of technology and art, exploring surrealism, direct manipulation in art and technology, and the utilization of tools and constraints for creativity.

Dave Ackley challenges conventional software engineering by advocating for a balance between correctness and efficiency. The episode explores robustness in computing, prioritizing resilient solutions over peak performance. Examples range from RAID to Byzantine fault tolerance, highlighting the importance of handling unpredictable situations in software development.

Author Mary Shaw discusses myths and mythconceptions in programming, including the dominance of ill-specified software, the confusion caused by the lack of structure in a paper, and the importance of recognizing limitations in myths. They explore the concept of vernacular software development and its tools, the contributions of vernacular programmers and the capture of their work by commercial entities, and the reality of software engineering. The speakers also touch on gender-neutral terms, the acquisition of knowledge, the varying interpretations of correctness, and the myth of the professional programmer.

Philip Wadler discusses the deep connection between logic and programming, revealing how every program corresponds to a proof. The podcast explores historical models of computation, Godel's influence, and challenges in defining calculable processes. It also delves into lambda calculus, Turing machines, comedy in programming, and the evolution of computing from military funding to logical systems.

Renowned computer scientist and idiosyncratic grump, Edsger Wybe Dijkstra, discusses his influential 'Go To Considered Harmful' paper and its impact. They debate the use of 'go to' statements in programming and explore concepts like coordinate systems in programs. The harmful aspects of go to statements and dependency injection are also discussed. They highlight the value of the elder generation in shaping technology and reflect on code styles and building something new. The podcast also covers scar tissue in bureaucracy and the differences between podcasting and radio.