Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Trying to Communicate With Alien Computers
i don't think you could give an alien computer a virus by giving it lambde calculus. But why do think is let that we tried to communicate with aliens? We've done that, write the a voyager, i think it was, had a plac on it. And maybe we could send a program in c, and aliens would be able to decipher it. That might work a or it might not. Maybe they would just find that art. I can't conceive of any kind of universe where you don't have the fundamental laws of logic. It works in all universe, is not just in one umove. Then i tried to come up with a word for it, and i
Transcript
Play full episode
