00:10:35 random question: is there such a thing as a quantum of probability? 00:13:21 not that i've heard of. (assuming you mean something fundamental rather than an arbitrary unit.) 00:13:46 Are reals necessary for probability? 00:14:33 If so, is there some sort of universal property that characterizes them as such? 00:15:03 @metar ENVA 00:15:03 ENVA 062250Z 09007KT 040V120 CAVOK 17/08 Q1007 RMK WIND 670FT 15013KT 00:17:46 shachaf: well, you want probabilities to be ordered, invertible, addable (if they're not too large) and multipliable. that probably is enough to fit it in an ordered field. the only thing that would be missing is the archimedean property (i.e. you could have nonstandard probabilities.) 00:18:22 (and you might of course use slightly _less_ than the reals.) 00:18:22 [wiki] [[Special:Log/newusers]] create * Lazpeng * New user account 00:21:20 <\oren\> I should start a business selling beyblades as vintage fidget spinners 00:28:48 shachaf: dunno. I has previously asked whether reals are important for topology. I still don't have a completely satisfying answer. 00:29:04 -!- tromp has joined. 00:32:44 -!- tromp has quit (Remote host closed the connection). 00:32:58 -!- sleffy has joined. 00:33:00 -!- tromp has joined. 00:43:05 -!- augur has quit (Remote host closed the connection). 00:44:10 -!- hppavilion[1] has joined. 00:52:11 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 01:09:14 staaaaff of eeeaaarth ♪ 01:09:47 -!- tromp has quit (Remote host closed the connection). 01:18:21 -!- Cale has quit (Ping timeout: 246 seconds). 01:20:45 math is like a collection of great analogies 01:21:20 -!- Cale has joined. 01:30:01 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:34:07 -!- electrolex has quit (Quit: Leaving). 01:36:06 -!- augur has joined. 01:36:26 -!- oerjan has quit (Quit: Nite). 01:43:00 -!- atslash has joined. 01:45:18 `? math 01:45:20 Math class is tough! 01:45:28 `forget math 01:45:31 Forget what? 01:45:33 `? maths 01:45:34 Maths stands for Mathematical Anti-Telharsic Harfatum Septomin. 01:45:39 lets go shopping 01:48:23 `? what 01:48:24 what? ¯\(°​_o)/¯ 01:48:38 `forget what 01:48:39 rm: cannot remove ‘wisdom/what’: No such file or directory \ Forget what? 01:49:09 `? what? 01:49:10 what?? ¯\(°​_o)/¯ 01:53:07 -!- atslash has quit (Quit: This computer has gone to sleep). 02:10:14 -!- tromp has joined. 02:14:49 -!- tromp has quit (Ping timeout: 268 seconds). 02:17:22 -!- ybden has quit (Excess Flood). 02:18:02 -!- ybden has joined. 02:23:01 -!- tromp has joined. 02:24:38 -!- boily has quit (Quit: FLICKERING CHICKEN). 02:30:30 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 02:36:31 -!- tromp has quit (Remote host closed the connection). 02:37:22 -!- tromp has joined. 02:45:37 `stargateuniverselist http://www.blastr.com/2017-6-6/stargate-universe-cliffhanger-finally-be-resolved-new-comic-run 02:45:38 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: stargateuniverselist: not found 02:48:27 cool 02:51:17 [wiki] [[VTFF]] https://esolangs.org/w/index.php?diff=52077&oldid=52074 * Programmer5000 * (+63) 03:09:06 -!- IronY has quit (Quit: That is all she wrote folks). 03:09:28 -!- IronY has joined. 03:10:52 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 03:16:16 -!- sleffy has quit (Ping timeout: 245 seconds). 03:24:12 -!- sleffy has joined. 03:58:26 -!- erkin has joined. 04:38:53 shachaf: https://www.youtube.com/watch?v=I-i0JkZnf80 05:42:45 -!- tromp has quit (Remote host closed the connection). 06:06:01 -!- Akaibu has quit (Quit: Connection closed for inactivity). 06:43:15 -!- tromp has joined. 06:47:26 -!- tromp has quit (Ping timeout: 240 seconds). 07:04:29 -!- FreeFull has quit (Ping timeout: 260 seconds). 07:07:44 -!- atslash has joined. 07:11:58 -!- atslash has quit (Ping timeout: 246 seconds). 07:15:45 -!- sleffy has quit (Ping timeout: 240 seconds). 07:20:02 Cale: I see. 07:21:23 @tell wob_jonas Well, the closed real interval has the right universal property for defining homotopy, see https://mathoverflow.net/q/92206 07:21:23 Consider it noted. 07:22:21 oerjan: what about quasiprobabilities and other things 07:23:12 oerjan: also what if you use rationals instead of reals for probabilities 07:23:16 where do you run into trouble twh 08:14:25 -!- doesthiswork has quit (Quit: Leaving.). 08:23:54 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 08:30:47 -!- Sprocklem has quit (Quit: brb). 08:31:16 -!- Sprocklem has joined. 09:44:34 -!- tromp has joined. 09:49:13 -!- tromp has quit (Ping timeout: 260 seconds). 10:15:12 -!- augur has quit (Remote host closed the connection). 10:48:07 -!- augur has joined. 10:49:20 -!- augur has quit (Remote host closed the connection). 10:51:03 -!- augur has joined. 11:30:14 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 11:34:48 -!- boily has joined. 11:40:46 -!- j-bot has joined. 11:41:00 `w 11:41:03 gaszpacho//gaszpacho is a polish soup, traditionally szerved cold for hot szummer days 11:46:56 -!- oerjan has joined. 11:55:02 @tell shachaf I know nothing about quasiprobabilities. also, everything beyond rationals starts mattering once you need to solve equations or use integrals. you cannot have normal distributions with them... but there's still probably a strict subset of the reals that suffices in practice. 11:55:02 Consider it noted. 11:55:21 @tell shachaf * with only them 11:55:21 Consider it noted. 12:15:35 -!- wob_jonas has joined. 12:15:46 do we have a roman numeral lookup tool here? 12:15:53 @messages 12:17:05 shachaf: hmm yes, I think I saw that post 12:19:18 `` ls bin/*roman* 12:19:20 bin/fromroman \ bin/toroman 12:19:28 `fromroman xiv 12:19:29 No output. 12:19:37 `cat bin/fromroman 12:19:38 ​#!/usr/bin/perl \ sub k{my\$t;\$t=~y/IVXLC/XLCDM/,\$t.=("",I,II,III,IV,V,VI,VII,VIII,IX)[\$_]for/./g;\$r{\$t}=\$_;\$t}k for s""\\$"..4e3;print \$r{(shift=~/(\w+)/)[0]},\$/ 12:19:39 `fromroman LXXXIX 12:19:40 89 12:19:42 `fromroman LXXXVII 12:19:43 87 12:19:45 thanks 12:19:49 I think I wrote that one 12:19:53 `? roman 12:19:54 roman? ¯\(°​_o)/¯ 12:19:56 `? fromroman 12:19:57 fromroman? ¯\(°​_o)/¯ 12:19:57 `? toroman 12:19:59 toroman? ¯\(°​_o)/¯ 12:25:53 -!- nullcone has quit (Quit: Connection closed for inactivity). 12:28:18 `w 12:28:20 and//And is an Intercal unary operator. 12:28:36 -!- boily has quit (Quit: SAVE CHICKEN). 12:28:59 I think that's mine too 12:31:00 `cwlprits and 12:31:10 oerjän b_jonäs b_jonäs 12:31:14 SOMEWHAT 12:35:57 `fromroman XCVI 12:35:58 96 12:36:15 ``` echo \$[1+\$(fromroman XCVI)] 12:36:16 97 12:36:24 ``` toroman echo \$[1+\$(fromroman XCVI)] 12:36:26 No output. 12:36:30 ``` toroman \$[1+\$(fromroman XCVI)] 12:36:31 XCVII 12:38:15 -!- augur has quit (Remote host closed the connection). 12:38:55 -!- augur has joined. 12:43:03 -!- augur has quit (Ping timeout: 246 seconds). 12:46:09 -!- tromp has joined. 12:50:46 -!- tromp has quit (Ping timeout: 246 seconds). 12:53:32 -!- erkin has joined. 12:59:42 * oerjan is reading the iwc forum, and gently reminds wob_jonas that it's "reminds me _of_" -----### 13:00:10 oerjan: ah yes, that's a mistake I make all the time 13:00:13 where this time... 13:00:17 i've noticed :P 13:00:24 stupid English 13:00:36 http://www.irregularwebcomic.net/draakslair/viewtopic.php?t=10146 13:00:50 hopefully people won't be considering it a mistake in a decade or two when we take over 13:01:00 O..KAY 13:02:29 incidentally if i were similarly failing to convert from norwegian, i'd be saying "reminds me on" or "reminds me at" 13:03:29 nah, you can't just convert prepositions from one language to another so easily 13:05:58 they work totally different 13:07:14 and totally logical: if you want to say you're in a town in Hungarian, you use -ban or -n depending on which town it is, unless it's one of Pécs or Győr in which case you may use the conjugation -ett which doesn't even exist for any other purpose than saying that something is in those towns 13:07:17 it's easy 13:07:44 right! 13:08:11 (norwegian also uses two different prepositions for towns, i and på) 13:08:45 they may be vaguely like -ban and -n in their basic meaning. 13:10:17 they're not vague! -ban is like "in" in English and -n is like "on". they're for marking places inside and over something respectively, and occasionally used for times too 13:11:01 well that's the same with norwegian. 13:11:50 so the "vaguely" is just because it never matches perfectly. 13:12:44 and because i remember hungarian has a 3-way distinction. 13:13:02 places in Hungarian are marked in a nice symmetric table of three times three common cases: -tól, -ból, -ról, -nál, -ban, -on, -hoz, -ba, -ra, and these cases are the most common ones borrowed for saying anything other than places, together with a few more common ones like -ig and -nak. 13:13:42 apart from those, there are a lot of uncommon cases, some of which are half-dead, and lots of prepositions, most of which are used with accusative case, but a few of them with other cases 13:14:06 what case is used for what other than places is completely random, and towns are just crazy 13:14:11 prepositions? not postpositions? 13:14:25 no, the rest are prepositions, written before and in a separate word 13:14:45 there are only those approx. dozen common postpositions and about a dozen rare postpositions for cases 13:15:23 somehow i had gotten the impression hungarian did more postpositions, but ok 13:15:30 -t for object and -val are also common. 13:15:37 the postpositions are much more _common_ 13:15:46 everything that's used commonly gets a postposition 13:16:15 and the prepositions go after too 13:16:19 so they're postpositions too 13:16:26 this doesn't make any sense 13:16:34 -!- LKoen has joined. 13:17:04 OKAY 13:19:27 so yes, you're right, all of them are postpositions 13:21:20 yay 13:35:02 -!- tromp has joined. 13:46:57 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 13:47:17 -!- oerjan has quit (Quit: Later). 13:48:11 -!- tromp has quit (Remote host closed the connection). 13:53:02 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 13:53:55 -!- tromp has joined. 14:00:28 -!- doesthiswork has joined. 14:07:04 There should be a wisdom listing what I hate. I hate wasps, mosquitos, music boxes and other forms of clockwork, raw flour, roman numerals, and the list goes on. 14:19:34 -!- Phantom_Hoover has joined. 14:23:29 why do you hate roman numerals? 14:25:12 they're stupid and hard to read, just like analog clocks. you have to, like, count tally marks and decide which place they stand for to read them. just use hindu-arabic numerals instead. 14:25:27 luckily their use is declining these days 14:26:20 it's almost like they're a stylistic thing 14:26:38 would you prefer an analog clock with just one hand? 14:27:19 people still use them to mark the districts of Budapest, and I wish they didn't. there's some logic in using roman numerals for that, because street names can start with h-a numerals, and that numeral can be either the whole street name or just part of it, so writing the district number with a h-a numeral without some marker could be ambiguous, 14:28:16 (in theory a street name may have to start with a lone letter and a dot, if named from a person whose name starts with such a lone letter, and that could happen to look like a roman numeral, but I don't think there's an example of that in Budapest) 14:29:21 (part of the reason for that might be that people won't choose a name that has "I." or "V." as the first word, because that would look like a dynasty number for royalties too and so confusing) 14:31:46 do they not use hindu-arabic numerals in budapest? 14:32:12 In theory you could use roman numerals as month numbers, but almost nobody seems to do that anymore; and you could use roman numerals to mark the stage (floor) of a building, but people don't do that either so you only see it in old signs. 14:32:44 event list wikipedia list of distics in budapest is in roman numerals 14:32:46 doesthiswork: sure they do: they use h-a numerals for house numbers, postal codes, zip numbers, rarely as a street name or part of a street name, and lots of other things 14:32:47 [wiki] [[Micro]] M https://esolangs.org/w/index.php?diff=52078&oldid=52072 * Raddish0 * (+61) 14:33:22 prices, date and time, quantities, lots of things 14:33:28 h-a numerals are the default 14:34:00 they're used for basically everything, and roman numerals were used the last century for a few particular things as disambiguation, where a h-a numeral could cause confusion 14:34:25 that's why they were used for districts and month numbers and floor numbers 14:34:46 -!- `^_^v has joined. 14:35:06 (also roman numerals are used for years but only on ornamental labels on building fronts or statues, and hours ornamentally on clock faces) 14:36:28 (those ornamental uses are in a decline too) 14:38:07 how do you feel about sumerian numerals for disambiguation 14:39:47 no. I want only arabic numerals. if you want them distinctive looking, then put suffixes or prefixes to it or add dots or hyphens in the middle as "magic numbers", which is already what they're doing for lots of namespaces of numbers. 14:41:56 -!- augur has joined. 14:44:42 eg. phone numbers start with a plus, car reg plate numbers are of the formats AAA-999 or AAAA-99 or AAAAA-9, passport numbers have the format AA9999999, 14:45:09 and street numbers? 14:45:56 -!- augur has quit (Ping timeout: 240 seconds). 14:46:33 driving license and personal ID license numbers have the format AA999999 and 999999AA, non-intl bank account numbers have the format 99999999-99999999-99999999 or 99999999-99999999, there are other government bureaucracy administration stuff numbers that have formats 999-999-999, 9-999999-9999, 9999999999, 99999999-9-99 resp. 14:47:13 so if you accidentally supply the wrong number for what's expected, you can generally recognize it from the wrong format. this is a good thing, just like "magic numbers" in digital file formats are. 14:47:39 doesthiswork: streets in general have names, not numbers, but a few street names are numbers or start with a number 14:47:49 we're not in Manhattan 14:52:30 -!- `^_^v has quit (Quit: Leaving). 14:53:12 -!- `^_^v has joined. 15:03:13 -!- erkin has joined. 15:04:22 why do you say hindu-arabic numerals on one hand but roman numerals on the other 15:04:43 PH: um, those are their common names, aren't they/ 15:05:02 1, 2, 3 are h-a numerals, I, II, III are roman numerals 15:05:13 'hindu-arabic' seems longwinded to me and i normally just see them called 'arabic' 15:05:19 [wiki] [[Micro]] https://esolangs.org/w/index.php?diff=52079&oldid=52078 * Raddish0 * (+219) 15:05:55 and the h-a ones like 1, 2, 3 are in base 10 so they correspond to how you pronounce those numbers, whereas from the roman numerals it's much harder to translate from crazy stuff like XVIII to how you pronounce it in your head, which is why they suck as district numbers 15:06:05 yes, but "arabic numeral" is ambiguous 15:06:20 which is why we say h-a instead 15:08:06 [wiki] [[Micro]] M https://esolangs.org/w/index.php?diff=52080&oldid=52079 * Raddish0 * (+35) 15:08:48 -!- tromp has quit (Remote host closed the connection). 15:11:51 unicode calls them 'european digits' which seems like a good name to me 15:12:10 that's so europe-centric 15:12:48 -!- augur has joined. 15:12:54 I'd like to call them ascii numerals, but that doesn't work either, because the roman numerals are mostly ascii too, with MDCLXI 15:17:08 -!- augur has quit (Ping timeout: 240 seconds). 15:19:59 -!- slacko64_20668 has joined. 15:20:50 that's so europe-centric 15:20:54 'the latin alphabet' 15:21:08 -!- slacko64_20668 has quit (Client Quit). 15:21:42 Ph: I don't think I ever say that. I say "latin script" or "English alphabet" or "ascii letters" or "ascii latin letters" etc 15:21:56 "latin alphabet" is similarly somewhat ambiguous 15:22:34 ahahahaha 15:22:36 there's no single alphabet for the latin script, it varies by language (and sometimes there's even more than one per language), although almost all of them are related and similar, 15:23:06 you think 'european numerals' is eurocentric (despite the fact that they absolutely truthfully come from europe) but you think 'english alphabet' is just fine 15:23:09 what 15:23:29 and eventually all derived from the phoenician alphabet through the greek alphabet (which also has various version), and thus a cousin of the cyrillic and hebrew and arabic alphabets too 15:25:29 Ph: there's so many alphabets and half of them are arbitrary. for example, the Hungarian alphabet considers "ty" and "dz" and "dzs" and "ly" as single letters (for collation purposes and for Scrabble, but not for crosswords), but "ch" and "kh" as two letters (for collation purposes), for no reason, and it's even worse with the doubled digraphs "ssz 15:25:29 " which are collated as if they were hyphenated 15:27:12 Phantom_Hoover: do the roman numerals, the greek numerals, and the hebrew numerals come from Europe? 15:27:45 why are nerds so obsessed with this sort of really stupid pedantry 15:27:58 they're the standard numerals used throughout europe, developed in europe 15:28:28 but everyone already uses h-a numerals, so what's wrong with that? too long? 15:28:30 why do you then go out of your way to find completely petty problems with the term 'european numerals' for them 15:28:46 it's not that the term is wrong, but that there's already an established term 15:28:51 everyone calls them hindu-arabic numerals 15:29:12 everyone doesn't, as evidenced by me finding the term unfamiliar 15:29:23 and anyway i just said i liked 'european numerals' more as a name 15:29:50 [wiki] [[!!!]] https://esolangs.org/w/index.php?diff=52081&oldid=46565 * Programmer5000 * (+5) Add link to !!!Batch 15:30:01 and I find the term "european numerals" unfamiliar 15:30:04 [wiki] [[!!!]] M https://esolangs.org/w/index.php?diff=52082&oldid=52081 * Programmer5000 * (-1) Fix 15:30:13 pity 15:36:53 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 15:46:56 -!- electrolex has joined. 16:14:50 -!- sebbu2 has joined. 16:16:14 -!- LKoen has joined. 16:18:06 -!- atslash has joined. 16:18:25 -!- sebbu has quit (Ping timeout: 268 seconds). 16:22:42 -!- atslash has quit (Ping timeout: 255 seconds). 16:22:55 -!- atslash has joined. 16:32:41 -!- atslash has quit (Ping timeout: 260 seconds). 16:33:18 -!- atslash has joined. 16:39:44 -!- tromp has joined. 16:42:45 [wiki] [[Micro]] https://esolangs.org/w/index.php?diff=52083&oldid=52080 * Raddish0 * (+93) add some more examples 16:44:21 -!- tromp has quit (Ping timeout: 260 seconds). 16:56:08 -!- FreeFull has joined. 17:39:24 -!- augur has joined. 17:40:23 -!- tromp has joined. 17:43:26 -!- augur has quit (Ping timeout: 240 seconds). 17:50:23 -!- tromp has quit (Remote host closed the connection). 18:01:26 -!- LKoen has quit (Remote host closed the connection). 18:07:50 -!- sleffy has joined. 18:34:42 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 18:40:00 -!- Phantom_Hoover has joined. 18:46:43 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 18:47:39 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds). 18:48:02 -!- hppavilion[1] has joined. 18:48:42 -!- Phantom_Hoover has joined. 18:49:02 -!- nchambers has quit (Changing host). 18:49:02 -!- nchambers has joined. 18:51:00 -!- nchambers has quit (Changing host). 18:51:00 -!- nchambers has joined. 18:51:01 -!- tromp has joined. 18:51:03 -!- tromp has quit (Remote host closed the connection). 18:51:06 -!- nchambers has changed nick to mewtwo. 18:51:16 -!- tromp has joined. 18:53:09 <\oren\> Hmm, if you looked at what letters were used in recent latin works, e.g. Newton's Principia, would any of the 26 english letters be missing? 18:53:37 w, presumably 18:54:41 he does use w as a variable name and in english personal names though 18:55:52 similar story with k 18:58:39 @ask oerjan have we seen that sword before? (GG) 18:58:39 Consider it noted. 18:58:44 -!- sleffy has quit (Ping timeout: 268 seconds). 18:58:54 <\oren\> hmm so essentially the alphabet for "modern latin" would be the same as english plus æ I guess. 19:00:04 <\oren\> weirdly, I'm looking and "ae" only occurs in principia in one word, "Aer" 19:00:31 <\oren\> probably because there's no ligature of "Ae" 19:01:30 <\oren\> so æ doesn't count as a letter 19:01:36 -!- mewtwo has changed nick to nchambers. 19:11:14 -!- tromp has quit (Remote host closed the connection). 19:22:52 -!- nchambers has quit (Changing host). 19:22:52 -!- nchambers has joined. 19:23:14 -!- nchambers has quit (Changing host). 19:23:14 -!- nchambers has joined. 19:29:39 [wiki] [[Esolang talk:Categorization]] https://esolangs.org/w/index.php?diff=52084&oldid=51178 * Programmer5000 * (+147) 19:29:41 -!- sleffy has joined. 19:30:39 -!- tromp has joined. 19:31:18 -!- tromp has quit (Remote host closed the connection). 19:31:30 -!- tromp has joined. 19:52:56 -!- heroux has quit (Ping timeout: 240 seconds). 19:53:47 -!- heroux has joined. 20:49:02 -!- nullcone has joined. 20:52:04 -!- oerjan has joined. 20:54:33 @messages-fold 20:54:33 int-e asked 1h 55m 53s ago: have we seen that sword before? (GG) 20:54:50 @tell int-e not that i remember... 20:54:50 Consider it noted. 20:56:12 okay. 20:56:24 @messages-bound 20:56:24 oerjan said 9h 1m 22s ago: I know nothing about quasiprobabilities. also, everything beyond rationals starts mattering once you need to solve equations or use integrals. you cannot have normal 20:56:24 distributions with them... but there's still probably a strict subset of the reals that suffices in practice. 20:56:24 oerjan said 9h 1m 3s ago: * with only them 20:57:36 int-e: i assumed it had been designed for its particular purpose. 20:57:49 which would make it unlikely to have shown up before. 21:00:51 -!- sleffy has quit (Ping timeout: 268 seconds). 21:06:55 I had missed the sigil the first time around (2 or 3 weeks ago) 21:07:48 int-e: Do you read olist? 21:07:53 I think the answer is no. 21:08:22 -!- erkin has joined. 21:13:19 wall of text comic 21:13:41 you may recall me complaining about that 21:18:16 [wiki] [[Esolang talk:Categorization]] M https://esolangs.org/w/index.php?diff=52085&oldid=52084 * Oerjan * (+94) unsigned 21:19:04 <\oren\> ooh I found a new copypasta 21:19:44 <\oren\> KRAKOW STRONG! REMOVE WARSAW FROM PREMISE! 21:20:04 <\oren\> YOU ARE FAKE CAPITAL OF POLAND YOU ARE WORST CAPITAL OF POLAND! EVEN VIENNA BETTER CAPITAL OF POLAND! YOU ARE A JOKE WITH COMMUNISM YOU ARE RUSSIA NOT POLAND! HAHAHA ASIAN SMELL! KRAKOW HAS KINGS AND KING JADWIGA! WARSAW HAS NOTHING! POPE JAN PAWEŁ ALIF AND STRONG IN KRAKOW WHERE HE FORM! KRAKOW RICH AND POWERFUL THANKS TO JAN PAWEŁ AND JEZUS! 21:20:07 int-e: oh right, i missed that too. 21:20:35 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds). 21:21:14 <\oren\> Apparently someone really likes playing as krakow in eU4 21:21:27 -!- augur has joined. 21:22:19 \oren\: well it's a good name http://www.gocomics.com/calvinandhobbes/1986/04/28 21:24:03 -!- DHeadshot has joined. 21:29:03 <\oren\> https://www.reddit.com/r/eu4/comments/69syjj/theres_a_new_toothpaste_in_town/ 21:32:31 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 21:40:04 -!- tromp has quit (Remote host closed the connection). 21:43:18 -!- Sprocklem has quit (Quit: brb). 21:43:45 -!- Sprocklem has joined. 21:44:02 -!- tromp has joined. 21:53:22 <\oren\> probably because there's no ligature of "Ae" <-- actually, it might be because "Aer" is actually two syllables, not a diphthong. 21:54:33 -!- tromp has quit (Remote host closed the connection). 22:04:44 -!- atslash has quit (Ping timeout: 255 seconds). 22:04:58 -!- atslash has joined. 22:09:30 -!- Phantom_Hoover has joined. 22:15:38 -!- tromp has joined. 22:22:22 -!- Phantom__Hoover has joined. 22:26:38 -!- tromp has quit (Remote host closed the connection). 22:27:02 -!- viznut_ has joined. 22:29:15 -!- Bowserinator_ has joined. 22:29:21 -!- Bowserinator has quit (Ping timeout: 240 seconds). 22:29:22 -!- prooftechnique has quit (Ping timeout: 240 seconds). 22:29:22 -!- catern has quit (Ping timeout: 240 seconds). 22:29:22 -!- puckipedia has quit (Ping timeout: 240 seconds). 22:29:22 -!- fractal_ has quit (Ping timeout: 240 seconds). 22:29:22 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 22:29:22 -!- Riviera has quit (Ping timeout: 240 seconds). 22:29:22 -!- viznut has quit (Ping timeout: 240 seconds). 22:29:22 -!- danieljabailey has quit (Ping timeout: 240 seconds). 22:29:31 -!- catern has joined. 22:30:14 -!- Riviera has joined. 22:30:15 -!- prooftechnique has joined. 22:30:19 -!- danieljabailey has joined. 22:30:23 -!- puckipedia has joined. 22:34:09 -!- jaboja has joined. 22:34:25 -!- tromp has joined. 22:35:00 -!- Remavas has joined. 22:35:00 -!- Remavas has quit (Changing host). 22:35:00 -!- Remavas has joined. 22:37:55 -!- fractal_ has joined. 22:45:41 -!- MDude has joined. 22:48:07 -!- electrolex has quit (Quit: Leaving). 22:56:08 -!- boily has joined. 22:58:52 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:10:36 -!- Marcela_Gandara1 has joined. 23:17:08 -!- tromp has quit (Remote host closed the connection). 23:27:15 @massages-loud 23:27:15 You don't have any messages 23:30:46 bnomaily 23:34:50 bonsœirjan! 23:50:09 -!- DHeadshot has quit (Ping timeout: 246 seconds). 23:57:12 -!- tromp has joined.