HALT!

[sniffnoy]

A quick addition to last entry. Only, it's actually a separate entry.

So today (just now, actually) Rebecca gave her second lecture on computability, this time on Turing machines.

ADan: So these Turing machines, they actually exist?
Rebecca: ADan, does anything with an infinite tape exist?
ADan: Your mom!

At one point she used "HALT_TM" to represent a certain language, and I suggested she should shout "HALT!" whenever she wrote this, but she didn't. So I shouted it once.

...yeah, that's really it. Now to actually get to work on my psets.

-Sniffnoy

Comments

HAlt

[(Anonymous)]

Part of the fun here is that Halt is the first part of your own web ID, Haltman. :-)