Archive for October, 2014

Haiku Detector Achieves its Purpose (and will now proceed to have an existential crisis)


I originally wrote Haiku Detector because my friend Gry saw Times Haiku and wondered whether there were any haiku in her Ph. D. thesis. The other day I heard back about the haiku she found. It turns out that even the title of the thesis is a haiku:

Developments for
studies of the extremes of
nuclear matter

Here’s another one, which could be about anything. The last line is a bit of an anticlimax.

As of today, the
origin of this strength is
not well understood.

When I read this one, I wondered if miniball was a mini-golf style version of another ball game:

At HIE-ISOLDE
the MINIBALL would be used
for the same purpose.

The impurities
of 48,50Ti
are easily seen.

After seeing these, I sent her the as-yet-unreleased new version of Haiku Detector, which can detect haiku made up of several sentences. Having mostly had my name on papers authored by the entire CMS collaboration, I expected her to find a lot of haiku in the author list. But ISOLDE is much smaller, and also this is her thesis that she wrote, not some paper whose author list she got tacked onto. So she got some from references:

Kitatani, S.
Goko, H. Toyokawa,
K. Yamada, T.

C 47,
537
(1993).

and some things with section numbers tacked on:

2.1.1
Open shell nuclei and
collective models

This matrix is the
starting point for the Oslo
method. 45

That last one has so many possibilities. I like to think of it as being about an electronic band called The Oslo Method which released a 45rpm record about The Matrix. Unfortunately, nobody can be told what the haiku is. You have to see it for yourself. And indeed, you can see the other haiku she found on the #MyHaikuThesis tag on Twitter.

I noticed something interesting while writing this post — some of the ‘haiku’ Gry found include gamma (γ) symbols:

The γ-ray strength functions
display no strong enhancement
for low γ energies.

5.2.3
Particle energy-γ-ray
energy matrix

Haiku Detector on her Mac has treated them as having zero syllables, as if they are not pronounced, and I think I recall characters like that not being pronounced in the Princeton Companion to Mathematics. But I just checked on my Mac running Mac OS X Yosemite, and the speech synthesis (which Haiku Detector relies on for syllable counting) pronounces γ as ‘Greek small letter gamma’, so Haiku Detector does not find those erroneous haiku. I think that this might be a new feature in Yosemite.

But here’s where it gets weird: you’d think that it’s just reading ‘Greek small letter gamma’ because that’s the unicode name of the character. I tried with a few emoji and other special characters, and that hypothesis is upheld. But the unicode character named ‘chicken’ (🐔) is pronounced ‘chicken head’. Spooky. Another strange thing is that there is no unicode ‘duck’ character.

If you’ve been paying attention, you probably know why I happened to come across those oddities. I’ll have to investigate them later, though; right now I’m in Edinburgh for NSScotland, and it’s about time I looked at some tourism information.

So, Haiku Detector; what now? Maybe look for supersymmetric haiku?

Update: It seems that in Mac OS X 10.8, γ is not pronounced, and 🐔 is pronounced ‘chicken emoji’. Other emoji also have ’emoji’ in their pronunciations, while still others are not pronounced. I wonder if pronunciations were added (and later edited to remove the ’emoji’) for certain emoji, and now the default pronunciation has changed from nothing to the unicode name. So ‘🐔’ ended up with the explicit pronunciation ‘chicken head’ while others which were not previously pronounced use their unicode names. So this should be a haiku in Yosemite, though for some reason Haiku Detector does not detect it:

🐒🐔
🐔🐒🐒
🍄🍄🐍

, , , , , , , , ,

Leave a comment

Forms and Formulae: Proof and Presupposition


A picture of the Sun peeking over the spine of The Princeton Companion to Mathematics as it rests on top of The Princeton Encyclopedia of Poetry & PoeticsThis is the sixth in a series called ‘Forms and Formulae‘ in which I write about articles in the Princeton Companion to Mathematics using poetic forms covered by articles in the Princeton Encyclopedia of Poetry and Poetics. This installment’s mathematics article is entitled ‘Geometry’, and the poetic form is anecdote. This poem tells a true story I was reminded of by the discussion of the many attempts to prove Euclid’s parallel postulate from the other postulates, before people finally considered what would happen if it were false, opening up whole new geometries. This anecdote is not directly analogous, however, since I actually proved a statement to be false rather than proving it to be independent of the other axioms and then investigating what would happen if it were false.

A statement that the learned man had tried for days to prove
was set for students as a test
for four points extra credit,
to boost percentage marks assessed
of anyone to get it.

I mined brain gold with mind-brainpan, but things did not improve.
My efforts could not beat a path
from axiom to conjecture.
I sighed, and then let go of math
and headed to a lecture.

As I was sitting on the can, the shit began to move.
I saw the field with eyes anew
and found a boundary sample
that proved the statement was not true —
an outright counterexample.

To draw for years a foregone plan, for sure does not behoove
explorers hoping quests provide
not just what’s sought, but more.
Perhaps the field was opened wide,
but I scored one-oh-four.

I’ve been sitting on a draft of this one for a while, because, as noted above, disproving something is not the same thing as proving that one axiom can neither be proven nor disproven from the others, and then launching new fields of mathematics in which the axiom is taken to be false. Besides that, it’s a poem mentioning poop (though written before Shit Your Inner Voice Says), and it has a really weird rhyme scheme and awkward rhythm, for no good reason. Then again, I did once credit my short-story-writing success to the mention of toilets.

