Release Haskell Interlude #65 Andy Gordon (#510)

Author: mikesperber

podcast/65/index.markdown

@@ -0,0 +1,14 @@
+---
+title: Andy Gordon
+episode: 65
+buzzsproutId: 17253428
+recorded: 2024-11-22
+published: 2025-05-30
+---
+
+Andy Gordon from Cogna is interviewed by Sam and Matti. We learn about
+Andy’s influential work including the origins of the bind symbol in
+haskell, and the introduction of lambdas in Excel. We go onto discuss
+his current work at Cogna on using AI to allow non-programmers to
+write apps using natural language. We delve deeper into the ethics of
+AI and consider the most likely AI apocalypse.

podcast/65/links.markdown

@@ -0,0 +1,26 @@
++ [Andy Gordon](https://andrewdgordon.github.io/)
++ [Dijkstra essay on foolishness of NL for P](https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html)
++ [Grace Hopper’s FLOW-MATIC](https://en.wikipedia.org/wiki/FLOW-MATIC)
++ [Cogna](https://www.cogna.co/)
++ [Luca Cardelli](https://en.wikipedia.org/wiki/Luca_Cardelli)
++ [Gofer](https://en.wikipedia.org/wiki/Gofer_(programming_language))
++ [Douglas Howe](https://people.scs.carleton.ca/~howe/)
++ [Kevin Hammond](https://www.researchgate.net/profile/Kevin-Hammond)
++ [Mary Sheeran](https://www.cse.chalmers.se/~ms/) 
++ [Simon Peyton Jones](https://simon.peytonjones.org/)
++ [Philip Wadler](https://homepages.inf.ed.ac.uk/wadler/)
++ [The bind operator](https://x.com/AndrewDGordon/status/1559448300134211584)
++ [Nick Benton](https://nickbenton.name/)
++ [Mark Jones](https://web.cecs.pdx.edu/~mpj/)
++ [Gopher (early Haskell)](https://web.cecs.pdx.edu/~mpj/goferarc/index.html)
++ [Tweet about origin of >>=](https://x.com/AndrewDGordon/status/1559448300134211584)
++ [Andrew Kennedy](https://scholar.google.com.vn/citations?user=n48ZVvQAAAAJ&hl=en)
++ [HOL](https://hol-theorem-prover.org/)
++ [Dynamic arrays in Excel](https://support.microsoft.com/en-gb/office/guidelines-and-examples-of-array-formulas-7d94a64e-3ff3-4686-9372-ecfd5caa57c7)
++ [Ambient Calculus](https://www.microsoft.com/en-us/research/wp-content/uploads/2002/01/Types-for-the-ambient-calculus.pdf)
++ [Elastic Sheet defined functions](https://www.microsoft.com/en-us/research/uploads/prod/2018/11/elastic-sdfs-5bfd1d48e9dd2.pdf)
++ [Cursor](https://www.cursor.com/)
++ [ClarityGPT](https://main--claritygpt.netlify.app/)
++ [Igent](https://igent.ai/)
++ [Excel Copilot](https://copilot.microsoft.com/onboarding)
+