As heard on Type Theory Forall: #18 Gödel's Incompleteness Theorems - Cody Roux
Lien de la page web de l'épisode: https://www.typetheoryforall.com/2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html
Fichier de l'épisode: https://www.typetheoryforall.com/episodes/episode18.mp3
Baxter Dury's cockney drawl will finally grace Australian stages, 20 years after he kicked off his music career. He performs at Rising Festival in Melbourne and Dark Mofo in Hobart this week.
What is tiny, bright orange, and really bad at jumping? The answer is a small amphibian found in the mountainous forests of Brazil, aptly called pumpkin
We know that many processes are running in an operating system concurrently. Processes running concurrently means there may be two or more processes run at the same time. But the actual concurrent…
Defence has named Anduril’s extra-large autonomous undersea vehicle “Ghost Shark” at an event on Sydney Harbour. During the naming ceremony, Anduril’s 2. 8 tonne “Dive-LD” autonomous sub
In this tutorial, you'll learn how to use Python's mmap module to improve your code's performance when you're working with files. You'll get a quick overview of the different types of memory before diving into how and why memory mapping with mmap can make your file I/O operations faster.
On freedom, authority and responsibility. Theorist Todd McGowan joins us to talk about the End of History, what Hegel can teach us about emancipation, and why Slavoj Zizek’s reinterpretation of Hegel is so important. If contradiction is the basis of modern politics, what is its link to freedom? And what is the connection between freedom and authority? Are stable sources of authority even possible in modernity? We also put some listener questions to Todd, as we learn that the Right, just as much as the Left, evades authority and is unwilling to take responsibility. Readings: Emancipation After Hegel: Achieving a Contradictory Revolution Review of book in Marx & Philosophy
Cited by https://substack.com/app-link/post?publication_id=883883&post_id=135048864&utm_source=post-email-title&isFreemail=true&token=eyJ1c2VyX2lkIjo3Mjc1MTUwNCwicG9zdF9pZCI6MTM1MDQ4ODY0LCJpYXQiOjE2ODk3OTU3ODcsImV4cCI6MTY5MjM4Nzc4NywiaXNzIjoicHViLTg4Mzg4MyIsInN1YiI6InBvc3QtcmVhY3Rpb24ifQ.yv4227H4YOuph6ClAnhNMB9TZSDXKtFo1aO8VLYNlYI
Ali Whitelock is a Scottish poet and writer living on the South coast of Sydney with her French, chain-smoking husband. Her latest poetry collection, the lactic acid in the calves of your despair, is published by Wakefield Press and her debut collection, and my heart crumples like a coke can (Wakefield Press, 2018) has a…
Regretsy, the blog that highlights and mocks the most ridiculous listings on Etsy, has closed. Wired.co.uk interviews founder April Winchell about her next move
Perth is looking at recycling all its sewage in the city’s future water supply. But many Australians’ drinking water already contains indirectly recycled treated sewage.
J. Briggs, M. Murphy, и Y. Pan. PICS 2000: Image Processing, Image Quality, Image Capture, Systems Conference, стр. 84--88. Society for Imaging Science & Technology, Society for Imaging Science & Technology, (2000)