Mi volas renkonti iun fizike, por ke, mi eblu fari novajn amikecojn. Kiel kaj kie mi povas fari tion sendanĝere? Ĉu la respondo dependas de kie mi estas? Vi jam scias ke mi estas mizantropo, sed mi opinias ke mi estas preta por ke, mi eblu malpliigi mian mizantropecon kaj fidi amikojn pli ol malamikojn ĉar mi jam opiniis ke fidi malamikojn pli ol amikojn estas misfunciema. Mi opinias ke fidi malamikojn pli ol amikojn estas misfunkiema, sed ĉar tio estus respondo al travivaĵo kaj socia situacio, tio ne estas freneza. Mi opiniis kaj opinias ke La Princo (itale, origine: Il Principe) de Makiavelo fakte estis nur vola satiro, anstataŭ reala konsilo. Mi fidus malamikojn pli ol amikojn ĉar akcidente kolerigi, ofendi kaj ne-amikigi amikojn estas faĉile, kaj nur tiuj kiujn oni fidas povas perfidi sin, sed malamikojn estas jam antaŭkolerigis - do si konas kio okazas (read: they know where they stand) kun sia malamikoj, anstataŭ kun sia amikoj.

Kaj vi? Ĉu vi fidas viajn amikojn pli ol vi fidas viajn malamikojn?

Mi renkontis amikojn dum mardo, sed ili enuegigis min. Mi ne volis diri nenion, timante ke ili koleriĝus. Do mi enuis, kaj mi diris, "Oh, God", "Fuck", kaj "Shit", kiu Esperante estas "Ho, Di'", "Fik'" kaj "Fek'". Mi ne diris tion kio estus pli koleriga, ekzemple,

The type inhabitation problem in computer programming is used for formal software and hardware verification. Curry and Howard discovered that any constructive proof that the type is inhabited can be automatically converted to an instance of the type and vice versa. However, despite my math book not going out that far, I propose that the type inhabitation problem can be extended to questions of other kinds, such as "Are there extra-solar planets orbiting the Alpha Centauri stars", "Is there a dog in this crate", "Is there such a thing as the authority of the State" and "Is there a God", to be answered using additional methods, such as information theory, statistical reasoning, and to some questions, of course science.

Tio Esperante signifas

La tiploĝan demandon en programado uzas por ke, programarojn kaj aparatarojn formale kontrolu. Curry kaj Howard malkovris ke iu ajn intuiciisma pruvaĵo povas ŝanĝi al ekzemplo de la tipo kaj kontraŭe. Tamen, malgraŭ ke mia lernolibro pri matematiko ne traktas tion, mi proponas ke la tiploĝa demando eblas plivastiĝi por ke, tio estu ankaŭ pri alia demandoj, ekzemple "Ĉu estas ekstersunsistemaj planedoj en orbito ĉirkaŭ la steloj de Alfa Centaŭro", "Ĉu hundo estas en tiu kaĝo", "Ĉu la aŭtoritato de la ŝtato ekzistas", kaj "Ĉu dio ekzistas", kiun respondu per pliaj metodoj, ekzemple informa teorio, statistiko, kaj al iuj demandoj, kompreneble scienco.

Tio estas ege danĝerosa. Ne diru tion al viaj amikoj, ĉar ili estas kolerema.