00:10:16 -!- wanderman has quit (Quit: Leaving). 00:11:17 -!- boily has joined. 00:11:35 borehily 00:11:50 -!- moonythedwarf_ has joined. 00:11:53 bonsœøirjan! 00:12:01 mhelloonythellodwarf_ 00:12:05 -!- moony has quit (Ping timeout: 248 seconds). 00:12:14 boily: wait, here does the e half of œ come from? 00:12:16 you already have an ø 00:13:50 bœsted! 00:14:49 his523! it comes from œrjan hth 00:15:26 `? œrjan 00:15:28 ​œrjan? ¯\(°​_o)/¯ 00:16:00 boily: yes but he is't called œørjan 00:16:08 you doubled the vowel there 00:16:18 may as well be complete and call him oœøerjan :-P 00:16:32 good idea. I like vowels. 00:17:42 hmm, how else could you write that vowel? ö? 00:17:48 not really the same though 00:17:56 but ö is sometimes written oe in German 00:18:44 `learn œrjan is oerjan and ørjan's superhero third cousin (once removed) from Québec. he got his cheesy powers by falling into a giant poutine bowl. 00:18:52 Learned 'œrjan': œrjan is oerjan and ørjan's superhero third cousin (once removed) from Québec. he got his cheesy powers by falling into a giant poutine bowl. 00:18:58 `learn œrjan is oerjan and ørjan's superhero third cousin (once removed) from Québec. he got his cheesy powers by falling into a giant poutine bowl. 00:19:01 Relearned 'œrjan': œrjan is oerjan and ørjan's superhero third cousin (once removed) from Québec. he got his cheesy powers by falling into a giant poutine bowl. 00:19:09 wait, is ørjan the evil twin or the good twin? 00:19:16 `` sed -i 's/\. h/. H/' wisdom/œrjan 00:19:18 No output. 00:19:28 ais523: all the oerjantwins are evil hth 00:19:30 `? ørjan 00:19:31 Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it. 00:19:36 WRONG 00:19:44 ↑ especially that one. very evil. 00:20:10 how dare you defend that do-gooder! 00:22:42 `learn Örjan is oerjan's Nazi clone. He helps run the secret base on the backside of the moon. 00:22:44 Learned 'Örjan': Örjan is oerjan's Nazi clone. He helps run the secret base on the backside of the moon. 00:22:51 hm... 00:22:54 `? örjan 00:22:55 ​örjan? ¯\(°​_o)/¯ 00:24:01 `` slwd 'Örjan//s/./ö/'; mv wisdom/{Ö,ö}rjan 00:24:03 wisdom/Örjan//örjan is oerjan's Nazi clone. He helps run the secret base on the backside of the moon. 00:24:32 hmm, I'm not sure I like nazi jokes in the learndb 00:24:42 `rm wisdom/örjan 00:24:44 No output. 00:24:49 i did nazi that coming. 00:24:51 (or, well, I'm sure I don't like them, and I'm not sure I even find them acceptable) 00:39:39 -!- Zarutian has joined. 00:57:15 I'm sure orwell didn't like the nazis either 01:02:21 -!- imode has joined. 01:13:19 What makes You so sure? 01:13:57 Without Satire, no free Speech. 01:14:15 Also, _we_ do live on the Moon. 01:14:21 Which is made out of green Cheese. 01:14:36 What _they_ tell us shall be the Moon is the actual Earth. 01:14:55 „I got transferred to the Moon — Worse Pay, better Hours.“ — Was (not was) 01:31:40 `le/rn örjan/Örjan is the diæresed twin. He will punctuate your vöẅëls, and maybe a few other unsuspecting letters. 01:31:42 Learned «örjan» 01:33:39 `? APic 01:33:40 APic? ¯\(°​_o)/¯ 01:36:07 `? boily 01:36:08 ​"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the world boring. 01:37:13 -!- S1 has quit (Quit: Leaving). 01:40:25 moonythedwarf_: as you can see, I am sane. this is important. 01:41:21 what was nani again. 01:41:44 and have you dispensed any recently 01:43:50 these were Roujoistic. 01:44:04 yes, I dealt cards. 01:44:24 o...k 01:50:42 -!- moonythedwarf_ has quit (Ping timeout: 244 seconds). 01:51:06 fungot: do you make sense? 01:51:06 boily: uh-oh!! i want my else not to start so late 01:59:13 sounds sensible. 02:08:34 -!- Zarutian has quit (Quit: Zarutian). 02:08:50 `wisdom 02:08:56 certainly//We don't know what certainly is for sure, but at least it isn't a functor. 02:09:37 `doag certainly 02:09:39 No output. 02:09:39 er 02:09:41 `dowg certainly 02:09:43 2016-09-25 revert 942e964c81c1 \ 2016-09-25 ` chmod 777 / -R \ 2015-08-13 revert accbc9c5c7ec \ 2015-08-12 echo wisdom/* | shuf | head -n 10 | xargs rm \ 2014-03-16 revert \ 2014-03-16 revert 1 \ 2013-07-31 revert \ 2013-07-31 for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a 02:09:50 ugh 02:09:51 people 02:09:56 `` dowg certainly | tac 02:09:58 2013-03-04 cp wisdom/certain{t,l}y && sed -i \'s/ty/ly/\' wisdom/certainly \ 2013-03-12 revert 2243 \ 2013-03-12 revert 2416 \ 2013-07-31 for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ 2013-07-31 revert \ 2014-03-16 revert 1 \ 2014-03-16 revert \ 2015-08-12 echo w 02:10:13 `slwd certainly//s#at least it#it certainly# 02:10:15 wisdom/certainly//We don't know what certainly is for sure, but it certainly isn't a functor. 02:10:19 `? certainty 02:10:20 We don't know what certainty is for sure, but at least it isn't a functor. 02:10:25 hm 02:10:33 Oh, is this a modal logic thing? 02:10:48 Someone please decide whether to revert that. 02:11:21 the modal logic thing is more often called necessarily 02:11:48 `slwd certainty//s/at least/we have certainty that/ 02:11:50 wisdom/certainty//We don't know what certainty is for sure, but we have certainty that it isn't a functor. 02:15:03 I think the modal logic thing is a functor, too. 02:15:56 gain certainty until end of turn 02:19:37 -!- carado has quit (Ping timeout: 260 seconds). 02:38:59 "The prime minister of Norway was caught playing Pokemon Go in parliament" 02:49:11 Aw sweet, we can catch elected representatives as pokemon now? 02:49:36 Gotta elect 'em all! 02:57:06 Why does the HD version of the new episodes of Murdoch Mystery on CBC always lack captions? It only happens on CBC, only on the HD CBC, and only for episodes playing for the first time. The SD CBC does not have this problem. 03:04:22 Also, the commercials still have captions both on HD and SD. 03:08:49 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:23:17 It look to me Klingon transliteration is unambiguous but is not a prefix code; a parser for transliterated Klingon text may need to change part of its previous output if "h" is read. 03:28:15 -!- boily has quit (Quit: LIGHTWEIGHT CHICKEN). 03:31:24 "The prime minister of Norway was caught playing Pokemon Go in parliament" <-- ah that explains that joke page (a norwegian onion-alike) i saw. * follows norwegian comics pages but not news... 03:31:49 oerjan: this is closer to comics than news anyway hth 03:31:59 ture 03:32:15 `? ture 03:32:16 ture? ¯\(°​_o)/¯ 03:33:19 occasionally i make a typo that just needs to be there hth 03:34:23 especially this particular one 03:34:27 you're practically a turing machine 03:34:49 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:37:15 det er bare å ture frem 03:39:01 plural indefinite of tur 03:39:14 Remember Mr. Tur Tur? 03:39:50 shachaf: no, that would be "turer" 03:40:04 except possibly in danish 03:40:12 Of course I'm referring to Danish. 03:40:21 this nobel peace prize seems badly timed. 03:40:54 rødgrød med fløde 03:43:11 rørjån med flån 03:43:46 i'm not familiar with those words hth 03:44:01 @wn flan 03:44:03 *** "flan" wn "WordNet (r) 3.0 (2006)" 03:44:03 flan 03:44:03 n 1: open pastry filled with fruit or custard 03:44:15 well i know flan. not flån. 03:44:33 ˚ doesn't mean anything hth 03:44:48 flå'n could be a contraction meaning "flay him" 03:44:57 scandinavians put it on top of their letters to seem mysterious 03:46:23 apparently flån is a swedish lake name (multiple). 03:48:44 Sweden has a lot of lakes, though. 03:48:47 So that doesn't really count. 03:49:02 whoa, Norway has even more. 03:49:22 do you own a lake 03:51:22 not to my knowledge. 03:52:00 how much do they go for 03:52:51 i'm not sure there are many that are private. 03:53:09 so there's probably not much of a market. 04:13:13 -!- `^_^v has joined. 04:47:20 -!- pikhq_ has joined. 04:48:26 -!- pikhq has quit (Ping timeout: 244 seconds). 05:16:35 -!- oerjan has quit (Quit: Nite). 05:27:07 -!- `^_^v has quit (Quit: This computer has gone to sleep). 05:32:25 [wiki] [[Special:Log/newusers]] create * MatheusAvellar * New user account 05:46:54 how do you express the complexity class n×log²(n) in C syntax? n*(log*log)(n)? n*log(n)*log(n)? invent an exponentiation operator/ 05:47:00 err, this is for a comment inside a C program 05:48:26 I guess I could just use a unicode ² but some compilers might be confused by that 05:49:37 the second one. 05:50:34 n*log(n)*log(n) reduces to n*log^2(n). 05:50:55 imode: I know, was just hoping it abbreviated somehow 05:51:08 also looking at this I'm not sure it's the correct complexity class anyway 05:51:10 you could use ^. :P 05:51:22 that's xor :-P 05:52:04 we appropriate symbols for different purposes. blame our character sets. 05:52:17 Some programming language use ** for exponents 05:52:22 -!- trn has joined. 05:52:48 (Even JavaScript now does, I think; not everything implement it though) 05:54:03 I considered ** because it's mostly unambiguous 05:55:40 (Neither Node.js nor Firefox implements ** exponent operator; it is a ES7 feature and ES7 is not implemented yet, and is a draft anyways) 05:57:58 I think Perl implements ** for exponentiation 05:58:08 `perl-e print 4**4; 05:58:10 256 05:58:12 But what programming language will be *** and **** some standard operator of numbers too? 06:00:53 if * is multiplication and ** is exponentiaton, you'd expect *** to be tetration 06:01:19 https://en.wikipedia.org/wiki/Tetration 06:02:05 huh, tetration's defined for complex tetrs as well as integers, how surprising 06:02:58 (it's clearly defined for complex bases, in general) 06:08:24 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49892&oldid=49882 * MatheusAvellar * (+392) Add my short description 06:08:36 [wiki] [[Set]] https://esolangs.org/w/index.php?diff=49893&oldid=23401 * MatheusAvellar * (+4520) Create Set page 06:15:07 [wiki] [[Set]] https://esolangs.org/w/index.php?diff=49894&oldid=49893 * MatheusAvellar * (+1612) Add example codes 06:18:28 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 06:20:50 oh wow, I think I found a great name for my CALESYTA language 06:21:18 according to Wiktionary, it has four meanings, three of them are relevant to the semantics, and the fourth is a typical "this language is horrible" esolang name 06:22:06 ais523: do you happen to work on anything nethack-related, by any chance? you look familiar. 06:22:35 pecan: I'm on the NetHack devteam, and maintain NetHack 4 (the community attempt to bring NetHack while the official devteam weren't working on it) 06:22:54 also I'm one of the people in charge of the NetHack TAS, and used to work on TAEB (a NetHack bot) 06:23:08 might be easier to ask what NetHack-related things I don't work on :-P 06:23:32 Ah ha, knew I'd seen you in #nethack or something. 06:25:17 -!- augur_ has joined. 06:25:52 I used to be in #nethack. 06:25:55 But that was a long time ago. 06:26:14 Maybe I should try NetHack 3.6.0 06:27:03 I'm not 100% convinced it's an improvement 06:27:09 it has quite a few controversial changes 06:27:26 OTOH, the changes are also not uncontroversially bad 06:27:43 I'm guessing it's harder? 06:28:21 -!- augur has quit (Ping timeout: 260 seconds). 06:28:54 shachaf: a few exploits were removed, it's harder if you used them, it's not that much harder if you didn't 06:29:07 What about Elbereth? 06:29:13 I think there were a few widely-used things like that. 06:29:13 there was a change made to the movement formula that makes the game universally slightly harder, I've been trying to get that reversed 06:29:22 Some day, that TAS will be finished. 06:29:23 I guess Elbereth still exists, just weakened. 06:29:49 Well, okay, there was an April 1st submission that's basically a WIP of it. 06:30:04 shachaf: I asked the NetHack learndb bot to tell you how Elbereth had changed 06:30:23 -!- `^_^v has joined. 06:30:52 I read the changelog, I have a general idea. 07:04:36 -!- `^_^v has quit (Quit: This computer has gone to sleep). 07:17:17 -!- hppavilion[1] has joined. 07:27:13 -!- digin4 has joined. 07:29:37 -!- digin4 has quit (Client Quit). 08:13:13 [wiki] [[Ouroboros]] N https://esolangs.org/w/index.php?oldid=49895 * Dlosc * (+4925) Created page for Ouroboros 08:14:01 Pretty sure that's from grecko-roman mythology, but not sure what it is 08:14:12 higgledy piggledy 08:14:18 (Is there Proto-Indo-European mythology?) 08:14:22 shachaf: ello 08:14:54 Ah, the "autofellatio shown here" symbol 08:14:55 Right 08:15:31 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=49896&oldid=49886 * Dlosc * (+16) Added Ouroboros 08:21:36 [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=49897&oldid=49892 * Hppavilion1 * (+251) Introduction. 08:22:17 [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=49898&oldid=49897 * Hppavilion1 * (+209) IRC plug 08:22:48 [wiki] [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=49899&oldid=47302 * Dlosc * (+125) Added Ouroboros 08:22:55 There's an [[Introduce yourself]] page, but no [[Introduce Shachaf]] page? 08:23:00 That seems kind of one-sided. 08:23:19 ...I feel there's a joke here, but I'm not sure what 08:23:57 there's no user named 'yourself'... 08:24:11 shachaf: Is it the page for EVERYBODY to introduce you? 08:24:15 Yes. 08:24:22 ...ah 08:25:50 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=49900&oldid=49021 * Dlosc * (+30) Added Ouroboros 08:26:07 hppavilion[1]: heh, did you try to edit the introduction to the page without introducing first? 08:26:21 ais523: ...yes 08:26:22 so far that page has been really effective against spambots 08:26:46 one theory we have is that the human captcha solvers can't see the old content of the page when editing through the spambot interface 08:26:56 Aaaaah 08:27:07 so all the introductions from non-spambots make the page a moving target 08:27:22 I assumed that users who had already made edits and were non-terrible had been autoconfirmed. 08:27:24 although we know that the human captcha solvers can browse to pages manually 08:27:46 hppavilion[1]: users who have already made edits shouldn't be hit by the "please introduce yourself" warning 08:27:53 Oh? 08:27:55 Because I was 08:28:15 however, oerjan recently changed edits to the page to hit anyone who tries to edit it in a way that would break the introduce-yourself detection 08:28:18 so that might be what happened 08:28:22 ais523: Alternative idea: Require someone to solve an impossible math problem to join. You may only join if you say it's impossible :P 08:28:26 Yes 08:28:48 Oh, does anyone here watch Stephen Colbert's show? 08:29:00 btw, I'm not sure I agree with your edit 08:29:07 ais523: Why not? 08:29:19 you can get a good idea of why someone's here from their introduce-yourself post, and many people don't like interacting with IRC 08:29:25 (I'm sure there's a good reason) 08:29:28 like, I object to the way that the introduction is "not actual" 08:29:34 [wiki] [[List of quines]] https://esolangs.org/w/index.php?diff=49901&oldid=49695 * Dlosc * (+54) Added Ouroboros 08:29:47 maybe I'll keep the sentiment but tone it down somewhat 08:29:49 ais523: Ah, yes, I tried to put it there in such a way that it was just a plug rather than anything else :P 08:30:05 I actually used the wiki for several months before I noticed that there's an IRC channel 08:30:22 (I wasn't even an IRC user before, but I felt I needed to for nerd cred) 08:30:48 So I put it there so people HAVE to see it ?>:) 08:30:52 (evlis) 08:31:20 Stephen Colbert has a segment called "Big Furry Hat" in which he... wears a big furry hat 08:31:51 hmm, now oerjan's filter changes are preventing me reverting you 08:31:55 And he makes proclamations that are from that point onwards law (e.g. "Anyone who shoots cell phone video vertically will be fed into a woodchipper horizontally") 08:32:01 I guess I'll just override the filter for a moment 08:32:02 Huh. 08:32:06 Weird. 08:32:27 But I actually started invoking the Big Furry Hat in formal mathematical proofs 08:32:29 [wiki] [[Special:Log/abusefilter]] modify * Ais523 * modified [[Special:AbuseFilter/9]] ([[Special:AbuseFilter/history/9/diff/prev/56]]) 08:32:35 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49902&oldid=49898 * Ais523 * (-23) tone down the IRC plug 08:32:45 [wiki] [[Special:Log/abusefilter]] modify * Ais523 * modified [[Special:AbuseFilter/9]] ([[Special:AbuseFilter/history/9/diff/prev/57]]) 08:33:25 (Strictly speaking, I'm just using it to define notation; ex. "The BHF declares that a(+)b shall henceforth be equivalent to 1/((1/a)+(1/b))") 08:34:23 that is an operation that could do with a name 08:34:32 perhaps you could confuse people by calling it harmonic sum 08:34:41 ais523: Actually, that's what I call it 08:34:47 (well, I just call it 'harm') 08:35:01 Oh, and (+) is ASCII for plus-sign-in-circle, just to be clear 08:35:10 summing two positive numbers normally produces something greater than both, rather than smaller than both… 08:35:58 I also declared that you can write x with an overline to indicate the 1/x, the same way -x represents 0-x 08:37:49 This was actually one of the only mathematical proofs I've done in a while; schools in the US no longer require that you can actually DEMONSTRATE that something is true, so this was just a fun game. Literally; I'm reading through Knuth's book on Surreal Numbers and proving along with it. 08:48:02 -!- hppavilion[1] has set topic: Topical! | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 08:48:44 I'd also like a name for the operation exp . abs . log 08:48:57 shachaf: Did we say this the other day? 08:49:06 Who? 08:49:11 shachaf: You 08:49:15 What does it do? Are we saying exp(abs(log(x))) 08:49:29 Yes. 08:49:47 And is this just e^abs(ln(x)), or can it be arbitrary k^abs(log_k(x))? 08:50:18 > map (exp . abs . log) [1,3,1/3] 08:50:21 [1.0,3.0000000000000004,3.0000000000000004] 08:50:44 I will assume rounding errors 08:50:48 > log 5 08:50:51 1.6094379124341003 08:50:52 OK 08:51:07 > map (exp . abs . log) [1::CReal,3,1/3] 08:51:10 [1.0,3.0,3.0] 08:51:27 "1.0" looks very disappointing to me as a representation of a computable real 08:51:33 > (1/3)::CReal 08:51:36 0.3333333333333333333333333333333333333333 08:51:42 [wiki] [[Binerdy]] https://esolangs.org/w/index.php?diff=49903&oldid=45547 * Rdebath * (+1139) Hello, world! 08:51:45 I guess lambdabot is just approximating decimals? 08:51:53 They're displayed to 40 digits. 08:51:58 Yeah, really, I'm not sure what it's supposed to do... 08:52:00 What's more, even (==) compares them to 40 digits. 08:52:16 I feel like I should see a pattern, but I don't 08:52:25 yes but you can't necessarily determine what a given digit of a computable is, if it's exactly on the boundary 08:52:39 Right. 08:52:44 Wait, does it turn every integer into itself and every reciprocal into its reciprocal? 08:52:49 hppavilion[1]: it's equivalent to x for x≥1, 1/x for x ≤1 08:52:57 OK, yes 08:53:08 Never seen a use, but there's probably a million of them 08:53:16 it's not immediately clear to me why shachaf cares about the function 08:53:22 (also it isn't defined for x≤0) 08:53:52 I was thinking of it in the context of e.g. change in value. 08:54:12 I replaced hexchat's beep and flash with just displaying the message in the corner 08:54:15 I do not regret this. 08:54:21 If something lost 80% of its value or gained 400%, those are clearly related. 08:54:35 shachaf: aaaah, that's useful 08:54:52 (I once made an experimental program that reads skype messages aloud) 08:55:12 These days, just anyone is aloud to make experimental programs. 08:55:26 Today I bought an apple that I had high hopes for. 08:55:32 But it didn't live up to them. 08:55:40 My mother has purchased a mac. 08:55:46 We are no longer on speaking terms. 08:55:47 It's a mediocre Honeycrisp apple. 08:55:54 shachaf: Totally saw that coming 08:56:02 What? 08:56:10 That you were talking about the fruit 08:56:17 -!- imode has quit (Ping timeout: 260 seconds). 08:56:26 It wasn't a pun. I wasn't even thinking about the multinational technology company. 08:56:59 Well. shachaf has transcended measurement in shagrumpies. 08:57:00 I was thinking of the famos lament quote "even a box of rotten apples on a string is Turing-complete" 08:57:12 `quote apple 08:57:13 82) Well yeah, but furthermore unlike, oh, say, an Apple product, you don't have to sign their "we own your sperm" license agreement to GET that SDK and the requisite libraries. ... pikhq: Sure, but it's the only way Apple could get a first-born-son clause into a modern licensing agreement without infringing child or slave labor 08:57:14 ........wait, what? 08:57:22 `quote rotten 08:57:22 No output. 08:57:23 Wait, is that what the monad thing is a reference to? 08:57:26 @quote dons apples 08:57:26 dons says: Think of a monad as a spacesuit full of nuclear waste in the ocean next to a container of apples. Now, you can't put oranges in the space suite or the nuclear waste falls in the ocean, * 08:57:26 but* the apples are carried around anyway, and you just take what you need. 08:57:38 probably not 08:57:57 Is that literally true or just a joke? 08:58:01 Are the rules to your game written up yet? 08:58:02 I'm not actually sure 08:58:07 hppavilion[1]: a joke 08:58:11 shachaf: no, I'm doing so many other things 08:58:13 whose game? 08:58:15 Ah 08:58:16 OK. 08:58:19 I did start writing 08:58:26 but there are some things I want to redo and some things I'm not sure about 08:58:37 right now I'm working on CALESYTA stuff 08:58:47 Ah, right. 08:58:55 you know you're in a good place when you have to start looking up academic papers 08:59:02 to get the algorithms you need to implement your esolang in a reasonable time 08:59:10 Well, there was a Magic: The Gathering-inspired programming language for the ICFP contest one year. 08:59:11 Wait, what's going on? 08:59:22 Actually only the name may have been inspired. 08:59:24 even then I might have to write an optimizer along the lines of the PMMN optimizer I have lying around 08:59:30 hmm, is that online anywhere? 08:59:37 hppavilion[1]: http://calesyta.xyz/en 08:59:42 let's put that in the topic, actually 08:59:56 it's big enough esolang news to be there 09:00:00 YES! 09:00:07 -!- ais523 has set topic: Topical! | http://esolangs.org/ | there is currently an esolang contest: http://calesyta.xyz/en/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 09:00:10 It's bigger news than most things that have gone in the topic in a long time. 09:00:15 Right, https://esolangs.org/wiki/Lambda:_the_Gathering 09:00:55 I once won $25000 as a direct result of a link in the topic of #esoteric 09:00:58 -!- hppavilion[1] has set topic: Topical! | http://esolangs.org/ | There is currently an esolang contest; Phase II complete: http://calesyta.xyz/en/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 09:01:10 hppavilion[1]: ? 09:01:25 ais523: Phase II of the #esoteric plan for world domination 09:01:28 if that's a reference to Freenode's April 1 stuff, please take it back out 09:01:31 oh 09:01:36 ...it isn't... 09:01:38 What was that? 09:01:41 that defeats the point of the topic announcement IMO 09:01:46 -!- ais523 has set topic: Topical! | http://esolangs.org/ | there is currently an esolang contest: http://calesyta.xyz/en/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 09:02:06 hppavilion[1]: oh, Freenode have a competition every April 1 09:02:11 For what? 09:02:20 which is basically a puzzle (often a cryptogram) that leads to another puzzle, etc. 09:02:24 with a bunch of stages 09:02:53 normally we put up a fake puzzle that isn't actually part of Freenode's in the topic 09:02:54 worded to imply that it is 09:02:55 ais523: Was that the Wolfram thing? 09:03:10 so that if people are searching the channel list looking to get a head start in the puzzle by stealing someone else's solutions, they get stuck 09:03:11 shachaf: yes 09:03:25 "NZT is a programming language mixing the powerful features of many modern languages with the useful and unconventional tools provided by esolangs. It is rich with powerful features, and has a defining property that all software written in it- and any and all computers running this software- comes under the Council's absolute control in 3 years." 09:04:16 * hppavilion[1] . o O ( C and C++ are the programming equivalent of natural languages, rather than things like Python and Haskell's Conlanging ) 09:04:23 hppavilion[1]: I once considered a programming language where the spec says that any implementation requires sending me money 09:04:30 otherwise it isn't conformant 09:04:32 "The jury will be selected among the candidates according to an arbitrary criterion." 09:04:42 int-e: Which jury? 09:04:58 int-e: I hope it's particularly arbitrary 09:05:20 rather than just being random 09:05:24 It's the most arbitrary criterion. 09:05:26 which is fairly non-arbitrary as it actually makes sense 09:05:42 shachaf: what, picking an arbitrary arbitrary criterion? 09:05:49 Wait, an arbitrary criterion? 09:05:58 * ais523 notices that there's a potential risk of infinite recursion here 09:05:59 Can there only be one criterion? 09:06:05 arbitrary and criterion are the names of two unrelated Haskell libraries. 09:06:17 wouldn't choosing according to multiple criteria be a criterion in its own right? 09:06:25 ais523: No? 09:06:33 Unless you allow 'AND's in a single criterion 09:06:36 I think it would be 09:06:40 ais523: This reminds me of the game Mediocrity, where the goal is to be the most mediocre player. 09:06:47 /any/ method you use to choose is a criterion, by definition 09:07:00 (You can technically make a fully-fledged system of logic with only one axiom, by taking an existing one and combining the axioms with ∧) 09:07:01 shachaf: from Gödel, Escher, Bach? or did you see it elsewhere? 09:07:06 Oh, was it there? 09:07:15 ais523: criterion is singular 09:07:17 I think I read it in _Metamagical Themas_ 09:07:25 I think 09:07:27 oh, it might be there instead 09:07:30 Or is that criterium? 09:07:30 those two books are easily confused 09:07:58 I haven't read all of either one. 09:08:03 But I think I read most of both. 09:08:55 Anyway, in a mediocrity match, you want to win the middle number of individual games to win the match. But you want to win the middle number of matches to win the tournament. And so on. 09:09:34 I think players 1 and 3 have a huge advantage here 09:09:45 as they have a move that's guaranteed to lose a game 09:09:48 whereas player 2 doesn't 09:09:56 In which game? 09:10:03 Mediocrity 09:10:16 Hmm, I've forgotten the rules for an individual game. 09:10:20 I think I'm confusing it with Undercut. 09:10:31 you pick a number, whoever picks the middle value wins 09:10:44 and at all levels in Mediocrity, tiebreaks are by player numbers 09:11:06 also there's a limit on what numbers you can pick, integers 1≤n≤5 was the original I think 09:11:30 Undercut's easily solved by game theory, anyway 09:11:34 ais523: What if a == b or somesuch? 09:11:40 hppavilion[1]: tiebreak by player number 09:11:45 Ah 09:11:53 Depends on what you're trying to solve for, I guess. 09:11:57 e.g. player 1 chooses 1.1 to 5.1, player 2 chooses 1.2 to 5.2, player 3 chooses 1.3 to 5.3 09:12:25 Mediocrity isn't solved by game theory as it's broken, the optimal move depends on alliances and the like 09:13:18 Theory: Billy Joel is actually a pyromaniac and responsible for for several arsons, but nobody considers that because it would just be absurd and hilarious and anybody who suggests it gets laughed at and called an idiot. 09:18:49 -!- AnotherTest has joined. 09:21:55 -!- MoALTz has joined. 09:28:28 -!- hppavilion[1] has quit (Quit: Leaving). 09:37:08 [wiki] [[Hi\n]] https://esolangs.org/w/index.php?diff=49904&oldid=43376 * Rdebath * (+131) Example implementation is buggy. 09:37:59 -!- gamemanj has joined. 09:59:26 [wiki] [[Cheese]] https://esolangs.org/w/index.php?diff=49905&oldid=47313 * Rdebath * (+93) Tasty derivatives? 10:15:56 -!- hppavilion[1] has joined. 10:16:03 `? delaware 10:16:04 delaware? ¯\(°​_o)/¯ 10:16:23 `learn Delaware is a US state in which everybody speaks German. 10:16:26 (pun: DE) 10:16:27 Learned 'delaware': Delaware is a US state in which everybody speaks German. 10:17:15 What? 10:17:41 shachaf: Delaware is abbreviated as 'de'; 'de' is the language code for German (Deutsch) 10:34:05 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 10:38:17 [wiki] [[Treehugger]] M https://esolangs.org/w/index.php?diff=49906&oldid=44798 * Rdebath * (-38) formatting 10:40:35 hppavilion[1]: Ever heard of geo-thermal energy> 10:40:39 *energy? 10:41:01 * gamemanj sees the quit message. 10:45:20 [wiki] [[Foo]] M https://esolangs.org/w/index.php?diff=49907&oldid=35508 * Rdebath * (+10) reformat ugly wrapping 10:48:03 Foo seems like a brainfuck derivative. 10:50:53 + and - (BF) map to +1 and -1 (Foo)... 10:51:14 [ and ] (BF) map to ( and ) (Foo)... 10:52:39 IO's wonky, but the actual computation part's the same. 10:53:28 ah, Foo, destroyer of "guess what language the Hello World is in" competitions 10:54:43 Or "guess what language this sentence is written in" competitions. 10:55:09 right 10:55:28 the thing about the hello worlds is that in simple cases, Foo has a tendency to just print all the string literals in your program 10:55:45 ...Still, it might be a good language for lyric storage. 10:56:04 and most hello world programs tend to have hello world in string literals, and thus also work in Foo 10:56:33 #include "stdio.h" 10:56:40 not sure what that would do 10:56:54 it doesn't say unknown command behavior 11:00:43 In theory, void main() { puts("Hello world!"); } should work. 11:06:00 -!- `^_^v has joined. 11:09:21 unknown commands are skipped 11:09:43 and this was on a golfing website, they're not going to include include files unless they absolutely have to 11:10:12 -!- carado has joined. 11:14:05 -!- `^_^v has quit (Quit: This computer has gone to sleep). 11:29:40 -!- izalove has quit (Ping timeout: 250 seconds). 11:33:57 gamemanj: well, that has two instances of undefined behavior. a) void main and b) using a standard function without including the corresponding header. 11:34:39 Yay, two points! 11:35:52 Now I just need to find more undefined behavior... 11:36:06 ...so I can get three points on the U.D. Scoreboard! 11:36:18 Or maybe even four points! 11:37:18 Hmm. Do I get more points for including the wrong header? 11:37:29 Like, if I include stdlib instead of stdio, is that two undefined points or just one? 11:37:51 Oh! Maybe I could undefine the GCC version indicator define! 11:39:31 -!- `^_^v has joined. 11:39:56 -!- izalove has joined. 11:44:27 including the stdlib.h header will not cause undefined behavior unless you do it inside of a declaration 11:45:22 Perfect! 11:45:44 ...you know, you should probably be getting worried right about... 11:45:49 * gamemanj checks a watch. 11:45:58 Now. 11:46:20 why... are you programming an ICBM or nuclear plant? 11:47:48 Nope! 11:48:04 I'm just thinking about triggering as much undefined behavior as I can find... 11:49:17 UD is both underrated (ask any software security expert) and overrated (usually you just get a crashing program) 11:49:26 * int-e isn't worried. 11:50:19 int-e: Aw. I was hoping by triggering enough undefined behavior, a genie would come out and grant me wishes. Or I'd get a device that grants wishes. Or everybody would be turned into walking animatronic pumpkins. 11:50:31 And if you include a header in the middle of a declaration you're bound to just get a compile time error anyway. 11:50:31 Any of those would be fine by different degrees of "fine". 11:51:16 *but* an implementation is allowed to instead put the right identifiers in scope. 11:58:11 I've heard that undefined behavior means the implementation can do anything. 11:59:03 So all I have to do is create lots of undefined behavior, and feed the code to lots of C compilers until one of them successfully births a friendly AI, or turns everybody into anthropomorphic cats, or something equally fun! 11:59:20 .... 12:00:17 I think you may have better luck by implementing some nasty behavior. 12:00:35 ...Nasty behavior? 12:00:49 sudo dd if=/dev/zero of=/dev/mem 12:00:56 Ooo! Sounds fun! 12:01:02 Let me just open up a terminal... 12:01:12 -!- gamemanj has quit (Quit: ERROR FOURTY TWO). 12:05:36 int-e: not going to test that in case I'm wrong, but wouldn't that just lead to an almost instant bus error before anything's actually overwritten? 12:06:30 [wiki] [[Special:Log/newusers]] create * Slnetaiga * New user account 12:12:17 ais523: I don't think so, mem being a raw memory device; I expect a crash with hopefully no permanent side effects 12:13:05 Since Linux 2.6.26, and depending on the architecture, the CON‐ FIG_STRICT_DEVMEM kernel configuration option limits the areas which can be accessed through this file. For example: on x86, RAM access is not allowed but accessing memory-mapped PCI regions is. 12:13:34 that would help 12:15:31 but I don't want to try it out either :P 12:16:29 reading seems to work in any case, dd if=/dev/mem of=mem bs=4096 count=1 12:17:37 (and there's non-zero data in there) 12:19:32 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49908&oldid=49902 * Slnetaiga * (+159) 12:21:23 [wiki] [[Fpulse/]] N https://esolangs.org/w/index.php?oldid=49909 * Slnetaiga * (+14796) Created page with "'''F-PULSE''', F-Pulse is an esoteric programming language like brainfuck, buts operands separated by space. == Examples == === Hello world === PLS PLS PLS PLS PLS PLS PLS PL..." 12:22:06 [wiki] [[User:Slnetaiga]] N https://esolangs.org/w/index.php?oldid=49910 * Slnetaiga * (+8) Created page with "Hello!:D" 12:24:25 [wiki] [[Fpulse/]] https://esolangs.org/w/index.php?diff=49911&oldid=49909 * Slnetaiga * (+14) 12:24:58 ugh, is that just a BF substitution? 12:25:15 what happened to Phantom_Hoover? 12:25:20 `? Phantom_Hoover 12:25:22 Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. 12:25:49 ah no, it has extra commands 12:25:56 derivative, then 12:30:17 [wiki] [[Fpulse/]] https://esolangs.org/w/index.php?diff=49912&oldid=49911 * Slnetaiga * (+84) 12:38:00 -!- `^_^v has quit (Quit: This computer has gone to sleep). 12:38:51 [wiki] [[Fpulse/]] https://esolangs.org/w/index.php?diff=49913&oldid=49912 * Slnetaiga * (-8) 12:42:06 -!- ais523 has quit. 13:05:15 -!- Froox has joined. 13:08:56 -!- Frooxius has quit (Ping timeout: 260 seconds). 13:57:44 -!- Reece` has joined. 14:11:36 -!- boily has joined. 14:12:25 -!- Zarutian has joined. 14:13:54 -!- Zarutian has quit (Read error: Connection reset by peer). 14:13:57 -!- Zarutian has joined. 14:20:42 -!- `^_^v has joined. 14:21:40 `wisdom 14:21:41 hackego//HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico! 14:54:54 Oh yay, more brainfuck derivatives 14:55:31 "writed on PHP" 15:04:16 there should be more aubergine derivatives imnsho. 15:08:36 [wiki] [[Fpulse/]] https://esolangs.org/w/index.php?diff=49914&oldid=49913 * Slnetaiga * (-18) 15:23:10 -!- wob_jonas has joined. 15:23:15 Wow. 15:25:09 The Szegedi Tudományegyetem (SZTE) Nagykönyvtára, which is one of the largest libraries in Hungary, got a political renaming to SZTE Klebersberg Könyvtár. That's happened in 2011 but I only just found out about it today. 15:25:44 If they need a stupid renaming to suck up to the government and get more funds, then the renaming is a fair price, sure, I'm just surprised I never noticed this till now. 15:26:52 Oh hey 15:26:58 I think the reason why I hadn't noticed is that I didn't look at their homepage, only the catalog http://opac2.bibl.u-szeged.hu/szteek/opac directly, and the catalog doesn't advertize the new name. 15:26:59 Hmm 15:28:02 I mean, I usually don't much like renamings because it confuses everyone, but in this case, it's a freaking huge library in Szeged, there can't be more than one of those, so it's obviously the same entity. 15:29:14 -!- `^_^v has quit (Quit: This computer has gone to sleep). 15:32:38 -!- oerjan has joined. 15:39:41 -!- Cale has quit (Quit: Leaving). 15:45:18 boily: I am at Canada 15:45:31 quinthellopia, eh! 15:46:32 how about a aubergine/BF crossover? 15:47:16 would that please you as much as it pissed everyone else off? 15:50:57 -!- moony has joined. 15:51:19 @ask ais523 Trying to rework the filter again so it doesn't need disabling for ordinary edits. What was the !(user_age > 0) for, again? 15:51:20 Consider it noted. 15:55:05 -!- DHeadshot has joined. 15:57:08 gah this is hard to do without adding redundancy... 15:58:16 -!- pikhq_ has quit (Ping timeout: 260 seconds). 16:00:02 -!- pikhq has joined. 16:00:50 hm there is xor. 16:05:46 quintopia: a most pleasing abomination :D 16:05:59 helløœøœø¶œørjan. 16:06:06 helloily. hitopia. 16:08:38 -!- `^_^v has joined. 16:10:30 * oerjan makes karnaugh diagram 16:12:52 -!- moonythedwarf_ has joined. 16:14:34 -!- moony has quit (Ping timeout: 244 seconds). 16:16:30 -!- Phantom_Hoover has joined. 16:17:41 -!- `^_^v has quit (Quit: This computer has gone to sleep). 16:32:17 -!- copumpkin has joined. 16:34:53 oerjan: by hand, on cheap lined paper? 16:35:17 in vim 16:35:50 although it only served to convince me i need to define variables for the filter conditions. 16:36:14 fungot, who did you kill? 16:36:14 wob_jonas: find me a girl had to stay with me! 16:36:55 * izalove is starting to believe that fungot is a human and wob_jonas is a bot 16:36:55 izalove: variables in different lexical scopes are merely ways to organize modules systems are either to do what? perhaps maxima... it's written by calamari 16:37:03 yeah thought so 16:38:28 fungot: stop being sentient, but I agree with the calamaring. 16:38:28 boily: take a wild guess here. the long-distance relationship is really hard to do if you are 16:38:44 hellob_jellonas, izellove. 16:38:49 :P 16:39:02 izalove: fungot usually replies too fast for a human 16:39:02 wob_jonas: so yea, it is 16:39:24 * boily lightly mapoles wob_jonas to make sure it's a bot 16:39:36 wob_jonas: maybe you're just racing and *you* are the bot that's too fast for a human 16:40:04 . o O ( hmm... tasty squid... ) 16:48:34 fff the mediawiki filter syntax doesn't seem to allow defining condition variables 17:00:36 -!- `^_^v has joined. 17:13:32 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 17:14:00 `? fff 17:14:12 fff? ¯\(°​_o)/¯ 17:14:26 -!- Zarutian has quit (Quit: Zarutian). 17:18:01 hm 17:18:17 @tell fizzie wiki bridge is down again 17:18:17 Consider it noted. 17:20:19 or wait my edit didn't work 17:20:54 [wiki] [[Special:Log/abusefilter]] modify * Oerjan * modified [[Special:AbuseFilter/9]] ([[Special:AbuseFilter/history/9/diff/prev/58]]) 17:21:09 @tell fizzie Sorry, false alarm 17:21:09 Consider it noted. 17:21:20 now to test 17:22:07 looks good 17:23:07 boily: see Notes in https://esolangs.org/wiki/Special:AbuseFilter/9 hth 17:28:40 the diagram turned out to be helpful, even if i didn't _quite_ manage avoid repeating conditions. 17:28:46 *manage to 17:29:11 -!- Cale has joined. 17:30:50 optimizing karnaugh maps is a nightmare. probably NP complete too. 17:31:28 you'd think. 17:32:35 boily: it's better than optimizing boolean expressions _without_ having a diagram hth 17:37:09 -!- Zarutian has joined. 17:37:23 -!- imode has joined. 17:42:20 -!- imode has quit (Ping timeout: 260 seconds). 17:51:01 `? inode 17:51:02 inode? ¯\(°​_o)/¯ 17:51:15 `? book of infinity 17:51:15 book of infinity? ¯\(°​_o)/¯ 17:51:18 `? the book of infinity 17:51:19 the book of infinity? ¯\(°​_o)/¯ 17:51:23 `? infinity 17:51:24 In finity we trust. 17:53:52 `cwlprits infinity 17:53:54 fizzie evilipse shachaf 17:55:29 -!- Zarutian has quit (Read error: Connection reset by peer). 17:56:21 * boily has this nagging feeling evlipse is someone else... 17:56:55 well it was on that day when "everyone" changed their nicks to evil* 17:57:29 -!- Zarutian has joined. 17:58:02 i think someone (moonythedwarf_?) had invited friends from other channels. 17:58:05 oh hm 17:58:25 jeffl35 came that day too, i think, and is still here. 17:59:03 ... 17:59:16 and of course, everyone tried (and eventually succeeded at) crashing HackEgo. 17:59:16 should i leave? 17:59:21 jeffl35: surely not 17:59:28 (not me :P) 17:59:28 ok 18:01:24 -!- moonythedwarf_ has quit (Ping timeout: 250 seconds). 18:03:50 -!- Cale has quit (Remote host closed the connection). 18:04:25 @tell ais523 one theory we have is that the human captcha solvers can't see the old content of the page when editing through the spambot interface <-- well _my_ theory is that account creating captcha solvers and spamming bots are entirely separate from each other, and don't communicate. 18:04:26 Consider it noted. 18:05:40 @tell ais523 so by the time actual editing is tried, the system is no longer intelligence-based. 18:05:41 Consider it noted. 18:19:28 @tell hppavilion[1] And is this just e^abs(ln(x)), or can it be arbitrary k^abs(log_k(x))? <-- it doesn't matter as long as k is positive. 18:19:29 Consider it noted. 18:24:35 `quote 82 18:24:36 82) Well yeah, but furthermore unlike, oh, say, an Apple product, you don't have to sign their "we own your sperm" license agreement to GET that SDK and the requisite libraries. ... pikhq: Sure, but it's the only way Apple could get a first-born-son clause into a modern licensing agreement without infringing child or slave labor 18:24:39 -!- Kaynato has joined. 18:25:26 `sled quotes//82s/ \.\.\. /[...]/ 18:25:29 quotes// EgoBot just opened a chat session with me to say "bork bork bork" \ Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ that's where I got it rocket launch facility gift shop \ GKennethR: he shou 18:25:32 `quote 82 18:25:34 82) Well yeah, but furthermore unlike, oh, say, an Apple product, you don't have to sign their "we own your sperm" license agreement to GET that SDK and the requisite libraries.[...] pikhq: Sure, but it's the only way Apple could get a first-born-son clause into a modern licensing agreement without infringing child or slave labor 18:25:38 oops 18:25:42 -!- `^_^v has quit (Quit: This computer has gone to sleep). 18:26:08 `sled quotes//82s/[[]/ [/ 18:26:10 quotes// EgoBot just opened a chat session with me to say "bork bork bork" \ Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ that's where I got it rocket launch facility gift shop \ GKennethR: he shou 18:26:13 `quote 82 18:26:13 82) Well yeah, but furthermore unlike, oh, say, an Apple product, you don't have to sign their "we own your sperm" license agreement to GET that SDK and the requisite libraries. [...] pikhq: Sure, but it's the only way Apple could get a first-born-son clause into a modern licensing agreement without infringing child or slave labor 18:27:09 `` quote 82 | sed 's/.............//' 18:27:11 Well yeah, but furthermore unlike, oh, say, an Apple product, you don't have to sign their "we own your sperm" license agreement to GET that SDK and the requisite libraries. [...] pikhq: Sure, but it's the only way Apple could get a first-born-son clause into a modern licensing agreement without infringing child or slave labor laws. 18:27:53 `` allquotes | grep '[^[]\.\.\.' 18:27:54 2) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 14) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! \ 18:28:27 hurr 18:28:31 -!- oerjan has quit (Quit: Later). 18:28:58 -!- boily has quit (Quit: POCKMARKED CHICKEN). 18:32:50 -!- oerjan has joined. 18:34:01 -!- oerjan has set topic: There is currently an esolang contest: http://calesyta.xyz/en/ | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 18:34:35 having it after the wiki page is just asking for people to miss it i think 18:34:55 -!- oerjan has quit (Client Quit). 18:39:58 -!- Froox has quit (Quit: *bubbles away*). 18:40:16 -!- Frooxius has joined. 18:40:23 i have to look at what an esolang contest actually is 18:51:15 -!- otherbot has joined. 19:11:32 -!- Kaynato has quit (Ping timeout: 260 seconds). 19:23:17 -!- wob_jonas has joined. 19:24:37 -!- otherbot has quit (Remote host closed the connection). 19:31:21 -!- Kaynato has joined. 19:32:13 -!- moony has joined. 19:43:03 -!- moony has changed nick to nil. 19:43:26 -!- nil has changed nick to [-Infinity]. 19:49:01 -!- encodingcollecto has joined. 19:55:35 -!- Cale has joined. 20:06:13 -!- Caesura has joined. 20:08:57 -!- Kaynato has quit (Ping timeout: 240 seconds). 20:21:29 -!- [-Infinity] has changed nick to moony. 20:37:48 -!- DHeadshot has quit (Ping timeout: 268 seconds). 20:39:22 -!- Reece` has quit (Read error: Connection reset by peer). 20:39:29 -!- DHeadshot has joined. 20:49:10 -!- Zoroaster has joined. 20:49:26 -!- Caesura has quit (Ping timeout: 244 seconds). 20:53:33 -!- Cale has quit (Ping timeout: 260 seconds). 20:54:06 -!- otherbot has joined. 20:54:22 hi 20:54:23 -list sandbox 20:54:23 jeffl35: pyc pad pyr giac befr padclr lolr ><>r js rsc ul 20:54:24 :D 20:54:31 i'll leave it here 20:54:35 wtf is lolr 20:56:45 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 21:07:51 -!- Cale has joined. 21:27:31 -trackstats 21:27:31 I am currently tracking 3336 hosts, representing an aproximate of %4 of freenode record users. I saw 3336 nicks. From that users, 2590 of them was ever logged in into services. 21:31:39 @tell boily happy thanksgiving tho 21:31:39 Consider it noted. 21:35:11 * FireFly eyebrow 21:38:28 -!- Frooxius has quit (Ping timeout: 260 seconds). 21:38:30 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 21:39:48 -!- moony has quit (Ping timeout: 250 seconds). 21:42:53 `? eyebrow 21:42:54 eyebrow? ¯\(°​_o)/¯ 21:43:07 `? lotr 21:43:09 lotr? ¯\(°​_o)/¯ 21:43:14 `? hobbit 21:43:15 hobbit? ¯\(°​_o)/¯ 21:43:20 `? dwarf 21:43:20 dwarf? ¯\(°​_o)/¯ 21:43:24 `? elf 21:43:25 elf? ¯\(°​_o)/¯ 21:43:26 `? pe 21:43:27 pe? ¯\(°​_o)/¯ 21:43:33 `? art 21:43:34 art? ¯\(°​_o)/¯ 21:43:40 geez 21:45:13 -!- otherbot has quit (Remote host closed the connection). 21:45:48 -!- moony has joined. 21:53:12 -!- Phantom_Hoover has joined. 21:54:41 -!- Cale has quit (Read error: Connection reset by peer). 21:59:25 -!- Zarutian has quit (Quit: Zarutian). 22:03:21 -!- hppavilion[1] has joined. 22:05:39 -!- MoALTz has quit (Quit: Leaving). 22:06:01 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 22:09:04 `learn Eyebrows are Taneb's most notable feature 22:09:06 Learned 'eyebrow': Eyebrows are Taneb's most notable feature 22:09:21 -!- Phantom_Hoover has joined. 22:09:22 -!- Phantom__Hoover has joined. 22:09:27 Taneb: Did somebody note your eyebrows today? 22:10:02 -!- Phantom__Hoover has quit (Client Quit). 22:10:21 hppavilion[1], yes 22:10:32 Seriously, it happens a lot 22:10:53 * alercah needs to get her eyebrows done again 22:13:41 Taneb: I require evidence of notable eyebrows 22:14:17 * hppavilion[1] . o O ( Page "Taneb's Eyebrows" deleted for reason: Not Notable ) 22:14:42 -!- Mr_Robot2 has joined. 22:14:50 `? Taneb 22:14:51 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of nine genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) 22:15:09 FireFly, they are notable enough to be mentioned in my wisdom 22:15:36 Maybe `learn should be edited to not work if a file is already defined, with a separate command `learn-strict that will overwrite 22:16:01 good enough 22:16:16 -!- pikhq has quit (Ping timeout: 260 seconds). 22:17:54 -!- pikhq has joined. 22:18:03 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:18:41 -!- Mr_Robot2 has left. 22:19:44 -!- Caesura has joined. 22:22:57 -!- Zoroaster has quit (Ping timeout: 244 seconds). 22:23:57 "eyebrows" remind me of http://www.mobygames.com/images/shots/l/438558-zak-mckracken-and-the-alien-mindbenders-atari-st-screenshot.png 22:37:08 -!- imode has joined. 22:46:57 -!- Zarutian has joined. 22:47:41 -!- Zarutian has quit (Read error: Connection reset by peer). 22:48:17 -!- Zarutian has joined. 22:54:57 -!- carado has quit (Ping timeout: 240 seconds). 22:59:01 -!- pikhq has quit (Ping timeout: 248 seconds). 23:00:52 -!- pikhq has joined. 23:02:06 -!- pikhq has quit (Read error: Connection reset by peer). 23:04:19 -!- boily has joined. 23:05:24 -!- boily has quit (Client Quit). 23:06:52 -!- Caesura has quit (Ping timeout: 244 seconds). 23:12:47 what would one consider to be the most fundamental stack operations? stack shifting, rather. 23:12:54 swap, dup, rot, drop, etc. 23:12:59 push, pop 23:13:00 imode: pop and push 23:13:10 imode: I assume you accept some variables to be used 23:13:15 @messages-proud 23:13:16 oerjan said 4h 53m 46s ago: And is this just e^abs(ln(x)), or can it be arbitrary k^abs(log_k(x))? <-- it doesn't matter as long as k is positive. 23:13:40 not entirely. stack shifting operations are mainly what I was asking about. 23:13:51 imode: You mean like rotation where the top goes to the bottom? 23:13:56 swapping two stack items, rotating... really everything could be done in terms of pick and roll.. 23:14:19 imode: If you want to put values at the bottom you want a deque, not a stack 23:14:32 that's.. not what I was asking. :| 23:14:34 -!- pikhq has joined. 23:14:34 -!- pikhq has quit (Read error: Connection reset by peer). 23:14:51 is there a data structure that operates like pancake stacks? i.e. additionally to push and pop you have a flip on an index 23:15:14 imode: I don 23:15:20 imode: I don't get what you're going for then 23:15:24 hppavilion[1]: stack operators. dup, swap, drop rot, etc. 23:15:28 myname: Probably just pancake stacks 23:15:34 (wait, that's an ADT, not a DS) 23:15:59 well, it's a DS if you want to make it efficient 23:16:00 imode: You can do that with push, pop, and a few registers; not sure of any way without it 23:16:03 hppavilion[1]: if you don't know what I'm talking about... well, here's a nice documentation http://wiki.laptop.org/go/Forth_stack_operators 23:16:05 not sure if you can, though 23:16:16 hppavilion[1]: I'm asking what the most "fundamental" of these would be. 23:16:30 imode: Not sure then. What do you want to be able to define in terms of them? 23:16:38 Drop is definitely one of them 23:16:40 "pick" and "roll" would be the first candidates, as you could implement the other operators in terms of them. 23:16:50 myname: I thought 'efficient' is relative to what CAN be done 23:16:51 apart from drop, which is just pop. 23:17:14 but pick and roll require an extra operand. 23:17:21 So the mathematically optimal implementation is considered 'efficient', even if it's O(n!^k) 23:17:29 (that's n k-factorial) 23:18:12 guess in the interest of complexity, pick and roll will be the goto. 23:18:43 I'm pretty sure roll is only allowed for queues and deques... 23:18:57 roll is effectively an array shift to the right. 23:19:12 again, that link explains a lot. 23:19:19 imode: And the thing on top moves to the bottom? 23:19:50 sorry, a shift to the left. those darn directions. ;) 23:20:18 imode: I think you should use up/down for stacks; right and left aren't really meaningful 23:20:22 -!- pikhq has joined. 23:20:29 imode: Does the bottom item move to the top? 23:20:45 left and right are meaningful in forth's notation. 23:20:57 Fine. Just answer. 23:21:47 actually I think it's more complex than just a shift... 23:24:11 -!- pikhq has quit (Read error: Connection reset by peer). 23:25:36 actually no! it is just a shift to the left. so "1 2 3 4" roll 3 turns into "2 3 4 1". 23:25:48 imode: Then it isn't a stack 23:25:53 A pure stack, at least 23:26:04 -!- oerjan has joined. 23:26:07 both operators treat the stack as an array, yes. 23:26:31 but you can implement other operators in terms of those, so I got to wondering if you even need pick and roll. 23:33:18 @tell ais523 shachaf: what, picking an arbitrary arbitrary criterion? <-- hey that's what i did for my Malbolge Unshackled implementation 23:33:18 Consider it noted. 23:33:50 hi oerjan 23:34:02 hichaf 23:34:08 Why aren't you on dontaskdonttelllist? 23:35:25 its for people who idle in the channel even when away, of which i am not. 23:36:59 But you logread. 23:37:12 I guess sometimes the bots aren't present. 23:37:29 the dontaskdonttellist was never meant for that. 23:37:52 it's for people who don't like getting lambdabot @tells when they could be sent a private message instead. 23:38:01 -!- hppavilion[1] has quit (Quit: Leaving). 23:38:08 -!- `^_^v has joined. 23:38:15 Oh. 23:38:16 but you cannot send a private message to someone who doesn't idle. 23:38:31 I thought it was about public messages. 23:39:05 besides, i've long since forgotten to check it anyway >:) 23:39:06 -!- moony has quit (Ping timeout: 268 seconds). 23:39:31 `dontaskdonttelllist 23:39:31 dontaskdonttelllist: q​u​i​n​t​o​p​i​a​ c​o​p​p​r​o​ m​y​n​a​m​e​ 23:39:37 Wait, is it rude to do that in public? 23:39:43 -!- Lord_of_Life has quit (Excess Flood). 23:39:48 Oh, that's quite old. 23:39:49 it's got noping 23:40:11 noping? 23:40:20 no-ping 23:40:22 is that ZWSPs in the names or something? 23:40:33 alercah: that or ^O's, i don't remember. 23:40:49 probably ^O's since shachaf didn't complain >:) 23:41:08 I think you overstate how much shachaf complains. 23:41:12 I'm not even using that computer right now. 23:41:18 OKAY 23:43:05 Does anyone want to help me come up with a ruleset for duplicate Mornington Crescent? 23:43:09 `mornington crescent 23:43:10 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mornington: not found 23:43:14 `?mornington crescent 23:43:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?mornington: not found 23:43:16 `? mornington crescent 23:43:17 mornington crescent? ¯\(°​_o)/¯ 23:43:19 I always do that 23:43:47 That sounded like a Magic: The Gathering card. 23:43:49 But it's not. 23:44:08 -!- Lord_of_Life has joined. 23:44:32 `le/rn mornington crescent/Sorry, you cannot read this wisdom until you've legally played Westminster. 23:44:36 Learned «mornington crescent» 23:44:43 that's better than what I was going to come up with 23:44:51 incidentally, I am going to visit both of those stations tomorrow! 23:44:58 yay 23:45:13 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:45:15 Westminster to visit the palace, and Mornington Crescent for the photo op 23:45:47 -!- pikhq has joined. 23:46:16 `welcome pikhq 23:46:17 pikhq: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 23:48:51 alercah, sounds fun! Holiday? 23:48:58 @tell ais523 (admittedly the outer level is random) 23:48:58 Consider it noted. 23:49:00 I wish it was 23:49:40 by general channel synchronicity, he'll be applying for a job at google. 23:49:41 -!- pikhq has quit (Read error: Connection reset by peer). 23:49:51 and end up in the office across fizzie. 23:50:50 -!- pikhq has joined. 23:50:56 -!- pikhq has quit (Read error: Connection reset by peer). 23:51:29 Read error: Connection reset by beer 23:51:53 * oerjan hits shachaf with a pear 23:53:14 oerjan: wrong pronoun 23:53:22 alercah: argh 23:53:39 is fizzie at google london? 23:53:44 i had a hunch i should be gender neutral but did not follow it. 23:53:46 yep 23:53:50 ahh 23:54:06 I'm normally not in the UK, so seems unlikely ;) 23:54:25 <\oren\> I wonder if Kanye West will run as a democrat or republican in 2020 23:55:31 hm i should have remembered the realname, although admittedly it _is_ male in some cultures. 23:55:46 indeed it is 23:57:22 -!- pikhq has joined. 23:58:15 -!- pikhq has quit (Read error: Connection reset by peer). 23:58:50 «In the 2008 book 5-Star Baby Name Advisor, author Bruce Lansky writes that the girls name has the image of a "sexy and seductive knockout."[1]» 23:58:59 That is a bizarre thing to write in a baby name book. 23:59:38 indeed