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

Review

Battlestar was so good! The importance of Ronald D Moore’s work on Deep Space Nine. The genesis of the “gritty” scifi drama juxtaposed against Star Trek’s utopia. Judging the best scifi captains: Adama? Picard?

Frak!

The difficulties with “frak.” “Fraking” vs “fracking.” Changes of spelling. Designing the curse words of scifi futures. Appreciating Nick Farmer‘s “Belter.” The nature of “swear words.” Comparing the sounds of made-up brand names to test linguistic form/function clustering.

Anti-AI security

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

Robo Jesus

Creatures coming into sapience in a world with the scientific method and body of knowledge and still turning to “God.”

Links:

Diaspora, The Free BSG Space-Sim based on Freespace 2: Hard-Light.net
Caprica: iTunes | Amazon