Battlestar Galactica: curse words linguistics, formal code verification, and robo Jesus

Published: June 25, 2019, 7:45 a.m.

Review \n\n

Battlestar was so good! The importance of Ronald D Moore\u2019s work on Deep Space Nine. The genesis of the \u201cgritty\u201d scifi drama juxtaposed against Star Trek\u2019s utopia. Judging the best scifi captains: Adama? Picard?

\n\n Frak! \n\n

The difficulties with \u201cfrak.\u201d \u201cFraking\u201d vs \u201cfracking.\u201d Changes of spelling. Designing the curse words of scifi futures. Appreciating Nick Farmer\u2019s \u201cBelter.\u201d The nature of \u201cswear words.\u201d Comparing the sounds of made-up brand names to test linguistic form/function clustering.

\n\n

Anti-AI security

\n\n

Computers are good at computers. Fully securing your \u201chello world\u201d program. Code testing and integration. Formal verification to mathematically guarantee computer code, and the incredible expense thereof.

\n\n Robo Jesus \n\n

Creatures coming into sapience in a world with the scientific method and body of knowledge and still turning to \u201cGod.\u201d

\n\n\n\t
    \n\t\t\n\t\t\t
  1. \n\t\t\t\tDiaspora, The Free BSG Space-Sim based on Freespace 2: Hard-Light.net\n\t\t\t
  2. \n\t\t\n\t\t\t
  3. \n\t\t\t\tCaprica: iTunesAmazon\n\t\t\t
  4. \n\t\t\n\t
\n\nSupport the show!