Heh, when it gets dark it gets even colder (of course.) That wispy fog you see in the photo would be the fine mist of ice crystals that coats everything. Temps have been hovering around -25°F for most of the day.
When it gets that cold, things get weird. The extension cord I use to plug in the car (heh) gets super stiff, and the plug attachment becomes insanely hard to detach. The air is extremely dry, and you’re wearing lots of layers of clothing which are constantly rubbing against each other so you’re generating tons of static electricity, so you’re constantly getting these little shocks when you touch stuff. I’m just waiting to fry a gadget. Batteries don’t work very well, so phones and cameras and things are pretty unhappy, too.
I’m still trying to get my nerve up to drive out of town at night so I can see the Aurora. I’m a wuss, though — worried about having an auto breakdown out in the middle of nowhere.
Title: Are Frogs Turing Compatible?
Speaker: Don “The Lion” Knuth
Several researchers at the University of Louisiana have been studying
the computing power of various amphibians, frogs in particular. The problem
of frog computability has become a critical issue that ranges across all areas
of computer science. It has been shown that anything computable by an amphi-
bian community in a fixed-size pond is computable by a frog in the same-size
pond — that is to say, frogs are Pond-space complete. We will show that
there is a log-space, polywog-time reduction from any Turing machine program
to a frog. We will suggest these represent a proper subset of frog-computable
This is not just a let’s-see-how-far-those-frogs-can-jump seminar.
This is only for hardcore amphibian-computation people and their colleagues.
Refreshments will be served. Music will be played.