00:14:20 -!- 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.”). 00:50:44 -!- Sgeo_ has quit (Read error: Connection reset by peer). 00:52:06 -!- Sgeo has joined. 01:04:05 -!- Sgeo has quit (Quit: Leaving). 01:04:26 -!- Sgeo has joined. 01:09:24 -!- hppavilion[1] has joined. 01:10:56 -!- boily has joined. 01:11:08 -!- otherbot has quit (Disconnected by services). 01:11:24 -!- otherbot has joined. 01:11:33 `wisdom 01:11:34 something-that-isn't-in-hackego's-wisdom//It is now. 01:22:47 -!- otherbot has quit (Disconnected by services). 01:24:12 jeffl35: jelloffl35. debugging your bot? 01:25:34 boily: uh yeah 01:25:40 also where did jelloffl35 come from 01:25:42 :P 01:26:13 `? porthello 01:26:14 Hellonfused one. Porthellos are the standard greeting format in #esoteric. Best enjoyed with some thé or caffè and a fternooner. 01:27:01 lol 01:27:20 i see 01:28:23 `? hello 01:28:24 hello hello hello, what's all this then? 01:28:56 moony_the_hellycan. 01:31:11 -!- Guest59092 has quit (Remote host closed the connection). 01:40:05 `? fternooner 01:40:06 fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. 01:40:24 `? pastrsy 01:40:25 pastrsy? ¯\(°_o)/¯ 01:40:27 `? pastry 01:40:28 pastry? ¯\(°_o)/¯ 01:41:30 `learn A pastry is a sugary confectionery that is customarily eaten after writing an essay. 01:41:32 Learned 'pastry': A pastry is a sugary confectionery that is customarily eaten after writing an essay. 01:49:28 `? essay 01:49:29 essay? ¯\(°_o)/¯ 01:51:20 `le/rn essay/To essay is to try, and while doing that showing your work in writing. 01:51:24 Learned 'essay': To essay is to try, and while doing that showing your work in writing. 01:54:51 * Zarutian is fucking hunted by the local election, cant even read a bbc news article without an reference to it in a sidebar 01:55:12 just move to australia 01:55:26 unless you're already in australia, in which case you're fucked 01:56:50 funnily enough I am nearly on the antipode of australia on the globe 01:57:25 then that's a perfect solution 02:03:03 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 02:05:04 Zarutian: you should ublock. ads are evil. 02:06:12 boily: that is the thing, it is not even an ad, it is an reference to an article on the bbc news site 02:07:23 Now my GURPS calculation program can calculate costs of alternative attacks too 02:07:51 If there are any other special cases that I have not yet considered, I hope I will add them 02:08:03 * Zarutian uses adblocking heavily. If he could he would install an ad nuker, which does not only block the ads from loading but votes the adsevers as target for ddos. 02:09:29 that's gonna need some serious computing power 02:12:02 fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. ← I see what you did with the quote marks 02:12:24 I'm tempted to change it to »ftermiddag» since »foo» is the second preferred (and also standard) quoting format 02:12:49 how do you nest quotes with that syntax? 02:16:13 talking about ddos. Funny how it was used as an excuse last or the one before last x-mas by Sony and Microsoft when they didnt bother to provision their gaming service networks for the expected influx of new console owners. 02:18:11 So many quote mark styles. 02:18:22 Dammit, ain't ASCII good enough for ya? 02:18:44 FærielloFly. the quote patterns were chosen with artisanal handscraftmanship hth 02:18:51 Well, okay, I'll admit that doing the quotes “properly” looks nicer. 02:18:57 pikhelloq. ASCII is boring. 02:19:13 «No» „You cant even „nest“ the quoes with only " or ' you know“ 02:19:54 * boily is trying to find at least one understandable and reliable source on how to play koi-koi... 02:20:05 `just \`escape\` them` 02:20:06 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: just: not found 02:20:10 <\oren\> https://www.youtube.com/watch?v=Sso4vjERgdA 02:20:23 Huh, there’s no real codepoint for an apostrophe in Unicode distinct from a quotation mark. 02:20:59 \oren\: why 02:21:23 There's the typewriter single-quote-apostrophe, and single quote marks. 02:21:27 Go figure. 02:21:42 * boily thwacks \oren\ with a whistling mapole 02:21:59 boily: no papole? 02:22:18 <\oren\> izalove: because I can'tstop watching renge-chon meme videos 02:22:34 Zarutian: papole? 02:22:34 <\oren\> https://www.youtube.com/watch?v=nKVCJhFXFwU 02:23:08 boily: you got ma-pole, shurly you got pa-pole too, no? 02:23:10 <\oren\> ^ that one is my favorite of them so far 02:23:42 well, it has that one Céline song... 02:24:19 if you like the recorder that much, https://www.youtube.com/watch?v=SCUMFkfOPnU 02:24:20 <\oren\> Celine Dion is the best Dion 02:24:31 how many other dions are there? 02:24:49 there's her mom, a Famous Local Cook. 02:25:03 (she's known as Maman Dion, obviously.) 02:25:12 -!- augur has joined. 02:26:17 <\oren\> and theres stephane dion 02:26:29 <\oren\> former hed of the liberal party 02:26:43 the Charismatic Stéphane Dion, you mean. 02:28:40 izalove: well there is Mustar Dion. 02:28:54 Mustard* 02:29:06 this feels like some kind of joke but i don't get the reference 02:31:57 * boily condimently thwacks Zarutian. 0.19 Sh. 02:53:19 -!- augur has quit (Remote host closed the connection). 02:54:15 -!- augur has joined. 02:58:51 -!- augur has quit (Ping timeout: 252 seconds). 03:04:47 -!- imode has joined. 03:11:42 -!- hppavilion[1] has joined. 03:13:55 -!- boily has quit (Quit: BUTTERFLY CHICKEN). 03:18:46 -!- augur has joined. 03:26:01 `` printf '/* foo */ "bar /* baz */ bat" \n /* \n foo \n bar */ baz\n' | sed ':a;$!{N;ba};s#//[^\n]*\n\|/\*$[^*]\|\*\**[^*/]\|\n$*\*/\|$"\([^"\\]\|\\.$*"\|.\)#\2#g' 03:26:02 "bar /* baz */ bat" \ baz 03:26:10 strips c style comments 03:26:29 * izalove didn't write that 03:26:57 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:27:12 boily: I hear by cut it. 03:32:51 I just got to use http://sssscomic.com/comic.php?page=195 for practical reasons :D 03:38:01 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 03:56:50 -!- pecan has changed nick to FearFly. 03:59:21 -!- DHeadshot has quit (Ping timeout: 252 seconds). 04:06:05 -!- FearFly has changed nick to pecan. 04:11:25 -!- augur_ has joined. 04:11:35 -!- augur has quit (Read error: Connection reset by peer). 04:20:08 You can make nest with ' and " which sometimes will be done with "('("('x')")')" for example, and also is how they do it with INTERCAL too. 04:20:45 zzo38: I used matching alternating ' and " in Shove 04:20:46 (Although, with INTERCAL you can also use exclamation mark as a substitute for '. too) 04:20:59 in INTERCAL the alternation normally isn't needed, except in some corner cases involving array subscripts 04:21:05 however most programmers do it anyway because it makes things easier to read 04:21:24 Yes, sometimes it isn't ambiguous, anyways 04:22:07 But it is seen sometimes in a text they do that alternation, whether or not they use different quotation mark for beginning and end of the quotation. 04:29:13 -!- Zarutian has quit (Quit: Zarutian). 04:37:19 -!- hppavilion[1] has joined. 04:38:06 Has there ever been a browser with tree-based tab structure? 04:38:34 hppavilion[1]: there are browser extensions for that 04:38:59 Rather than [a] the primitive scalar tab [b] list tabs and [c] the former (and, with extension, current) firefox system of 2D array tabs? 04:39:01 ais523: Oh? 04:39:37 I vaguely remember one called TreeStyleTabs 04:39:51 never used it though 04:41:40 ais523: Looks like it's pretty old 04:42:03 -!- u0_a330 has joined. 04:42:53 I've periodically wanted to learn FireFox extension dev in general for a while now 04:44:05 -!- moony_the_lycan has quit (Ping timeout: 252 seconds). 04:44:57 Hm, it'd be nice if there was a way to check for similar nicks between channels... 04:45:23 (identical on the same server, similar on different servers) 04:45:51 For the same server, there is WHOIS and NAMES 04:47:34 (If you have the +i mode set on yourself then others normally can't see what channel you are on except channel they are also on) 04:50:47 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 04:54:33 -!- hppavilion[1] has joined. 05:10:15 Hm, can we talk about the invention of LISP as the data-code merger? >:) 05:11:41 -!- ais523 has quit (Ping timeout: 260 seconds). 05:13:42 Hm, maybe there should be language flags that are (generally) distinct from national flags 05:15:18 Like, a "Flag of German (the language)" 05:16:15 Usually the flag of the country is used but sometimes they can speak the same language in many country or even many language in one country too 05:16:20 (Because some sites use flags- rather than names- to indicate language, which leads to the issue of whether e.g. you reference English with the American Flag, Union Jack, English Flag, or something else) 05:16:25 Therefore, maybe it helps a bit 05:18:00 Though, I think I've seen english without a UK-US distinction represented as an american flag AND union jack merged by a(n implicit) diagonal split from the inner-lower corner to the outer-upper corner. 05:18:46 By the way, the UK, why the hell did you make your flag have a right side up, but LOOK like it should be perfectly symmetrical 05:19:22 I don't know why 05:33:07 Reading http://sssscomic.com/comic.php?page=195, I'm getting suspicious 05:33:18 Because Finnish is entirely unrelated, but cat is still "kissa" 05:33:24 The "k" is ubiquitous 05:33:50 Spanish calls a cat "gato", but "g" is nearly identical to "k" 05:34:18 Deutsch gives Katze 05:34:59 Vietnamese has " 05:34:59 con mèo" and various other suffixed "con"s 05:35:34 Shona, which is from... somewhere... has "katsi" 05:35:56 Welsh have "cath" 05:36:23 Hungarian has "cica" 05:36:28 * hppavilion[1] gets his tin foil cat 05:41:32 pic 05:42:27 Oh, yay 05:43:10 Google made a new beta layout for YouTube that fits with their über-sleek, technical layout used on other sites 05:43:15 Whoop-de-doo 05:52:40 British and American are not the only kind of English language anyways; the other way is Canadian 05:59:16 zzo38: Oh, knew I was forgetting someone... 05:59:26 (And it wasn't Australia) 06:00:14 The Secret Council of /(b[plurandy]+b ?){2}/i 06:07:28 -!- augur_ has quit (Remote host closed the connection). 06:08:09 -!- augur has joined. 06:12:50 -!- augur has quit (Ping timeout: 250 seconds). 06:16:03 -!- augur has joined. 06:47:07 <\oren\> Obviously for english you should use the flag of england 06:47:41 <\oren\> hppavilion[1]: cat in japanese is neko 06:47:48 \oren\: shhhhh 06:47:58 \oren\: Nobody even knows the Flag of England outside the UK 06:48:04 -!- benderB787 has joined. 06:48:53 I'm making a Python program to handle metric-like systems 06:48:59 <\oren\> the flag of the uk could indicate it is using some british language, e.g. scots, english or welsh but not which one 06:51:47 <\oren\> the flag of canada could indicate that the page est bilingue en francais et anglais 06:52:27 ...I'm just going to pretend like μ is a 'u' and be done with it 06:52:30 ou, like you observed, qu'il change langue mid-sentence 06:52:57 or you could use a 'murican flag because we only speak one language :P 06:53:00 I've always been confused as to why we have to have one untypable, hard-for-older-software greek letter mixed in with all the otehrs 06:53:01 *others 06:53:07 <\oren\> alercah: yes, because we do that with our anthem 06:53:24 Hoolootwo: You definitely can't use Australia because they only pretend to speak english 06:53:29 \oren\: not officially :( 06:53:33 same with NZ 06:53:34 \oren\: *some variants of, iirc 06:53:37 I almost always do though 06:53:40 What alercah said reminds me of a famous one of my Facebook status updates. 06:53:43 or I just sing the French 06:53:50 <\oren\> hppavilion[1]: most old charsets actually have a mu in them 06:53:51 \oren\: There are 3 versions; one in english, one in french, and one bilingual 06:53:57 \oren\: sshhhhhh 06:54:00 although if I'm thinking about it 06:54:07 I sing it in such a way as to avoid religious references 06:54:40 It said: "Mi lengua favorita es español con random palabras inglesas embedded in it." 06:56:55 <\oren\> alercah: the official bilingual version is done in such a way that it has both the "il sait porter la croix" and "god keep our land, glorious and free" in it 06:57:48 Should the prefix for Hella be 'X'? 06:58:42 \oren\: the "official" version isn't official though 06:58:51 the English and French versions are in statute 07:00:57 <\oren\> when I was in chior we did a version with all the stanzas of the english and french versions 07:01:15 <\oren\> the final stanza of the french version is Le cri vainqueur : "Pour le Christ et le roi!" 07:01:21 Some people outside of UK know about flag of England, but it is an older flag and not used as much 07:01:55 <\oren\> which amusingly sounds like swearing in quebecuios 07:02:59 OK 07:03:02 <\oren\> Amour sacré du trône et de l'autel, Remplis nos cœurs de ton souffle immortel! 07:03:27 <\oren\> that whole part is like that 07:03:30 It's been proposed that the 10**27, 10**30, and 10**33 be X, W, and V, respectively 07:03:45 <\oren\> WWW 07:03:46 And presumably 10**-27, 10**-30, and 10**-33 be x, w, and v, respectively 07:03:50 Because 07:04:05 <\oren\> (10**60 watts) 07:04:12 <\oren\> WWWWWWWWWWWWWWWWW 07:04:26 10**24 is Y and 10**21 is Z, while 10**-24 is y and 10**-21 is z 07:04:27 -!- augur has quit (Remote host closed the connection). 07:04:33 So it continues alphabetical order 07:04:37 (in reverse) 07:04:48 So for my metric-handling program, I'm accepting that proposal because it's nice 07:05:14 But I need to decide what to call the 10**30, 10**33, 10**-30, and 10**-33 prefixes 07:05:32 (x and X are respectively heavo and Hella, of course) 07:07:27 Maybe W should be 'tungsto'? :P 07:16:50 Successfully added the first barrage of values 07:16:54 Now to add derived units 07:20:17 <\oren\> W is clearly warao 07:20:35 <\oren\> WJ WaraJoules 07:27:38 Seriously metric. 07:27:47 Why do you keep using stuff computers don't like 07:27:51 Ohms. Why. 07:27:56 Fuck you, Ohm. 07:28:19 Your symbol is now U 07:30:37 Ω isn't that hard to type, now is it? 07:33:05 pikhq: It's not on my keyboard, it isn't in ASCII, and my computer will yell at me over it 07:35:24 pikhq: Oh, I think it MIGHT be working 07:35:33 Maybe it only complains for the obscure parts of unicode 07:35:44 pikhq: Even worse, though, is kilograms because they require *logical* shenanigans 07:36:09 Because unlike EVERY other unit, they're 1000x everything else 07:37:10 * pikhq messes around with using combining chars to produce a bizarro exact encoding of kana in romaji 07:37:52 -!- imode has quit (Ping timeout: 260 seconds). 07:38:22 "ṡiȳuuneñ" looks perfectly reasonable, no? :P 07:39:52 I don't even know if I should be telling it to divide the prefixes for Newtons by 1000 to account 07:47:52 OK, now to test 07:49:37 -!- augur has joined. 07:55:03 -!- godel has quit (Ping timeout: 245 seconds). 08:17:55 In telegram speak, what does one call '?' 08:24:54 [wiki] [[Brainfuck constants/Ordered]] https://esolangs.org/w/index.php?diff=50059&oldid=50037 * Rdebath * (+113) Add description of crunchfuck dataset. 08:26:35 -!- gniourf has quit (Quit: Leaving). 08:27:05 -!- gniourf has joined. 08:42:24 It's a "what" hth 08:42:37 (And ! is "wow".) 08:45:28 fizzie: ! is 'bang' hth 08:46:18 Tonsil A says otherwise. 08:46:35 And that's the canonical source of character names hth 08:46:37 fizzie: 'wow' refers to the string "6EQUJ567" hth 08:46:53 No, that's the wow *signal*, not the wow *character*. 08:47:13 fizzie: shhhhh 08:48:36 fizzie: I'm using 'bang' for '!', 'curve' for '?', '.' is 'stop', ',' is 'pause', ''' is 'tick', '"' is 'ears', ':' is 'punch', ';' is 'stunt', '(' is 'start', ')' is 'end', 'w' is 'way', '0' is 'null', '7' is 'sev 08:48:37 ' 08:49:04 fizzie: According to the system my sister and I are using to get some viginered text from a book into the decryption program 08:58:01 -!- `^_^v has joined. 09:45:38 -!- augur has quit (Remote host closed the connection). 09:46:14 -!- augur has joined. 09:50:28 -!- augur has quit (Ping timeout: 245 seconds). 10:23:01 that wiki page is very questionable... 10:25:48 oh, I'm reading it wrong. the columns are always number, code, length, cells, cycles, but they are selected and ordered differently. 10:26:53 (but still, what is the use of having the fastest code for constant 34 that does not exceed 19 instructions?) 10:38:03 int-e: Wait, what are you talking about? 10:38:22 Oh, is it Brainfuck constants? 10:38:59 int-e: What I'm wondering about is the choice of 19 10:43:29 -!- oerjan has joined. 10:44:09 -!- centrinia has joined. 10:44:11 boenjouran 10:45:45 hippavilon[1] 10:47:00 i have 33 followers on github 10:47:07 that's like, a horde of followers 10:47:12 i don't even know 33 people irl 10:48:35 -!- Jafet has quit (Ping timeout: 244 seconds). 10:49:07 there aren't even 33 people in the world 10:49:23 right, 90% of those are bots 10:49:34 it's the ONLY explanation. 10:49:35 well i'm still flattered 10:50:12 so apparently german lawmakers are considering to outlaw adblockers :-/ 10:51:04 link? 10:51:26 nothing in english yet, I believe... https://netzpolitik.org/2016/moegliches-ad-blocker-verbot-verbraucherperspektive-fuer-bundesregierung-nicht-so-wichtig/ 10:51:39 ad blocker verbot 10:51:42 gotcha 10:52:01 (also it's still early in the lawmaking process... but it's still scary that they even consider this) 10:53:20 well, i really don't care 10:53:32 i'd still just use an adblocker 10:54:04 well, sure, but I'd rather do that legally. 10:54:34 it's apretty crappy idea considering you have basically no way to enforce that 10:55:24 oh, but you can still levy fines, and more importantly, go after people who make adblockers 10:56:18 the adblocksmiths 10:56:19 anyway, I don't think this is going to make it into law at this point... but the idea has somewhat spoiled this Saturday morning for me. 10:56:21 Arcthird 10:57:06 (also the process... they have, so far, talked to media and ad companies... no consumer representatives at all) 10:57:09 int-e: how will you go after nongerman adblocker developers? 10:57:15 int-e: Your country is terrible hth 10:57:39 hppavilion[1]: said the american 10:57:51 https://medium.com/@nattsuhon/will-germany-ban-adblocking-software-a2dcc040aa75 10:57:56 myname: I didn't say my country was good 10:57:59 myname: I said yours is terrible 10:58:12 it's really not 10:58:17 why would you read news if you don't want your day spoiled, that makes no sense hth 10:58:24 newspapers are just stupid 10:58:41 int-e: At first I wasn't going to click because it's in german, but then I realized it's in german so now I have to click it 10:58:54 myname: when has lack of enforcibility ever stopped poltiticians from making a law? 10:59:50 myname: and if they see that it can't be enforced they will stack more laws on top... and more and more people may become afraid of using adblockers that way. scare tactics, mostly. 11:00:01 just let every newspaper die and the world will be a better place 11:00:32 int-e: good thing i am a computer scientist 11:00:57 int-e: Are you still technically breaking the (proposed) law if you engineer your own adblocker? 11:01:38 hppavilion[1]: aince there is no actual wording for the proposal, nobody can tell 11:01:51 -!- Jafet has joined. 11:01:54 oh no the villain has been talking to me 11:01:58 myname: Ah. That's even worse 11:01:59 i doubt there will be 11:02:00 int-e: Who? 11:02:53 myname: What about https://www.rlp.de/fileadmin/rlp-stk/pdf-Dateien/Medienpolitik/2016-06-01_-01-_Bericht_BLKM_pol_Steuerungsgruppe_FINAL_bf.pdf#page=20&zoom=auto,-178,562 11:02:55 hppavilion[1]: the 19 is probably just a bound that makes enumerating all brainfuck programs up that length feasible (excluding useless patterns like +- -+ <> and ><) 11:03:14 int-e: Ah, yes, of course 11:03:22 int-e: A quick check says... 11:03:28 > 2**(19*3) 11:03:30 1.4411518807585587e17 11:03:36 int-e: "feasible 11:03:37 Wait 11:03:38 No 11:03:52 > 6**19 11:03:53 6.09359740010496e14 11:04:08 int-e: "feasible" 11:04:25 " 11:04:40 -!- benderB787 has quit (Ping timeout: 260 seconds). 11:19:23 Oh, huh, google translate is pretty good with German and English. I was doing it word-by-word to try to improve my understanding (and because I figured it wouldn't return something properly intelligible), but I gave up and put the whole sentence in and it worked. 11:20:07 it's like english were a german-ic language, or something. 11:20:49 are we not gonna talk about zcash at all? 11:20:54 oerjan: Yeah... 11:21:01 izalove: nope. 11:21:04 :C 11:21:14 but everyone else... :( 11:21:16 hth 11:21:23 myname: Trying to ban adblockers is only 2% as annoying as people trying to "close the analog hole" though 11:21:36 . o O ( what's zcash ) 11:21:48 `coins 11:22:00 brookcoin badaccoin perparcoin arrowcoin fundcoin dna#coin barfoocoin rntercalcoin versecoin hevyingcoin citcoin tritelycoin cuprelncoin smalcoin bcecoin mooycoin greecoin fractcoin bradcoin comprefcoin 11:22:10 oerjan: It's a form of currency inferior to fundcoin hth 11:22:27 but it's better than barfoocoin, i suspect. 11:22:36 oerjan: And... bradcoin? 11:23:15 oerjan: Fractcoin, of course, is actually several currencies, each containing several currencies in the same fashion, each containing several more again, et cetera. 11:23:43 obviously. 11:23:57 I like that it came up with 'fundgoin' 11:23:58 smalcoin is so minimalistic they even shortened the name. 11:24:12 oerjan: Of course, everything is better than badacoin. By definition. 11:24:31 (Unless it's the other badacoin, which is the currency used by Teddy Roosevelt) 11:24:45 hppavilion[1]: your jokes would be better if you could actually copy the names correctly hth 11:25:01 oerjan: what did- oh, I missed the second 'c' 11:25:20 And 'fundgoin' was a typo 11:25:39 arrowcoin, meanwhile, gets straight to the point. 11:25:47 oerjan: itym coint hth 11:25:56 "citcoin" sounds like it could be a real thing made by a certain creditcard company 11:26:15 hppavilion[1]: no. 11:26:40 also dna#coin is a coin by microsoft that lives in your cells. sounds very trustable. 11:26:40 I searched "trite" for a "tritelycoin" pun 11:26:54 Apparently, http://oldestcoins.reidgold.com/article.html 11:27:11 There was once a coin called 'trite' 11:27:27 What commands are there other than `coins? I forget 11:28:04 oerjan: I have 3 11:28:17 `loins 11:28:19 nheitloin symeloin duplengolloin callaloin soniloin smutainloin iinculoin lobeityloin msicasmiloin tmmlloin brainhardballoin verwheationloin permdriculoin crabloin calcloin qdeepensiticaestndenamerlescriboloin libeloin bractalkenloin pyrambdloin muggleloin 11:28:38 3 what 11:28:57 oerjan: dna#coin 11:31:07 OKAY 11:33:27 > let b0 n | n < 0 = 0 | n == 0 = 1 | n > 0 = 4 * 3^(n-1); b1 n = if n < 0 then 0 else b1s !! n; b1s = map b1' [0..]; b1' n = sum [b0 k * b (n-k-2) | k <- [1..n-3]]; b n = if n < 0 then 0 else bs !! n; bs = map b' [0..]; b' n = b0 n + sum [b1 k * b (n-k) | k <- [1..n]] in map b [0,1,2,3,4,5,18,19] -- avoiding +- -+ >< <> ][ and [[ and programs starting with [ 11:33:29 [1,4,12,36,124,484,85175195836,382975574244] 11:34:59 still quite large, admittedly 11:35:32 but three orders of magnitude below 6^19 11:37:15 Oh! Trump has finally got evidence of voter fraud in this election! 11:37:28 Only problem is that they were frauding to vote for Trump 11:37:57 it must be a sting operation 11:44:44 Oh, yesterday (or, from my up-late POV, today) was an inservice day 11:44:56 Apparently because they were training for an active shooter 11:58:10 -!- centrinia has quit (Quit: Leaving). 12:10:46 [wiki] [[Special:Log/newusers]] create * Dogan * New user account 12:21:53 -!- atslash has joined. 12:27:06 -!- benderB787 has joined. 12:32:27 @tell ais523 it looks like we've got a couple new wiki accounts that aren't bothering to finish the introduction :/ 12:32:27 Consider it noted. 12:34:57 Hm, 3-spheres (which should be called 4-spheres since they exist in 4-dimensional euclidean space, imo) can apparently be called "glomes" 12:40:28 fillipods are like the best aliens ever http://www.drivecomic.com/ 12:47:07 *-like 13:06:22 4000 words of poetry really doesn't sound awsome 13:06:37 _minimum_ 4000 hth 13:06:48 4000 words or more of poetry really doesn't sound awsome 13:06:55 OKAY 13:07:41 that reminds me that at some point I started reading Paradise Lost... didn't make it very far. 13:08:30 Poetry is different things to different people 13:08:33 Like breakfast 13:13:15 Is aeroplane pronounced like "air plane" or like "air oh plane" 13:13:22 * hppavilion[1] doesn't feel like IPA right now 13:13:37 oerjan: Which word is augmented with -like? 13:13:45 Oh, you mean remove like 13:14:24 augmenting would be *+-like hth 13:21:00 oerjan: Wait, what's similar to *+? 13:21:26 I thought there were only, like, 3 or 4 modifier operations 13:35:39 * changes, *+ adds, *- subtracts hth 13:36:58 -!- super_bender has joined. 13:38:40 -!- benderB787 has quit (Ping timeout: 260 seconds). 13:38:53 -!- oerjan has quit (Quit: Later). 13:39:41 Game theory makes me sad 13:40:43 I narrowly avoided failing my game theory exam 13:47:21 Taneb: I can't tell if that's a pun 13:47:36 No, I genuinely only passed by two marks 13:48:35 Multiple-choice quizzes are just coordination games in which one party will always choose a knowable answer, it's just a matter of knowing it 13:49:58 The Ice Cream solution is a nice example of everyday game theory, and determines how to fairly choose ice cream 13:50:11 s/choose/dish up/ 13:50:12 Only works for 2 players though 13:50:19 is that like the cake rule? 13:50:24 izalove: Maybe? 13:50:31 or pie rule 13:50:33 i guess 13:50:34 And only when the type of ice cream is identical 13:50:51 One person prepares two bowls of ice cream, the other person chooses which they want, the preparer takes the other 13:51:23 yeah that 13:51:54 pie rule is the same except one cuts a pie in half 13:52:21 -!- ais523 has joined. 14:00:45 izalove: Well, yeah, it works best for something that must be taken as a whole 14:01:16 I was just thinking about how to better assign payoff values in game theory, and I think I just generalized numbers 14:01:23 Again 14:02:24 This time, it's a modification of place-value notation into actual, legit math 14:06:43 (could be called "base infinity" if you wanted) 14:09:58 meh... let's try to compile ghc for a fifth time, shall we... 14:10:35 let's try to fix link errors in zcash, shall we 14:11:09 (gcc 6 is causing trouble so now using gcc 5...) 14:11:23 int-e: remove -Werror 14:11:46 izalove: ld is complaining about mixing -pie and -r 14:11:51 izalove: there is no -Werror 14:12:33 (and the -pie is somehow newly added by gcc, and I'm not in the mood to figure out why exactly or how to fix it properly by passing -no-pie when needed) 14:13:14 -!- boily has joined. 14:23:59 `wisdom 14:24:01 zimbabwe//olsner's desk points zimbabwards. it is highly dependent on tswett's michiganic orientation. 14:24:25 `` sed -i 's/\. i/. I/' wisdom/zimbabwe 14:24:27 No output. 14:26:33 `` wisdom | rot13 14:26:35 cnfgel//N cnfgel vf n fhtnel pbasrpgvbarel gung vf phfgbznevyl rngra nsgre jevgvat na rffnl. 14:28:38 fungot: n cnfgel? 14:28:53 ... 14:31:16 boily: I think you just spoke f.g.'s name in vain. ;) 14:32:02 * boily pouts and goes to make some coffee 14:44:20 To be clear, is "Befunge" [bi: f∧ndʒ] or [bi: f∧ŋ]? 14:44:47 Similarly, (> fizzie ), what is the canonical way to pronounce fungot? 14:44:47 hppavilion[1]: ( 2. 3) is...? whoever made that quote was :)... i don't know how to play the turing game. the name erlang was to me associated with tables. 14:55:15 http://esolangs.org/wiki/Befunge#Etymology says /bif∧ndʒ/ 14:55:45 I say /ˈfʌŋgɔt/ for the bot though... 14:57:12 `wisdom 14:57:14 xargs//xargs is for piping snowmen. 14:57:58 -!- super_bender has quit (Ping timeout: 245 seconds). 15:00:10 Has brainfuck been the featured language for three years? O.o 15:02:12 possibly 15:05:22 lynn: yes hth 15:05:37 I recommended switching to Thue 15:06:03 efghij 15:07:24 -!- otherbot has joined. 15:07:31 fungot: n cnfgel? will you answer now? 15:07:32 boily: there actually is /not/ a drain on productivity proportional to program size. by the way, 15:07:45 fungot: I beg to differ. 15:07:45 boily: you can do kernels in c++ or java coders... should abuse them by making them learn a real oo language i suppose 15:07:56 fungot: that I agree with :D 15:07:56 boily: vantaa/ helsinki border crossed again. weird. 15:07:57 lynn: I'd use those pronunciations for the language and the bot, I believe 15:09:17 fungot: of course it's weird. it's Finland. 15:09:17 boily: there always has been to me. it does ( implicit or explicit doesn't compose well. optimistic concurrency is based on 15:09:44 I like the idea of optimistic concurrency 15:09:51 fungot: are you an optimist, eh? 15:09:52 FaerieFly: does it require something particular of the interpreter means that this channel be restricted to privileged users or something 15:10:37 I'm not sure if restricting access to privileged users is optimistic 15:11:37 fungot: check your privileges. 15:11:37 boily: i will be a big perl guy? the one that will be 15:11:44 fungot: you can be a big perl guy. 15:11:45 boily: srbt sarahbot? once, at startup; then i collapse it into a hilbert space. it follows the form ( lambda ( g) ( use x)) 15:12:07 -!- `^_^v has quit (Quit: This computer has gone to sleep). 15:22:14 h45 15:27:16 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com). 15:29:04 fungot: Не получаю генератор. 15:29:04 boily: the c runtime. you can increase the soft limit up to the authors. a common fnord! :) 15:32:00 -!- Zarutian has joined. 15:32:32 -!- Zarutian has quit (Read error: Connection reset by peer). 15:33:20 -!- Zarutian has joined. 15:34:42 -!- ais523 has quit (Ping timeout: 250 seconds). 15:40:24 -!- benderB787 has joined. 15:45:27 * hppavilion[1] just learned 'mu' 15:46:24 mumumumumumumu ♪ 15:48:04 mu muily 15:51:10 olsnmu! 15:53:49 Huh, I never thought about it, but THE FACT THAT CAPSLOCK LOOKS LIKE YELLING is basically just synæsthesia 15:53:53 -!- Zarutian has quit (Quit: Zarutian). 15:54:38 no, it isn't 15:54:47 alercah: YES IT IS 15:55:00 no, it isn't 16:01:07 so hppavilion[1] is wrong, what else is new? 16:01:20 oh, look, the sky is blue. 16:01:29 int-e: Trees are green, apparently 16:01:39 And- I JUST found this out- water is wet 16:02:03 Did we seriously ever write 3.5 as "3-1/2" on typewriters? 16:03:49 `learn Tauntology is the study of hurtful truths. 16:03:51 Learned 'tauntology': Tauntology is the study of hurtful truths. 16:13:25 -!- u0_a330 has quit (Ping timeout: 252 seconds). 16:50:18 -!- super_bender has joined. 16:53:44 -!- benderB787 has quit (Ping timeout: 260 seconds). 16:56:36 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 17:02:06 -!- copumpkin has joined. 17:13:06 -!- Phantom_Hoover has joined. 17:16:21 `wisdom 17:16:22 recipe//Random food recipes at https://gist.github.com/nylki/1efbaa36635956d35bcc 17:20:53 `? http 17:20:54 http? ¯\(°_o)/¯ 17:24:25 `learn HTTP is short for 'hipster technology trading platform'. 17:24:29 Learned 'http': HTTP is short for 'hipster technology trading platform'. 17:29:12 -!- Zarutian has joined. 17:30:03 -!- Zarutian has quit (Read error: Connection reset by peer). 17:30:19 -!- Zarutian has joined. 17:30:27 -!- boily has quit (Quit: PROFOUND CHICKEN). 17:32:59 -!- ais523 has joined. 17:36:18 -!- super_bender has quit (Ping timeout: 245 seconds). 18:20:28 -!- hppavilion[1] has joined. 18:28:29 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 18:29:39 -!- imode has joined. 18:30:39 -!- godel has joined. 18:42:11 The one Ynnnn problem I've not seen much talk about is the Y2262 problem. 18:42:13 That's the one where there's been 2^63 nanoseconds since January 1st, 1970. 18:43:55