Functional Programmers Anonymous

Functional Programmers Anonymous

"It should give us better control over the task of organizing our thoughts. If it did not do so, to my taste we should not deserve the computer at all!" thus concluded E.W. Dijkstra in 1972 at the end of his Turing Award Lecture. Four years earlier, during a conference in 1968, he also coined the phrase "Software Crisis", noting that the main challenge of the software industry, how to achieve intellectual control over the complexities of our own makings, had not yet been met. We revisit Dijkstra's claims in this podcast. Not your typical functional programming cheerleading babble. The intent is to leave you confoundedly humble, dazed and inspired. Only thereafter... perhaps... we can become to be in control of our own makings!

Denne podkasten er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(24)

Desmet Totalitarisme - Achterkant

Desmet Totalitarisme - Achterkant

De Psychologie van Totalitarisme - Mathias Desmet - 2023

20 Okt 20244min

[EWD-615] Vierde toespraak tot mijn studenten

[EWD-615] Vierde toespraak tot mijn studenten

Ter ontnuchtering wil ik graag herinneren aan de opgewonden verwachtingen, waarmee twintig jaar geleden de televisie is geintroduceerd: via dat wonderbare medium zouden cultuur en beschaving tot de hu...

31 Aug 20245min

[EWD-581] A somewhat open letter to Professor John McCarty

[EWD-581] A somewhat open letter to Professor John McCarty

Greetings and best wishes! Yours ever, Edsger W. Dijkstra

24 Aug 20243min

Jaap ter Woerds over Abstractie

Jaap ter Woerds over Abstractie

Jaap ter Woerds is een gerenomeerd Functioneel Programmeur, één van de weinige waar we van naar alle waarschijnlijkheid van zullen moeten toegeven dat zowel zijn abstraherend als wel zijn realiserend ...

17 Aug 20241h 10min

[EWD-898] The threats to computing science

[EWD-898] The threats to computing science

The programmable computer is no more and no less than a handy device for the implementation of any thinkable mechanism. As such it poses on us the burden to demonstrate which mechanisms we can think o...

14 Aug 202428min

[EWD-923A] Where is Russel's Paradox

[EWD-923A] Where is Russel's Paradox

Probably I am very naive, but I also think I prefer to remain so, at least for the time being and perhaps for the rest of my life.

10 Aug 20242min

Anny Oganesiants over Toegepaste Wiskunde

Anny Oganesiants over Toegepaste Wiskunde

Anny Oganesiants is tweedejaars student toegepaste wiskunde in Eindhoven met een liefde voor abstractie, oog voor de wiskundige structuren waar onze wereld uit bestaat, en een hele slimme meid. Ik spr...

3 Aug 20241h 6min

[SMOCA] The Space and Motion of Communicating Agents

[SMOCA] The Space and Motion of Communicating Agents

Populations of computing entities will be a significant part of our environment, performing tasks that support us, and we shall be largely unaware of them.

13 Jul 20248min

Populært innen Vitenskap

fastlegen
tingenes-tilstand
abels-tarn
romkapsel
jss
liberal-halvtime
vett-og-vitenskap-med-gaute-einevoll
rekommandert
villmarksliv
sinnsyn
dekodet-2
fjellsportpodden
rss-rekommandert
rss-overskuddsliv
tomprat-med-gunnar-tjomlid
rss-inn-til-kjernen-med-sunniva-rose
kvinnehelsepodden
diagnose
hva-er-greia-med
rss-paradigmepodden