# Content-Type: text/shitpost

Subject: Git typo of the week
Path: you​!your-host​!ultron​!uunet​!asr33​!skynet​!m5​!plovergw​!shitpost​!mjd
Date: 2018-11-12T22:00:31
Newsgroup: sci.math.git-typo-of-the-week
Content-Type: text/shitpost

Everyone types git vommit at some point, it's not worth mentioning.

But just now I asked it to git re-arse master.

Subject: Narf
Path: you​!your-host​!ultron​!gormenghast​!hal9000​!plovergw​!shitpost​!mjd
Date: 2018-11-12T18:22:51
Newsgroup: misc.narf
Message-ID: <61a5fe2ac2e50bf8@shitpost.plover.com>
Content-Type: text/shitpost
    data Narf a = Narf (Narf a) deriving (Eq, Show)


One kinda funny thing about this type is that it does actually contain a (countably) infinite family of values. But there's no way to tell any of them from any of the others.

    narfn 0 = undefined
narfn n = Narf \$ narfn (n - 1)


The deriving Eq is a strikingly empty promise.

Subject: Vox Balaenae
Path: you​!your-host​!wintermute​!wikipedia​!twirlip​!batcomputer​!plovergw​!shitpost​!mjd
Date: 2018-11-12T17:10:42
Newsgroup: alt.binaries.pictures.erotica.vox-balaenae
Message-ID: <e61524e29d80fc55@shitpost.plover.com>
Content-Type: text/shitpost

Last time I looked to see if Spotify had George Crumb's Vox Balaenae, it didn't, but now it does.

Yay.

Mmm, they now have Harry Partch also.

Path: you​!your-host​!walldrug​!epicac​!goatrectum​!plovergw​!ploverhub​!shitpost​!mjd
Date: 2018-11-12T15:52:19
Newsgroup: misc.test.hamiltonian-cycles-on-the-dodecahedron
Message-ID: <529cc236744d9dd1@shitpost.plover.com>
Content-Type: text/shitpost

Considering the dodecahedron as a graph with 20 vertices and 30 edges, it's not hard to find a hamiltonian cycle on the dodecahedron. This is a path along the edges of the dodecahedron from vertex to vertex that visits each vertex exactly once and returns to its starting point.

Such a path tontains 20 of the 30 edges, and it turns out that one can color the 30 edges in three colors so that the union of the edges in any two of the three colors forms a hamiltonian cycle.

Or, put another way, the double dodecahedron graph, with 20 vertices and 60 edges, is a union of three 20-cycles.