It is a true story; my abstract algebra professor at university set a couple of problems he hadn’t managed to prove himself for extra credit, and after proving problem number one I happened to think of a counterexample for problem number 2 while doing number 2s, and ended up scoring more than 100% for that class. I felt like I couldn’t make up an entirely fictional anecdote (though that is allowed, according to to the encyclopaedia) and while I’m sure I could write all sorts of other poems about geometry (on top of at least one I already have), I don’t have a lot of anecdotes about it.

Unimpressed as I am by this particular effort, I have to publish this to get onto the next Forms and Formulae, which will be… oh, for the love of Gödel — a national anthem for the development of abstract algebra?! What have I let myself in for?! It will take a while, because I’m heading to a programming conference followed by a translation conference soon, and then I’ll probably have to exercise my fledgling musical skills again.

Meanwhile, you can enjoy the highlights videos from Open Phil, an awesome open mic night in Vienna, where I’ve been practising reciting my poetry for audiences, and other people have been doing amazing musical things and other performances. Also, here‘s a very Vi-Hart-esque video I found while searching to see whether Vi Hart had anything to say on non-Euclidean geometry:

, , , , , , , ,

Leave a comment

The Vatican Nag (Tom Lehrer Parody)


I visited the Vatican recently, and a friend was kind enough to put this song in my head beforehand:

After arriving early enough to get to the front of the line for Saint Peter’s Basilica fairly quickly, being turned away because of a weapon I’d brought from Geneva (no, not antimatter), coming back unarmed and being let through without waiting in the then-hours-long line because they noticed I had ‘problems’ (I had blisters. Also, I’m not very good at walking), and then being repeatedly offered paid guided tours to skip the line while I was going to the post office and generally chilling out, I decided to write a parody. Here it is; The Vatican Nag:

Half off gods that come in threes!
Twelve for ten on rosaries!
Fourteen euros ninety-nine
to skip the line, skip the line, skip the line!

Buy a stick to take a selfie.
Try a discount saved-from-hell fee.
Whatever your indulgence is,
they’ll upsell the whole Jesus
doing the Vatican Nag.

Get in line for that basilica?
Only clueless pilgrims will, a co-
lossal fee will leave you poor as a m-
onk enjoying guided tourism.
You don’t have to spend the day there.
Save the day and spend your pay there.
Two, four, six… great!
Ninety euros, skip the wait!

Half off gods that come in threes!
Twelve for ten on rosaries!
Fourteen euros ninety-nine
to skip the line, skip the line, skip the line!

Hawkers oft insisting crap’ll
put you off the Sistine Chapel.
Don’t Holy See ’em;
try the Colosseum.
Hide in your attic and
never do that again.
Out of the Vatican Nag!

I used some artistic license here, but a lot of it is true. There were plenty of people selling 12 one-euro rosaries for the price of ten, and the ‘skip the line’ tours were either €15 or €43 depending on the kind of tour. People selling selfie sticks, hats, cellphone chargers, and flat wooden things that magically transform into sets of bowls were all over Rome and the Vatican. I did not see anyone selling indulgences (‘saved-from-hell fees’), however. Also, it wasn’t all that annoying, really. But do see the Colosseum.

I thought about saying ‘then the cost’ll send you Pentecostal’ but I think that’s even worse than the lines I have. I also wanted to use ‘poperies’ in the first line, but since it would be indistinguishable from ‘pot pourris’ if anyone actually sang it, I decided to go with the holy three-for-one deal.

In other news, I’ve been reciting my poems at Open Phil, a great open mic night in Vienna hosted by the Phil half of Crazy for Jane. You can watch some of the performances on the online highlights reels, but to see the whole thing you really have to be there.

Also, Shit Your Inner Voice Says is now on The FuMP Sideshow.

, , , , , , ,

Leave a comment

Shit Your Inner Voice Says (a song)


I am learning about four-part harmonies, so I wrote and recorded [mp3] a short song about self-confidence and poop. Anyone with a head and a butt should understand; understand also that I do not condone headbutting buttheads. These are four voices that might accumulate in one’s head as a child grows up and vacillates between self-confidence and self-doubt.

Here are the lyrics:

Soprano: Look how in-control my bowel is. Clearly I know where my towel is.
Alto: What if all I do is shit? How do they put up with it?
Tenor: Push and push and I’ll improve. Know my shit, my bowel will move.
Bass: Everyone poops.

All: If everyone poops…

Soprano & Tenor: Maybe I’m no better than them.
Alto & Bass: Maybe I’m no worse than them.

All: Maybe I am just as good.

It is sung by my robot choir (a program I wrote to make my Mac sing using the built-in speech synthesis), with the voice Princess as the soprano, Victoria as alto, Fred as tenor and Ralph as the bass, unless I’ve misunderstood how the parts are named or which octaves they were meant to be singing in, which is entirely likely after one half-hour lesson on the topic.

I’ve mentioned before that I’m doing music lessons with John Anealio over the internet. A couple of weeks ago I decided I wanted to learn about harmonies. We picked out some chords and random and then decided which notes each voice would sing from them. I checked out what they sounded like using instruments in GarageBand, then I decided I may as well write some words with it, with each voice singing the same sequence of notes over and over. I remember thinking about making them conflicting inner voices, but I’m not sure what made me decide that those inner voices were full of shit. Of course, I can’t tell whether this song is shit, good shit, horse shit, or the shit; when it comes to music, I’m still figuring out how not to soil myself. But it’s about poop, so it ought to entertain someone.

One of these days I’ll find a more convenient way to host podcasts so that I actually bother to put things like this on mine.

, , , , , , , , , ,

2 Comments