- About 3 (spicy) italian sausages, torn into little chunks with your fingers
- Broccoli (or other steamable veggie) cut up however you like it
- Some garlic, chopped up small
- Some hot red pepper flakes if you want
- Olive oil, a third of a cup or so
I've been reading some old textbooks on computability I had lying around and reviewing the proofs for shits and giggles -- it's like playing a videogame with a walkthrough. Among the amusing results, for the sake of review:
- It is not possible to write a program that can figure out whether or not a particular program will behave in a particular way given a particular input (call it "accepting" or "rejecting" a string)
- It is not possible to write a program to determine whether another program rejects all string
- Furthermore, it is not possible to write a program that can tell whether two programs have any properties related to string-acceptance in common at all
- It's not possible to write a program that can tell whether another program is as efficiently-written as possible
Taking a tip from Devin, who literally has a separate blogger.com account for each of the cartoon characters in Yu-Gi-Oh! with whom he's consumated a relationship, I've added a little sidebar that contains an HTML-ization of my Advogato RSS feed. What the fuck does that mean? Well, it means I don't have to write about computer stuff in this 'blog any more, because any interested parties (don't think there are any) can read about it there. It also means there'll be fewer entries in here, because I don't give a fuck about shit that doesn't compute, knowwha'msayin'? Now I just need to find a way to fix the stupid font color for those links.
No comments:
Post a Comment