00:00:26 Are you sure? 00:01:50 -!- oerjan has joined. 00:02:44 oerjan: have you come to dispel the myths of this channel's premature demise? 00:02:59 BRAINS 00:05:30 oerjan: Every time someone says that it reminds me of that StackOverflow answer. <-- a quick google didn't find what you're talking about tdnh 00:06:03 @google magic haskell reflection 00:06:04 http://stackoverflow.com/questions/17793466/black-magic-in-haskell-reflection 00:06:04 Title: Black Magic in Haskell Reflection - Stack Overflow 00:08:53 im writeing up another example for fumble: pretending that it understands what the heck a decimal point is 00:09:06 ah i kept the you instead of the magic. 00:16:33 Whenever I see Proxy, the code makes perfect sense as long as I replace it with "whatever you need it to be" 00:16:39 [wiki] [[Fumble]] https://esolangs.org/w/index.php?diff=47158&oldid=47156 * Moon * (+305) Added Decimal Numbers example -Moon_ 00:16:52 If you replace Proxy with @, everything'll work out. 00:16:58 Now that GHC supports @. 00:17:37 [wiki] [[Fumble]] M https://esolangs.org/w/index.php?diff=47159&oldid=47158 * Moon * (-40) minor error 00:18:20 <\oren\> I'm leaving for Tokyo tomorrow. 00:18:31 Neato 00:18:34 Bon voyokyo 00:19:14 oerjan, what do you think of fumble? 00:21:34 nothing hth 00:21:44 )= 00:21:58 this might have something to do with not having looked at it. 00:22:09 lol 00:23:57 moon__: for an esolang, its main unusual feature seems to be _not_ using single character commands hth 00:24:12 lol 00:24:28 instead it has a full syntax 00:24:47 makes it more intresting, really 00:28:06 -!- moon__ has quit (Read error: Connection reset by peer). 00:29:54 . o O ( someone should get hold of peer and give him a good beating ) 00:33:00 -!- moon_ has joined. 00:33:23 my laptop's batter fell out >_> 00:36:37 fiendish 00:37:05 i guess it hasn't been properly baked. 00:38:35 Oerjan, i can give you the factorial of the sum of your username 00:38:48 fancy 00:38:54 want it? 00:39:06 not particularly. 00:39:11 welll..... 00:39:12 {main[args:num]: print-num print-"'s factorial is" [tmp,tmp2,tmp3,sum] until-{cmp-tmp2-1}( set[tmp,num] dec-tmp2 mult-tmp2-num po-tmp3 set-sum-tmp3 set-tmp-tmp2 ) print-sum } 00:39:16 fifgure t out (= 00:39:23 *figure it out 00:39:31 didn't oerjan just say he didn't want it 00:39:45 indeed 00:39:59 'not particularly' is not synonym to 'didnt want', its like 'maybe' 00:40:27 no, it's diplomatic for "didn't want" hth 00:40:39 eh, didnt take that into account 00:41:24 * oerjan is reminded of an anecdote about norwegian-korean culture collision 00:41:54 basically koreans (and i think many other asians) will never outright say "no" to an invitation. 00:42:17 :::==== ::: :::==== ::: :::==== :::======= :::==== :::===== ::: === 00:42:20 ::: === ::: ::: === ::: ::: === ::: === === ::: === ::: ::: === 00:42:22 === === === ======= === === === === === === ======== === ===== 00:42:25 === === === === === === === === === === === === === 00:42:25 whats that? 00:42:27 ======= === === ======== ====== === === === === ======= === 00:42:30 00:42:32 But will always say no to a gift 00:42:44 It's when someone gives you something without expecting something in return, hth 00:42:48 lol i broke the words 00:43:01 her actual response was "maybe i'll try", which the norwegian interpreted as that she might come. 00:43:42 shachaf: i'm not focused enough hth 00:43:55 oerjan: proof that you're norwegian hth 00:44:00 lol 00:44:36 . 00:46:55 prooftechnique: apparently the question of whether to say no to food, when, and whether to accept such a no, is somewhat of a cultural collision even inside norway. although not anywhere i recall being. 00:47:42 in some communities you're supposed to say no several times before accepting. 00:48:20 (and of course this is an international mess) 00:48:59 which leads to the case where you might want more food, be polite in your way, and the host might interpret it as a final no. 00:49:53 oerjan: I have that problem in Sweden, as well. I don't want to imply that I didn't like the food, but I don't want to be a glutton 00:50:35 * oerjan has been known to take the last piece of cake hth hth 00:50:46 Though I have that problem everywhere. Except at home, I guess. Only God can judge the amount of pork I eat at home 00:51:09 i want to make a interpreter for N--, how should i handle the variable system? http://esolangs.org/wiki/N-- 00:51:10 The last piece of cake? You're a real monster, and no mistake 00:51:17 *MWAHAHAHA* 00:51:37 dammit, double hth again 00:52:15 moon_: Start by making them immutable, then tweak accordingly. :D 00:52:24 in C 00:53:18 <\oren\> I've now booked my hotel. I'm staying in a capsule hotel 00:53:44 <\oren\> 180 CAD for 7 nights 00:53:53 moon_: Do as I said in C. Then `sed 's/const//g' yourfile.c` 00:53:59 Done 00:54:02 Programming is so easy~ 00:54:15 \oren\: That's quite a good rate 00:54:40 I usually pay upwards of a thousand USD, and that's at a hotel that likes me o.o 00:55:08 <\oren\> Well, a capsule hotel is a hotel that is very... minimal 00:55:12 ill just use a 2d array: vartable[26][26] 00:55:22 Yes, I believe I remember seeing pictures 00:55:35 I hope your neighbors aren't too amorous 00:55:53 oerjan: Why do you keep a de-hthing script if you just work around it all the time? 00:56:07 <\oren\> There are separate floors for men-only and women-only 00:56:33 \oren\: That only increases the allure 00:56:39 -!- MoALTz has joined. 00:56:47 Breaking rules is v sexy, as I understand it 00:57:20 Or not breaking rules, if that's the preference 00:57:28 <\oren\> anyway if they want to do that there atre love hotels that give you a nice soft bed 00:57:47 I imagine claustrophiles having a lovely time 00:58:06 <\oren\> aaagh 00:58:09 -!- Koen_ 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:58:30 In any case, what brings you to Tokyo? 00:58:36 Other than a plane, one imagines 00:58:55 shachaf: nostalgia 00:59:17 oerjan: I figured. :-( 01:01:31 how do i convert a letter to its respective place in the alphabet? 01:02:30 moon_: l & 32 01:02:33 er 01:02:37 nvm 01:02:39 * l & 31 01:03:47 in ascii, that is. if you're using ebcdic you're on your own. 01:04:42 Though you can say that in just about any situation 01:05:13 -!- Frooxius has quit (Quit: *bubbles away*). 01:05:24 * oerjan imagines prooftechnique's line being self-referential. 01:08:41 -!- Frooxius has joined. 01:10:47 -!- ais523 has joined. 01:13:28 (Wikipedia doesn't hate fun, right?) <-- you were being sarcastic, right? 01:14:00 it definitely hates fun in the main article namespace, and only somewhat tolerates it elsewhere. 01:14:59 although the "Did you know" section on the front page seems to have misleading descriptions on occasion, and not just on April 1. 01:15:51 wait are you 1 hour idle and still not pinged out 01:16:11 * oerjan needs to tweak his idle detection algorithm 01:17:21 helloerjan 01:17:37 N-- will soon have a interpreter 01:17:40 quevenintopia 01:18:06 that porthello makes me nauseated for some reason 01:18:18 it sounds even grosser than "queef" 01:18:39 quite. 01:19:57 * oerjan now regrets looking that up 01:20:01 i can't come to work, boss. I'm quevening all over the bathroom floor! 01:24:40 Quevening sounds like a very reasonable excuse 01:29:25 -!- callforjudgement has joined. 01:29:31 -!- ais523 has quit (Disconnected by services). 01:29:33 -!- callforjudgement has changed nick to ais523. 01:48:16 oerjan: I'm here 01:48:50 hia hppa 01:49:05 Oh, now I'm gone 01:49:06 did you look at my new esolang? its not singlechar and has a syntax 01:49:12 moon_: Where? 01:49:23 http://esolangs.org/wiki/Fumble 01:50:04 moon_: Wiki pages should not be in first-person 01:50:16 moon_: They should be third-person with a touch of second-person when necessary 01:50:42 Ponies are very turbing. 01:50:42 Occasional 4th person for the purpose of reducing ambiguity 01:50:52 prooftechnique: 4th? 01:50:55 Sorry, Im not the best writer 01:51:03 moon_: Nobody is 01:51:16 hppavilion[1]: https://en.wikipedia.org/wiki/Grammatical_person#Additional_persons 01:51:29 moon_: The best writer is obviously Voltaire hth 01:51:45 checks out 01:52:28 lol 01:52:35 well what do you think of it, tho? 01:52:36 prooftechnique: Ah, yes, "one" works too, though I prefer to call that zeroth person 01:52:45 Because it doesn't really matter who "one" is 01:52:50 moon_: Not sure 01:52:57 moon_: I stopped when I saw an uncapitalized "i" 01:53:00 hppavilion[1]: Non-English languages have other persons beyond the indefinite one 01:53:04 ... 01:53:08 >_> 01:53:11 just read it all 01:53:31 They have thing like "him" but also "him, but closer to me than that other one" 01:53:45 moon_: Also, there are code excerpts that aren't in monospace, and that drives me crazy 01:53:49 Where closer is either due to proximity or some intangible quality 01:53:56 moon_: I think that this is a first draft for the moment. 01:54:03 >_> 01:54:18 I wonder how much of a language could be implemented in MS Word formatting codes 01:54:25 Monospace strictly forbidden 01:54:27 prooftechnique: Which kind of language? 01:54:46 moon_: No, really. It isn't properly formated, so it's very difficult to read 01:54:52 -!- sebbu has quit (Ping timeout: 272 seconds). 01:55:00 It's like trying to read a book in a mirror 01:57:22 moon_: I forgot what your language is called. Link? 01:57:36 Oh, found it 01:58:33 hppavilion[1]: Set your default font to monospace, hth 01:59:09 prooftechnique: Too much work 01:59:22 Literally one switch in your browser :P 01:59:41 Though all these unintended ligatures are a bit odd :D 02:00:25 http://esolangs.org/wiki/Fumble 02:02:56 Monty Hall Trolley Problem. 02:02:58 Huh. 02:04:23 hppavilion[1]: I assume that there's an out-of-control trolleycar which you can direct onto one of three tracks by changing points 02:04:38 and you know that two of the tracks are blocked by people 02:04:39 ais523: Yes 02:04:47 ais523: Correct 02:04:55 after you move the points, someone who can see the tracks tells you that one of the tracks you didn't pick has a person on it 02:05:03 ais523: Or, more accurately, there are more people on one track than on the other two 02:05:03 do you change the points to the other unknown track? 02:05:13 ais523: Pretty much exactly 02:05:16 no, has to be more on two than the other one 02:05:33 ais523: Ah, that works too 02:05:35 monty hall problem requires one desirable outcome and two undesirable outcomes to work 02:05:42 if you have two desirable and one undesirable 02:06:00 then either the host tells you about the undesirable outcome and it doesn't matter whether you switch, it's desirable either way 02:06:00 ais523: Wait, hm... 02:06:03 Do any of the tracks have something that can stop the train? 02:06:06 or the host tells you about a desirable outcome, in which case you just take it 02:06:19 zzo38: in this problem, people normally assume no 02:06:24 although that's unrealistic 02:06:37 "OK, you chose door C. Now we're going to open door A, which has a goat. Would you like to switch doors?" 02:06:41 "Yes, I'll take door A" 02:06:44 as the problem involves a set of points, and you have a decent chance of being able to stop a train by changing the points setting while the train is over the points 02:07:30 I guess the points could have a safety feature that prevents them being changed when a train is nearby 02:07:44 -!- Phantom_Hoover has quit (Quit: Leaving). 02:08:04 that problem gae me anothe esolang idea, one powered by trains and points 02:08:12 this actually happened in the london underground runaway that's possibly the closest real life has come to the trolley problem (as a bonus, nobody was hurt, although nobody had enough information to know that that would be the outcome) 02:08:22 moon_: Actually, I have the patent rights to that esolang idea. 02:08:30 You're all ignoring the obvious. Take a plane instead and you won't have to deal with this conundrum 02:08:34 oh 02:08:37 ): 02:09:12 prooftechnique: But how do we kill people and make it look like an accident or the-best-of-a-bad-situation when it's a plane? 02:09:23 "Water landing" 02:09:52 Hm... The trolley problem becomes a lot more complicated when you know the person you can switch to AND you have reason to hate them- say, your spouse had an affair with them 02:10:06 Because then it seems like you could conceivably charge it as murder 02:10:23 Even more complicated if you care more about their happiness than about their fidelity 02:12:03 Hm... 02:12:07 You know what'd be great? 02:12:19 An IRC client that makes you trade nicks with other people using that client at random 02:12:24 And doesn't tell you 02:12:28 here: https://assets.digital.cabinet-office.gov.uk/media/547c8feae5274a428d00015b/R092011_110615_Highgate.pdf 02:12:30 And masks everything so you can't tell 02:12:42 (even messages mentioning that person get substituted for your nick) 02:12:50 the basic summary is that a an engineering train ran away on the london underground 02:13:06 and the signallers went to a lot of effort to move all the other trains out of its path 02:13:11 .mil.va 02:13:12 Hmm, neuron based esolang... 02:13:22 prooftechnique: That sounds like a very annoying IRC client 02:13:30 If your name is a common word, then it is something else. 02:13:57 zzo38: We hate those people though 02:14:53 #tromp2016+4i 02:15:32 Hm... who regulates people using the .va domain? 02:15:40 ccTLD 02:15:46 -!- heroux has quit (Ping timeout: 244 seconds). 02:15:50 Vatican, maybe? 02:16:01 Oh, "it is administered by the Internet Office of the Holy See." 02:16:33 -!- heroux has joined. 02:16:45 -!- ais523 has quit (Remote host closed the connection). 02:17:10 Damn, I was hoping to get my hands on porn.va and use it to offend every catholic everywhere 02:17:29 I think it would be nice to get no.va 02:17:54 -!- ais523 has joined. 02:17:54 I would host a language to serve as a direct counterpoint to Go 02:18:16 Though it would also be great for hosting pirated PBS specials 02:18:33 prooftechnique: Is it even possible to pirate a PBS special? 02:19:16 Is it possible to steal from a non-profit? 02:19:39 Wait, why is Morocco "MA"? 02:19:52 prooftechnique: No? 02:20:12 Of course it is possible to steal from a non-profit. But I don't expect pirating PBS specials for them to lose anything. 02:20:22 zzo38: Well yeah, that's what I meant? 02:20:24 hppavilion[1]: The answer is yes 02:20:29 It's too bad Benin's ccTLD is regulated 02:20:37 hppavilion[1]: Also, maybe it's short for Maghreb? 02:21:34 Or perhaps Marakesh 02:21:53 morocco is marokko in norwegian, anyway. 02:22:05 Ah, nevermind, I found it 02:22:10 https://en.wikipedia.org/wiki/ISO_3166-1_alpha-2#MA 02:22:16 It's from the French, Maroc 02:22:30 Bottom-level domain? 02:27:39 republicans.bs isn't registered :D 02:28:32 I'm extremely disappointed that abcdefghijklmnopqrstuvw.xyz is taken 02:28:55 is it taken by Alphabet, by any chance? 02:29:30 It is not. It is actually taken by xyz.com, a registrar for .xyz domains 02:29:33 No, taken by xyz :P 02:30:12 if only i had a personal website named moon.esoteric lol 02:31:08 I'd be honoring the esoteric channel by that lol 02:31:12 if it as possible 02:32:01 I'm stunned that a .club domain is only 88 cents 02:33:04 select(typeof('\'')x){}/*'))where 0;/*/main(){puts("Hello, World!");}//*/select'Hello, World!'; 02:34:53 try doing that in N-- 02:34:54 lol 02:35:17 zzo38: What language is that? 02:35:24 But abc.xyz is taken by Alphabet. 02:35:27 prooftechnique: What does it look to you? 02:35:47 Perl 02:36:34 No it isn't. (I tried, and it doesn't work.) 02:37:03 Something C flavored, but with a weird SQL aspect 02:37:12 looks esoteric 02:37:31 try searching that in the esolang iki 02:37:50 Nothing 02:37:56 Nothing on Google, either 02:38:11 ^ 02:38:13 zzo38: Where did you find it? 02:38:16 its a mystery 02:38:19 Or did you write it? 02:38:23 I doubt you could search for such a mess on Google effectively anyways. 02:38:28 prooftechnique: I wrote it. 02:38:30 Definitely not 02:38:39 new esolang?! 02:38:41 zzo38: A polyglot, maybe? 02:39:50 prooftechnique: What do you think it is? Maybe you can try to understand by yourself too? 02:42:11 I certainly dont 02:42:31 Do you know any C programming? 02:42:49 I know a reasonable amount, I suppose 02:43:28 Well, look at that 02:43:44 It just prints "Hello, World!". That was what I expected from the Cish bits 02:44:23 Oh, syntax highlighting makes it obvious 02:44:32 It also defines (and then doesn't use) a function called "select" 02:44:59 -!- callforjudgement has joined. 02:45:08 -!- ais523 has quit (Disconnected by services). 02:45:11 -!- callforjudgement has changed nick to ais523. 02:47:01 C one-liners are 02:47:04 ┬─┐┬─┐┐ ┬o┬ o┐─┐┬ ┬ 02:47:04 │ │├─ │┌┘││ │└─┐│─┤ 02:47:04 ┆─┘┴─┘└┘ ┆┆─┘┆──┘┆ ┴ 02:48:52 i think the other language is SQL 02:49:19 -!- ais523 has quit (Read error: Connection reset by peer). 02:49:55 and it works because they treat '\'' differently, so C thinks that's one char but SQL continues with a string to the next ' 02:51:12 Hm... A programming language where the code is the color and the markup is the text? 02:51:21 (reverse syntax highlighting) 02:51:34 hppavilion[1]: They have that, it's called ColorForth 02:51:51 oerjan: I think most SQL dialects will choke on typeof 02:52:28 prooftechnique: oh hm... 02:52:46 maybe it doesn't care what's inside because of the "where 0"? 02:53:18 There is a "typeof" function in SQLite at least. 02:53:44 ok 02:54:13 Oh, it does work in SQLite! 02:54:15 Very cool 02:55:19 It can be shortened by moving the zero 02:55:33 (by just one byte) 02:56:24 Here is the shortened version: select(typeof('\'')x){}/*'))where/*/main(){puts("Hello, World!");}//*/0;select'Hello, World!'; 02:59:12 -!- bender has joined. 03:19:56 -!- moon_ has quit (Ping timeout: 250 seconds). 03:23:26 -!- J_Arcane_ has joined. 03:25:00 -!- J_Arcane has quit (Ping timeout: 244 seconds). 03:25:06 -!- J_Arcane_ has changed nick to J_Arcane. 03:40:36 -!- TellsTogo has quit (Quit: Page closed). 03:42:36 prooftechnique: Added restriction, no spaces in the one-liner 03:43:42 I mean, that would make it even more fun 03:43:58 That particular one-liner already is almost spaceless, there are only spaces in the strings 03:44:16 So if you're fine with Hello,World! it'd be good 03:50:23 -!- sebbu has joined. 03:53:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 04:07:53 `quote 1279 04:08:14 1279) I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races 04:08:34 `sled quotes//1279s/ / / 04:08:42 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 04:08:51 um 04:08:57 `quote 1279 04:08:59 1279) I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races 04:27:48 -!- Moon_ has joined. 04:27:52 Hi 04:34:28 -!- Moon_ has quit (Ping timeout: 250 seconds). 04:49:08 <\oren\> `quote 04:49:14 582) where is this going. why is this going. 04:49:26 <\oren\> That Moon_ has a short orbit 05:10:07 Hmm. Apparently I voted differently from at least one member of #esoteric 05:11:30 Voted differently on what? 05:11:47 Who to vote for in the US primaries 05:13:55 OK 05:14:54 How do you know that? 05:15:12 pikhq, because I saw your status + comments on that status 05:15:17 Oh, right. That. :P 05:15:56 * pikhq definitely voted for Sanders, though honestly at this point it's more about messaging-in-polls than anything else. 05:16:12 Odds of Clinton being nominated are like 99.9% or something. 05:16:27 * Sgeo_ voted for Clinton, largely concerned about competence and electability. 05:16:44 I think I've pushed myself in too much of an anti-Bernie bubble 05:17:39 I'm also voting pretty much right at the end of the primary season which means that I know, and vote based on that. 05:18:38 And, honestly, as far as I can tell Bernie is fairly competent and would do reasonably as President. 05:18:46 Now, *electable*, that's a different question entirely. 05:19:13 But not one I need to think about when my vote is effectively just saying "I support more liberal policies from Democratic party". 05:21:53 I will say that I think everyone in both campaigns is disappointed at the thought of lowered turnout 05:24:55 Yeah... I do not like the idea of Trump winning because of lower turnout from Dems. 05:25:09 Especially with potentially 3 different SCOTUS justices up for nomination. 05:26:00 * Sgeo_ meant more acutely lower primary turnout tomorrow because of the nomination being called for Clinton 05:26:08 Ah. Right. 05:35:24 In CA it's kinda important even ignoring the President though; a Senate office is up for election, and the incumbent isn't running. 05:40:04 oerjan> although the "Did you know" section on the front page seems to have misleading descriptions on occasion, and not just on April 1. <-- also puns. like, the last one right now... 05:50:46 -!- Elronnd has changed nick to Elronnd\std. 05:54:10 -!- Elronnd\std has changed nick to Elronnd\StD. 06:02:41 -!- Elronnd\StD has changed nick to Elronnd. 06:12:07 -!- lambda-11235 has quit (Quit: Bye). 06:18:49 -!- TellsTogo has joined. 06:20:28 I have made up the classifications of possible external ante rules for Magic: the Gathering, which are: scoreless-per-duel, scored-per-duel, scoreless-per-match, scored-per-match, scoreless-per-tournament, scored-per-tournament, prize-altering, permanent. (These are just broad classifications, and many formats are possible in each one.) 06:21:14 Do you like this? 06:23:47 Do you score less per duel than ever before? 06:24:56 No. 06:25:56 "Scoreless-per-duel ante" means that all ownership changes end at the end of a duel, and do not further affect the tournament in any way (the only thing that affects it is who won that duel). 06:27:01 Oh, ante rules. 06:27:06 I didn't see that word. 06:27:12 Isn't ante banned? 06:27:41 shachaf: Yes, in all official tournaments, it is not played for ante, and all ante cards are banned. 06:27:58 You're suggesting an illegal tournament? 06:28:00 Permanent ante is not suitable if using borrowed cards or custom cards; the others are suitable even in these cases though. 06:28:24 shachaf: Actually, it does not even necessarily have to be a tournament. 06:28:24 It should be called "permanante". 06:28:33 lol 06:28:35 O, that is what it is called. OK 06:51:25 what's your take on these java api? 06:51:53 ignoring the fact that a good half of the users here are google employees 06:55:19 -!- Kaynato has quit (Ping timeout: 252 seconds). 07:03:30 -!- jaboja has joined. 07:10:33 -!- Destructible has joined. 07:10:41 o hi 07:10:49 is anybody there 07:10:55 if so 07:10:57 brb 07:12:12 hi 07:13:04 izabera: i think that's _possibly_ an exaggeration hth 07:13:18 (i only know two for sure.) 07:13:37 -!- Destructible_ has joined. 07:13:42 anyone? 07:13:44 i can invite a few more to compensate 07:13:54 o hi 07:13:56 hi 07:14:04 izabera: ok, but then they have to know haskell. mustn't upset the balance. 07:14:11 they do 07:14:16 at least one does 07:14:16 good, good 07:14:24 I came up with an resoling, but now I do not know what to call it 07:14:28 esolang* 07:14:38 call it myesolang 07:14:41 -!- hppavilion[1] has joined. 07:14:44 no 07:14:48 Wait, is the TSP NP? 07:14:50 why not 07:15:09 i bet there's no language called myesolang on the wiki 07:15:14 -!- Destructible has quit (Ping timeout: 250 seconds). 07:15:16 exactly 07:15:24 and there isn't going to be 07:15:25 izabera: Because, IIRC, TSP requires you to be able to quickly verify a correct solution 07:15:29 https://esolangs.org/w/index.php?search=myesolang&title=Special:Search&fulltext=Search see? 07:15:34 Oh, you were talking to Destructible_? 07:15:38 yes sorry 07:15:46 No no, I see how it is 07:16:00 you're offended? 07:16:04 What about Visual MyEsoLang++ 07:16:08 ? 07:16:17 izabera: No 07:16:22 . 07:16:34 Cale: Visual MyEsoLang++#? 07:17:13 #Visual #MyEsoLang 07:17:24 * Destructible_ is silently seething 07:17:37 that's either twittertalk or irc but it's not good for a language's name 07:18:45 An esolang based on #hashtags would be vaguely interesting 07:18:54 [wiki] [[Special:Log/newusers]] create * Izabera * New user account 07:19:19 I'd be making that after I actually finished this esolang I already made 07:19:23 esolang 07:19:30 esolang 07:19:51 resoling is what mac thinks resoling should be 07:19:56 The execution of the program depends inextricably on what's trending 07:19:56 izabera: did you... not have a wiki account? 07:19:58 esolang* 07:20:00 i do now 07:20:34 wtf my name has a lowercase i 07:20:39 who's Izabera 07:20:55 izabera: fale? 07:21:00 fale? 07:21:12 -!- jaboja has quit (Ping timeout: 258 seconds). 07:22:21 so, anyway, I still have no idea what to call my esolang 07:22:57 OH MY GOD http://i.imgur.com/R9JoJ9t.gifv IS AMAZING 07:23:12 maybe Vecaret, or 0aret vec0 07:23:30 hppavilion[1]: Are CPP macros Turing complete? Tht could be your hashtag language 07:23:51 *That 07:24:07 hppavilion[1]: what did i just witness? 07:24:32 izabera: Blowing up a dam 07:24:34 prooftechnique: Long story short, "no". 07:24:45 I still need a name for my language though 07:25:16 Though they're close enough that the difference is probably pointless; you can easily get computations that run 'til the heat death, but are technically finite, with CPP macros. 07:25:31 Destructible_: a rose by any other name... 07:25:38 yes 07:25:50 but this is a wiki 07:25:59 and the name is what they see 07:26:11 and it needs to be appropriate 07:26:14 and either way 07:26:23 why does it need to be appropriate? 07:26:29 because 07:26:40 -!- Destructible_ has quit (Quit: Page closed). 07:27:12 -!- augur has joined. 07:27:51 -!- Destructible_wat has joined. 07:28:12 so now you can understand why it needs to be appropriate 07:28:19 Destructible_: Call it ylfkfpqsqmlkhy 07:28:27 ??? 07:28:35 Destructible_wat: Just randomly generate a string and call it that 07:28:38 either way, I have idea 07:29:34 Destructible_wat: ''.join([string.ascii_lowercase[random.randrange(0, len(string.ascii_lowercase))] for _ in (random.randrange(3, 15))]) (python, string and random must be imported) 07:30:21 -!- hppavilion[1] has quit (Quit: Leaving). 07:30:49 -!- hppavilion[1] has joined. 07:33:19 i suggest a new language called heck, which is like hack but closer to its php roots 07:33:33 in fact, every php interpreter is also able to interpret heck 07:33:44 I had idea 07:34:04 Galcveccoq 07:34:17 hppavilion[1]: noice 07:34:20 which is the first letter of each command symbol together 07:34:31 hppavilion[1]: but you could probably use chr() 07:34:41 ? 07:35:37 wtf my name has a lowercase i <-- sorry, capitalization is automatic. there are some workarounds for page titles and signatures. 07:35:49 ''.join([chr(random.randrange(30,500) for _ in random.randrange(3,15)]) 07:35:58 i'm deeply offended 07:36:34 Wait, is the TSP NP? <-- nope, it's not a decision problem. 07:37:07 well, it is NP hard 07:38:04 wait wait 07:38:25 http://magiccards.info/m10/de/202.html http://magiccards.info/10e/de/290.html http://magiccards.info/10e/en/290.html 07:38:35 I think I'll call my language Otal 07:38:48 or 0tal 07:39:01 ()tal 07:39:01 there are German printings of two M:tG cards whose German names are identical, despite that their English names differ, and also this German name is identical to the English name of one of those cards? 07:39:05 is this normal? 07:39:11 I thought this wasn't supposed to happen 07:39:21 zzo38: did you know that? 07:39:58 -!- Destructible_wat has quit (Quit: Page closed). 07:44:27 b_jonas: things that aren't supposed to happen sometimes do hth 07:45:00 hppavilion[1]: one class TSP is in is FP^NP, i.e. polynomial functions with an NP oracle. 07:45:23 although there's probably a slightly weaker one 07:45:39 um 07:45:56 "polynomial function" being a function computable in polynomial time. 07:46:42 MacBook Hydrogen ® 07:46:52 Oh, it corrected from (R). Cool. 07:46:59 the true NP version of TSP is "is there a path shorter than k" 07:47:09 oerjan: are you sure it's not a function with many names hth 07:47:13 Is there any substance less dense than pure Hydrogen 1? 07:47:17 and also NP-complete. 07:48:14 shachaf: I thought that was a polynymic function 07:48:16 hppavilion[1]: hm i recall there was some foam lighter than air. not sure about hydrogen. 07:48:42 oerjan: I know there's aerofoam (or something), but I don't think it's lighter than air; it's just really really light 07:48:45 i think that should be polyonymic. but i'm not sure, it looks ugly. 07:48:51 An anonomyial function is like a polynomial function, but you don't know its degree. 07:49:04 It can't really be lighter than air because it's 99.97% air 07:49:06 Or something like that 07:49:31 hppavilion[1]: i thought they vacuumed it or something? 07:49:42 oerjan: I don't think so? 07:49:50 We're probably just talking about different foams 07:49:58 Aerogel? 07:50:02 * hppavilion[1] . o O ( What an incredibly boring conversation ) 07:50:04 shachaf: Yes, that 07:50:12 I was pretty excited about aerogel a little over a decade ago. 07:50:24 And then I was surprised to find out that a company in the small (~10,000 people) town I lived in made it. 07:50:39 I called them and asked if I could get a sample but they said no. 07:50:54 Awww. 07:51:24 If aerogel were lighter than air it'd *float*. 07:51:38 Maybe if I'd told them I was [redacted] years old they would've taken pity on me. 07:51:39 I seem to remember they actually made versions lighter than air 07:51:43 shachaf: Why'd they say no? 07:51:55 Now I can't say the number because it would reveal my age. 07:52:03 Yes, yes 07:52:06 Presumably because I wasn't offering any money. 07:52:09 b_jonas: Not impossible, but that'd imply they did something like manufacture it in a helium atmosphere. 07:52:17 And it'd float. 07:52:34 shachaf: Ah, that'd be a problem 07:52:48 I think the smallest sample you could buy was $100 or something. 07:53:00 i like the PAD-SAT problem 07:53:10 pikhq: why would they have to manufacture it in a helium atmosphere? that'd be expensive. they'd just manufacture it in rarified air (near vacuum, it doesn't have to be really rare) or rarified nitrogen 07:53:37 I said "something like". 07:53:40 Those would work too. 07:54:11 Today's xkcd title text is amazing 07:54:44 "List of lists of sexually active popes" anyone? 07:55:02 hmm, apparently they do manufacture it in a helium atmosphere, so it gets filled with helium for pressure 07:55:16 that would get expensive 07:55:29 pikhq: Are you still pooching it up? 07:55:52 More or less, yup. 07:56:37 "People handling aerogel for extended periods should wear gloves to prevent the appearance of dry brittle spots on their skin." 07:56:45 Pooching away again in margaritaville. 07:57:05 shachaf: What time is it in Margaritaville ATM? 07:57:37 I think it's in Texas. 07:57:40 Or maybe Nevada. 07:58:04 Oh my god, there's something lighter than aerogel 07:58:10 https://en.wikipedia.org/wiki/Aerographene 07:58:39 Awww, it needs carbon nanotubes 07:58:49 So I probably can't buy some in my conceivable lifetime 08:00:48 I didn't realize that one of aerogel's applications involved menstruation. 08:01:06 shachaf: Why would you want that? Seems like a pretty bad application 08:01:21 Oh, wait, for dealing with it? 08:01:24 That makes more sense 08:01:30 Also how long is an extended period? 08:02:14 shachaf: Isn't that called an "ellipsis"? 08:03:14 In Xanth, an ellipsis is used to summon the stork. 08:03:18 So maybe that's related. 08:08:26 -!- augur has quit (Remote host closed the connection). 08:08:33 shachaf: surely you need 10 periods for a stork, not just 3 08:09:00 uh oh 08:09:05 am i missing one this time 08:11:02 "When a mommy and a daddy love each other very much and want to have a baby, they have sex. They keep having sex, right in front of the stork, until he gives in and puts in a request for a baby delivery to make them stop. Then, 9 months later due to bureaucratic procedures, a baby is delivered" 08:11:30 sounds legit 08:12:31 The best I can think of is that a pregnancy lasts about 9 months, but it must be something else. 08:12:50 I mean a human pregnancy. 08:13:18 shachaf: I think that that was the joke 08:13:37 shachaf: And a period is slightly less than monthly, so about 10 periods are "lost" when a baby is gestating 08:14:14 oerjan: Did I get it right? 08:19:41 hppavilion[1]: yep 08:19:53 YAAAAAAAAAAAAAAAAAAAAAAY 08:20:07 (Fun fact: YAAAAAAAAAAAAAAAAAAAAAAY is a palindrome) 08:20:16 hooooooooooh 08:20:30 fun fact 0 = 1 08:20:39 | fact n = n * fact (n-1) 08:20:54 `? fun fact 08:21:26 fun fact 0 = 1 | fact n = n * fact (n - 1) 08:21:28 fun fact: HackEgo is damn slow 08:22:05 is that supposed to be haskell? 08:22:22 ml 08:22:27 ah 08:22:34 `culprits wisdom/fun fact 08:22:52 myname: clearly ml 08:22:57 oerjan elliott oerjan oerjan oerjan oerjan kmc 08:23:05 i never did ml 08:23:16 `1 hogue wisdom/fun\ fact 08:23:28 1/1: revert \ revert 1 \ sed -i \'s/|/ |/\' wisdom/fun\\ fact \ sed -i \'1N; s/\\n *//\' wisdom/fun\\ fact \ revert \ sed -i \'1N; s/ *//\' wisdom/fun\\ fact \ printf \'fun fact 0 = 1\\n | fact n = n * fact (n - 1)\\n\' > wisdom/fun\\ fact \ 08:23:48 myname: Neither did I 08:24:03 fun lie: THE MOON LANDINGS WERE FAKED 08:26:22 fun fact: i discussed a german translation for "fun fact" with a few people and we decided it to be "ulkiger umstand" 08:26:30 USING ALIEN TECHNOLOGY 08:26:47 meta fun fact 08:26:49 hppavilion[1]: https://www.youtube.com/watch?v=sGXTF6bs1IU 08:26:58 -!- mroman has joined. 08:26:58 fnard 08:27:31 http://mroman.ch/md/htuqqx12.html 08:27:37 10% pixels is way too much :D 08:29:31 When I use xdpyinfo it says there is 96 visuals, and then lists them, all details seem same for each one except some are TrueColor and some are DirectColor, and one of them has 32 planes while the rest have 24. Do you know what is the purpose of the many visuals? 08:30:15 96 isn't a very big number compared to, say, 65536. 08:31:45 glxinfo may give a clue 08:32:33 (though not a complete answer) 08:32:40 * int-e doesn't know the complete answer 08:34:07 zzo38: but there are all different somehow? 08:35:48 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:35:49 deltab: I don't know! 08:37:32 my guess is it's just the cartesian product of settings that can now vary independently but couldn't when the api was designed 08:37:42 zzo38: Do you know about antifunctions? 08:40:21 No 08:41:13 An antifunction maps an antiset to an antiset. 08:41:24 An antiset might be a set of memory locations, for instance. 08:42:00 Or labels or something. 08:42:08 So an antifunction : A -> B gives meaning to a set of memory locations B in terms of a set of memory locations A. 08:42:13 It can delete and duplicate elements of A. 08:46:59 int-e: nice link 08:52:00 Hm, what are the properties of fnord? 08:52:22 Like, if I say "it is pronounced the same way as phnord", can you still see "phnord" 08:52:32 Hell, if I put it in a sentence, will the word just be missing? 08:53:45 And what if I make a list of every word up to a certain length? Will there just be a blank space where "fnord" should be? Will I be able to see it so I can't tell which one I can't see otherwise? Will it get deleted and all the others moved up? 08:53:59 If the others moved up, couldn't I just infer from which was missing what the word is? 08:58:59 Maybe you should read The Illuminatus! Trilogy. 09:01:34 ...I just realized that you can put a bucket of lava into a wooden chest in minecraft 09:01:39 And nothing bad will ever happen 09:18:08 -!- oerjan has quit (Quit: Nite). 09:34:23 -!- Alcest has joined. 09:37:31 `dateu 09:37:34 2016-06-07 08:37:02.395249000+00:00 09:41:14 -!- TellsTogo has quit (Quit: Page closed). 09:50:25 zzo38: ping 09:51:27 zzo38: in M:tG, there are German printings of two cards whose German names are identical, despite that their English names differ, and also this German name is identical to the English name of one of those cards. this was news to me. do you know this already? and were you horrified when you found out? 09:51:38 zzo38: http://magiccards.info/m10/de/202.html http://magiccards.info/10e/de/290.html //magiccards.info/10e/en/290.html 09:58:08 SPAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACE 09:58:15 *coughs* 09:58:16 Excuse me 10:04:51 oerjan: do you know anything about https://en.wikipedia.org/wiki/Homology_(biology) 10:07:04 -!- Phantom_Hoover has joined. 10:08:51 -!- TellsTogo has joined. 11:00:37 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 11:01:40 -!- Koen_ has joined. 11:18:12 -!- bender__ has joined. 11:20:24 -!- bender has quit (Ping timeout: 258 seconds). 11:39:31 -!- Destructible has joined. 11:39:39 hoi 11:40:35 anybody? 11:41:24 -!- Destructible has quit (Client Quit). 11:41:36 -!- boily has joined. 11:44:12 -!- spiette has joined. 11:44:22 -!- Koen_ has quit (Remote host closed the connection). 11:44:38 `wisdom 11:46:10 No output. 11:46:16 what. 11:46:19 `wisdom 11:46:33 grimmargorp//Þór, Grimmargorpurinn hefur sloppið! Ragnarök eru nálæg! 11:48:07 ah! ^^ 11:48:10 `wisdom 11:48:13 impomatic//impomatic never did anything weird enough to get into this database. 11:48:14 -!- hppavilion[1] has joined. 11:48:19 hppavellon[1]! 11:48:26 One of the weird things on the internet is warnings that don't make sense 11:48:29 "Also, be advised that we work closely with law enforcement and we report child exploitation." 11:48:56 That is, "PROTIP: Don't put your child porn here because we'll have to report you to the cops. 11:51:52 -!- J_Arcane has quit (Remote host closed the connection). 11:53:02 i read it as "don't put your child porn here because we got into troubles last time" 11:54:23 izabera: That works too 11:54:48 izabera: But to me it seems like "Don't put it here because we aren't suited to hide it properly; google will give you some better places" 11:55:28 * izabera googles child porn stash 11:58:23 izabera: Not even particularly funny. 11:58:57 i didn't actually google that 12:00:22 izabera: Yes, but this is a logged chat 12:00:29 izabera: Also, I'm an NSA bot 12:00:38 hi 12:02:05 does nsa even care about that? 12:02:50 i don't actually know much of what nsa does other than supposedly spying on people 12:03:25 that wouldn't threaten national security so i guess that's not their business 12:05:28 [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=47160&oldid=46815 * Sesshomariu * (+76) /* Examples */ 12:05:48 people did an impressive job of misinterpreting the snowden leaks as "the nsa is personally reading everything you do" 12:06:23 izabellora. everything can be grounds to threatening national security hth 12:07:09 boily: Shush, don't give the terrorists ammo you national-security-damaging heathen 12:09:40 Да здравствует партия! 12:15:53 "This is one of those things where if someone walks in you switch to porn cause it's easier to explain" 12:19:28 -!- bender__ has changed nick to bender. 12:20:05 [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=47161&oldid=47160 * Sesshomariu * (+0) /* Hello, world!(without string reversing) */ 12:20:44 -!- spiette has quit (Quit: :qa!). 12:20:49 -!- boily has quit (Quit: REFUTABLE CHICKEN). 12:21:03 -!- spiette has joined. 12:28:33 -!- idris-bot has joined. 12:29:42 -!- Koen_ has joined. 12:30:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 12:35:50 -!- idris-bot has quit (Read error: Connection reset by peer). 12:35:52 -!- Melvar has quit (Read error: Connection reset by peer). 12:37:31 -!- Melvar has joined. 12:52:39 -!- Melvar has quit (Ping timeout: 244 seconds). 12:52:50 -!- Melvar has joined. 12:55:05 -!- spiette has quit (Quit: :qa!). 12:55:13 -!- Koen_ has quit (Read error: Connection reset by peer). 12:55:39 -!- Koen_ has joined. 12:55:55 -!- izabera has quit (Ping timeout: 244 seconds). 12:57:23 -!- izabera has joined. 12:59:40 -!- Koen__ has joined. 13:02:06 -!- Koen_ has quit (Ping timeout: 250 seconds). 13:05:35 -!- vodkode has quit (Quit: Leaving). 13:08:06 -!- bender__ has joined. 13:08:20 -!- bender__ has quit (Changing host). 13:08:20 -!- bender__ has joined. 13:08:32 -!- bender has quit (Disconnected by services). 13:08:36 -!- bender__ has changed nick to bender. 13:09:32 -!- Melvar` has joined. 13:10:20 -!- Melvar has quit (Ping timeout: 250 seconds). 13:10:48 -!- Koen_ has joined. 13:11:26 -!- TellsTogo has quit (Ping timeout: 250 seconds). 13:11:56 -!- Koen_ has quit (Read error: Connection reset by peer). 13:12:23 -!- Koen_ has joined. 13:13:39 -!- Koen__ has quit (Ping timeout: 264 seconds). 13:24:00 -!- izabera has quit (Ping timeout: 260 seconds). 13:44:41 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 13:50:35 -!- izabera has joined. 14:06:29 -!- copumpkin has joined. 14:13:31 * \oren\ googles how send probe Sarnus 14:14:03 -!- J_Arcane has joined. 14:22:39 -!- lambda-11235 has joined. 14:24:28 \oren\, put more fuel on the lv-n upper stage? 14:25:07 it's been a while since i played ksp but it was never hard to get a few km/s of delta v into low orbit that way 14:35:27 -!- Kaynato has joined. 14:40:33 -!- Kaynato has quit (Ping timeout: 240 seconds). 14:40:45 -!- Kaynato has joined. 14:44:44 -!- TellsTogo has joined. 15:03:06 -!- mroman has quit (Quit: Lost terminal). 15:08:43 -!- J_Arcane has quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]). 15:12:22 `olist 1039 15:12:35 olist 1039: shachaf oerjan Sgeo FireFly boily nortti b_jonas 15:14:33 -!- J_Arcane has joined. 15:17:14 2 page update 15:21:52 -!- TellsTogo has quit (Ping timeout: 250 seconds). 15:36:20 -!- Melvar` has changed nick to Melvar. 15:44:13 can someone please send some utf-8? 15:47:07 nö 15:50:04 ℃ℬ 15:50:12 How about that? 15:53:07 ∀∁∃ 15:53:26 ∰ 15:56:28 -!- izabera has changed nick to izbr. 15:56:48 Your poor vowels 15:57:55 H๑พ αв๑บт тнαт? 15:58:11 ʇɐɥʇ әqʎɐɯ ɹO 16:03:42 HQ plus/minus 2QB B = plus/minus B? 16:03:57 Pe u with grave q P o y O? 16:05:39 -!- augur has joined. 16:06:23 coppro: PeùqPoyO or what? 16:09:29 coppro: √Q±2QB²=±B 16:28:42 -!- spiette has joined. 16:48:14 [wiki] [[Special:Log/newusers]] create * Qwertyu63 * New user account 16:50:51 -!- augur has quit (Remote host closed the connection). 16:52:17 -!- gamemanj has joined. 16:53:28 -!- bender has quit (Quit: Leaving). 16:54:13 [wiki] [[User:Qwertyu63]] N https://esolangs.org/w/index.php?oldid=47162 * Qwertyu63 * (+1076) Created page with "This is a WIP project. Simple Lang: Simple Lang is a simple programming language designed to be easy to learn and read but hard to use. Values: There are two types of value i..." 16:54:20 -!- jaboja has joined. 16:55:29 [wiki] [[User:Qwertyu63]] https://esolangs.org/w/index.php?diff=47163&oldid=47162 * Qwertyu63 * (+54) 16:56:57 [wiki] [[User:Qwertyu63]] https://esolangs.org/w/index.php?diff=47164&oldid=47163 * Qwertyu63 * (+178) 16:57:53 -!- augur has joined. 16:58:30 [wiki] [[User:Qwertyu63]] https://esolangs.org/w/index.php?diff=47165&oldid=47164 * Qwertyu63 * (+64) 17:17:24 <\oren\> I'm at the gate. 17:18:28 <\oren\> I am undefeated by your puny UTF-8 17:19:42 <\oren\> But soon I will be without internet, because I am not taking a first-class ticket... 17:21:42 <\oren\> can I survive 12 hours without internet accesss???!?! 17:21:56 <\oren\> find out next time, on DRAGON BALL ZEEEEEE! 17:23:26 <\oren\> Phantom_Hoover: I built a new upper stage with three nuclear engines, and then docked it with a few large fuel tanks 17:23:38 for a... probe?? 17:25:04 getting to jool is <2km/s, getting to sarnus shouldn't be much more 17:26:35 [wiki] [[Special:Log/newusers]] create * Jinhub * New user account 17:27:36 <\oren\> I plan on having it visit all the moons of Sarnus and perhaps then swing out to Urlum or something, and then maybe even return to Kerbin, or I'll send out a cruiser to rendezvous with it in interplanetary space and collec the science... 17:28:58 <\oren\> Nasa are amateurs. They should start bringing things home from Pluto. 17:30:17 <\oren\> I build all my craft with a lot of extra deltav. My Duna probe ended up visiting Eve as well. 17:31:53 <\oren\> It helps for example that my "LKO shuttle" can land on Minmus and return 17:32:43 <\oren\> don't build to spec, overbuild and then see what it can do! 17:35:52 <\oren\> real space programs can't afford to do that I suppose 17:41:26 wait, interplanetary space 17:41:29 they've added that? 17:49:40 <\oren\> Yes of cource you can visit variousplants 17:49:45 <\oren\> *planets 17:50:45 -!- xkapastel has joined. 17:53:40 [wiki] [[Special:Log/newusers]] create * DigitoriiX * New user account 17:57:25 <\oren\> and i installed some mods that add a bunch of new planets 17:59:33 `unicode U+0130 17:59:44 ​İ 17:59:49 urgh 18:00:05 my unicode is still borked 18:00:06 whyyyy 18:00:25 -!- Sprocklem has quit (Quit: brb). 18:00:44 -!- Sprocklem has joined. 18:01:39 oh wait, different terminal emulator 18:01:44 maybe that's it. maybe. 18:02:27 <\oren\> Try using PieTTY 18:04:13 -!- DigitoriiX has joined. 18:07:01 -!- AnotherTest has joined. 18:20:09 -!- Phantom__Hoover has joined. 18:20:27 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 18:25:49 -!- Phantom_Hoover has joined. 18:28:58 -!- Phantom__Hoover has quit (Ping timeout: 258 seconds). 18:32:17 -!- Koen_ has quit (Remote host closed the connection). 18:38:18 -!- heroux has quit (Ping timeout: 246 seconds). 18:45:17 `unicode U+0130 18:45:22 ​İ 18:45:38 -!- heroux has joined. 18:46:16 `unicode U+0130 18:46:19 ​İ 18:46:48 `unicode U+0130 18:46:50 ​İ 18:46:53 blargh 19:04:28 -!- Koen_ has joined. 19:04:29 -!- izbr has changed nick to izabera. 19:10:39 -!- jaboja has quit (Ping timeout: 264 seconds). 19:14:26 -!- AnotherTest has quit (Ping timeout: 250 seconds). 19:32:15 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 19:44:06 -!- Phantom_Hoover has joined. 19:52:18 [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=47166&oldid=47161 * Sesshomariu * (+176) /* Examples */ 19:53:45 b_jonas: how 'bout that olist, huh 19:56:46 shachaf: what about it? 19:56:55 I asked first. 19:59:28 -!- augur has quit (Remote host closed the connection). 20:00:29 1039 has been olisted if that's the question 20:00:37 Yes, by b_jonas. 20:00:54 shachaf: Redcloak casts some sort of funny life saving spell on himself that I didn't know 20:01:16 oh you're not really talking about the olist 20:01:35 which is especially funny if you consider that the M:tG spells with the strange translated names are also lifesaving spells 20:01:43 Do they go into one door per day? 20:01:57 shachaf: no, they just hide, wait, and follow the heros 20:02:06 like Tarquin did 20:02:17 int-e: You're not even in the olist list. 20:02:53 shachaf: hence the misunderstanding... I don't care about the comic 20:03:02 so I though "olist" means "olist" 20:03:07 thought even 20:03:30 and not "latest update to oots" 20:04:15 Well, you're apparently interested in olist updates, even if you're not interested in the underlying comic strip. 20:04:19 `makelist olistlist int-e 20:04:58 shachaf: hey! are you trying to overwrite bin/olistlist ? 20:05:04 or does makelist check? 20:05:15 `cat bin/olistlist 20:05:18 cat: bin/olistlist: No such file or directory 20:05:31 more like nolistlist 20:09:41 https://citra-emu.org/ cool 20:12:57 -!- ais523 has joined. 20:18:29 -!- asie has joined. 20:18:32 hi 20:19:48 ais523: I found out something about M:tG today and it sort of shocked me. you might already be aware of it 20:20:04 ais523: there are German printings of two cards whose German names are identical, despite that their English names differ, and also this German name is identical to the English name of one of those cards. 20:20:28 ais523: http://magiccards.info/10e/de/290.html http://magiccards.info/m10/de/202.html 20:20:32 I knew that 20:21:24 ais523: how common is it? and why are they doing it? is it just a stupid mistake? 20:21:46 How do you tell which card a translated card is? 20:21:47 b_jonas: very rare but not unheard of (there are a few similar examples), and mostly it's just by mistake 20:22:01 Does the English name appear somewhere on it? 20:22:15 regenerate... regeneration... poor translators! 20:22:16 shachaf: that's actually a really interesting point 20:22:29 expansion symbol + collector number would be the obvious way to me 20:22:35 but I'm not sure it's applicable in 100% of cases 20:22:50 art would be another way, and the way that most players use in practice, but that wouldn't work for promo cards 20:23:14 When would it not be applicable? 20:23:48 If I remember correctly, officially the name is the only part of a card that really matters? 20:24:02 People can paint over the rest of it if they want. Or something like that. 20:24:24 shachaf: the English name is the only part that officially matters 20:24:52 and when altering a card, I believe the rule is that you have to leave the name and mana cost visible, and the art has to depict what the card is about 20:25:18 (this is why basic lands are the most commonly altered cards; if you alter a Forest, you just have to draw a forest, and there are a huge number of ways to do that) 20:25:19 But the official art rarely depicts what a card is about. 20:25:45 yes, this is why altering is difficult 20:25:48 -!- xkapastel has quit (Quit: Connection closed for inactivity). 20:25:53 for cards that depict a story character it isn't too hard 20:26:27 Anyway, if you have cards with identical non-English names, it seems like it would be problematic to alter them. 20:28:15 ais523: old cards don't have collector numbers, but old cards also don't have translated versions, and I'm not sure how these compare in time 20:28:41 very old cards don't have expansion symbols 20:29:02 Hmm, there's a promotional card printed in Hebrew. 20:29:41 ais523: why it looks strange to me is that Regenerate is from M10, so I'd have thought at that point they were paying attention to these sorts of things 20:29:57 http://www.trollandtoad.com/p123476.html 20:29:58 TG 20:30:05 b_jonas: I get the impression that Wizards is severely understaffed 20:30:57 http://magiccards.info/query?q=staff 20:31:01 Only 18 results. 20:31:19 And "Staff of the X Magus" were all terrible. 20:32:18 I don't even understand those cards. 20:32:21 "Wizards.com is down for routine server maintenance." 20:32:23 shachaf: those are apparently intentionally bad cards made to appeal to new players 20:32:33 they write articles about them on occasion 20:32:46 I think I put one in my early decks. 20:32:51 shachaf: a promo card in hebrew? wow 20:32:55 I never heard of that 20:32:59 there was a previous cycle with that purpose, "whenever a player casts a red spell you gain 1 life" etc. 20:33:16 but it turned out to be fringe playable in very centralized metagames 20:33:24 if you were playing red and your opponent was playing a red-based burn deck 20:33:25 ais523: sure, Kraken's Eye cycle. I have thos 20:33:37 b_jonas: http://www.snazzorama.com/magic/lang/ 20:34:26 shachaf: I think I'm the only player in my group who sometimes plays with foreign language cards, and even I have very few of them 20:34:44 only about a dozen, and some of them I have already replaced by English ones 20:34:50 I prefer English cards 20:34:51 Use it if you have a lot of red cards, especially if you are not playing any white cards too 20:34:58 in other news, I visited a site with JavaScript turned off 20:35:14 and the only thing visible was a link to http://www.whatbrowser.org/ , which I found hilariously passive-agressive 20:35:18 *aggressive 20:35:45 (turns out there was other text in the page, saying something like "you need a browser that supports JavaScript to view this page", but it was accidentally black on black, presumably they don't test the page with JS off very often) 20:36:05 the irony here is that whatbrowser doesn't really work with JavaScript turned off either 20:36:11 and thus is a very bad link to use for that purpose 20:36:39 what the heck is whatbrowser? 20:37:43 shachaf: wait what? that page seems to tell only how to identify the _language_ of the card from the card. how is that even useful? 20:37:52 I assumed it was trying to tell how to identify what card it is 20:37:58 like, the English name of the card 20:38:36 b_jonas: I was confused by the same thing. 20:38:52 b_jonas: But I just linked to it for the list of five one-off cards. 20:39:16 shachaf: ah! 20:39:16 b_jonas: I don't know, I'd never seen it before 20:39:18 but I linked it earlier 20:39:47 "The following five promotional cards are each printed in a language that no other cards are. From left to right, the languages are Hebrew, Arabic, Sanskrit, Classical Greek, and Latin." 20:40:00 and they're not even Un-promos 20:40:19 Anyway we never used non-English cards. 20:40:29 We only used cards from booster boxes, in fact. 20:40:50 Because we felt like WotC wasn't making nearly enough money, I guess. 20:41:15 shachaf: aren't there foreign language booster boxes? I mean, I think that's where most foreign language cards come from 20:41:27 Well, yes. 20:42:04 But I suspect that English-speaking players who use non-English cards usually get them individually, not in boxes. 20:42:26 it's very lucky there are no hungarian language cards. if there were, I'd be flooded with stupid translated cards probably. 20:43:37 Munchkin has hungarian translation, but luckily it's not a collectible cg 20:43:43 I kind of want to get the Hebrew card. 20:43:59 I guess it's not even Modern-legal. 20:44:08 I could make a Commander deck. 20:44:36 and munchkin has a card that gets a bonus against creatures whose names start with a letter "J" 20:45:25 http://magiccards.info/ptc/en/17.html => yep 20:56:31 -!- idris-bot has joined. 21:10:48 -!- ais523 has quit (Read error: Connection reset by peer). 21:58:57 whoa whoa whoa 21:59:03 `smlist kickstarter 21:59:17 smlist kickstarter: shachaf monqy elliott mnoqy 21:59:43 `smlist 438 21:59:49 smlist 438: shachaf monqy elliott mnoqy 21:59:50 `smlist 439 21:59:51 smlist 439: shachaf monqy elliott mnoqy 22:03:20 -!- pikhq has quit (Ping timeout: 250 seconds). 22:08:00 -!- gamemanj has quit (Ping timeout: 276 seconds). 22:10:10 -!- pikhq has joined. 22:26:18 -!- hppavilion[1] has joined. 22:27:11 -!- spiette has quit (Quit: :qa!). 22:33:29 shachaf, you're the only person on this list still in the channel 22:33:38 -!- qrf has joined. 22:33:54 Sure. 22:34:06 Phantom_Hoover: people might be reading under another name or from the logs 22:34:06 But if I keep up the notifications other people might get interested. 22:34:15 Phantom_Hoover: Which list? 22:34:21 Phantom_Hoover: There's a list? 22:34:24 I WANT TO SEE THE LIST 22:34:25 Phantom_Hoover: I mean, I have some alternate nicknames highlighting me 22:34:28 hppavilion[1]: smlist 22:34:32 `smlist 22:34:35 smlist: shachaf monqy elliott mnoqy 22:34:39 Um. 22:34:41 hppavilion[1]: HEY! don't do that 22:34:41 b_jonas: What's smlist? 22:34:47 hppavilion[1]: `? smlist tells 22:34:48 Don't `anylist if there's no actual update. 22:34:50 That's very rude. 22:34:53 `? smlist 22:34:54 `pbflist 22:34:54 Non-update notification for the webcomic Super Mega. 22:34:55 pbflist: shachaf Sgeo quintopia ion b_jonas 22:35:02 Oh 22:35:11 shachaf: I didn't know what smlist does 22:35:16 shachaf: Sorry 22:35:20 Phantom_Hoover: That one's already been listed. 22:35:22 -!- sheldon has joined. 22:35:28 If you mean 275. 22:35:31 lp00^ 22:35:36 -!- sheldon has quit (Client Quit). 22:35:37 oh well 22:36:02 there is a feature for that now 22:36:05 afaict 22:36:23 `? pbflist 22:36:26 pbflist is update notification for the Perry Bible Fellowship webcomic. http://pbfcomics.com/ 22:36:40 `culprits wisdom/smlist 22:36:50 does putting the number after it prevent it being sent more than once? 22:36:50 Why doesn't it say "smlist is ...", `learn-style? 22:36:56 int-e 22:37:00 No. 22:37:06 Well, unless people read the logs. 22:37:19 Where can I find the amazing, god-like software used in http://xkcd.com/1690/? 22:37:25 that seems like a useful feature. 22:37:51 quintopia: fix it 22:38:03 i suck at the bashes 22:38:07 If you fix it we should talk about how lists work. 22:38:15 quintopia: `learn 22:38:16 Because really they ought to share code. 22:38:30 shachaf: well, there's an mklist 22:38:39 Right, but mklist just copies. 22:38:41 b_jonas: 'an'? 22:38:43 hppavilion[1]: www.rescuetime.com 22:38:56 So you can't retroactively change list code. 22:38:58 shachaf: oh, you mean they should share code where you give a number and if that number was already listed for that list then it doesn't ping anyone? 22:39:10 or if you want something custom and manual: http://messymatters.com/tagtime/ 22:39:18 The point is that the list code should only exist in one place in HackEgo. 22:39:30 shachaf: ah, you mean good practices like code reuse 22:39:31 yeah 22:39:45 quintopia: And how does it detect that I'm e.g. going through all the star wars movies and digitally replacing all of the lightsabres with regular metal swords? 22:39:47 b_jonas: that is what i'd like to have yes 22:39:51 Is it... is it Strong AI? 22:39:58 So with the current scheme, a list might be something like 'name="$1"; shift; exec runlist "$name" "$@"' 22:40:17 hppavilion[1]: TagTime does that, if you manually enter a tag to track that activity 22:40:27 shachaf, quintopia: feel free to fix them, but I think it should be "$*" instead of "$1" 22:40:29 quintopia: Oh, that's boring 22:40:34 although it probably doesn't matter 22:40:41 since it's invoked with backtick usually 22:40:54 only passes one arg 22:41:01 so scratch that 22:41:10 "$1" is fine 22:41:44 And then runlist would be something like 'grep -q "$2" share/listarchive/"$1" && exit; echo "$1" > share/listarchive/"$1"; tail -n+2 bin/"$1"' 22:41:56 Of course at that point there's no need to use this ridiculous self-modifying code scheme. 22:42:15 shachaf: grep -qx probably 22:42:19 You can just have share/list/smlist containing usernames or something. 22:42:22 shachaf: This is #esoteric, so yes there is. 22:42:25 b_jonas: Look, that's why I said "something like". 22:42:29 yeah 22:42:39 hppavilion[1]: I wrote that self-modifying thing in the first place. 22:42:56 hppavilion[1]: as you have so astutely noted, anything less manual is AI-hard, and frankly, its existence would be terrifying 22:43:19 shachaf: and you'd probably have to do something with empty or no argument 22:43:19 b_jonas: Also I mean 'echo "$2" >>', not 'echo "$1" >' 22:43:30 Look, that's why I said "something like". 22:43:35 I know 22:43:54 I just wonder what the semantics for that should be 22:43:57 is it wrong for b_jonas to suggest what space "something like" could span? 22:44:05 If you want to revamp lists, you should gopher it. 22:44:45 i don't have talent or a gopher client 22:45:03 Then go for it. 22:45:48 i'll go away from it 22:59:19 ``` perl -e 'for $l (glob("bin/*list")) { open$i,"<",$l or die; q[echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit]."\n" eq <$i> and print $l,"\n"; }' 22:59:21 bin/aglist \ bin/bardsworthlist \ bin/ehlist \ bin/emptylist \ bin/erflist \ bin/flist \ bin/ioccccccccclist \ bin/keenlist \ bin/llist \ bin/olist \ bin/pbflist \ bin/slist \ bin/smlist \ bin/wrlist 22:59:36 ``` perl -e 'for $l (glob("bin/*list")) { open$i,"<",$l or die; q[echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit]."\n" eq <$i> or print $l,"\n"; }' 22:59:37 bin/danddreclist \ bin/don'taskdon'ttellllllllist \ bin/dontaskdonttelllllllist \ bin/FireFlist \ bin/list \ bin/listlist \ bin/makelist \ bin/mlist \ bin/testlist 22:59:44 just to see what we should replace 22:59:49 Also I hope it's not written in Perl. 23:00:02 shachaf: what's not written in perl? 23:00:15 The list replacement. 23:00:28 shachaf: there isn't one yet 23:00:33 Right. 23:00:38 Do you prefer future tense? 23:00:43 I hope it won't be written in Perl. 23:02:04 I hope it will not have been written in Perl. (have some future perfect!) 23:03:16 where do we put execuables that shouldn't be executed directly? we don't have a libexec directory 23:03:25 the list replacement backend (that each list invokes) should be there 23:03:36 I think it's fine to put in in bin/ 23:03:42 shachaf: nah, bin's in the path 23:03:47 So? 23:03:50 this shouldn't be in the path 23:03:58 Just give it a long name. 23:04:03 I could create a directory under lib or under share 23:04:23 `? keenlist 23:04:25 keenlist is notification for when Tom Hall finally acquires the necessary intellectual property rights to create the videogame series Commander Keen: The Universe is Toast 23:04:41 oh I knew that... didn't remember though 23:04:52 I think I'm the culprit of that one 23:04:53 `culprits lib 23:05:07 oerjan oerjan oerjan elliott kmc kmc ais523 ais523 elliott FreeFull oerjan FreeFull Gregor nitia 23:05:29 b_jonas: Is keenlist a one-time list? 23:05:38 shachaf: probably yes 23:05:39 We've had others, like slist. 23:05:46 `? slist 23:05:47 Self-deleting is a useful feature. 23:05:48 Update notification for the webcomic Homestuck. 23:05:51 `` rm canary; keenlist 23:05:55 keenlist: b_jonas 23:06:08 . o O ( there are no one-time lists ) 23:06:49 but this one isn't self-deleting anyway 23:07:04 Right. 23:07:14 A true self-deleting list ought to touch canary as well. 23:07:30 shachaf: what does canary even do? 23:07:36 and what does touching canary do? 23:07:43 oh, I should turn the order around... thanks 23:08:18 HackEgo won't commit your changes if canary doesn't exist. 23:08:28 shachaf: ah! 23:08:28 the canary detects that the coal mine is running low on oxygen 23:08:49 int-e: should be called davy-lamp then 23:09:13 mostly it's a basic protection against rm -rf / kind of stuff 23:09:33 int-e: yeah 23:09:49 int-e: but how does touching help? ah... right 23:10:04 in case you deleted it 23:10:06 shachaf brought up touching 23:10:34 which means I should rm it afterwards... or perhaps mv it away so that making it a directory doesn't help either... hmmmmmmm 23:10:49 int-e: rm;mkdir it, that's probably safer 23:10:59 -!- augur has joined. 23:11:02 or, um 23:11:10 ``` ls -dl canary 23:11:15 ​-rw-r--r-- 1 5000000000 0 39 Jun 7 22:10 canary 23:11:18 yes, tha 23:11:44 ls --downlow 23:12:00 what 23:12:32 b_jonas: I want it to be gone. 23:12:38 I've been trying to think of ways to delete canary. 23:12:40 b_jonas: shachaf is the one who wanted to create it 23:12:59 ``` rm canary && mkdir canary 23:13:03 rm: cannot remove `canary': Is a directory 23:13:11 ``` ls -dl canary 23:13:14 drwxr-xr-x 2 5000000000 0 4096 Jun 7 22:12 canary 23:13:22 Thanks for breaking revert. 23:13:34 ``` rmdir canary && touch canary 23:13:36 rmdir: failed to remove `canary': No such file or directory 23:13:39 ``` ls -dl canary 23:13:41 ls: cannot access canary: No such file or directory 23:13:53 whoa whoa whoa 23:14:04 `` touch AAAARGH 23:14:07 No output. 23:14:17 `` ls -ld canary 23:14:21 ls: cannot access canary: No such file or directory 23:14:23 ``` echo -n > canary 23:14:26 No output. 23:14:28 ``` ls -dl canary 23:14:30 ​-rw-r--r-- 1 5000000000 0 0 Jun 7 22:13 canary 23:14:46 ``` stat canary 23:14:48 ​ File: `canary' \ Size: 0 Blocks: 0 IO Block: 1024 regular empty file \ Device: 12h/18dInode: 672260 Links: 1 \ Access: (0644/-rw-r--r--) Uid: ( 500000000/ UNKNOWN) Gid: ( 0/ UNKNOWN) \ Access: 2016-06-07 22:13:53.000000000000000 +000000000 \ Modify: 2016-06-07 22:13:52.00000000000000000000 +00000000 \ Change: 23:15:23 `` ls -la /dev/urandom 23:15:24 crw-rw-rw- 1 0 0 1, 9 Jan 29 2014 /dev/urandom 23:16:21 `` mktemp aXXXXXX 23:16:26 aeDAGoZ 23:16:34 `revert 23:16:35 `` ls -lart | tail -n1 23:16:38 drwxr-xr-x 15 0 0 0 Jun 7 22:16 .. 23:16:51 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 23:17:40 `sorry 23:17:42 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sorry: not found 23:18:01 fungot, are you ok? 23:18:01 b_jonas: i told haskell to print the type in any binding form. k is bound to some initialization at loadtime 23:18:04 `? shavention 23:18:05 shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, *list, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them. 23:18:15 fungot: with monotype restriction? 23:18:28 uh 23:18:34 `sled wisdom/shavention//s/\*list, // 23:18:38 wisdom/shavention//shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them. 23:18:44 b_jonas: now you have to reinvent lists hth 23:19:09 Taneb: Did you invent shaving? 23:19:21 `quote invent anything 23:19:22 1278) Morning G'daneb invent anything good overnight? I don't know yet, I haven't read the logs 23:19:44 shachaf, I did not invent shaving, otherwise I'd be better at it 23:20:12 @time Taneb 23:20:12 Local time for Taneb is Tue Jun 07 23:20:11 23:20:37 Taneb: Sometimes the first person to do something is the worst at it. 23:20:49 Since everyone else is standing on the shoulders of giant Tanebs. 23:21:12 @devils lawyer 23:21:13 *** "lawyer" devil "The Devil's Dictionary (1881-1906)" 23:21:13 LAWYER, n. One skilled in circumvention of the law. 23:21:13 23:21:22 why the extra newline... 23:23:03 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 23:23:37 -!- boily has joined. 23:23:45 `? automatic squirrel feeder 23:23:49 Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. 23:25:01 who are the squirrels fed to? 23:25:07 `? english 23:25:09 english? ¯\(°​_o)/¯ 23:27:06 `perl -e chdir "wisdom" or die; for $w (map {glob} qw"* */* */*/*") { if (open my$i,"<",$w) { local $/; my$t=<$i>; $t=~/invent/ai && $t=~/\btaneb/ai and print "|$w "; } } 23:27:10 ​|automatic squirrel feeder |bbc |bdsm |bogosort |chu space |ci |costume |d-module |deniability |fundamental theorem of taneb |go |histogram |nih |nooodle |persistence |progres |real |shavention |stephen wolfram |tanebvention |tetris |the reals |the torus |the universe |this sentence |torus |universe |weetoflake |wolfram 23:27:11 `? wolfram 23:27:13 Stephen Wolfram is an esolanger with too much money and power. Taneb invented him. 23:27:17 `? go 23:27:19 Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. 23:27:24 `? d-module 23:27:26 D-modules are just modules over the ring of differential operators. Taneb invented them. 23:27:27 `learn English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself. 23:27:27 `? costume 23:27:34 Costumes are used for cosplay. Taneb sometimes invents them. 23:27:37 Learned 'english': English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself. 23:27:45 `? historgram 23:27:46 `? nih 23:27:46 historgram? ¯\(°​_o)/¯ 23:27:48 NIH was /not/ invented by Taneb. 23:27:53 `? fundamental theorem of taneb 23:27:55 The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent. 23:27:59 `? histogram 23:28:01 Histograms are diagrams showing histamine levels. Taneb invented them. 23:28:03 int-e: the squirrels are fed to the automats hth. 23:28:27 `? chu space 23:28:28 A Chu space is just a matrix. Taneb invented them, then Chu stole his invention. 23:28:29 `? torus 23:28:32 Topologically, a torus is just a torus. Taneb invented it. 23:28:39 `? the reals 23:28:40 boily: darn. I was picturing things of nightmares... like the teletubbies. 23:28:40 The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994. 23:29:16 heh 23:29:32 `? teletubbies 23:29:34 teletubbies? ¯\(°​_o)/¯ 23:29:37 `? lie algebra 23:29:38 A Lie algebra is what you get if you take the region infinitesimally close to the identity of a Lie group and blow it up to normal size. 23:30:06 ... it's the opposite of a Truth algebra. 23:30:12 did taneb invent lie algebras? 23:30:21 or teletubbies? 23:30:23 `? tanebventions 23:30:26 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 23:30:36 b_jonas, this time next year I'll have invented Lie algebras 23:30:40 hmm. Taneb vented. 23:31:15 `? venture 23:31:27 venture? ¯\(°​_o)/¯ 23:32:11 int-e: https://www.youtube.com/watch?v=5qvCQv-CDr4 23:33:26 Now I want to connect venture capital, venting (which has to do with hot air), bubbles, and stock market bubble in partiuclar. 23:34:33 but good night 23:36:00 bonne nuint-e! 23:37:03 ``` >>wisdom/it echo -n "Taneb invented it. " 23:37:09 No output. 23:38:35 `? submarine jousting 23:38:37 submarine jousting? ¯\(°​_o)/¯ 23:38:45 ^ should this have a wisomd entry? or is it a better joke unexplained? 23:39:04 um, I mean, as an in-joke whose explanation we don't reveal 23:39:32 (though the diligent can find it if they search the channel logs carefully) 23:39:58 `? Lambek's lemma 23:39:59 Lambek's lemma? ¯\(°​_o)/¯ 23:40:06 `le/rn submarine jousting/This is unexplainable. 23:40:11 Learned «submarine jousting» 23:40:14 I've no idea what Lambek's lemma is though 23:40:54 Taneb: did you tanebvent lambek? 23:41:05 -!- hppavilion[1] has joined. 23:41:07 boily: um, could you put that in a format where it has "submarine jousting", like "submarine jousting is unexplainable"? 23:41:25 oh hm. indeed. 23:41:37 `? tolkien 23:41:38 `? ring 23:41:39 tolkien? ¯\(°​_o)/¯ 23:41:40 Addition, subtraction and multiplication have a certain ring to them. 23:41:40 `? one ring 23:41:41 `le/rn submarine jousting/submarine jousting is unexplainable. 23:41:44 One Ring to rule them all, One Ring to find them, One Ring to bring them all and in the darkness bind them 23:41:46 Relearned «submarine jousting» 23:42:20 `? evil 23:42:21 evil? ¯\(°​_o)/¯ 23:42:21 `? evil twin 23:42:23 evil twin? ¯\(°​_o)/¯ 23:42:28 `? oerjan 23:42:29 Your mysterious adjectival cackling overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 23:46:20 "Evil" is how you write "live" backward. 23:47:57 oerjan lives far away in the Land of the Frost Giants. he's probably a unique monster himself, reachable through a long, arduous sidequesr. 23:48:10 s/sr/st/ 23:49:28 I think I figured out the problem with my NTSC decoder and fixed it now. 23:50:18 helloily 23:50:57 quinthellopia 23:51:22 Huh. Googolplexigong is a number 23:51:31 10^10^100_000 23:52:41 Aww, ##googology is barely occupied 23:52:50 4 people, including me 23:52:54 And ChanServ 23:53:11 boily: oerjan is not actually reachable by any means, even visiting Niflheim in person 23:53:44 darn. 23:53:49 you can only cast magical IRC spells in his direction and hope some of them are overheard from such a distance 23:55:02 so here comes that weekend where you're free and i'm not 23:55:11 i'm p much never free weekends anymore! 23:55:14 * boily swings his mapole in the Summoning Dance. «y'où'c'que t'es rendu?» 23:55:17 always doing things! 23:55:20 noooooooooo! 23:55:37 if you teleport to philadelphia you might find me 23:56:26 you're in philly now? what is the nearest airport? 23:57:05 http://www.googolplexwrittenout.com/ 23:59:03 Oooh, a googolplex is equivalent to ten trillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrest 23:59:03 rigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentillitrestrigintatrecentilliduotrigintatrecentillion 23:59:31 (under Conway/Guy)