00:00:58 * quintopia steals some wibbledy-wobbledy chickens from boily 00:01:14 `? the usual suspects 00:01:16 There are 3.99 usual suspects in #esoteric, but they're usually rounded up. 00:01:51 shachaf: but who are they? you, oerjan, and ... who? 00:02:07 I never claimed to be among the usual suspects. 00:02:14 but you obviously are 00:02:21 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 00:02:26 That depends on who's doing the suspecting. 00:02:42 * boily reverse-roundhose thwacks shachaf for calibration purposes 00:02:46 anyone would suspect you if the crime is punning 00:03:45 as they say you say "a good pun is its own risk" 00:04:00 What do they say about fun puns? 00:04:10 `? funpuns 00:04:11 funpuns fceø fbz fryyrev naq pbfcynlf Arcrgn Yrvwba ba jrrxraqf. Ur ungrf oryy crccref jvgu n cnffvba. Gur havg bs sha chaarel vf anzrq nsgre uvz. 00:04:22 `? shachaf 00:04:23 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. The unit of fun punnery is named after him. 00:04:26 i think hppavilion[1] is also usually suspicious. 00:04:35 hppavilion[1] is also frightened. 00:04:36 oerjan: I DID NOTHING 00:04:51 hppavilion[1]: I KNEW IT 00:05:09 quintopia: I DID NOTHING WHEN DOING SOMETHING WOULD HAVE SAVED MILLIONS OF LIVES 00:05:10 boily: can you thwack hppavilion[1] for his failure to accomplish anything 00:05:12 hppavilion[1]: i didn't say i had proof 00:05:15 quintopia: Punning is a crime? 00:05:30 i just have 0.9 proof. 00:05:39 LIKE, LITERALLY ANYTHING 00:05:53 IT ACTUALLY TOOK MORE EFFORT NOT TO DO SOMETHING THAN TO DO IT, IF I'M BEING HONEST 00:05:55 * boily capitally swings his mapole at hppavilion[1] 00:05:58 My object all sublime, / I shall achieve in time -- / To let the punning fit the crime, / The punning fit the crime 00:06:25 OF COURSE, IS "DOING NOTHING" JUST DOING THE THING THAT TAKES THE LEAST EFFORT, THEREFOR MEANING THAT THE PREVIOUS STATEMENT IS INVALID? I DON'T KNOW, FRANK. I DON'T KNOW. 00:06:26 shachaf: well, no, but it does sometimes require apology: http://www.theguardian.com/uk-news/2016/apr/08/punning-police-say-sorry-egg-theft-appeal-lancashire 00:06:36 oerjan: Is that 45% ABV? 00:07:13 oerjan: i have 60 proof. want some? 00:07:29 Oh, right, I guess it's 0.45% ABV. 00:07:46 shachaf: is that a quote? 00:07:55 Which? 00:07:59 your poem 00:08:06 pretty close to one 00:08:11 It's from the Mikado. 00:08:14 http://themargins.net/anth/19thc/gilbert.html 00:08:15 ah. 00:08:28 therefore a racist quote 00:09:03 Is it? 00:11:50 shachaf: have you read that: https://www.reddit.com/r/WritingPrompts/comments/2786lw/wp_in_a_world_where_puns_are_illegal_one_man 00:14:36 -!- Moon_ has quit (Ping timeout: 250 seconds). 00:16:48 i've read that the mikado is not racist hth 00:17:00 quintopia: seems unremarkable to me hth 00:17:23 shachaf: as are all old reddit posts, yes 00:17:41 also that a japanese crown prince once was disappointed that it wasn't playing when he visited london, because they were afraid he'd be insulted. 00:18:41 oerjan; i read that it is racist hth 00:18:47 admittedly that was just now in this channel 00:18:56 shocking 00:19:54 as much as i like the mikado, i find it hard not to find it belittling of a culture. dressing white people up like they're japanese is hardly different from blackface is it? 00:23:34 -!- adu has joined. 00:24:00 -!- Koen__ has quit (Quit: Leaving...). 00:26:31 quintopia, well, like, there's some very significant context with blackface 00:27:08 you don't think european colonialism is significant context? 00:29:55 in... japan? 00:34:12 it's been a while since i've seen the play, but i get the sense the attitude of the british characters toward the "Japanese" characters was much like their attitude toward all those in nations they colonized 00:34:48 even the character names seem somewhat belittling 00:38:38 at what point in your history of the world do the british colonise japan 00:39:27 at what point in your history of this channel do i claim the british colonise japan 00:41:14 quintopia: are you confusing with madama butterfly, or something 00:42:42 i don't think i've ever seen madama butterfly. 00:42:50 is it good? 00:42:58 i dunno. i've seen neither :P 00:43:12 but afaiu there _are_ no british characters in the mikado. 00:45:12 I saw Madama Butterfly at the opera. it's one of the best. 00:45:46 oerjan: clearly it's been too long since i saw it 00:46:07 https://www.youtube.com/watch?v=0f1k14GQmNE 00:46:35 anyone know how to set the spellcheck for OO writer to british spelling? 00:46:45 `~. 00:46:57 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ~.: not found 00:48:25 i guess the names are belittling though. btw i don't think "titipu" is a possible japanese word, is it? 00:49:51 nor is peep-bo? 00:51:44 i think the premise is that it's a satire of british culture disguised as a very lazy charicature of japan 00:54:21 it definitely is that 00:55:07 *caricature 01:00:44 -!- fungot has quit (Ping timeout: 250 seconds). 01:02:56 FUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU 01:03:02 NGOT. 01:04:41 fizzie: IEUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAÅAAAAAAAAAAAAAAAH! 01:10:03 * oerjan thinks solving this Towers puzzle was a little too backtracky. 01:18:01 <\oren\> I liked Madame Butterfly when I saw it at the four seasons. 01:18:59 <\oren\> My vocal music teacher got us cheap tickets and insisted that every guy who went wear a tux. 01:19:24 `` type more 01:19:27 more is /bin/more 01:19:32 <\oren\> I went to like 10 operas in high school. 01:19:36 Our interwebs went down for a moment there. 01:20:06 -!- fungot has joined. 01:21:26 fungot: o hai. 01:21:27 boily: by the way, what's srfi? i seem to have 01:21:32 . o O ( wearing a penguin suit sounds a bit harsh ) 01:21:35 fungot: you seem to do. 01:21:35 boily: " he's ordering a weak martini, and the 01:21:46 fungot: bartender refuses to give it? 01:21:47 boily: oh yea that makes much more sense, polish or perl..." 01:22:02 . o O ( a polish martini? with a gherkin floating in it? ) 01:22:44 polish or perish 01:24:06 * boily weakly thwacks oerjan in stereo, with deliberate movements and closeups [intentional] [unintelligible whispering] [scratching] [brush] [2:42] 01:25:31 * oerjan has a feeling he doesn't get some reference 01:26:19 * oerjan wonders if he should follow /r/outoftheloop 01:26:49 I'm watching ASMR videos. it's relaxing ^^ 01:30:47 `mkx bin/spore//echo 1 > /hackenv/tmp/spline; cat > /hackenv/tmp/spout; lines="$(wc -l /hackenv/tmp/spout)" | awk '{print $1}'; echo "$lines lines" 01:30:55 bin/spore 01:30:57 `mkx bin/spam//line="$(cat /hackenv/tmp/spline)"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline 01:31:04 bin/spam 01:31:22 `` cat quotes | spore 01:31:25 ​ lines 01:31:31 oops 01:31:43 `spam 01:31:44 `spam 01:31:44 `spam 01:31:46 EgoBot just opened a chat session with me to say "bork bork bork" 01:31:58 Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. 01:31:58 that's where I got it rocket launch facility gift shop 01:32:39 oh, uh, right 01:32:56 `mkx bin/spore//echo 1 > /hackenv/tmp/spline; cat > /hackenv/tmp/spout; lines="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo "$lines lines" 01:33:00 bin/spore 01:33:13 `` quote oerjan | spore 01:33:16 72 lines 01:33:17 `spam 01:33:18 `spam 01:33:18 6) what, you mean that wasn't your real name? Gosh, I guess it is. I never realized that. 01:33:19 `spam 01:33:19 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! 01:33:20 17) In an alternate universe, ehird has taste 01:37:19 `spam 01:37:20 18) IN AN ALTERNATE UNIVERSE: In an alternate universe, I would say "In an alternate universe, ehird has taste" 01:37:35 `spam 01:37:36 22) PA ET ANNET UNIVERSET DER DE ENESTE PERSONEN OERJAN: sa jeg kan bare konkludere med at det er feil, eller er verden helt bonkers 01:37:51 `mkx bin/spore//echo 1 > /hackenv/tmp/spline; cat "${1-/dev/stdin}" > /hackenv/tmp/spout; lines="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo "$lines lines" 01:37:55 bin/spore 01:38:03 oerjan: bonkers? 01:40:39 `cat bin/rainbow 01:40:41 ​#!/usr/bin/env python \ import random \ import re \ w=raw_input() \ p=list('x'*len(w)+'C'*int((341-len(w))/3+1)) \ random.shuffle(p) \ p=list(re.sub('C+','C',''.join(p))) \ i=(c for c in w) \ print ''.join(i.next() if c=='x' else chr(3)+'%02d' % random.randrange(2,15) for c in ['C']+p) 01:40:46 `spore bin/rainbow 01:40:47 9 lines 01:40:48 `spam 01:40:49 `spam 01:41:04 ​#!/usr/bin/env python 01:41:04 import random 01:41:11 `spam 01:41:12 `spam 01:41:13 `spam 01:41:13 `spam 01:41:14 `spam 01:41:17 `spam 01:41:19 `spam 01:41:48 Hmm, maybe this thing is a little too spammy. 01:42:15 No output. 01:42:21 w=raw_input() 01:42:21 w=raw_input() 01:42:22 p=list('x'*len(w)+'C'*int((341-len(w))/3+1)) 01:42:22 w=raw_input() 01:42:24 random.shuffle(p) 01:42:25 random.shuffle(p) 01:42:48 i see no problems here 01:43:30 spam prints random lines from a spored thing? 01:43:54 It prints them in order, in principle. 01:44:10 `spore bin/wisdom 01:44:11 1 lines 01:44:21 fizzie didn't like \ newlines, I believe. 01:44:28 ah 01:44:32 So this is for fizzie, who probably likes spam much more. 01:44:59 Hmm. 01:46:46 `mkx bin/spam//line="$(cat /hackenv/tmp/spline)"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline 01:46:50 bin/spam 01:46:52 `spam 01:46:52 1/1:F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}//" | rnooodl; cat "$F" | rnooodl 01:47:07 `` shuf quotes | spore 01:47:09 1280 lines 01:47:10 `spam 01:47:11 1/1280:* Phantom_Hoover wonders where the size of the compiled Linux kernel comes from. To comply with the GFDL, there's a copy of Wikipedia in there. 01:47:14 `spam 01:47:16 2/1280: Usually I'd use Rankine, but the fucking weather doesn't support it. 01:47:43 `mkx bin/spore//echo 1 > /hackenv/tmp/spline; cat "${1-/dev/stdin}" > /hackenv/tmp/spout; spam 01:47:45 bin/spore 01:47:50 `` shuf quotes | spore 01:47:52 1/1280: i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages) 01:47:54 `spam 01:47:55 2/1280: jesus, yes.. he was human and that is fantastic more than beeing able to speak with fish.. like seaman does 01:48:06 `spam 01:48:07 3/1280: oerjan: if the answer is no then it might as well be yes 01:48:51 There you go, one line saved. 01:50:35 Two lines. 01:51:55 `culprits bin/bin/bin 01:51:59 hppavilion[1] 01:52:03 `` rm -r bin/bin 01:52:06 No output. 01:52:10 `before 01:52:11 Wait, what does bin/bin/bin do again? 01:52:13 bin/bin/bin//echo *sigh* 01:52:25 Ah, yes 01:52:27 :( 01:52:30 Why'd you delete it? 01:52:35 Why was it there? 01:52:46 oerjan: bonkers? <-- i think google translate probably failed at that point. 01:52:50 `bin 01:52:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bin: cannot execute: Is a directory 01:52:51 shachaf: To criticize people who make that stupid joke the same way I probably would 01:52:58 `gin 01:52:59 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: gin: not found 01:53:03 boily: it's all rather broken norwegian. 01:53:09 shachaf: you didn't delete it 01:53:12 `min 01:53:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: min: not found 01:53:16 `tin 01:53:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: tin: not found 01:53:17 `bin/bin/bin/bin/bin/echo hello, world 01:53:18 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/bin/bin/bin/bin/echo: No such file or directory 01:53:21 oerjan: ah, like broken French :D 01:53:22 hmm 01:53:34 I dunno 01:53:36 this is seriously messing up my terminal tdnh 01:53:39 (although i doubt GT is responsible for the missing accents...) 01:53:53 shachaf: What is messing up your terminal? 01:53:57 this 01:54:07 shachaf: "this"? 01:54:11 yes 01:54:14 Hmm, maybe this thing is a little too spammy. <-- you think? 01:54:25 `spam 01:54:27 4/1280:* Phantom_Hoover wonders where the size of the compiled Linux kernel comes from. To comply with the GFDL, there's a copy of Wikipedia in there. 01:54:30 That's awesome 01:54:34 oerjan: whoa whoa whoa, that was the testing phase 01:54:40 Obviously it's going to be spammy during testing. 01:54:51 i see no problems here <-- heh, genuine race conditions 01:55:05 oerjan: What, like the Mikado? 01:55:28 oerjan: Anyway if people are going to be doing tail -n +n etc. they might as well spore it. 01:55:56 `spam 01:55:57 5/1280: shachaf: wait, _you_ are in northumberland? No. whew we don't have room for more esolangers there. oerjan: Wait, *you* are in Northumberland? no Whew. We don't have room for more esolangers there. 01:56:07 We just need a command to merge a bunch of lines together HackEgo-style and wrap at the IRC line length limit. 01:58:58 `spam 01:58:59 6/1280: it's raining in newcastle, therefore the elliotts are distinct. boily's Newcastle Theorem. 01:59:13 I like that `spam tool :D 01:59:56 actually bonkers is probably used a bit in norwegian. 02:00:37 oerjan: What was the line length limit again? 02:00:42 I think you computed it once. 02:01:29 `spore bin/paste 02:01:30 1/12:#!/bin/bash 02:01:34 `spam 02:01:35 2/12:if [ "$1" ] && url "$1" 2>/dev/null # Save making a file when it already exists. 02:01:36 `spam 02:01:37 3/12:then 02:01:40 Oh, right. 02:01:46 `spam 02:01:47 4/12: true 02:01:50 `` type -a paste 02:01:51 paste is /hackenv/bin/paste \ paste is /usr/bin/paste 02:02:03 come on 02:02:05 -!- boily has quit (Quit: RIDGE CHICKEN). 02:02:09 `culprits bin/paste 02:02:25 tswett tswett oerjan oerjan elliott ais523 ais523 oerjan oerjan oerjan oerjan shachaf shachaf elliott elliott nitia 02:03:48 oerjan: Anyway if people are going to be doing tail -n +n etc. they might as well spore it. <-- ideally you'd merge into 350 byte chunks hth 02:04:05 oerjan: i already said that hth 02:04:59 Is 350 the number? 02:05:36 shachaf: i think i just answered your question before getting to it in backscroll hth 02:05:38 `` cat bin/paste | /usr/bin/paste -s -d␤ 02:05:39 ​#!/bin/bashâif [ "$1" ] && url "$1" 2>/dev/null # Save making a file when it already exists.then¤ trueâelse PASTENUM="$RANDOM"¤â mkdir -p $HACKENV/paste¤ url paste/paste."$PASTENUM"â cat -- "${1--}" > $HACKENV/paste/paste."$PASTENUM"fi 02:05:46 HackEgo: tdnh 02:07:11 `` cat bin/paste | tr '\n' '␤' 02:07:12 ​#!/bin/bashâif [ "$1" ] && url "$1" 2>/dev/null # Save making a file when it already exists.âthenâ trueâelseâ PASTENUM="$RANDOM"ââ mkdir -p $HACKENV/pasteââ url paste/paste."$PASTENUM"â cat -- "${1--}" > $HACKENV/paste/paste."$PASTENUM"âfiâ 02:07:19 HackEgo: you are not helping 02:08:19 `url bin/paste 02:08:21 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/paste 02:08:24 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47107&oldid=46694 * 172.249.47.98 * (-18) Golfier! 02:08:25 hth 02:08:46 oerjan: I'm trying to replace newlines in order to create the 350-byte chunks. 02:08:50 Hope that helps. 02:09:27 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47108&oldid=47107 * 172.249.47.98 * (+13) /* brainfuck */ 02:09:56 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47109&oldid=47108 * 172.249.47.98 * (+11) /* brainfuck */ 02:10:10 oerjan: By the way, I wonder whether rnooodl goes wrong with certain 4-byte UTF-8 characters that have the same continuation byte repeated three times. 02:10:16 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47110&oldid=47109 * 172.249.47.98 * (-13) /* brainfuck */ 02:11:44 shachaf: thausible. restrict it to ascii? 02:12:08 Well, there's no particularly good ASCII character for it. 02:12:22 the rnooodl. 02:12:29 And both of the commands I use replace newlines with a character, rather than a string. 02:12:32 Oh, that. 02:12:42 shachaf: why not just leave it as newline 02:12:48 I don't even know if it's processing characters or bytes. 02:12:52 oerjan: Then how will spam work? 02:12:59 Oh, I see. 02:13:04 oh hm 02:13:07 You're suggesting that spam should never work line-at-a-time. 02:13:35 i wasn't actually getting that point until now, but yeah, it might not. 02:13:37 I was thinking there'd be a separate command that turns a newlined string into a string with 350-byte lines containing newline replacements. 02:14:00 -!- jaboja has quit (Remote host closed the connection). 02:14:33 Well, I guess I'll leave it in your capable hands. 02:14:43 you could just use " \ ", that's what HackEgo does anyway 02:14:54 i have no intention to code this. 02:15:01 OK, but And both of the commands I use replace newlines with a character, rather than a string. 02:15:09 come on, it's just a bit of bash 02:15:12 no real code 02:15:52 it's not like exploiting type system bugs 02:16:27 whatev 02:16:35 `? whatev 02:16:37 whatev? ¯\(°​_o)/¯ 02:17:54 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:20:29 Um... Christianity? Are you sure you can really math? <-- what's the problem with that? 02:20:46 oh boy 02:21:09 referring to "The last limit arises from the fact that the crucifixion was considered to have happened on the fourteenth (the eve of the Passover) and the resurrection therefore on the sixteenth." 02:23:07 (i'm just wondering where hppavilion[1] thinks the math error is) 02:23:39 -!- adu has quit (Quit: adu). 02:23:42 oerjan: Is 350 the total length actually printable by HackEgo? 02:24:19 shachaf: if it's ascii. someone said it's actually different if there are other unicode characters. 02:24:25 (but not smaller) 02:24:38 (in bytes) 02:25:03 Right, I mean byets. 02:25:06 bytes 02:25:07 octets 02:25:43 that is, it's 350 chars but if that's larger than 350 bytes it might get cut off at the actual irc limit. 02:26:02 OK, I'll construct this in /msg, I guess. 02:26:09 or well, probably codepoints. 02:26:46 Hmm, or maybe... 02:27:28 `` echo $'#!/usr/bin/env python\nimport sys\nN=330\nname = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin"\nwith open(name, "r") as f:\n data = f.read().replace("\\n", " \\\\ ")\nfor i in range(0, len(data), N):\n print data[i:i+N]\n' > bin/distort; chmod +x bin/distort 02:27:41 No output. 02:27:54 `` distort quotes | spore 02:27:57 1/475: EgoBot just opened a chat session with me to say "bork bork bork" \ Hmmmmmmmm... 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 \ GKenne 02:28:03 `spam 02:28:04 2/475:thR: he should be told that you should always ask someone before killing them. \ His body should be given to science. He's alive :P Even so. \ what, you mean that wasn't your real name? Gosh, I guess it is. I never realized that. \ TODO: sex life \ 02:29:03 `mkx bin/sport//distort "${1:-/dev/stdin}" | spore 02:29:07 bin/sport 02:29:28 `` shuf quotes | sport 02:29:32 1/475: There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] You've just gave me a different result [...] It's always insane to expect different results, even when it's likely to occur. \ Thanks to nooga for constructive criticism 02:29:35 `spam 02:29:36 2/475:, his ideas and being a constant annoyance. --http://theendisnear.no-ip.info/ \ who is guido van rossum you could say he's a man who grew a beard but acquired none of the associated good properties \ Just goes to show, the Beatles are more interesting than green vegetables. \ both of you, 02:29:41 -!- adu has joined. 02:29:58 `sport bin/distort 02:29:59 1/1:#!/usr/bin/env python \ import sys \ N=330 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = f.read().replace("\n", " \\ ") \ for i in range(0, len(data), N): \ print data[i:i+N] \ \ 02:30:25 Oops, double newline. 02:30:34 `` echo -n $'#!/usr/bin/env python\nimport sys\nN=330\nname = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin"\nwith open(name, "r") as f:\n data = f.read().replace("\\n", " \\\\ ")\nfor i in range(0, len(data), N):\n print data[i:i+N]\n' > bin/distort; chmod +x bin/distort 02:30:37 No output. 02:30:38 `sport bin/distort 02:30:40 1/1:#!/usr/bin/env python \ import sys \ N=330 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = f.read().replace("\n", " \\ ") \ for i in range(0, len(data), N): \ print data[i:i+N] \ 02:30:49 why do you put 330 instead of 350 02:31:18 I wanted to allow for 12345/20000: 02:31:24 And then I subtracted a few more just in case. 02:31:26 OKAY 02:31:28 Feel free to jam it up. 02:31:42 In fact I'd appreciate it if you did jam it up to the right value. 02:32:00 `sled bin/distort//s range xrange 02:32:04 bin/distort//#!/usr/bin/env python \ import sys \ N=330 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = f.read().replace("\n", " \\ ") \ for i in xrange(0, len(data), N): \ print data[i:i+N] 02:32:38 incidentally that numbering scheme does not work very well with quotes which have their own numbers... 02:32:54 `` allquotes | sport 02:32:57 1/495:1) EgoBot just opened a chat session with me to say "bork bork bork" \ 2) Hmmmmmmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 3) that's where I got it rocket launch facility gift shop \ 4) `` allquotes | shuf | sport 02:33:04 1/495:154) How much do mainframes cost these days? I mean, they're obsoleteish, right? My notebook's much more powerful? So surely, they're cheap? \ 346) I'm not even going to try and understand what you're proposing. i understand it perfectly. it's completely nuts. \ 1229) i guess norway just isn 02:33:06 `spam 02:33:08 2/495:'t cold \ 1235) `addquote boily: thanks for getting quoted saying django btw, now I'm only in 87.5% of the django quotes [...] ah, the inevitable result of mentioning django \ 1030) beautiful summer / massacres in qusayr / sent from my iphone \ 1036) this new apartment stuff has int 02:33:12 `spam 02:33:13 3/495:eresting side effects: i'm now getting physical spam. \ 325) Learn to be Chinese and kill yourself \ 483) I keep asking random people for "friendship " and it's crippling \ 811) omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a 02:33:17 also, if anyone manages to use more than 2 digits before the slash, they'll probably be kickbanned hth 02:33:37 Well, you can fast-forward with echo n > tmp/spline 02:34:23 `mkx bin/speek//echo "$1" > /tmp/hackenv/spline 02:34:26 bin/speek 02:34:31 `mkx bin/speek//echo "$1" > /tmp/hackenv/spline; spam 02:34:34 bin/speek 02:34:35 `speek 495 02:34:36 ​/hackenv/bin/speek: line 1: /tmp/hackenv/spline: No such file or directory \ 4/495:warm night with a full moon, you can hear the sound of the JIT building ARM functions. \ 78) theory: some amused deity is making the laws of physics up as they go along \ 1064) ah yes, like the parable of jesus feeding the masses with expired jell-o 02:34:39 shachaf: you're splitting in the middle of lines? that could give problems with unicode. 02:34:43 `spam 02:34:44 5/495:elliott> they're very unlikely to fuck up Xfce, and it can be made to work basically exactly like gnome two \ 1014) sometimes i wake up and my name has grown more consonants \ 286) I just thought you might have meant the Ramanujan tau and I was WOAH he weilds heavy weapons \ 42) ??? 02:34:51 Oops. 02:34:57 `mkx bin/speek//echo "$1" > /hackenv/tmp/spline; spam 02:35:00 bin/speek 02:35:01 `speek 495 02:35:03 495/495:'t exactly NIH. They have their own variant of it. \ 63) My mascot is a tree of broccoli. \ 02:35:06 `spam 02:35:07 496/495: 02:35:13 oerjan: feel free to fix it to not do that twh 02:35:56 oerjan: No sarcasm or anything there. It would help. 02:36:05 I mean, not that "twh" is ever sarcastic or anything. 02:36:50 If you wanted to be nice you could split it on a natural word or newline boundary if it happened to be near the end. 02:37:07 Say, within 20 bytes. 02:42:07 Or even more than that, really. 02:42:43 Say, just write out as many lines as can fit without breaking. 02:45:25 That would be a better system, really. 02:45:32 Except if there are really long lines. 02:46:11 `speek 131 02:46:14 131/495:) most things i hear about 'startup culture' set off the poe's law detector \ 1233) boily: the proc is invoked. before or after the evaluator transfers control to a certain class of anime characters with long hair and loud music \ 907) Actually, just as a guess, J might be worse than APL because it's restri 02:46:48 `spam 02:46:50 132/495:cted to normal (ascii?) characters, I guess \ 1174) * Sgeo remembers when he believed VRML could never have gravity. Now VRML is dead. (And has gravity) \ 827) The world needs better healthcare, social justice and wealth distribution, but a monads library for clojure surely won't hurt \ 956) it's raining 02:47:24 `` rgrep '' wisdom | sport 02:47:38 1/344:wisdom/6 random numbers:4 8 15 16 23 42 \ wisdom/¯\(°_o)/¯:¯\(°_o)/¯ `? ¯\(°_o)/¯ \ wisdom/quote:Quotes are just elements of the quantum dilapidated bogosphere. See qdb. \ wisdom/heck:Heck is where you end up if you don't believe in Gosh. \ wisdom/nooga:no. \ wisdom/soup:What soup, Doc? \ wisdom/kitt:Kitt is the singula 02:47:42 `` cd wisdom; rgrep '' * | sport 02:47:47 1/325:`:` is the prefix to greatness. \ `?:`? ¯\(°​_o)/¯ \ `? `?:Yes, you're very clever \ ^:^ (also notated by ⊕ or ⊻) is the exclusive-or operator; ∧ (also notated by /\ or &) is the and (conjunction) operator; ^ (also notated by ↑ or ** or ⋆) is the power operator. \ ==:Did you know you can define == recursively!? \ 02:47:51 -!- jaboja has joined. 02:47:54 `speek 170 02:47:56 170/325: tough! \ mathematimu:A mathematimu is a quantum of mathematics. If you observe it, its codepoint can change. \ maths:Maths stands for Mathematical Anti-Telharsic Harfatum Septomin. \ mauke:mauke is a Master Archer. Caution! He can shoot your PRIVMSG with creative arrows! \ maybe:Maybe a is Just a or Nothing \ md5:MD5 is a hash 03:42:25 -!- jaboja has quit (Remote host closed the connection). 04:04:03 -!- olsner has quit (Ping timeout: 240 seconds). 04:21:54 `` allquotes | shuf | sport 04:22:05 1/495:143) elliott: i like scsh's mechanism best: it's most transparent and doesn't really serve a very useful feature. \ 577) That was me being *nice*. I could have made the request by word of mouth to my My Little Pony toys and it would count. \ 45) yay fire! * Madelon combusts spontaneously. \ 1099) < 04:51:59 <\oren\> aaaaaa what is this? 04:52:06 -!- adu has quit (Quit: adu). 04:55:29 -!- moon_ has joined. 04:55:34 Hi 04:56:04 \oren\: what seems to be the problem? 04:57:12 <\oren\> I scrolled up 05:01:21 shocking 05:05:00 Lol should i be happy i wasnt here? 05:05:31 `spam 05:05:38 Oh 05:05:39 2/495:metasepia> `addquote \item `addquote two quotes about quotes about django I guess the worst part is that I appear in all three hackego quotes about django \\ elliott\_: another quote? you're not helping \texttt{:/} ← and three giraffes. \ 984) hm hitler probably did one thing that I 05:06:06 `spam 05:06:09 3/495: like too he banned tubas, I guess I am neutral on tubas oh! he killed hitler oh yeah, there we go thanks Fiora he also killed the guy who killed hitler \ 154) How much do mainframes cost these days? I mean, they're obsoleteish, right? My notebook's much more powerful? So surely, the 05:06:20 `cat spam 05:06:22 cat: spam: No such file or directory 05:06:29 `cat bin/spam 05:06:31 line="$(cat /hackenv/tmp/spline)"; len="$(wc -l /hackenv/tmp/spout | awk '{print $1}')"; echo -n "$line/$len:"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline 05:06:45 oerjan: vaguely tempted to make a version of sport that's automatically part of `` 05:07:26 -!- adu has joined. 05:07:43 shachaf: then you can implement more 05:07:59 more? 05:08:06 `more 05:08:07 Usage: more [options] file... \ \ Options: \ -d display help instead of ring bell \ -f count logical, rather than screen lines \ -l suppress pause after form feed \ -p suppress scroll, clean screen and disblay text \ -c suppress scroll, display text and clean line ends \ -u suppress underlining 05:08:15 well, more like 05:08:16 Yes, that's what spore is named after. 05:08:16 @more 05:08:17 spam more 05:08:33 Oh. Yes. That was the idea. 05:08:37 -!- adu has quit (Client Quit). 05:11:41 A good replacement for more is 'sed '${line}p' ' 05:12:39 moon_: well that's why bin/spam uses it? 05:25:27 -!- MDude has joined. 05:29:57 I wrote (not yet complete, but almost finished) a program "har" which is like "tar" but it deal with Hamster archive instead of tape archive. Three commands are same as tar, which as 'c', 't', and 'x' (there are other commands available too). To append, use 'c' with >> shell operator. To concatenate, use cat. 05:30:22 What's the difference between a hamster and a tape? 05:47:32 rotation symmetry? 05:50:39 `spam 05:50:59 4/495:y're cheap? \ 54) * oerjan swats FireFly since he's easier to hit -----### Meh * FireFly dies \ 1115) hmm… I guess the difference between me and most esolangers is that I don't instantly go and put it into a BF derivative and call it a day \ 1003) I've seen horses jump on tv, they can probably jum 05:52:39 FireFly: wait a minute 05:52:44 you don't seem dead 05:52:54 `spam 05:53:15 5/495:p in scotland too \ 170) Oh. Stuff that uses actual physical numbers stemming from science. Bleh *gets bored* \ 734) gah this language is of the devil oklopol: you're meant to use your powers for _good_ \ 190) GCC: -Os -O2 -O3 gives a 4x improvment \ 236) Why do you wan 06:02:01 shachaf: Maybe it depend what kind of tape, such as audio tape or video tape. 06:02:20 I thought tar archived onto a Turing machine tape. 06:03:00 You have to write your Turing machine code securely. 06:03:06 Otherwise you might get a tapeworm. 06:05:55 -!- adu has joined. 06:09:53 How my "har" program is available at http://zzo38computer.org/prog/har.c it is 2929 bytes long. 06:11:33 I think it is much simpler than tar. 06:13:47 You're serving it with a content-type my browser doesn't recognize, so it not convenient to look at it. 06:14:15 tar is by definition a legacy format 06:14:22 Add view-source: to the front to view in the browser, or use the command: curl 'http://zzo38computer.org/prog/har.c' | less 06:47:47 -!- adu has quit (Quit: adu). 06:53:21 d 06:53:28 ok its alive 06:54:17 -!- adu has joined. 07:01:44 ...huh 07:02:01 The guy who does Crash Course seems to be the guy who wrote The Fault in Our Stars 07:02:02 Weird 07:06:25 -!- moon__ has joined. 07:06:25 -!- moon_ has quit (Read error: Connection reset by peer). 07:14:37 D 07:14:43 ok im alivw 07:14:45 goodie 07:15:32 "he was almost alive, but unfortunately slightly off key" 07:15:37 -!- coppro has joined. 07:17:51 oerjan: "We did what we thought was the best and most merciful thing to do." 07:18:28 `getconf LONG_BIT 07:18:39 `kill moon__ 07:18:43 SHOULD WORK IF I T- caps 07:19:01 64 07:19:01 kill: failed to parse argument: 'moon__' 07:19:05 I wana know the bitwidth >_< 07:19:08 yay 07:19:41 I am not a process, i am a lifeform 07:19:46 Bearing may be the best youtube channel I have ever encountered 07:19:50 Not just for the politics 07:19:53 Unless we are in the matrix... 07:20:01 But because the sprites he uses are awesome 07:20:03 *bad joke* 07:20:39 moon__: Technically, a life form is still a process (or, well, a process hierarchy), and someone in the matrix is still a lifeform 07:20:47 moon__: Have you even /seen/ The Matrix? 07:21:01 Nope! Xp 07:21:19 moon__: Then you are not qualified to joke about it. 07:21:27 moon__: May I see your license and registration? 07:22:02 `echo "!!" 07:22:05 ​"!!" 07:22:09 Damnit 07:22:15 `echo !! 07:22:15 ​!! 07:22:20 -!- MDude has changed nick to MDream. 07:22:23 It shouldve returned the ;ast cpmmand 07:22:28 `` echo !! 07:22:30 ​!! 07:22:37 >_< 07:22:47 moon__: How would it do that? 07:22:57 And I thought I was being spammy. 07:22:58 `echo `!!` 07:22:59 ​`!!` 07:23:04 `` echo `!!` 07:23:06 ​/hackenv/bin/`: line 4: !!: command not found 07:23:09 Im confuzzled 07:23:11 Nope 07:23:17 Can you leave it alone? What you're trying to do won't work. 07:23:24 echo "!!" > foo.sh shpuld give the last command in a script.. 07:23:24 You can find that out in /msg. 07:24:18 ...OK 07:24:22 What is a "Dank Meme"? 07:24:56 @wn dank 07:24:58 *** "dank" wn "WordNet (r) 3.0 (2006)" 07:24:58 dank 07:24:59 adj 1: unpleasantly cool and humid; "a clammy handshake"; 07:25:01 "clammy weather"; "a dank cellar"; "dank rain forests" 07:25:03 [syn: {clammy}, {dank}] 07:25:04 hth 07:25:41 `` sudo dd if=/dev/mem | cat | strings 07:25:44 ​/hackenv/bin/`: line 4: sudo: command not found 07:25:51 Damn )= 07:26:10 Dont hurt me 07:26:36 `` dd if=/dev/mem | cat | strings 07:26:38 dd: opening `/dev/mem': Permission denied 07:26:44 Daww 07:26:47 shachaf: ...yeah. I figured that this dank has nothing to do with that dank. 07:27:06 Its used in the terms of 'old' now dont kill me 07:27:28 shachaf: Given that patterns of human behavior and copyable activities tend to not be describable in terms of temperature and humidity 07:27:29 You can do your non-modifying experiments in /msg and then, when they work, you can demonstrate them to people in the channel. 07:28:07 "dank" is marijuana slang for "good" 07:28:22 But you can find that out using the Google. 07:28:47 Ah 07:29:09 shachaf: See, but I don't particularly want to be associated with marijuana slang by what is pretty much the biggest company on the internet 07:29:32 Hm... 07:29:45 If They Are the 99%, then what are we? 07:29:47 Hm... 07:30:03 #esoteric has 100 people at a time 07:30:11 There are 7.3 billion people on earth... 07:30:11 ik 07:30:12 Hm... 07:30:21 Oh gof 07:30:24 Tiny number alert 07:30:44 Sound the alarms! 07:31:21 Who is the 99%? 07:31:24 So... 07:31:41 We are the 1.3698630136986302e-10%‽ 07:31:58 shachaf: The people not in the 1% duh 07:32:02 s/duh/hth/ 07:32:15 The 1% being the richfolks 07:32:28 Hm... 07:32:32 Now that I look at it 07:32:45 How come hackego has no lsof 07:32:49 If the channel has 100 occupants (which it, at this exact moment, does) 07:33:04 That means that- statistically- 1 person on this channel is hyperrich 07:33:17 Not me 07:33:38 moon__: Well duh; it can't be you because there's only room for one hyperrich person and that person is fungot. 07:33:38 hppavilion[1]: when this load is done i think i'll run freebsd on an ultra, it refused to install the program correctly the first time 07:33:39 hth. 07:33:47 It's copumpkin for sure. 07:34:11 (I always read fungot expecting fim to make sense and trying to figure out what fe means, but fe never does...) 07:34:11 hppavilion[1]: the speed new and faster hardware is developed is just too ugly 07:34:36 Well, that almost made sense, AND is accurate 07:37:21 -!- adu has quit (Quit: adu). 07:37:46 Guys i think i found a zombie maker: ( command & ) (i cant trust all soruces tho) 07:49:52 I killed the chat 07:50:00 BRAINS 07:50:13 `? oerjan 07:50:18 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. 07:50:35 What does "lazy expert in future computation" mean? 07:50:54 `` sed -i 's/emeritus/zombie/' wisdom/oerjan 07:51:07 Ah, good, not retired. 07:51:12 I was going to do something like that. 07:51:24 * oerjan whistles innocently 07:51:52 shachaf: it means i might eventually get around to it if needed hth 07:51:55 curses 07:52:03 foiled again 07:53:23 https://www.youtube.com/watch?v=w-0TEJMJOhk 07:58:49 I regret executing 07:58:53 yes "$(seq 232 255;seq 254 -1 233)" | while read i; do printf "\x1b[48;5;${i}m\n"; sleep .01; done 07:59:08 It froze haxego 07:59:19 Nvm 07:59:21 hea alive 07:59:30 fizzie on? 07:59:51 Because on his/her end, it must be really colorful 08:01:09 `` yes "$(seq 232 255;seq 254 -1 233)" | while read i; do printf "\x1b[48;5;${i}m\n"; sleep .01; done 08:03:12 Hackego 08:03:15 pls respond 08:05:02 ;-; dont murder me shachaf 08:05:15 What if you stopped abusing the bot, though? 08:05:26 I will >-> 08:05:45 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:09:12 -!- lambda-11235 has quit (Quit: Bye). 08:10:51 `ls 08:10:53 ​!\.´ \ advice \ bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ logs \ misle \ paste \ ply-3.8 \ ps \ quine \ quines \ quotes \ share \ src \ sysconfval \ theorems \ tmflry \ tmp \ tmp334234 \ wisdom \ wisdom.pdf 08:11:00 ... 08:11:10 * moon__ slaps hackego's cpu 08:12:29 `culprits tmp334234 08:12:50 moon__: why would you expect fizzie to see the output of that 08:12:51 moon__ 08:13:00 `culprits sysconfval 08:13:06 moon__ moon__ 08:13:08 `rm tmp334234 sysconfval 08:13:09 rm: cannot remove `tmp334234 sysconfval': No such file or directory 08:13:14 `` rm tmp334234 sysconfval 08:13:17 No output. 08:13:30 Fizzie has admin access to hackego 08:13:44 What if you just stopped doing all those things? 08:14:13 * oerjan brings up an extra lawn chair for shachaf 08:15:08 Hmm, http://codu.org/projects/hackbot/fshg/index.cgi/rev/6576966b7d24 doesn't show the final space. 08:15:37 This suggests that if you wrote a Whitespace program in HackEgo, it wouldn't show up in the commit log. 08:15:48 But you could always look itup in the other log, I guess. 08:18:49 `undo 8180 08:18:58 patching file wisdom/#esoteric \ Hunk #1 FAILED at 1. \ 1 out of 1 hunk FAILED -- saving rejects to file wisdom/#esoteric.rej 08:19:22 `` rm $(lastfiles) 08:19:33 No output. 08:20:09 Oh well. 08:21:33 oerjan: Anyway you seem like the opposite of a grouch to me. 08:22:16 i do? 08:22:42 i could have fooled me. 08:23:01 For example you're pretty welcoming in this channel. 08:23:06 `? #esoteric 08:23:07 Whereas I seem to be just the opposite. 08:23:09 ​#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. 08:23:53 `` hg log 8180 08:23:57 No output. 08:24:01 hmph 08:24:44 `sled wisdom/#esoteric//s/exists/doesn't exist/ 08:24:48 wisdom/#esoteric//#esoteric is the only channel that doesn't exist. After monqy left it became slightly off-centër. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. 08:25:00 Not sure that it's appropriate. 08:25:43 `? oerjan 08:25:46 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. 08:25:57 Does "Lately" mean only in the evening and early morning? 08:26:39 well when else am i awake 08:26:52 At night. 08:26:58 But I guess that's also covered. 08:26:58 ic 08:27:41 i do not yet recall it popping up in my dreams. 08:29:49 Maybe I should just move to Norway. 08:29:54 I hear the pizza is good. 08:31:56 Seems that the tax rate isn't much higher than California? Sometimes people talk about how much higher it is or something. 08:32:34 Well, maybe somewhat higher. 08:33:21 Oh, but there's a wealth tax. 08:33:30 Not a good place for 1%ers like hppavilion[1]. 08:40:33 it's a disputed tax. the current government has got it reduced a bit. 08:40:44 and ideally want to abolish it. 08:43:44 tax? 08:44:18 tax. 08:45:04 0.85% of net wealth if i'm reading correctly. 08:45:39 *wealth above 1 200 000 kr 08:47:27 ahh 08:47:34 the leftish parties like it because it's about the only direct tax that actually gets anything from rich people. 08:47:52 but we currently have a right wing government. 08:48:33 no income tax? or just full of loopholes 08:48:41 full of loopholes 08:49:34 -!- olsner has joined. 08:50:07 I used a tax loophole myself this year. It was great. 08:50:59 I need to hire a loopholer^Waccountant 08:51:35 What sorts of loopholes do you use? 08:51:42 I didn't use an accountant, though maybe I should've. 08:54:59 that's what I want to figure out 08:55:20 before the tax deductions I get for having spent money on university run out 08:58:24 -!- incomprehensibly has quit (Remote host closed the connection). 08:58:45 But you're in Canada, right? 09:03:51 Hmm, RRSP/TFSA looks way better than IRA/401k. 09:03:56 You don't even need loopholes. 09:06:05 `url mk 09:06:09 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/mk 09:06:32 `url bin/mk 09:06:37 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/mk 09:10:55 -!- oerjan has quit (Quit: Nite). 09:12:40 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 09:24:54 Airterm for android is really handy 09:28:35 Do you have a picture which has NTSC data for a colour picture but it is grayscale instead because it is the raw data? 09:31:06 Who, me? 09:32:04 `url bin/echo-p 09:32:07 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/echo-p 09:36:08 what's that useful for 09:37:46 -!- yorick_ has joined. 09:37:46 -!- yorick_ has quit (Changing host). 09:37:46 -!- yorick_ has joined. 09:38:04 -!- zgrep_ has joined. 09:38:29 -!- Melvar` has joined. 09:39:06 -!- Nithogg_ has quit (Ping timeout: 264 seconds). 09:39:08 -!- Melvar has quit (Ping timeout: 264 seconds). 09:39:08 -!- yorick has quit (Ping timeout: 264 seconds). 09:39:08 -!- zgrep has quit (Ping timeout: 264 seconds). 09:39:08 -!- int-e has quit (Ping timeout: 264 seconds). 09:40:00 -!- Nithogg_ has joined. 09:40:38 -!- zgrep_ has changed nick to zgrep. 09:43:05 -!- int-e has joined. 09:49:20 [wiki] [[User:Nosomebodies]] https://esolangs.org/w/index.php?diff=47111&oldid=47075 * Nosomebodies * (+123) 09:52:43 -!- incomprehensibly has joined. 10:06:41 -!- hppavilion[1] has joined. 10:12:50 -!- Phantom_Hoover has joined. 10:20:52 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 10:35:30 izabera: The intended use is for ... > $(echo-p "$foo") to be able to redirect to "$foo" even if it contains slashes, by making any necessary directories transparently. 10:38:27 `wisdom 10:38:29 `random-card 10:38:36 `? zygohistomorphic prepromorphisms 10:38:52 Dwarven Hold \ Land \ Dwarven Hold enters the battlefield tapped. \ You may choose not to untap Dwarven Hold during your untap step. \ At the beginning of your upkeep, if Dwarven Hold is tapped, put a storage counter on it. \ {T}, Remove any number of storage counters from Dwarven Hold: Add {R} to your mana pool for each storage counter removed thi 10:38:53 A zygohistomorphic prepromorphism is used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor. 10:38:54 me//Me is a proud member of the tEaM. 10:40:01 that's a strange card (it's from Fallen Empires). 10:58:53 -!- Effilry has joined. 10:59:52 -!- FireFly has quit (Ping timeout: 244 seconds). 11:02:07 -!- incomprehensibly has quit (Remote host closed the connection). 11:03:14 -!- Elronnd\StD has quit (Read error: Connection reset by peer). 11:04:39 -!- Elronnd has joined. 11:05:17 -!- hkgit03 has joined. 11:05:49 -!- cnr has quit (Ping timeout: 260 seconds). 11:06:03 -!- APic has quit (Ping timeout: 240 seconds). 11:06:24 -!- Hoolootwo has quit (Ping timeout: 260 seconds). 11:07:34 -!- Hoolootwo has joined. 11:11:54 -!- cnr has joined. 11:13:05 -!- incomprehensibly has joined. 11:15:37 -!- APic has joined. 11:16:13 -!- rntz has quit (*.net *.split). 11:16:13 -!- Deewiant has quit (*.net *.split). 11:25:04 -!- Hoolootwo has quit (Ping timeout: 260 seconds). 11:26:33 -!- Hoolootwo has joined. 11:33:38 -!- boily has joined. 11:33:57 -!- Melvar` has changed nick to Melvar. 11:37:50 -!- Koen_ has joined. 11:41:42 -!- Reece` has joined. 11:46:11 -!- Deewiant has joined. 11:49:44 -!- rntz has joined. 11:56:31 -!- gamemanj has joined. 12:17:32 -!- boily has quit (Quit: RING CHICKEN). 13:02:59 Does boily has a "random quit message" script or something? 13:03:03 With an affection for chicken? 13:28:22 -!- Reece` has quit (Ping timeout: 260 seconds). 13:31:20 -!- Reece` has joined. 13:36:17 -!- gamemanj has quit (Quit: Leaving). 13:42:21 -!- Sgeo has quit (Ping timeout: 240 seconds). 13:48:06 -!- Effilry has changed nick to FireFly. 13:54:59 -!- Vorpal has quit (Ping timeout: 260 seconds). 14:21:28 -!- hkgit03 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 14:27:15 -!- spiette has joined. 14:33:09 [wiki] [[Talk:Efghij]] https://esolangs.org/w/index.php?diff=47113&oldid=47012 * Timwi * (+136) 14:36:23 [wiki] [[Nondeterministic Super Mario Bros.]] N https://esolangs.org/w/index.php?oldid=47114 * B jonas * (+3658) Created page with "'''Nondeterministic Super Mario Bros.''' is the decision problem that takes a custom world map and levels of the NES ''Super Mario Bros.'' game as its input, and decides wheth..." 14:45:49 -!- Koen_ has quit (Remote host closed the connection). 14:53:07 -!- `^_^v has joined. 14:55:00 -!- xkapastel has joined. 15:01:39 -!- moon_ has joined. 15:01:53 hi 15:10:49 @tell gamemanj Sometimes the chicken is appropriate to surrounding context. I've been assuming it's all manual. 15:10:49 Consider it noted. 15:15:53 -!- Koen_ has joined. 15:15:54 @tell gamemanj You may be interested in the following chicken statistics gathered from my logs: http://sprunge.us/FIcQ 15:15:55 Consider it noted. 15:16:21 @tell gamemanj As you can see, the vast majority of chickens are as unique as a SNOWFLAKE CHICKEN. 15:16:22 Consider it noted. 15:26:20 -!- moon_ has quit (Ping timeout: 250 seconds). 15:34:19 what's the opposite of falling in love in english? 15:34:36 climbing out of love? 15:34:43 falling out of love 15:34:43 unfalling in love? 15:34:53 aww the most boring way 15:35:22 you have no control...gravity always decides 15:39:03 does this mean one ends up in a state even lower than love? 15:51:05 Second law of something-dynamics. 15:57:22 http://www.egillantonsson.com/ related 15:58:36 crappy pic tho 15:58:57 -!- adu has joined. 16:00:38 [wiki] [[Special:Log/upload]] upload * Timwi * uploaded "[[File:NUSSPLI (Ackermann function).jpg]]": The NUSSPLI function in [[efghij]]. 16:01:27 [wiki] [[Special:Log/move]] move * Timwi * moved [[File:NUSSPLI (Ackermann function).jpg]] to [[File:Efghij — NUSSPLI function.jpg]] 16:03:03 [wiki] [[Efghij]] https://esolangs.org/w/index.php?diff=47118&oldid=47011 * Timwi * (+496) 16:21:06 -!- mtve has quit (Quit: Terminated with extreme prejudice - dircproxy 1.2.0). 16:25:44 [wiki] [[Efghij]] https://esolangs.org/w/index.php?diff=47119&oldid=47118 * Timwi * (+1760) Restructure 16:26:00 [wiki] [[Efghij]] https://esolangs.org/w/index.php?diff=47120&oldid=47119 * Timwi * (+15) 16:33:32 -!- Moon_ has joined. 16:36:10 [wiki] [[Efghij]] https://esolangs.org/w/index.php?diff=47121&oldid=47120 * Timwi * (+1623) /* Example: NUSSPLI (Ackermann function) */ Expand full explanation 16:41:00 -!- jaboja has joined. 16:43:37 wtf 16:49:35 -!- Koen__ has joined. 16:51:01 -!- Koen_ has quit (Ping timeout: 240 seconds). 16:52:52 boo 16:54:22 -!- s1nceri7y has joined. 16:54:44 wot 16:58:24 -!- lambda-11235 has joined. 17:03:24 -!- Moon_ has quit (Ping timeout: 250 seconds). 17:22:10 -!- jaboja has quit (Ping timeout: 260 seconds). 17:23:12 -!- s1nceri7y has quit (Quit: bye.). 17:26:15 -!- gamemanj has joined. 17:36:09 -!- gamemanj has quit (Ping timeout: 244 seconds). 17:37:58 -!- Kaynato has joined. 17:49:04 -!- gamemanj has joined. 18:00:09 -!- nycs has joined. 18:01:40 -!- `^_^v has quit (Ping timeout: 250 seconds). 18:08:11 -!- FreeFull has quit (Ping timeout: 244 seconds). 18:21:51 -!- Koen_ has joined. 18:24:43 -!- Koen__ has quit (Ping timeout: 244 seconds). 18:26:02 <\oren\> if you type a symbol over and over it doesnt look valid anymore 18:27:01 <\oren\> is => a valid C++ operator? im not sure anymore 18:27:30 doesn't look familiar 18:27:41 you're thinking of the downto operator --> 18:27:50 <\oren\> i meant >= 18:28:17 <\oren\> but it should be => 18:28:30 why? it's "greater than or equal" 18:28:48 and if you want mirror images, I'd rather have =< than => 18:29:47 or do you want an assignment operator corresponding to ... that doesn't seem very useful. 18:30:45 <\oren\> hmmm honestly they shoukd have[made : the assignment iperator 18:31:14 ah, the keyboard alignment problems continue 18:31:46 <\oren\> and defined a 'operator combining syntax' explicitky 18:32:27 <\oren\> so :+ is just : + 18:33:16 -!- AnotherTest has joined. 18:34:00 <\oren\> and or + : 18:35:20 <\oren\> and similar x !>< y is the same as x = y 18:36:03 <\oren\> !>< is the not less or greater operator 18:36:40 -!- Koen_ has quit (Remote host closed the connection). 18:39:32 \oren\: also >>= is a great C++ operator 18:40:05 * ybden recalls seeing someone overloading >>= to do binding in C++ somewhere 18:59:53 `spam 19:00:28 6/495:t to have sex in everything? I don't want. \ 790) the scene: it is a warm summer's day in scotland, although one obscured by cloud and the fact that it is september \ 80) fungot!*@* added to ignore list. AnMaster: i'd find that a bit annoying to wait for an ack. \ 832) Do physici 19:00:46 `spam 19:00:47 7/495:sts have half-life crises? \ 670) "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," OK I need to become a pyrotechnician. Phantom_Hoover: that's like wanting to become a locksmith so that you can legally own lock 19:03:34 -!- AnotherTest has quit (Ping timeout: 260 seconds). 19:05:37 -!- Koen_ has joined. 19:06:18 \oren\: what's the difference between <> and >< ? 19:07:16 <.> means you're confused, >.< means you're annoyed 19:07:29 :D 19:07:29 <> is a diamond so it's much more expensive than the cheap >< 19:09:59 -!- nycs has quit (Quit: This computer has gone to sleep). 19:14:41 <> has precedent in Pascal, IIRC 19:16:02 fizzie: I'm now wondering what a ░▒▓█▓▒░ chicken is 19:16:20 is it an evil-eye'd chicken, or is there a deeper meaning? 19:17:12 izabera: So that's why BASICs are now extinct creatures! 19:17:24 (Or at least an endangered species...) 19:17:51 VB, VBA, VBS, ... :p 19:18:06 1. who uses VBA and VBS 19:18:14 2. VB has been mutated into something very-not-BASIC 19:18:35 virtual bullshit? 19:18:44 (and besides, it's a Microsoft product, of course it has diamonds) 19:18:51 well, msoffice uses vba 19:18:58 (...just expect the diamonds to be made out of glass...) 19:19:15 window glass, hmm? 19:19:26 -!- `^_^v has joined. 19:19:52 I wrote a program to make NTSC decoding and tried to use with the picture http://3.bp.blogspot.com/-5HF7Iwp74Lk/VS6s1IYf7eI/AAAAAAAAAJY/k1mIBF4aAUA/s1600/1k07_cga_composite_solid_colors_1.png but the colours are wrong do you know why? I also tried https://upload.wikimedia.org/wikipedia/commons/f/fb/CGA_CompVsRGB_640.png and still it is wrong. 19:19:53 int-e: No, the really poor-quality stuff 19:21:40 zzo38: You'll probably want to try actually using a recorded NTSC signal 19:22:32 -!- Koen__ has joined. 19:22:40 gamemanj: I don't have any. 19:24:25 Never The Same Color 19:24:50 Perfectly Accurate Label 19:25:10 -!- Koen_ has quit (Ping timeout: 244 seconds). 19:25:16 I mean it is hardly even close, even if I tamper with the phase and finetune settings. 19:27:14 Yes, but how are you exactly decoding from a picture? 19:29:11 It expects a grayscale picture as input (it pays attention only to the red channel) 19:37:39 I tried using ImageMagick's HS_VERTICAL pattern as input and set it to advance the phase on each scan line, and the yellow and cyan colours are missing. 19:39:51 I used the command: convert -size 80x160 pattern:hs_vertical png:- | pngff | ff-solar rgb 0 | ff-enlarge 4 1 | ff-dntsc t=32 y=32 i=32 q=32 l=0 s=5 p=.5 | ffpng > /var/www/img_1A/test1.png This is the output: http://zzo38computer.org/img_1A/test1.png 19:44:29 You have reg, green and blue... 19:44:32 *red 19:45:15 Looking at it, you have Cyan, it's just dark and desaturated. 19:45:36 You also have yellow, but it's also dark and desaturated. 19:47:44 Is that due to the pattern I am using as input? I will try a different input 19:48:40 zzo38: try lenna 19:48:47 or the baboon 19:49:23 Do you have a NTSC version of those pictures? 19:49:50 zzo38: no\ 19:50:19 -!- hwpplayer1 has joined. 19:51:51 I tried using a different pattern (VERTICAL 2 with enlarging) and then when I zoomed I found that yes I do have yellow and cyan but it is dark and desaturated. Is NTSC supposed to work like that? 19:55:14 -!- adu has quit (Quit: adu). 20:04:21 zzo38: I'm not an NTSC expert. Again, what's really needed is a recorded signal... 20:04:28 Now, how to get one, IDK. 20:04:51 Technically, all that's needed is one or two frames at 18-or-so Mhz. 20:05:15 Assuming I'm not completely wrong. 20:05:28 Trouble is, you can't exactly use a sound card to capture that. 20:05:35 -!- FreeFull has joined. 20:06:24 Yeah, you'd need a beefier ADC. Like an SDR or something. 20:06:38 Or an FPGA... 20:06:42 hmm 20:06:53 I say SDR because you could just get one. 20:07:03 True 20:07:09 assuming it captures fast enough... 20:07:10 wait! 20:07:11 Though you'd probably wanna skip the radio frontend if you're doing composite in. 20:07:11 I know! 20:07:16 I know where you could get a signal 20:07:20 hopefully 20:07:29 just a matter of where the URL was... 20:07:44 http://websdr.ewi.utwente.nl:8901/ 20:07:48 It would. At least, some SDRs are perfectly capable of handling a 6 MHz signal. 20:08:11 The problem with that is, analog NTSC is not broadcast in the Netherlands. :) 20:08:41 Neat, though. 20:08:44 .... 20:08:52 and it doesn't go above 29Mhz 20:12:56 Aha 20:12:58 there's a list of them 20:13:08 If there are any in the right range... 20:13:23 Specifically 55.25 20:13:25 Mhz 20:13:55 -!- AnotherTest has joined. 20:14:09 ...it's like as if they're taking special care not to hit those ranges 20:19:40 `cat bin/` 20:20:22 -!- PinealGlandOptic has joined. 20:20:31 ​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl 20:21:32 `` ls -l bin/\' 20:21:35 lrwxrwxrwx 1 50000000 0 5 Dec 9 04:12 bin/' -> quote 20:21:37 clever 20:21:40 `culprits bin/' 20:21:54 tswett tswett int-e 20:23:18 `mkx bin/1 \` "$@" | sport 20:23:20 usage: mk[x] file//contents 20:23:26 `mkx bin/1//\` "$@" | sport 20:23:31 bin/1 20:23:51 `1 for i in {1..1000}; do echo $i; done 20:23:54 1/18:1 \ 2 \ 3 \ 4 \ 5 \ 6 \ 7 \ 8 \ 9 \ 10 \ 11 \ 12 \ 13 \ 14 \ 15 \ 16 \ 17 \ 18 \ 19 \ 20 \ 21 \ 22 \ 23 \ 24 \ 25 \ 26 \ 27 \ 28 \ 29 \ 30 \ 31 \ 32 \ 33 \ 34 \ 35 \ 36 \ 37 \ 38 \ 39 \ 40 \ 41 \ 42 \ 43 \ 44 \ 45 \ 46 \ 47 \ 48 \ 49 \ 50 \ 51 \ 52 \ 53 \ 54 \ 55 \ 56 \ 57 \ 58 \ 59 \ 60 \ 61 \ 62 \ 63 \ 64 \ 65 \ 66 \ 67 \ 68 \ 20:23:57 `spam 20:23:58 2/18: 69 \ 70 \ 71 \ 72 \ 73 \ 74 \ 75 \ 76 \ 77 \ 78 \ 79 \ 80 \ 81 \ 82 \ 83 \ 84 \ 85 \ 86 \ 87 \ 88 \ 89 \ 90 \ 91 \ 92 \ 93 \ 94 \ 95 \ 96 \ 97 \ 98 \ 99 \ 100 \ 101 \ 102 \ 103 \ 104 \ 105 \ 106 \ 107 \ 108 \ 109 \ 110 \ 11111111 \ 112 \ 113 \ 114 \ 115 \ 116 \ 117 \ 118 \ 119 \ 120 \ 121 \ 122 \ 123 \ 124 \ 125 \ 126 \ 127 \ 1 20:24:22 lynn: foiled by the nooodl 20:24:37 what's with the ones ? 20:25:23 What about them? 20:25:40 `speek 12 20:25:42 12/18: \ 622 \ 623 \ 624 \ 625 \ 626 \ 627 \ 628 \ 629 \ 630 \ 631 \ 632 \ 633 \ 634 \ 635 \ 636 \ 637 \ 638 \ 639 \ 640 \ 641 \ 642 \ 643 \ 644 \ 645 \ 646 \ 647 \ 648 \ 649 \ 650 \ 651 \ 652 \ 653 \ 654 \ 655 \ 656 \ 657 \ 658 \ 659 \ 660 \ 661 \ 662 \ 663 \ 664 \ 665 \ 66666 \ 667 \ 668 \ 669 \ 670 \ 671 \ 672 \ 673 \ 674 \ 675 \ 6 20:25:54 `speek 15 20:25:55 15/18:786 \ 787 \ 788 \ 789 \ 790 \ 791 \ 792 \ 793 \ 794 \ 795 \ 796 \ 797 \ 798 \ 799 \ 800 \ 801 \ 802 \ 803 \ 804 \ 805 \ 806 \ 807 \ 808 \ 809 \ 810 \ 811 \ 812 \ 813 \ 814 \ 815 \ 816 \ 817 \ 818 \ 819 \ 820 \ 821 \ 822 \ 823 \ 824 \ 825 \ 826 \ 827 \ 828 \ 829 \ 830 \ 831 \ 832 \ 833 \ 834 \ 835 \ 836 \ 837 \ 838 \ 839 \ 840 \ 20:26:03 `speek 16 20:26:04 16/18:841 \ 842 \ 843 \ 844 \ 845 \ 846 \ 847 \ 848 \ 849 \ 850 \ 851 \ 852 \ 853 \ 854 \ 855 \ 856 \ 857 \ 858 \ 859 \ 860 \ 861 \ 862 \ 863 \ 864 \ 865 \ 866 \ 867 \ 868 \ 869 \ 870 \ 871 \ 872 \ 873 \ 874 \ 875 \ 876 \ 877 \ 878 \ 879 \ 880 \ 881 \ 882 \ 883 \ 884 \ 885 \ 886 \ 887 \ 888888 \ 889 \ 890 \ 891 \ 892 \ 893 \ 894 \ 895 20:27:33 Might make sense to upgrade ` to do it automatically. 20:27:37 Or might not. 20:30:07 `which cat 20:30:08 ​/bin/cat 20:30:11 `which spam 20:30:13 ​/hackenv/bin/spam 20:30:20 `pwd 20:30:21 ​/hackenv 20:30:26 `ls bin/spam 20:30:27 bin/spam 20:30:28 `ls bin/ 20:30:34 ​` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 1 \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 5quote \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addtodo \ aglist \ allquotes \ analogy \ anonlog \ append \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ bardsworthlist \ before \ benvenuto \ bf \ bff \ bienvenido \ bienvenue \ bla 20:30:40 hm 20:30:47 `cat bin/` 20:30:48 ​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl 20:31:34 `which rnooodl 20:31:35 ​/hackenv/bin/rnooodl 20:31:43 `cat bin/rnooodl 20:31:44 perl -pe 's/([^wW\W])\1\1/"@{[$1 x(3+rand 7)]}"/ge' 20:31:57 `rnooodl 20:32:01 `rnooodl test 20:32:16 `rnooodl <<< test 20:32:30 No output. 20:32:42 No output. 20:32:55 No output. 20:35:09 -!- AnotherTest has quit (Ping timeout: 260 seconds). 20:36:10 -!- adu has joined. 20:36:45 `aaaaaaaaa 20:36:55 -!- `^_^v has quit (Quit: This computer has gone to sleep). 20:37:17 No output. 20:37:37 wat 20:37:44 `aaaaaaaaa How useful!!!!1 20:37:46 Aaa aaaaaa!!!!4 20:49:59 -!- `^_^v has joined. 20:50:28 -!- `^_^v has quit (Client Quit). 20:52:06 -!- `^_^v has joined. 21:01:32 -!- adu has quit (Quit: adu). 21:07:37 -!- PinealGlandOptic has quit (Quit: leaving). 21:11:24 \oren\: how comes the emoji? 21:16:05 -!- spiette has quit (Quit: :qa!). 21:25:49 shachaf: That is an *amazing* nooodlification. 21:30:42 -!- idris-bot has quit (Quit: Terminated). 21:31:04 -!- Melvar has quit (Quit: thunderstorm). 21:34:47 lynn: what's a "fancy finite automata fact" 21:37:17 {w | w contains an equal number of occurrences of the substrings 01 and 10} is regular! 21:37:45 That's a nice little "wait, what?" moment. 21:37:50 is 010 counted twice? 21:37:55 shachaf: Finite automata run your computer. 21:38:50 gamemanj: maybe they run your computer hth 21:39:00 lynn: Is the alphabet of size 2 or arbitrary? 21:39:10 shachaf: they run most computers 21:39:16 Oh, Σ = {0, 1}. 21:39:37 Now, admittedly although it's finite, the amount of possibilities is huge... 21:39:41 well, the dfa is pretty easy 21:39:44 but that does not change that it is a finite automata. 21:40:31 Right. Once you think about what its strings look like, the DFA/regex writes itself 21:40:55 But from its description, it sounds non-regular, because it's "counting". 21:41:05 It's cute 21:50:43 https://pbs.twimg.com/media/Cje7c52W0AAPxiY.jpg 21:53:34 -!- Reece` has quit (Read error: Connection reset by peer). 21:55:13 -!- Melvar has joined. 22:05:27 <\oren\> the oberth effect is creepy space voodoo 22:05:44 `recipe 22:05:46 ​ 2 c Water \ 2 tb Olives \ 1 ts Cornstarch \ 2 ea Eggs; beaten \ 1/2 c Milk \ 1 1/2 ts Earmean Cheese \ 1/4 ts Salt \ 1/4 ts Tumeric wafers, dried \ - blueberry sauce \ 1/2 c Freshly ground pepper seeds \ -- in seasoning \ Milk \ 8 oz Semisweet chocolate \ \ The sauce and left carefully with flour and stir in the bay leaf. Add ric 22:06:15 what does " ea " mean there? 22:06:34 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:06:45 that doesn't look as bad as some of the recipes by the way 22:06:47 <\oren\> each 22:06:57 -!- gamemanj has quit (Ping timeout: 260 seconds). 22:07:03 \oren\: yeah, but what does that mean in this context? 22:07:14 -!- idris-bot has joined. 22:07:36 <\oren\> it foesnt make[srnse ij this context 22:07:41 o 22:07:50 `random-card 22:07:53 Vulshok Morningstar \ 2 \ Artifact -- Equipment \ Equipped creature gets +2/+2. \ Equip {2} ({2}: Attach to target creature you control. Equip only as a sorcery.) \ DST-C, 9ED-U, DDI-U 22:08:00 `random-card untap\b 22:08:02 Jace Beleren Avatar \ Vanguard \ 0/0 \ {0}: Choose a player. That player reveals his or her hand. \ {0}: Choose a player. That player reveals his or her library. Choose any number of cards from it. That player puts those cards into his or her hand. \ {0}: Choose a player. Untap all permanents that player controls. \ {0}: Choose a permanent, spell, 22:10:44 -!- `^_^v has joined. 22:27:27 -!- hwpplayer1 has quit (Quit: Leaving.). 22:28:15 -!- hwpplayer1 has joined. 22:28:51 -!- hwpplayer1 has left. 22:32:02 -!- `^_^v has quit (Ping timeout: 258 seconds). 22:57:21 the hello world in libgccjit takes .3s to run :( 22:57:46 this is a thing? 22:57:55 yeah 22:58:11 https://gcc.gnu.org/onlinedocs/gcc-6.1.0/jit/intro/tutorial01.html 23:01:53 -!- Sgeo has joined. 23:03:17 -!- hwpplayer1 has joined. 23:06:12 -!- hwpplayer1 has left. 23:10:01 -!- moon__ has quit (Ping timeout: 240 seconds). 23:10:04 -!- boily has joined. 23:10:47 `wisdom 23:10:53 tisc//TISC is "The instruction set computers", which refers to computers with instruction sets. 23:14:18 -!- int-e has left ("COUNTERFEIT CHICKEN"). 23:14:18 -!- int-e has joined. 23:16:47 int-ello. I will sue you! I don't know when nor how, but I will! 23:20:35 -!- evalj has joined. 23:22:32 (call/cc (lambda (x) (call/cc (lambda (y) (x y))))) 23:23:41 `welcome rntz 23:23:43 rntz: 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:24:17 what was the purpose of that? :P 23:24:29 Have you been welcomed here before? 23:26:11 and if so, with rainbow or without? 23:29:20 iono 23:29:27 what are your approximate coördinates and body weigh? what do you think about roast beef? 23:29:31 I wonder whether lem is a better primitive than callCC. 23:29:49 shachaf: um, what lem? 23:30:18 `? lem 23:30:22 Stanisław Lem was a Polish logician who discovered the law of excluded middle. 23:30:24 :t lem 23:30:25 Cont r (Either (a -> Cont r v) a) 23:30:47 rntz: How do you express (callCC callCC) in Haskell? 23:31:11 * boily 's brain suddenly hurts... 23:31:15 rntz: Oh, based on what you said in the other channel you're probably thinking the same thing. 23:32:39 there are other channels? 23:32:45 `? #esoteric 23:32:47 ​#esoteric is the only channel that doesn't exist. After monqy left it became slightly off-centër. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. 23:33:26 shachaf: lem is definitely not a better primitive than call/cc 23:33:32 let/cc might be better than call/cc 23:33:39 I thought the same thing as if lem is a better primitive than callCC, and made up the implementation; you can use both 23:33:39 but that's basically a matter of style 23:33:42 Wait, which one is let/cc? 23:33:47 Is that just the macro with the built-in binder? 23:33:49 yes 23:33:51 Or is it the one that lets you do recursion? 23:33:59 let/cc x in e = call/cc (lambda x. e) 23:34:36 @ask oerjan hellørjan. can I grow hot peppers on your northern lawn? 23:34:36 Consider it noted. 23:34:38 @let letCC = callCC (return . fix) 23:34:40 Defined. 23:34:58 i prefer that letCC hth 23:35:05 it does not 23:35:10 Maybe it should be called getCC. 23:35:25 @let getCC = callCC (return . fix) 23:35:26 Defined. 23:38:02 monochrom calls it setjmp in https://www.vex.net/~trebla/haskell/cont-monad.xhtml 23:39:31 There is also setjmp command in C 23:40:21 yes, that's presumably the origin of the name 23:40:39 -!- yorick_ has changed nick to yorick. 23:40:43 although I suspect this "setjmp" is a little more powerful 23:40:57 Don't you think the Either in lem is nice? 23:41:51 > (`runCont` id) $ do { e <- lem; case e of Left k -> k 5; Right x -> return x } 23:41:55 5 23:43:06 I did also did it like that. 23:43:43 shachaf: you mean, as opposed to just bare (call/cc call/cc)? yes 23:43:52 shachaf: or do you mean, as opposed to having call/cc as a primitive? 23:44:01 As opposed to having call/cc as a primitive. 23:44:04 ah. no. 23:44:08 :P 23:44:23 I also wondered whether dne is a better primitive. 23:44:50 shachaf: btw, the way I found the scheme puzzle was by playing around with an unusual formulation of classical logic you might like: http://www.rntz.net/files/adjoint-classical-constructive.pdf 23:45:13 -!- evalj has quit (Remote host closed the connection). 23:45:40 (it's like 2 pages long, I haven't actually finished/figured out the "adjoint" part of it) 23:45:42 Adjoint logic? Sounds a bit wholesome. 23:46:28 wholesome? 23:46:49 Hmm, this logic is very classical. 23:47:13 yyyes, that is the point 23:47:28 Yes. 23:50:51 I agree that that symmetry is pretty nice. 23:51:15 Is there a dual version with no introduction rules? 23:51:29 I don't know! 23:51:42 I suspect so. 23:51:48 But I'd have to go work it out 23:52:10 Or is there some version of this for linear logic? 23:52:30 hm, that I definitely don't know 23:52:51 there are one-sided presentations of classical linear logic 23:52:59 which makes me suspect there might be something like this 23:53:49 I wonder what the classical-linear equivalent of contradiction (#) is 23:54:16 (hell, there might even be more than one, linear logic is strange) 23:56:11 I bet there are two. 23:56:33 This is confusing because in ASCII you often write par as #. 23:56:59 Anyway, in linear logic, LEM is true with par. 23:58:37 I bet if I learned enough about Chu spaces I would know. 23:58:42 Do you know about Chu spaces? 23:58:49 `? chu space 23:58:51 `? rntz 23:59:04 A Chu space is just a matrix. Taneb invented them, then Chu stole his invention. 23:59:04 rntz? ¯\(°​_o)/¯