asciilifeform: 'obvious' is a term of art in mathematics.
asciilifeform: 'I've seen things you people wouldn't believe. Attack ships on fire off the shoulder of Orion. I watched C-beams glitter in the dark near the Tannhäuser Gate.' (tm) (r)
asciilifeform: lulzily, in other nooze, classic #b-a is undergoing a very corpselike decomposition, fauna nobody even knew existed are devouring the carcass
asciilifeform: sorta how we have in algorithmics, 'you can X but exponential'
asciilifeform: there is a broader class of 'soft' negatives, e.g., 'you can X but it will take the mass of whole galaxy times 10^100' or whatnot.
asciilifeform: 'why an ant can't eat you... already in use' and 'kelvin death ... door lock'
asciilifeform: hey i played chess against self as a boy.
asciilifeform: i mean, what, mircea_popescu wrote the equation, then drank bottle of vodka, and forgot, and now is re-deriving it, playing against past self ??
asciilifeform: so you can + , e.g., matrices, or bignums, or quaternions, or whatnot.
asciilifeform: mircea_popescu: nah this particular thing is likely the harmless and ordinary 'you can redefine the + sign to polymorph on type' as in cpp, commonlisp, ada, etc
asciilifeform: mircea_popescu: crapping out a shitlang and conning naive schmucks into writing programs in it is a time-hounoured way to cheaply score pseudo-relevance. sorta like a comp sci version of altcoinism.
