@thegibson In my headcanon Outlander continues until it becomes Outland featuring Sean Connery, with the rise of the Scottish Space Empire in the middle

Wrench zombie: tHe mAnY dEsIrE tHe NeW fLeSh. aLL mUsT bE JoInEd tO thE OnE

Me: Cool, sign me up?

Zombie: uhhhH??

Me: look I just plugged a worm into my gut and it gave me hitpoints, so, you guys have obviously figured out some stuff on the healthcare front, maybe your outreach needs a little work, but

Zombie: aRe.. wE pOpUlAr aGaIn?

Me: Wave election! Also serious housing issues in the port nacelle

Zombie: sIgH FINE HERE'S A FORM

Me: you won't regret it!

Zombie: aLreAdY aM

https://www.youtube.com/watch?v=Ah1zEK68HFE

Southampton Dock

Roger Waters

They disembarked in '45

And no-one spoke and no-one smiled

There were too many spaces in the line.

Gathered at the cenotaph

All agreed with hand on heart

To sheath the sacrificial knives.

But now

She stands upon Southampton dock

With her handkerchief

And her summer frock clings

to her wet body in the rain.

In quiet desperation

Knuckles white upon the slippery reins

She bravely waves the boys Goodbye again.

https://www.poemhunter.com/poem/at-the-cenotaph/

At The Cenotaph

Siegfried Sassoon

I saw the Prince of Darkness, with his Staff,

Standing bare-headed by the Cenotaph:

Unostentatious and respectful, there

He stood, and offered up the following prayer.

'Make them forget, O Lord, what this Memorial

Means; their discredited ideas revive;

Breed new belief that War is purgatorial

Proof of the pride and power of being alive;

https://twitter.com/howardweaver/status/1061484899738079232

<<

First they came for the journalists.

We don't know what happened after that.

>>

@abs I think he's interested in it because it's the smallest (classical-ish) logic and so the process of brute-force searching for a proof of a smallest axiom by just smashing through them is doable. And his whole deal is brute-force searching to point out the interesting differences between how humans reason and how automated systems reason.

Which is kind of fun, and I can see where he's coming from.

What I find fascinating is that the axiom is so arbitrary and not derivable from NAND.

I wish I understood why Stephen Wolfram is so excited about rediscovering NAND gate logic in 2000 and writing about it in 2018

(I suppose the interesting part is that the simplest possible axiom for NAND / Scheffer Stroke logic is so *big*. That raises a lot of questions, or ought to.)

http://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/

<< The Wolfram Language is fully symbolic, so "undefined variables" can always just stand for themselves: >>

Hmmmm.. See, I like this idea, but, I don't understand how he makes it work...?

Cos in Prolog, you have undefined variables which most certainly do NOT stand for themselves; because of scoping. They stand for 'unknowns' which are often represented as opaque numbers.

Curious as to how Wolfram solves the problem of passing undefined variables up a scope.

@enkiv2 Ooh, Wolfram Language! I hadn't really looked at this before.

This is exactly the sort of thing I've been banging on about.

http://www.wolfram.com/language/fast-introduction-for-programmers/en/symbolic-expressions/

<< Everything in the Wolfram Language is a symbolic expression.

numbers strings images arrays graphs formulas documents interfaces code ... >>

Yep! What my 'Term-expressions' are trying to provide a minimal syntax for.

and we're all gonna shine a light together

Joined Apr 2017