00:00:58 * quintopia steals some wibbledy-wobbledy chickens from boily
00:01:16 <HackEgo> There are 3.99 usual suspects in #esoteric, but they're usually rounded up.
00:01:51 <quintopia> shachaf: but who are they? you, oerjan, and ... who?
00:02:07 <shachaf> I never claimed to be among the usual suspects.
00:02:21 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
00:02:26 <shachaf> That depends on who's doing the suspecting.
00:02:42 * boily reverse-roundhose thwacks shachaf for calibration purposes
00:02:46 <quintopia> anyone would suspect you if the crime is punning
00:03:45 <quintopia> as they say you say "a good pun is its own risk"
00:04:00 <shachaf> What do they say about fun puns?
00:04:11 <HackEgo> 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:23 <HackEgo> 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 <oerjan> i think hppavilion[1] is also usually suspicious.
00:04:35 <boily> hppavilion[1] is also frightened.
00:05:09 <hppavilion[1]> quintopia: I DID NOTHING WHEN DOING SOMETHING WOULD HAVE SAVED MILLIONS OF LIVES
00:05:10 <quintopia> boily: can you thwack hppavilion[1] for his failure to accomplish anything
00:05:12 <oerjan> hppavilion[1]: i didn't say i had proof
00:05:15 <shachaf> quintopia: Punning is a crime?
00:05:30 <oerjan> i just have 0.9 proof.
00:05:53 <hppavilion[1]> 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 <shachaf> My object all sublime, / I shall achieve in time -- / To let the punning fit the crime, / The punning fit the crime
00:06:25 <hppavilion[1]> 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 <quintopia> 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:07:13 <quintopia> oerjan: i have 60 proof. want some?
00:07:29 <shachaf> Oh, right, I guess it's 0.45% ABV.
00:07:46 <oerjan> shachaf: is that a quote?
00:08:14 <shachaf> http://themargins.net/anth/19thc/gilbert.html
00:11:50 <quintopia> 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 <oerjan> i've read that the mikado is not racist hth
00:17:00 <shachaf> quintopia: seems unremarkable to me hth
00:17:23 <quintopia> shachaf: as are all old reddit posts, yes
00:17:41 <oerjan> 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 <shachaf> oerjan; i read that it is racist hth
00:18:47 <shachaf> admittedly that was just now in this channel
00:19:54 <quintopia> 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 <Phantom__Hoover> quintopia, well, like, there's some very significant context with blackface
00:27:08 <quintopia> you don't think european colonialism is significant context?
00:34:12 <quintopia> 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 <quintopia> even the character names seem somewhat belittling
00:38:38 <Phantom__Hoover> at what point in your history of the world do the british colonise japan
00:39:27 <quintopia> at what point in your history of this channel do i claim the british colonise japan
00:41:14 <oerjan> quintopia: are you confusing with madama butterfly, or something
00:42:42 <quintopia> i don't think i've ever seen madama butterfly.
00:42:58 <oerjan> i dunno. i've seen neither :P
00:43:12 <oerjan> but afaiu there _are_ no british characters in the mikado.
00:45:12 <boily> I saw Madama Butterfly at the opera. it's one of the best.
00:45:46 <quintopia> oerjan: clearly it's been too long since i saw it
00:46:07 <boily> https://www.youtube.com/watch?v=0f1k14GQmNE
00:46:35 <quintopia> anyone know how to set the spellcheck for OO writer to british spelling?
00:46:57 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ~.: not found
00:48:25 <oerjan> i guess the names are belittling though. btw i don't think "titipu" is a possible japanese word, is it?
00:51:44 <Phantom__Hoover> i think the premise is that it's a satire of british culture disguised as a very lazy charicature of japan
01:00:44 -!- fungot has quit (Ping timeout: 250 seconds).
01:02:56 <oerjan> FUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU
01:04:41 <boily> 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:32 <\oren\> I went to like 10 operas in high school.
01:19:36 <fizzie> Our interwebs went down for a moment there.
01:20:06 -!- fungot has joined.
01:21:27 <fungot> boily: by the way, what's srfi? i seem to have
01:21:32 <oerjan> . o O ( wearing a penguin suit sounds a bit harsh )
01:21:35 <boily> fungot: you seem to do.
01:21:35 <fungot> boily: " he's ordering a weak martini, and the
01:21:46 <boily> fungot: bartender refuses to give it?
01:21:47 <fungot> boily: oh yea that makes much more sense, polish or perl..."
01:22:02 <boily> . o O ( a polish martini? with a gherkin floating in it? )
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 <boily> I'm watching ASMR videos. it's relaxing ^^
01:30:47 <shachaf> `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:57 <shachaf> `mkx bin/spam//line="$(cat /hackenv/tmp/spline)"; sed -n "${line}p" /hackenv/tmp/spout; echo "$((line+1))" > /hackenv/tmp/spline
01:31:46 <HackEgo> <Slereah> EgoBot just opened a chat session with me to say "bork bork bork"
01:31:58 <HackEgo> <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order.
01:31:58 <HackEgo> <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop
01:32:56 <shachaf> `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:18 <HackEgo> 6) <oerjan> what, you mean that wasn't your real name? <Warrigal> Gosh, I guess it is. I never realized that.
01:33:19 <HackEgo> 14) <fungot> 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 <HackEgo> 17) <oerjan> In an alternate universe, ehird has taste
01:37:20 <HackEgo> 18) IN AN ALTERNATE UNIVERSE: <oerjan> In an alternate universe, I would say "In an alternate universe, ehird has taste"
01:37:36 <HackEgo> 22) PA ET ANNET UNIVERSET DER DE ENESTE PERSONEN OERJAN: <oerjan> sa jeg kan bare konkludere med at det er feil, eller er verden helt bonkers
01:37:51 <shachaf> `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:40:41 <HackEgo> #!/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:41:48 <shachaf> Hmm, maybe this thing is a little too spammy.
01:42:22 <HackEgo> p=list('x'*len(w)+'C'*int((341-len(w))/3+1))
01:43:30 <quintopia> spam prints random lines from a spored thing?
01:43:54 <shachaf> It prints them in order, in principle.
01:44:21 <shachaf> fizzie didn't like \ newlines, I believe.
01:44:32 <shachaf> So this is for fizzie, who probably likes spam much more.
01:46:46 <shachaf> `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:52 <HackEgo> 1/1:F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}//" | rnooodl; cat "$F" | rnooodl
01:47:11 <HackEgo> 1/1280:* Phantom_Hoover wonders where the size of the compiled Linux kernel comes from. <cpressey> To comply with the GFDL, there's a copy of Wikipedia in there.
01:47:16 <HackEgo> 2/1280:<Bike> Usually I'd use Rankine, but the fucking weather doesn't support it.
01:47:43 <shachaf> `mkx bin/spore//echo 1 > /hackenv/tmp/spline; cat "${1-/dev/stdin}" > /hackenv/tmp/spout; spam
01:47:52 <HackEgo> 1/1280:<kmc> 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:55 <HackEgo> 2/1280:<hagb4rd> jesus, yes.. he was human <hagb4rd> and that is fantastic <hagb4rd> more than beeing able to speak with fish.. like seaman does
01:48:07 <HackEgo> 3/1280:<elliott> oerjan: if the answer is no then it might as well be yes
01:48:51 <shachaf> There you go, one line saved.
01:52:46 <oerjan> <boily> oerjan: bonkers? <-- i think google translate probably failed at that point.
01:52:50 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bin: cannot execute: Is a directory
01:52:51 <hppavilion[1]> shachaf: To criticize people who make that stupid joke the same way I probably would
01:52:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: gin: not found
01:53:03 <oerjan> boily: it's all rather broken norwegian.
01:53:09 <b_jonas> shachaf: you didn't delete it
01:53:13 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: min: not found
01:53:17 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: tin: not found
01:53:17 <b_jonas> `bin/bin/bin/bin/bin/echo hello, world
01:53:18 <HackEgo> /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 <boily> oerjan: ah, like broken French :D
01:53:36 <shachaf> this is seriously messing up my terminal tdnh
01:53:39 <oerjan> (although i doubt GT is responsible for the missing accents...)
01:54:14 <oerjan> <shachaf> Hmm, maybe this thing is a little too spammy. <-- you think?
01:54:27 <HackEgo> 4/1280:* Phantom_Hoover wonders where the size of the compiled Linux kernel comes from. <cpressey> To comply with the GFDL, there's a copy of Wikipedia in there.
01:54:34 <shachaf> oerjan: whoa whoa whoa, that was the testing phase
01:54:40 <shachaf> Obviously it's going to be spammy during testing.
01:54:51 <oerjan> <shachaf> i see no problems here <-- heh, genuine race conditions
01:55:05 <shachaf> oerjan: What, like the Mikado?
01:55:28 <shachaf> oerjan: Anyway if people are going to be doing tail -n +n etc. they might as well spore it.
01:55:57 <HackEgo> 5/1280:<oerjan> shachaf: wait, _you_ are in northumberland? <shachaf> No. <oerjan> whew <oerjan> we don't have room for more esolangers there. <shachaf> oerjan: Wait, *you* are in Northumberland? <oerjan> no <shachaf> Whew. <shachaf> We don't have room for more esolangers there.
01:56:07 <shachaf> We just need a command to merge a bunch of lines together HackEgo-style and wrap at the IRC line length limit.
01:58:59 <HackEgo> 6/1280:<boily> it's raining in newcastle, therefore the elliotts are distinct. <tswett> boily's Newcastle Theorem.
01:59:13 <boily> I like that `spam tool :D
01:59:56 <oerjan> actually bonkers is probably used a bit in norwegian.
02:00:37 <shachaf> oerjan: What was the line length limit again?
02:00:42 <shachaf> I think you computed it once.
02:01:35 <HackEgo> 2/12:if [ "$1" ] && url "$1" 2>/dev/null # Save making a file when it already exists.
02:01:51 <HackEgo> paste is /hackenv/bin/paste \ paste is /usr/bin/paste
02:02:05 -!- boily has quit (Quit: RIDGE CHICKEN).
02:02:25 <HackEgo> tswett tswett oerjan oerjan elliott ais523 ais523 oerjan oerjan oerjan oerjan shachaf shachaf elliott elliott nitia
02:03:48 <oerjan> <shachaf> 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 <shachaf> oerjan: i already said that hth
02:05:36 <oerjan> shachaf: i think i just answered your question before getting to it in backscroll hth
02:05:38 <shachaf> `` cat bin/paste | /usr/bin/paste -s -d
02:05:39 <HackEgo> â#!/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:11 <shachaf> `` cat bin/paste | tr '\n' ''
02:07:12 <HackEgo> â#!/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 <shachaf> HackEgo: you are not helping
02:08:21 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/paste
02:08:24 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47107&oldid=46694 * 172.249.47.98 * (-18) Golfier!
02:08:46 <shachaf> oerjan: I'm trying to replace newlines in order to create the 350-byte chunks.
02:09:27 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47108&oldid=47107 * 172.249.47.98 * (+13) /* brainfuck */
02:09:56 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47109&oldid=47108 * 172.249.47.98 * (+11) /* brainfuck */
02:10:10 <shachaf> 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 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=47110&oldid=47109 * 172.249.47.98 * (-13) /* brainfuck */
02:11:44 <oerjan> shachaf: thausible. restrict it to ascii?
02:12:08 <shachaf> Well, there's no particularly good ASCII character for it.
02:12:29 <shachaf> And both of the commands I use replace newlines with a character, rather than a string.
02:12:42 <oerjan> shachaf: why not just leave it as newline
02:12:48 <shachaf> I don't even know if it's processing characters or bytes.
02:12:52 <shachaf> oerjan: Then how will spam work?
02:13:07 <shachaf> You're suggesting that spam should never work line-at-a-time.
02:13:35 <oerjan> i wasn't actually getting that point until now, but yeah, it might not.
02:13:37 <shachaf> 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 <shachaf> Well, I guess I'll leave it in your capable hands.
02:14:43 <oerjan> you could just use " \ ", that's what HackEgo does anyway
02:14:54 <oerjan> i have no intention to code this.
02:15:01 <shachaf> OK, but <shachaf> And both of the commands I use replace newlines with a character, rather than a string.
02:15:09 <shachaf> come on, it's just a bit of bash
02:15:52 <shachaf> it's not like exploiting type system bugs
02:17:54 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
02:20:29 <oerjan> <hppavilion[1]> Um... Christianity? Are you sure you can really math? <-- what's the problem with that?
02:21:09 <oerjan> referring to <hppavilion[1]> "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 <oerjan> (i'm just wondering where hppavilion[1] thinks the math error is)
02:23:39 -!- adu has quit (Quit: adu).
02:23:42 <shachaf> oerjan: Is 350 the total length actually printable by HackEgo?
02:24:19 <oerjan> shachaf: if it's ascii. someone said it's actually different if there are other unicode characters.
02:25:43 <oerjan> 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 <shachaf> OK, I'll construct this in /msg, I guess.
02:26:09 <oerjan> or well, probably codepoints.
02:27:28 <shachaf> `` 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:57 <HackEgo> 1/475:<Slereah> EgoBot just opened a chat session with me to say "bork bork bork" \ <Quas_NaArt> Hmmmmmmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order. \ <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop \ <Warrigal> GKenne
02:28:04 <HackEgo> 2/475:thR: he should be told that you should always ask someone before killing them. \ <Quas_NaArt> His body should be given to science. <GKennethR> He's alive :P <GreenReaper> Even so. \ <oerjan> what, you mean that wasn't your real name? <Warrigal> Gosh, I guess it is. I never realized that. \ <SimonRC> TODO: sex life \ <Madelon>
02:29:03 <shachaf> `mkx bin/sport//distort "${1:-/dev/stdin}" | spore
02:29:32 <HackEgo> 1/475:<fizzie> There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] <Taneb> You've just gave me a different result [...] <fizzie> It's always insane to expect different results, even when it's likely to occur. \ Thanks to nooga for constructive criticism
02:29:36 <HackEgo> 2/475:, his ideas and being a constant annoyance. --http://theendisnear.no-ip.info/ \ <quintopia> who is guido van rossum <olsner> you could say he's a man who grew a beard but acquired none of the associated good properties \ <Taneb> Just goes to show, the Beatles are more interesting than green vegetables. \ <Madelon> both of you,
02:29:41 -!- adu has joined.
02:29:59 <HackEgo> 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:34 <shachaf> `` 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:40 <HackEgo> 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 <oerjan> why do you put 330 instead of 350
02:31:18 <shachaf> I wanted to allow for 12345/20000:
02:31:24 <shachaf> And then I subtracted a few more just in case.
02:31:42 <shachaf> In fact I'd appreciate it if you did jam it up to the right value.
02:32:00 <shachaf> `sled bin/distort//s range xrange
02:32:04 <HackEgo> 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 <oerjan> incidentally that numbering scheme does not work very well with quotes which have their own numbers...
02:32:57 <HackEgo> 1/495:1) <Slereah> EgoBot just opened a chat session with me to say "bork bork bork" \ 2) <Quas_NaArt> Hmmmmmmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order. \ 3) <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop \ 4) <Warr
02:33:02 <shachaf> `` allquotes | shuf | sport
02:33:04 <HackEgo> 1/495:154) <Sgeo> 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) <elliott_> I'm not even going to try and understand what you're proposing. <oerjan> i understand it perfectly. it's completely nuts. \ 1229) <oerjan> i guess norway just isn
02:33:08 <HackEgo> 2/495:'t cold \ 1235) <elliott> `addquote <olsner> boily: thanks for getting quoted saying django btw, now I'm only in 87.5% of the django quotes [...] <olsner> ah, the inevitable result of mentioning django \ 1030) <elliott> beautiful summer / massacres in qusayr / sent from my iphone \ 1036) <oerjan> this new apartment stuff has int
02:33:13 <HackEgo> 3/495:eresting side effects: i'm now getting physical spam. \ 325) <zzo38> Learn to be Chinese and kill yourself \ 483) <Phantom_Hoover> I keep asking random people for "friendship <thing>" and it's crippling \ 811) <Fiora> omg <Fiora> that JIT is really amazing [...] <Gregor> I hear if you listen carefully to the rustling wind on a
02:33:17 <oerjan> also, if anyone manages to use more than 2 digits before the slash, they'll probably be kickbanned hth
02:33:37 <shachaf> Well, you can fast-forward with echo n > tmp/spline
02:34:23 <shachaf> `mkx bin/speek//echo "$1" > /tmp/hackenv/spline
02:34:31 <shachaf> `mkx bin/speek//echo "$1" > /tmp/hackenv/spline; spam
02:34:36 <HackEgo> /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) <ais523> theory: some amused deity is making the laws of physics up as they go along \ 1064) <kmc> ah yes, like the parable of jesus feeding the masses with expired jell-o
02:34:39 <oerjan> shachaf: you're splitting in the middle of lines? that could give problems with unicode.
02:34:44 <HackEgo> 5/495:elliott> they're very unlikely to fuck up Xfce, and it can be made to work basically exactly like gnome two \ 1014) <elliott> sometimes i wake up and my name has grown more consonants \ 286) <crystal-cola> I just thought you might have meant the Ramanujan tau and I was WOAH he weilds heavy weapons \ 42) <GregorR> ??? <GregorR>
02:34:57 <shachaf> `mkx bin/speek//echo "$1" > /hackenv/tmp/spline; spam
02:35:03 <HackEgo> 495/495:'t exactly NIH. They have their own variant of it. \ 63) <fedoragirl> My mascot is a tree of broccoli. \
02:35:13 <shachaf> oerjan: feel free to fix it to not do that twh
02:35:56 <shachaf> oerjan: No sarcasm or anything there. It would help.
02:36:05 <shachaf> I mean, not that "twh" is ever sarcastic or anything.
02:36:50 <shachaf> 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:42:07 <shachaf> Or even more than that, really.
02:42:43 <shachaf> Say, just write out as many lines as can fit without breaking.
02:45:25 <shachaf> That would be a better system, really.
02:45:32 <shachaf> Except if there are really long lines.
02:46:14 <HackEgo> 131/495:) <kmc> most things i hear about 'startup culture' set off the poe's law detector \ 1233) <fungot> 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) <Sgeo> Actually, just as a guess, J might be worse than APL because it's restri
02:46:50 <HackEgo> 132/495:cted to normal (ascii?) characters, I guess \ 1174) * Sgeo remembers when he believed VRML could never have gravity. Now VRML is dead. <Sgeo> (And has gravity) \ 827) <Jafet> The world needs better healthcare, social justice and wealth distribution, but a monads library for clojure surely won't hurt \ 956) <boily> it's raining
02:47:24 <shachaf> `` rgrep '' wisdom | sport
02:47:38 <HackEgo> 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 <shachaf> `` cd wisdom; rgrep '' * | sport
02:47:47 <HackEgo> 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:56 <HackEgo> 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 <shachaf> `` allquotes | shuf | sport
04:22:05 <HackEgo> 1/495:143) <fungot> elliott: i like scsh's mechanism best: it's most transparent and doesn't really serve a very useful feature. \ 577) <Pavitra> 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) <Madelon> yay fire! * Madelon combusts spontaneously. \ 1099) <
04:52:06 -!- adu has quit (Quit: adu).
04:55:29 -!- moon_ has joined.
04:56:04 <oerjan> \oren\: what seems to be the problem?
05:05:00 <moon_> Lol should i be happy i wasnt here?
05:05:39 <HackEgo> 2/495:metasepia> `addquote \item <elliott\_> `addquote <olsner> two quotes about quotes about django <olsner> I guess the worst part is that I appear in all three hackego quotes about django \\ <olsner> elliott\_: another quote? you're not helping \texttt{:/} ← and three giraffes. \ 984) <kmc> hm hitler probably did one thing that I
05:06:09 <HackEgo> 3/495: like too <kmc> he banned tubas, I guess I am neutral on tubas <Fiora> oh! he killed hitler <kmc> oh yeah, there we go <kmc> thanks Fiora <Bike> he also killed the guy who killed hitler \ 154) <Sgeo> How much do mainframes cost these days? I mean, they're obsoleteish, right? My notebook's much more powerful? So surely, the
05:06:22 <HackEgo> cat: spam: No such file or directory
05:06:31 <HackEgo> 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 <shachaf> oerjan: vaguely tempted to make a version of sport that's automatically part of ``
05:07:26 -!- adu has joined.
05:07:43 <oerjan> shachaf: then you can implement more
05:08:07 <HackEgo> 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:16 <shachaf> Yes, that's what spore is named after.
05:08:33 <shachaf> Oh. Yes. That was the idea.
05:08:37 -!- adu has quit (Client Quit).
05:11:41 <moon_> A good replacement for more is 'sed '${line}p' '
05:12:39 <oerjan> moon_: well that's why bin/spam uses it?
05:25:27 -!- MDude has joined.
05:29:57 <zzo38> 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 <shachaf> What's the difference between a hamster and a tape?
05:50:59 <HackEgo> 4/495:y're cheap? \ 54) * oerjan swats FireFly since he's easier to hit -----### <FireFly> Meh * FireFly dies \ 1115) <ais523> 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) <olsner> I've seen horses jump on tv, they can probably jum
05:53:15 <HackEgo> 5/495:p in scotland too \ 170) <Sgeo> Oh. Stuff that uses actual physical numbers stemming from science. Bleh *gets bored* \ 734) <elliott> gah <elliott> this language is of the devil <elliott> oklopol: you're meant to use your powers for _good_ \ 190) <asiekierka> GCC: -Os -O2 -O3 gives a 4x improvment \ 236) <zzo38> Why do you wan
06:02:01 <zzo38> shachaf: Maybe it depend what kind of tape, such as audio tape or video tape.
06:02:20 <shachaf> I thought tar archived onto a Turing machine tape.
06:03:00 <shachaf> You have to write your Turing machine code securely.
06:03:06 <shachaf> Otherwise you might get a tapeworm.
06:05:55 -!- adu has joined.
06:09:53 <zzo38> How my "har" program is available at http://zzo38computer.org/prog/har.c it is 2929 bytes long.
06:11:33 <zzo38> I think it is much simpler than tar.
06:13:47 <shachaf> You're serving it with a content-type my browser doesn't recognize, so it not convenient to look at it.
06:14:22 <zzo38> 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:54:17 -!- adu has joined.
07:02:01 <hppavilion[1]> The guy who does Crash Course seems to be the guy who wrote The Fault in Our Stars
07:06:25 -!- moon__ has joined.
07:06:25 -!- moon_ has quit (Read error: Connection reset by peer).
07:15:32 <oerjan> "he was almost alive, but unfortunately slightly off key"
07:15:37 -!- coppro has joined.
07:17:51 <hppavilion[1]> oerjan: "We did what we thought was the best and most merciful thing to do."
07:18:43 <moon__> SHOULD WORK IF I T- caps
07:19:01 <HackEgo> kill: failed to parse argument: 'moon__'
07:19:05 <moon__> I wana know the bitwidth >_<
07:19:41 <moon__> I am not a process, i am a lifeform
07:19:46 <hppavilion[1]> Bearing may be the best youtube channel I have ever encountered
07:19:53 <moon__> Unless we are in the matrix...
07:20:39 <hppavilion[1]> moon__: Technically, a life form is still a process (or, well, a process hierarchy), and someone in the matrix is still a lifeform
07:21:19 <hppavilion[1]> moon__: Then you are not qualified to joke about it.
07:22:20 -!- MDude has changed nick to MDream.
07:22:23 <moon__> It shouldve returned the ;ast cpmmand
07:22:57 <shachaf> And I thought I was being spammy.
07:23:06 <HackEgo> /hackenv/bin/`: line 4: !!: command not found
07:23:17 <shachaf> Can you leave it alone? What you're trying to do won't work.
07:23:24 <moon__> echo "!!" > foo.sh shpuld give the last command in a script..
07:23:24 <shachaf> You can find that out in /msg.
07:24:58 <lambdabot> *** "dank" wn "WordNet (r) 3.0 (2006)"
07:24:59 <lambdabot> adj 1: unpleasantly cool and humid; "a clammy handshake";
07:25:01 <lambdabot> "clammy weather"; "a dank cellar"; "dank rain forests"
07:25:41 <moon__> `` sudo dd if=/dev/mem | cat | strings
07:25:44 <HackEgo> /hackenv/bin/`: line 4: sudo: command not found
07:26:36 <moon__> `` dd if=/dev/mem | cat | strings
07:26:38 <HackEgo> dd: opening `/dev/mem': Permission denied
07:26:47 <hppavilion[1]> shachaf: ...yeah. I figured that this dank has nothing to do with that dank.
07:27:06 <moon__> Its used in the terms of 'old' now dont kill me
07:27:28 <hppavilion[1]> shachaf: Given that patterns of human behavior and copyable activities tend to not be describable in terms of temperature and humidity
07:27:29 <shachaf> 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 <shachaf> "dank" is marijuana slang for "good"
07:28:22 <shachaf> But you can find that out using the Google.
07:29:09 <hppavilion[1]> 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:32:45 <moon__> How come hackego has no lsof
07:32:49 <hppavilion[1]> If the channel has 100 occupants (which it, at this exact moment, does)
07:33:04 <hppavilion[1]> That means that- statistically- 1 person on this channel is hyperrich
07:33:38 <hppavilion[1]> 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 <fungot> 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:34:11 <hppavilion[1]> (I always read fungot expecting fim to make sense and trying to figure out what fe means, but fe never does...)
07:34:11 <fungot> hppavilion[1]: the speed new and faster hardware is developed is just too ugly
07:37:21 -!- adu has quit (Quit: adu).
07:37:46 <moon__> Guys i think i found a zombie maker: ( command & ) (i cant trust all soruces tho)
07:50:18 <HackEgo> 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 <shachaf> What does "lazy expert in future computation" mean?
07:50:54 <oerjan> `` sed -i 's/emeritus/zombie/' wisdom/oerjan
07:51:12 <shachaf> I was going to do something like that.
07:51:52 <oerjan> shachaf: it means i might eventually get around to it if needed hth
07:53:23 <oerjan> https://www.youtube.com/watch?v=w-0TEJMJOhk
07:58:53 <moon__> yes "$(seq 232 255;seq 254 -1 233)" | while read i; do printf "\x1b[48;5;${i}m\n"; sleep .01; done
07:59:51 <moon__> Because on his/her end, it must be really colorful
08:01:09 <moon__> `` yes "$(seq 232 255;seq 254 -1 233)" | while read i; do printf "\x1b[48;5;${i}m\n"; sleep .01; done
08:05:02 <moon__> ;-; dont murder me shachaf
08:05:15 <shachaf> What if you stopped abusing the bot, though?
08:05:45 -!- xkapastel has quit (Quit: Connection closed for inactivity).
08:09:12 -!- lambda-11235 has quit (Quit: Bye).
08:10:53 <HackEgo> !\.´ \ 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:12:50 <oerjan> moon__: why would you expect fizzie to see the output of that
08:13:09 <HackEgo> rm: cannot remove `tmp334234 sysconfval': No such file or directory
08:13:14 <shachaf> `` rm tmp334234 sysconfval
08:13:30 <moon__> Fizzie has admin access to hackego
08:13:44 <shachaf> What if you just stopped doing all those things?
08:14:13 * oerjan brings up an extra lawn chair for shachaf
08:15:08 <shachaf> Hmm, http://codu.org/projects/hackbot/fshg/index.cgi/rev/6576966b7d24 doesn't show the final space.
08:15:37 <shachaf> This suggests that if you wrote a Whitespace program in HackEgo, it wouldn't show up in the commit log.
08:15:48 <shachaf> But you could always look itup in the other log, I guess.
08:18:58 <HackEgo> patching file wisdom/#esoteric \ Hunk #1 FAILED at 1. \ 1 out of 1 hunk FAILED -- saving rejects to file wisdom/#esoteric.rej
08:21:33 <shachaf> oerjan: Anyway you seem like the opposite of a grouch to me.
08:22:42 <oerjan> i could have fooled me.
08:23:01 <shachaf> For example you're pretty welcoming in this channel.
08:23:07 <shachaf> Whereas I seem to be just the opposite.
08:23:09 <HackEgo> #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:24:44 <shachaf> `sled wisdom/#esoteric//s/exists/doesn't exist/
08:24:48 <HackEgo> 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 <shachaf> Not sure that it's appropriate.
08:25:46 <HackEgo> 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 <shachaf> Does "Lately" mean only in the evening and early morning?
08:26:39 <oerjan> well when else am i awake
08:26:58 <shachaf> But I guess that's also covered.
08:27:41 <oerjan> i do not yet recall it popping up in my dreams.
08:29:49 <shachaf> Maybe I should just move to Norway.
08:31:56 <shachaf> 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 <shachaf> Well, maybe somewhat higher.
08:33:21 <shachaf> Oh, but there's a wealth tax.
08:33:30 <shachaf> Not a good place for 1%ers like hppavilion[1].
08:40:33 <oerjan> it's a disputed tax. the current government has got it reduced a bit.
08:40:44 <oerjan> and ideally want to abolish it.
08:45:04 <oerjan> 0.85% of net wealth if i'm reading correctly.
08:45:39 <oerjan> *wealth above 1 200 000 kr
08:47:34 <oerjan> the leftish parties like it because it's about the only direct tax that actually gets anything from rich people.
08:47:52 <oerjan> but we currently have a right wing government.
08:48:33 <coppro> no income tax? or just full of loopholes
08:49:34 -!- olsner has joined.
08:50:07 <shachaf> I used a tax loophole myself this year. It was great.
08:50:59 <coppro> I need to hire a loopholer^Waccountant
08:51:35 <shachaf> What sorts of loopholes do you use?
08:51:42 <shachaf> I didn't use an accountant, though maybe I should've.
08:54:59 <coppro> that's what I want to figure out
08:55:20 <coppro> 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 <shachaf> But you're in Canada, right?
09:03:51 <shachaf> Hmm, RRSP/TFSA looks way better than IRA/401k.
09:03:56 <shachaf> You don't even need loopholes.
09:06:09 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/mk
09:06:37 <HackEgo> 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 <moon__> Airterm for android is really handy
09:28:35 <zzo38> 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:32:07 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/echo-p
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 <HackEgo> [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 <fizzie> 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:36 <b_jonas> `? zygohistomorphic prepromorphisms
10:38:52 <HackEgo> 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 <HackEgo> 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 <HackEgo> me//Me is a proud member of the tEaM.
10:40:01 <b_jonas> 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 <gamemanj> Does boily has a "random quit message" script or something?
13:03:03 <gamemanj> 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 <HackEgo> [wiki] [[Talk:Efghij]] https://esolangs.org/w/index.php?diff=47113&oldid=47012 * Timwi * (+136)
14:36:23 <HackEgo> [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:10:49 <fizzie> @tell gamemanj Sometimes the chicken is appropriate to surrounding context. I've been assuming it's all manual.
15:15:53 -!- Koen_ has joined.
15:15:54 <fizzie> @tell gamemanj You may be interested in the following chicken statistics gathered from my logs: http://sprunge.us/FIcQ
15:16:21 <fizzie> @tell gamemanj As you can see, the vast majority of chickens are as unique as a SNOWFLAKE CHICKEN.
15:26:20 -!- moon_ has quit (Ping timeout: 250 seconds).
15:34:19 <izabera> what's the opposite of falling in love in english?
15:35:22 <quintopia> you have no control...gravity always decides
15:39:03 <Koen_> does this mean one ends up in a state even lower than love?
15:51:05 <fizzie> Second law of something-dynamics.
15:57:22 <izabera> http://www.egillantonsson.com/ related
15:58:57 -!- adu has joined.
16:00:38 <HackEgo> [wiki] [[Special:Log/upload]] upload * Timwi * uploaded "[[File:NUSSPLI (Ackermann function).jpg]]": The NUSSPLI function in [[efghij]].
16:01:27 <HackEgo> [wiki] [[Special:Log/move]] move * Timwi * moved [[File:NUSSPLI (Ackermann function).jpg]] to [[File:Efghij — NUSSPLI function.jpg]]
16:03:03 <HackEgo> [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 <HackEgo> [wiki] [[Efghij]] https://esolangs.org/w/index.php?diff=47119&oldid=47118 * Timwi * (+1760) Restructure
16:26:00 <HackEgo> [wiki] [[Efghij]] https://esolangs.org/w/index.php?diff=47120&oldid=47119 * Timwi * (+15)
16:33:32 -!- Moon_ has joined.
16:36:10 <HackEgo> [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:49:35 -!- Koen__ has joined.
16:51:01 -!- Koen_ has quit (Ping timeout: 240 seconds).
16:54:22 -!- s1nceri7y has joined.
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 <int-e> doesn't look familiar
18:27:41 <izabera> you're thinking of the downto operator -->
18:28:30 <int-e> why? it's "greater than or equal"
18:28:48 <int-e> and if you want mirror images, I'd rather have =< than =>
18:29:47 <int-e> or do you want an assignment operator corresponding to <?
18:29:54 <int-e> ... that doesn't seem very useful.
18:30:45 <\oren\> hmmm honestly they shoukd have[made : the assignment iperator
18:31:14 <int-e> ah, the keyboard alignment problems continue
18:31:46 <\oren\> and defined a 'operator combining syntax' explicitky
18:33:16 -!- AnotherTest has joined.
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 <ybden> \oren\: also >>= is a great C++ operator
18:40:05 * ybden recalls seeing someone overloading >>= to do binding in C++ somewhere
19:00:28 <HackEgo> 6/495:t to have sex in everything? I don't want. \ 790) <Phantom__Hoover> the scene: it is a warm summer's day in scotland, although one obscured by cloud and the fact that it is september \ 80) <AnMaster> fungot!*@* added to ignore list. <fungot> AnMaster: i'd find that a bit annoying to wait for an ack. \ 832) <shachaf> Do physici
19:00:47 <HackEgo> 7/495:sts have half-life crises? \ 670) <Phantom_Hoover> "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," <Phantom_Hoover> OK I need to become a pyrotechnician. <ais523> Phantom_Hoover: that's like wanting to become a locksmith <ais523> 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 <Koen_> \oren\: what's the difference between <> and >< ?
19:07:16 <gamemanj> <.> means you're confused, >.< means you're annoyed
19:07:29 <izabera> <> 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 <int-e> <> has precedent in Pascal, IIRC
19:16:02 <gamemanj> fizzie: I'm now wondering what a ░▒▓█▓▒░ chicken is
19:16:20 <gamemanj> is it an evil-eye'd chicken, or is there a deeper meaning?
19:17:12 <gamemanj> izabera: So that's why BASICs are now extinct creatures!
19:17:24 <gamemanj> (Or at least an endangered species...)
19:18:14 <gamemanj> 2. VB has been mutated into something very-not-BASIC
19:18:44 <gamemanj> (and besides, it's a Microsoft product, of course it has diamonds)
19:18:51 <myname> well, msoffice uses vba
19:18:58 <gamemanj> (...just expect the diamonds to be made out of glass...)
19:19:15 <int-e> window glass, hmm?
19:19:26 -!- `^_^v has joined.
19:19:52 <zzo38> 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 <gamemanj> int-e: No, the really poor-quality stuff
19:21:40 <gamemanj> zzo38: You'll probably want to try actually using a recorded NTSC signal
19:22:32 -!- Koen__ has joined.
19:22:40 <zzo38> gamemanj: I don't have any.
19:25:10 -!- Koen_ has quit (Ping timeout: 244 seconds).
19:25:16 <zzo38> I mean it is hardly even close, even if I tamper with the phase and finetune settings.
19:27:14 <gamemanj> Yes, but how are you exactly decoding from a picture?
19:29:11 <zzo38> It expects a grayscale picture as input (it pays attention only to the red channel)
19:37:39 <zzo38> 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 <zzo38> 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 <gamemanj> You have reg, green and blue...
19:45:15 <gamemanj> Looking at it, you have Cyan, it's just dark and desaturated.
19:45:36 <gamemanj> You also have yellow, but it's also dark and desaturated.
19:47:44 <zzo38> Is that due to the pattern I am using as input? I will try a different input
19:49:23 <zzo38> Do you have a NTSC version of those pictures?
19:50:19 -!- hwpplayer1 has joined.
19:51:51 <zzo38> 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 <gamemanj> zzo38: I'm not an NTSC expert. Again, what's really needed is a recorded signal...
20:04:51 <gamemanj> Technically, all that's needed is one or two frames at 18-or-so Mhz.
20:05:15 <gamemanj> Assuming I'm not completely wrong.
20:05:28 <gamemanj> Trouble is, you can't exactly use a sound card to capture that.
20:05:35 -!- FreeFull has joined.
20:06:24 <pikhq> Yeah, you'd need a beefier ADC. Like an SDR or something.
20:06:53 <pikhq> I say SDR because you could just get one.
20:07:09 <gamemanj> assuming it captures fast enough...
20:07:11 <pikhq> Though you'd probably wanna skip the radio frontend if you're doing composite in.
20:07:16 <gamemanj> I know where you could get a signal
20:07:29 <gamemanj> just a matter of where the URL was...
20:07:44 <gamemanj> http://websdr.ewi.utwente.nl:8901/
20:07:48 <pikhq> It would. At least, some SDRs are perfectly capable of handling a 6 MHz signal.
20:08:11 <pikhq> The problem with that is, analog NTSC is not broadcast in the Netherlands. :)
20:13:08 <gamemanj> If there are any in the right range...
20:13:55 -!- AnotherTest has joined.
20:14:09 <gamemanj> ...it's like as if they're taking special care not to hit those ranges
20:20:22 -!- PinealGlandOptic has joined.
20:20:31 <HackEgo> #!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl
20:21:35 <HackEgo> lrwxrwxrwx 1 50000000 0 5 Dec 9 04:12 bin/' -> quote
20:23:18 <shachaf> `mkx bin/1 \` "$@" | sport
20:23:20 <HackEgo> usage: mk[x] file//contents
20:23:26 <shachaf> `mkx bin/1//\` "$@" | sport
20:23:51 <shachaf> `1 for i in {1..1000}; do echo $i; done
20:23:54 <HackEgo> 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:58 <HackEgo> 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 <shachaf> lynn: foiled by the nooodl
20:24:37 <Koen__> what's with the ones ?
20:25:42 <HackEgo> 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:55 <HackEgo> 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:04 <HackEgo> 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 <shachaf> Might make sense to upgrade ` to do it automatically.
20:30:34 <HackEgo> ` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 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:48 <HackEgo> #!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl
20:31:44 <HackEgo> perl -pe 's/([^wW\W])\1\1/"@{[$1 x(3+rand 7)]}"/ge'
20:35:09 -!- AnotherTest has quit (Ping timeout: 260 seconds).
20:36:10 -!- adu has joined.
20:36:55 -!- `^_^v has quit (Quit: This computer has gone to sleep).
20:37:44 <int-e> `aaaaaaaaa How useful!!!!1
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 <coppro> \oren\: how comes the emoji?
21:16:05 -!- spiette has quit (Quit: :qa!).
21:25:49 <lynn> 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 <shachaf> lynn: what's a "fancy finite automata fact"
21:37:17 <lynn> {w | w contains an equal number of occurrences of the substrings 01 and 10} is regular!
21:37:45 <lynn> That's a nice little "wait, what?" moment.
21:37:55 <gamemanj> shachaf: Finite automata run your computer.
21:38:50 <shachaf> gamemanj: maybe they run your computer hth
21:39:00 <shachaf> lynn: Is the alphabet of size 2 or arbitrary?
21:39:10 <gamemanj> shachaf: they run most computers
21:39:16 <lynn> Oh, Σ = {0, 1}.
21:39:37 <gamemanj> Now, admittedly although it's finite, the amount of possibilities is huge...
21:39:41 <myname> well, the dfa is pretty easy
21:39:44 <gamemanj> but that does not change that it is a finite automata.
21:40:31 <lynn> Right. Once you think about what its strings look like, the DFA/regex writes itself
21:40:55 <lynn> But from its description, it sounds non-regular, because it's "counting".
21:50:43 <izabera> 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:46 <HackEgo> 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 <b_jonas> what does " ea " mean there?
22:06:34 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:06:45 <b_jonas> that doesn't look as bad as some of the recipes by the way
22:06:57 -!- gamemanj has quit (Ping timeout: 260 seconds).
22:07:03 <b_jonas> \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:53 <HackEgo> 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:02 <HackEgo> 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 <izabera> the hello world in libgccjit takes .3s to run :(
22:58:11 <izabera> 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:53 <HackEgo> 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 <boily> 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 <rntz> (call/cc (lambda (x) (call/cc (lambda (y) (x y)))))
23:23:43 <HackEgo> rntz: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
23:24:17 <rntz> what was the purpose of that? :P
23:24:29 <shachaf> Have you been welcomed here before?
23:26:11 <b_jonas> and if so, with rainbow or without?
23:29:27 <boily> what are your approximate coördinates and body weigh? what do you think about roast beef?
23:29:31 <shachaf> I wonder whether lem is a better primitive than callCC.
23:30:22 <HackEgo> Stanisław Lem was a Polish logician who discovered the law of excluded middle.
23:30:47 <shachaf> rntz: How do you express (callCC callCC) in Haskell?
23:31:11 * boily 's brain suddenly hurts...
23:31:15 <shachaf> rntz: Oh, based on what you said in the other channel you're probably thinking the same thing.
23:32:39 <boily> there are other channels?
23:32:47 <HackEgo> #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 <rntz> shachaf: lem is definitely not a better primitive than call/cc
23:33:32 <rntz> let/cc might be better than call/cc
23:33:39 <zzo38> 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 <rntz> but that's basically a matter of style
23:33:42 <shachaf> Wait, which one is let/cc?
23:33:47 <shachaf> Is that just the macro with the built-in binder?
23:33:51 <shachaf> Or is it the one that lets you do recursion?
23:33:59 <rntz> let/cc x in e = call/cc (lambda x. e)
23:34:36 <boily> @ask oerjan hellørjan. can I grow hot peppers on your northern lawn?
23:34:38 <shachaf> @let letCC = callCC (return . fix)
23:35:10 <shachaf> Maybe it should be called getCC.
23:35:25 <shachaf> @let getCC = callCC (return . fix)
23:38:02 <shachaf> monochrom calls it setjmp in https://www.vex.net/~trebla/haskell/cont-monad.xhtml
23:39:31 <zzo38> There is also setjmp command in C
23:40:21 <rntz> yes, that's presumably the origin of the name
23:40:39 -!- yorick_ has changed nick to yorick.
23:40:43 <rntz> although I suspect this "setjmp" is a little more powerful
23:40:57 <shachaf> Don't you think the Either in lem is nice?
23:41:51 <shachaf> > (`runCont` id) $ do { e <- lem; case e of Left k -> k 5; Right x -> return x }
23:43:06 <zzo38> I did also did it like that.
23:43:43 <rntz> shachaf: you mean, as opposed to just bare (call/cc call/cc)? yes
23:43:52 <rntz> shachaf: or do you mean, as opposed to having call/cc as a primitive?
23:44:01 <shachaf> As opposed to having call/cc as a primitive.
23:44:23 <shachaf> I also wondered whether dne is a better primitive.
23:44:50 <rntz> 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 <rntz> (it's like 2 pages long, I haven't actually finished/figured out the "adjoint" part of it)
23:45:42 <shachaf> Adjoint logic? Sounds a bit wholesome.
23:46:49 <shachaf> Hmm, this logic is very classical.
23:47:13 <rntz> yyyes, that is the point
23:50:51 <shachaf> I agree that that symmetry is pretty nice.
23:51:15 <shachaf> Is there a dual version with no introduction rules?
23:51:48 <rntz> But I'd have to go work it out
23:52:10 <shachaf> Or is there some version of this for linear logic?
23:52:30 <rntz> hm, that I definitely don't know
23:52:51 <rntz> there are one-sided presentations of classical linear logic
23:52:59 <rntz> which makes me suspect there might be something like this
23:53:49 <rntz> I wonder what the classical-linear equivalent of contradiction (#) is
23:54:16 <rntz> (hell, there might even be more than one, linear logic is strange)
23:56:33 <shachaf> This is confusing because in ASCII you often write par as #.
23:56:59 <shachaf> Anyway, in linear logic, LEM is true with par.
23:58:37 <shachaf> I bet if I learned enough about Chu spaces I would know.
23:58:42 <shachaf> Do you know about Chu spaces?
23:59:04 <HackEgo> A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.