Episodi

  • HPR4759: Quine and the Application of Logic to Science

    HPR4759: Quine and the Application of Logic to Science
    Oct 29 2026

    This show has been flagged as Clean by the host.

    • W.V.O. Quine and Analytical Philosophy: The American logicians vision of applying rigorous logical structures to organise and elucidate fields of human understanding. Reference: Quine, W.V.O. (1951). Two Dogmas of Empiricism, The Philosophical Review, 60(1), 20-43; Stanford Encyclopedia of Philosophy: https://plato.stanford.edu/entries/quine/

    • Kurt Godel and Incompleteness Theorems: Foundational limits in formal logic where consistent systems contain unprovable true statements. Reference: Godel, Kurt (1931). Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, I; Stanford Encyclopedia of Philosophy: https://plato.stanford.edu/entries/goedel/

    • Russells Paradox and Formal Logic: The historical pursuit of logical foundations for mathematics and the contradictions exposed by paradoxes like the barber paradox. Reference: Russell, Bertrand, and Alfred North Whitehead (1910-1913). Principia Mathematica, Cambridge University Press; Stanford Encyclopedia of Philosophy: https://plato.stanford.edu/entries/russell-paradox/

    • Abstract Syntax Trees (ASTs): Hierarchical tree data structures utilised by static analysis tools to break down, parse, and evaluate complex computer source code. Reference: Wikipedia Entry: https://en.wikipedia.org/wiki/Abstract_syntax_tree

    • Formal Specifications and Software Verification: Using mathematical proofs to verify program correctness from first principles without relying solely on empirical runtime testing. Reference: Woodcock, Jim, et al. (2009). Formal Methods: Practice and Experience, ACM Computing Surveys, 41(4).

    • Deterministic Systems vs. Large Language Models: The architectural divide between rule-based, deterministic logic engines and data-driven, non-deterministic neural networks.

    • Steven Wolfram and Computational Irreducibility: The limits of predictability in complex computational systems and efforts to map universal rules of knowledge. Reference: Wolfram, Stephen (2002). A New Kind of Science, Wolfram Media; Wolfram Language Resource: https://www.wolfram.com/language/anks/

    Provide feedback on this episode.
    Mostra di più Mostra meno
    Meno di 1 minuto
  • HPR4760: Robert A. Heinlein: Later Works

    HPR4760: Robert A. Heinlein: Later Works
    Oct 30 2026
    This show has been flagged as Clean by the host. Beginning in 1970 Heinlein started to have health issues whihc affected his writing. One novel was a bit of a mess because he was physically unable to fix and polish, and in otghers you can discern that he is revisiting his past as he comes to terms with his own mortality. Heinlein’s Later Works 1970 marked a turning point in some ways in Heinlein’s writing. First, health issues intruded, and not unexpectedly, intimations of his own mortality became more prominent. This is just my personal opinion, but I think his works became a little more uneven in this last stage of his career. I Will Fear No Evil (1970) in 1970 Heinlein had the first of his major health issues with an attack of peritonitis. He did manage to publish one novel but it is a bit of a mess. I Will Fear No Evil tells the story of Johann Sebastian Bach Smith, a billionaire whose body is failing, so he decides on transplanting his brain into another body. He offers $1 million for the donation of a brain dead body. Then his secretary is killed, and her body is used. When Bach wakes up after the surgery he discovers that the secretary is still there and he can talk to her. Or maybe it is all a hallucination on his part. Sex becomes a major part of the story, as would become a theme in Heinlein’s later works. The now female person takes the name Joan, and then decides to have child using sperm frozen by the billionaire. They then decide to marry the lawyer, then he dies, and his personality seems to join the other two. This is certainly consistent to the hallucination hypothesis, but who knows. Heinlein had only done one rough draft when the peritonitis hit, and that laid him up for two years. So this novel at the very least did not receive the polishing he usually gave to his novels. You can safely skip it, in my opinion. Time Enough For Love (1973) This is a collection of shorter pieces with linking narration. It concerns the life of Lazarus Long, who we first encountered in Methuselah’s Children. He now becomes a kind of alter ego for Heinlein himself. Lazarus has lived thousands of years, and is tired of it. But he has an audience for his stories, so he will keep on as long they are listening. You can see the parallels, and maybe Heinlein, after a long illness, wondered how much longer he could tell stories. Part of the book is inclusion of extracts “From the Notebooks of Lazarus Long”, which consist of sayings and aphorisms. At the end, he travels back in time and has sex with his mother, before shipping off to France to fight in World War I. If you are a fan, you will want to read this. This book was nominated for the Hugo, Nebula, and Locus awards, but did not win. It did win a Prometheus award. Heinlein has a rare blood type, and had needed multiple transfusions to combat the peritonitis. As a result in the mid-1970s he got involved in organizing blood drives within the SF community. This reduced his writing. Then in 1977 he had a series of transient ischemic attacks, which were traced to a blocked carotid artery. This set him up to be one of the very early recipients of a carotid bypass operation. The Number of the Beast (1980) This novel has 4 protagonists, and different chapters are narrated from each of their perspectives. The four are Zebediah John Carter, Dejah Thoris Burroughs Carter, her father the mathematician Jacob Burroughs, and Hilda Corners. And if you think there is a lot of Edgar Rice Burroughs clues in those names, you are correct. In this novel Heinlein creates his “World As Myth” idea, which basically states that fictional worlds also exist in the Multiverse. If you take the idea of infinite universes seriously, it follows that in infinite universes there must be one for every world written about in stories. In this novel they have a craft that can navigate between universes, and end up visiting Barsoom, Oz, the Lensman universe, etc. before finally joining up with Lazarus Long. This is a fun read in many respects, but he redid it later as The Pursuit of the Pankera, which I prefer, though that may in part be because it has a much long stay in the Lensman universe. I am a big fan of that series as we shall see. This novel was nominated for a Locus award. Friday (1982) In his later works Heinlein frequently depicted the world in a violent and chaotic state (for example, see I Will Fear No Evil). And that is certainly the case in this novel. This brings us back to the world of Gulf and Kettle Belly Baldwin. Friday is a genetically engineered person employed by quasi-military organization (the same one we saw in Gulf) as a courier. She has adventures in the chaotic mess that is North America divided into many smaller countries. Sex is part of the story of course, but also we see Heinlein reaching back to his earlier works bring in people and settings from those works. Writing this in the time of Donald Trump I cannot really discount Heinlein’s pessimism,...
    Mostra di più Mostra meno
    Meno di 1 minuto
  • HPR4761: HPR Community News for October 2026

    HPR4761: HPR Community News for October 2026
    Nov 2 2026
    This show has been flagged as Explicit by the host. New hosts There were no new hosts this month. Last Month's Shows IdDayDateTitleHost4739Thu2026-10-01Happy by shower # 3Antoine4740Fri2026-10-02Robert A. Heinlein in the 1960sAhuka4741Mon2026-10-05HPR Community News for September 2026HPR Volunteers4742Tue2026-10-06OLF Call for presentations open Ken Fallon4743Wed2026-10-07wl-copyKlaatu4744Thu2026-10-08HPR Beer Garden 21 - MildKevie4745Fri2026-10-09BruCON interview 1: The BruCON organizationKristoff4746Mon2026-10-12MonotoneLee4747Tue2026-10-13UNIX Curio #13 - Replacements for catVance4748Wed2026-10-14Programmable Logic Controls - Episode 5 Whiskeyjack4749Thu2026-10-15murph gives a presentation talk about Hacker Public Radio at the OLF conferencemurph4750Fri2026-10-16Playing Civilization VI Part 2Ahuka4751Mon2026-10-19Real Live AI Use Caseoperat0r4752Tue2026-10-20Static Addict Episode 2: Metal Machine MusicTheDUDE4753Wed2026-10-21HPR Beer Garden 22 - BitterKevie4754Thu2026-10-22BruCon interviews part2: LockpickingKristoff4755Fri2026-10-23BlenderElsbeth4756Mon2026-10-26We are material beingsAntoine4757Tue2026-10-27Follow-up on a local Ham visit for Kevie and KenArcher724758Wed2026-10-28Programmable Logic Controls - Episode 6 Whiskeyjack4759Thu2026-10-29Quine and the Application of Logic to ScienceTrurl4760Fri2026-10-30Robert A. Heinlein: Later WorksAhuka Comments this month Past shows hpr4318 (2025-02-19) "What's up with the dates on the HPR future feed in AntennaPod?" by dnt.Ken Fallon said: "dnt has the answer" (2026-10-19 07:29:46) hpr4357 (2025-04-15) "Short introduction by murph." by murph.Archer72 said: "No comments so I will" (2026-10-25 11:36:37) hpr4685 (2026-07-17) "Listening to SSB stations in the early 1980s" by Lennart Benschop.archer72 said: "Fellow radio enthusiast" (2026-10-11 20:44:40) hpr4703 (2026-08-12) "Ebooks and Audiobooks" by Ahuka.Steve Barnes said: "Yee hee hee." (2026-10-08 19:20:27)Kevin O'Brien said: "I enjoyed doing it" (2026-10-10 20:37:22)Kevin O'Brien said: "Some additional information" (2026-10-11 16:21:22) hpr4705 (2026-08-14) "Free Software Is Wasted On You Teens" by Trollercoaster.Steve Barnes said: "Yes, well." (2026-10-08 19:18:42) hpr4706 (2026-08-17) "Quirks and Customisations" by Lee.Dave Morriss said: "I enjoyed this a lot!" (2026-10-07 16:56:59) hpr4707 (2026-08-18) "UNIX Curio #12 - expr" by Vance.Dave Morriss said: "Didn't know 'dc'; knew of 'expr' but never got on with it!" (2026-10-09 15:34:00) hpr4708 (2026-08-19) "Programmable Logic Controls - Episode 1" by Whiskeyjack.mechatrocity said: "Adding a PLC tag to these episodes and creating a 'series'" (2026-10-09 15:19:55)archer72 said: "Re: Adding a PLC tag" (2026-10-09 18:11:43)Whiskeyjack said: "Reply to mechatrocity and archer72" (2026-10-09 22:34:02)Whiskeyjack said: "Second reply to mechatrocity and archer72" (2026-10-09 22:41:06) hpr4717 (2026-09-01) "Visit with a blind Ham operator" by Archer72.Archer72 said: "hpr4741 :: HPR Community News question" (2026-10-16 12:40:03) hpr4726 (2026-09-14) "Trurl's intro show" by Trurl.0xf10e said: "More knowledge" (2026-10-15 10:53:50) hpr4735 (2026-09-25) "hpr4715 :: friedcamp interviews part 5: Yvon Masyn" by Kristoff.Windigo said: "Inspiring project" (2026-10-05 20:43:24) hpr4738 (2026-09-30) "Programmable Logic Controls - Episode 4 " by Whiskeyjack.Archer72 said: "PLC relevance" (2026-10-11 11:30:30)Whiskeyjack said: "Reply to Archer72 on robots" (2026-10-11 20:12:15)archer72 said: "robots" (2026-10-12 22:00:13) This month's shows hpr4739 (2026-10-01) "Happy by shower # 3" by Antoine.candycanearter07 said: "thanks" (2026-10-02 23:55:43)Antoine said: "Yahp." (2026-10-11 00:50:44) hpr4741 (2026-10-05) "HPR Community News for September 2026" by HPR Volunteers.Dave Morriss said: "Understanding IPA" (2026-10-02 16:15:38)Whiskeyjack said: "systemd" (2026-10-06 05:12:41)Whiskeyjack said: "Dave Morris on fix_tags" (2026-10-06 04:40:31)Whiskeyjack said: "PLCs versus MIcrocontrollers" (2026-10-06 04:33:28)Whiskeyjack said: "Background noise in HPR4723" (2026-10-06 04:12:38)candycanearter07 said: "good episode" (2026-10-06 06:06:16)candycanearter07 said: "re: Dave Morris on fix_tags" (2026-10-07 04:15:42)archer72 said: "Re: 8032 series microcontrollers " (2026-10-07 20:21:09)Whiskeyjack said: "Reply to archer72 on 8032 microcontrollers" (2026-10-09 01:47:38) hpr4742 (2026-10-06) "OLF Call for presentations open " by Ken Fallon.An HPR listener. said: "Events." (2026-10-07 10:07:51)Ken Fallon said: "A fume extractor" (2026-10-08 07:00:30)Archer72 said: "Re: An HPR listener: Events." (2026-10-10 09:59:46)Whiskeyjack said: "Background noise in interview" (2026-10-10 17:35:32) hpr4743 (2026-10-07) "wl-copy" by Klaatu.candycanearter07 said: "wayland varient" (2026-10-07 13:55:16)xmanmonk said: "wl-copy package" (2026-10-07 19:52:51)Whiskeyjack said: "wl-copy and xclip" (2026-10-09 01:37:32) hpr4745 (2026-10-09) "BruCON interview 1: The BruCON organization" by ...
    Mostra di più Mostra meno
    Meno di 1 minuto
  • HPR4762: Surviving the Strike: A Host’s Tale of Lightning

    HPR4762: Surviving the Strike: A Host’s Tale of Lightning
    Nov 3 2026

    This show has been flagged as Explicit by the host.

    In this intense and personal episode, the host recounts the terrifying experience of his home being struck by lightning twice—once in an apartment two decades ago and recently in his current house. He details the catastrophic damage inflicted on his electronics, explaining how the surge traveled through coaxial cables, Ethernet lines, and USB ports, destroying network cards, a motherboard, a gaming mouse, a garage door opener, a dishwasher disposal, and even an electric scooter. The narrative takes a harrowing turn as he describes climbing a ladder during an active storm to tarp holes in the roof, only to have lightning strike 50 feet away, causing drywall to explode and leaving him with a near-fatal shock. The host seeks practical advice from listeners on how to properly protect Ethernet connections and electronics during storms, questioning the efficacy of standard surge protectors versus industrial-grade solutions, while warning others against the dangers of handling equipment or going outside during severe weather.

    Provide feedback on this episode.
    Mostra di più Mostra meno
    Meno di 1 minuto
  • HPR4764: EV_Update_20260306

    HPR4764: EV_Update_20260306
    Nov 5 2026

    This show has been flagged as Clean by the host.

    https://techcrunch.com/2026/03/05/byd-rolls-out-ev-batteries-with-5-minute-flash-charging-but-theres-a-catch/

    https://www.globalchinaev.com/post/byd-readies-four-models-for-canadian-market-entry

    Provide feedback on this episode.
    Mostra di più Mostra meno
    Meno di 1 minuto
  • HPR4765: BruCON interview 3: Awesome retro

    HPR4765: BruCON interview 3: Awesome retro
    Nov 6 2026

    This show has been flagged as Clean by the host.

    Awesome Space Hilversum

    https://awesomespace.nl/

    Awesome Space is open every Friday for anyone to play great classic games. We have over 100 retro consoles, home computers, and arcade machines playable in space. So come over NEXT game night to explore the Awesome Space. We are located in the Game Capital of the Netherlands. Bring friends, play games, and have fun.

    Provide feedback on this episode.
    Mostra di più Mostra meno
    Meno di 1 minuto
  • HPR4766: Rant about Audacity 4.0.1

    HPR4766: Rant about Audacity 4.0.1
    Nov 9 2026

    This show has been flagged as Explicit by the host.

    I have been using Audacity for long, as I'm an audiolover for a long too. When Audacity 3.x popped up saying Audacity 4 is here , I went for it. To get decepted.

    It is beautiful, really something you can call a NEW version, but it's incomplete. The old, loved and necessary features are not all ported to the new interface, and shortcuts are a mess to (not) work. Not a big thing, if they simply said so in their website , or named it beta, or release candidate, for a few more months, until the implementation of 1 or 2 bug fixes and 2 or 3 features of old being still present.

    Don't buy my opinion for it, or opinions on the Audacity forum ; try yourself if you're an Audacity user! (Are you already using the new one?)

    Hope you get a good show.

    Credit:

    Short music clip used, free license: Jazzy Abstract Beat_Chops, by Coma-Media, on Pixabay

    Provide feedback on this episode.
    Mostra di più Mostra meno
    Meno di 1 minuto