00:06:57 the pooch-turtle theory of gravitational collapse 00:10:20 -!- hppavilion[2] has joined. 00:14:55 -!- tromp has joined. 00:18:01 Marketing seems like it would be less fun than engineering 00:18:24 In marketing, the phrase "what if we just...?" is not applicable nearly as often 00:19:42 -!- tromp has quit (Ping timeout: 260 seconds). 00:19:51 hppavilion[2]: hppavellon[1]. please github me your username. your codoctor is particularly nasty hth 00:21:31 boily: Nice try. 00:21:37 -!- hppavilion[2] has changed nick to hppavilion[1]. 00:21:46 * hppavilion[1] wonders if boily has tried google 00:22:06 boily: Also, "my codoctor is particularly nasty"? 00:22:31 in soviet russia, the evidence codoctors you hth 00:22:50 `? soviet russia 00:22:51 soviet russia? ¯\(°_o)/¯ 00:24:24 `le/rn soviet russia/¯\(°_o)/¯ soviet russia? 00:24:28 Learned «soviet russia» 00:24:52 `` ls wisdom/*rus* 00:24:53 wisdom/brontosaurus \ wisdom/lystrosaurus \ wisdom/russell's teapot \ wisdom/russia \ wisdom/rust \ wisdom/soviet russia \ wisdom/the torus \ wisdom/torus 00:24:58 hppavilion[1]: you are the one who added the codoctorwisdom. you are responsible for it. 00:25:00 Taneb: how do you feel about about being confused with a jackal twh 00:25:08 Taneb's a jackal? 00:25:08 `` ls wisdom/*sovi* 00:25:09 wisdom/soviet russia \ wisdom/soviet union 00:25:29 boily: Oh, on the subject of LaTeXifying it 00:25:39 boily: You could have appended "to LaTeX" 00:25:57 boily: i've always assumed so 00:26:05 since the hebrew word for jackal is "tan" 00:26:20 but i didn't realize i'd always assumed so until just now 00:26:25 boily: You're welcome. Maybe you should stop using LaTeX because of Knuth's stupid crusade against Blackboard Bold and use some more good format 00:26:26 and -eb is is a Hebrew suffix for "like a jackal"? 00:26:44 * boily thwacks hppavilion[1] for spouting heresies 00:27:14 * hppavilion[1] uses deflect. It's META-effective 00:27:22 what crusade, i've use blackboard bold in LaTeX many times 00:27:30 *+d 00:27:46 @metar KOAK 00:27:46 KOAK 142253Z 29017KT 10SM FEW025 FEW200 18/07 A3013 RMK AO2 SLP204 T01780072 PNO 00:28:07 oerjan: How!? 00:28:23 \mathbb{...} 00:28:37 oerjan: I mean blackboard bold beyond \mathbb C, R, Z, Q, and A (I think A is an option) 00:28:39 might require a package. 00:28:39 @metar PANC 00:28:40 PANC 142253Z 16003KT 10SM FEW065 SCT120 SCT200 11/M01 A2961 RMK AO2 SLP026 SH DSNT N T01111011 00:28:48 OKAY 00:28:50 PANC? 00:29:00 hppavilion[1]: pretty sure N is included. 00:29:03 oerjan: AMS math includes it (much to Knuth's dismay, I imagine), but only the common ones 00:29:04 Ted Stevens Anchorage International Airport 00:29:06 oerjan: Oh, yeah, N 00:29:06 * boily sings to some cute touhou remix ”la la la la la ♪“ 00:29:12 boily: ... 00:29:29 Wait, not boily 00:29:31 shachaf 00:29:35 shachaf: How? 00:29:46 How what? 00:29:52 shachaf: Ted Stevens. How? 00:30:02 HOW DID YOU FIND ME DAMMIT 00:30:26 I HAVE TRAVELED TO THE ENDS OF THE EARTH TO CONCEAL MYSELF and it was just a coincidence, wasn't it? 00:30:28 why does everything have to be about you 00:30:45 hppavilion[1]: what am I not? 00:30:47 Actually I got it from your Github profile. 00:30:54 boily: shachaf 00:30:58 shachaf: Oh. 00:31:00 Wait, what? 00:31:16 shachaf: wtf does GitHub have that information? 00:31:19 hppavilion[1]: it could have had _something_ to do with your mention that you're in anchorage. 00:31:22 oh, github! plase to gib me hppavilion[1]username for graet good! 00:31:25 the other day. 00:31:37 Is it in some repo? 00:31:45 oerjan: i missed that 00:32:11 Ah, it says I'm in Alaska on the profile 00:32:19 I'll change it to East Virginia if that's possible 00:32:31 the truth is out there 00:32:43 Did you know Ted Stevens or something? 00:33:03 shachaf: ...maybe 00:33:12 shachaf: But only in his dying moments. 00:33:35 was he your grandparent 00:33:38 is that a murder confession. 00:33:55 Needless to say, they are still trying to figure out how I convinced air traffic control I was a pilot. 00:34:04 (And who it was that did that) 00:34:15 . o O ( hmm... should I put "deniability" in the things chapter, or the tanebventions one... ) 00:34:22 isn't east virginia just... virginia 00:34:27 Phantom_Hoover: No? 00:34:36 Phantom_Hoover: It's east of virginia 00:34:44 `? deniability 00:34:44 Phantom_Hoover: And west of west virginia 00:34:45 Deniability was not invented by Taneb. 00:34:49 Huh. 00:34:52 ic 00:35:03 `tomfoolery ic 00:35:04 I must confess, I know not of what you are speaking. 00:36:13 `? ic 00:36:15 ic what you did there. 00:36:36 oerjan: There we go 00:36:42 `? virginia 00:36:45 virginia? ¯\(°_o)/¯ 00:37:04 When I played Worms when I was young, when one side would win, its worms would say "Victory!". 00:37:22 But I thought they were talking about Queen Victoria. 00:37:35 I didn't understand why. 00:37:39 `? victoria 00:37:40 victoria? ¯\(°_o)/¯ 00:37:58 `learn Victoria was the most victorious queen the world has ever known. 00:38:05 Learned 'victoria': Victoria was the most victorious queen the world has ever known. 00:39:21 `le/rn victoria/Queen Victoria is the most victorious queen the world has ever known, even having won at the not dying contest. 00:39:25 Relearned «victoria» 00:39:40 rele/rn 00:39:58 hppavilion[1]: wat. 00:40:09 please refrain from learning things while I update the PDF hth. 00:40:14 oerjan: It's an OK joke 00:40:27 boily: I'm sorry, I cannot properly integrate that information for some reason. 00:40:46 if you give me your github username, it'll help the matter hth 00:40:47 hppavilion[1]: it feels like a reference to something i have never seen. 00:41:05 boily: HAVE YOU TRIED GOOGLING hppavilion[1] 00:41:12 oerjan: It does, but it isn't 00:41:24 -!- p34k has quit. 00:41:35 oerjan: The closest thing to a reference it is is the idea of being able to play a game against death where the stakes are mortality 00:41:45 hppavilion[1]: YES, AND IT DIDN'T WORK. *mumble grumble* 00:41:57 @google hppavilion[1] github 00:41:58 https://github.com/cmatsuoka/codecgraph/blob/master/samples/hp-pavilion-dv7.txt 00:42:04 @google hppavilion[1] github account 00:42:05 https://github.com/magento/magento2/issues/3407 00:42:12 @google "hppavilion[1]" on github 00:42:13 https://github.com/ZodiacWorkingGroup/TaurusVM/blob/master/README.md 00:42:19 @google who is "hppavilion[1]" 00:42:20 http://www.reddit.com/user/hppavilion 00:42:28 boily: Hint: When I first joined #esoteric, I didn't have the brackets 00:42:42 shachaf: Apparently, I'm on reddit 00:42:55 everybody's on reddit. 00:42:59 boily: Though I have a feeling you've already found me 00:43:03 even oerjan 00:43:13 boily: Even fungot? 00:43:51 especially fungot. 00:43:52 no, fungot is just on twitter. 00:43:58 fungot isn't even on irc 00:44:03 fizzie: FUNGOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOŐOOOOOOOOOT! 00:45:00 What's a got, anyway? 00:45:11 @wn got 00:45:13 No match for "got". 00:45:20 nothing, apparently. 00:45:22 And what is the standard entertainingness of normal a got? 00:45:52 s/normal a/α-normal/ 00:45:58 * oerjan feels like giving hppavilion[1] a CAPTCHA. 00:46:23 oerjan: Bots don't make up words 00:46:28 oerjan: "entertainingness" 00:46:31 `words 00:46:40 shachaf: Coherent words 00:46:45 toibilio 00:47:01 . o O ( we need a bot to send HackEgo commands so it stays responsive ) 00:47:07 `words 20 00:47:11 lingpoirt dely horney atorbyllico saary foder hize kaisat reedici reba clar craw pably reuthesin gefa poassion ancr age latum scure 00:47:16 `coins 00:47:22 oerjan: Good point 00:47:34 oerjan: But what happens when PokeEgo starts to lag? 00:47:36 merintcoin kaycoin forcoin beartrovcoin xxvicoin concoin mechocoin crarcoin ]coin cadmiruntcoin mixingcoin lazcoin rocercolahcoin friecoin slycoin byterivincoin rffcoin brazempocoin 39.3coin attacoin 00:48:03 @coin 00:48:03 Not enough privileges 00:48:04 hppavilion[1]: shouldn't be a problem if we just avoid cloudatcost 00:48:17 @coon 00:48:17 Not enough privileges 00:48:20 i prefer cloudabovecost 00:48:23 @coop 00:48:23 Unknown command, try @list 00:48:41 shachaf: What about cloudisomorphictobutnotequivalenttocost? 00:48:49 hmph privileged commands don't get spell corrected i think 00:49:01 i don't know what isomorphism of cost is 00:49:10 @poin 00:49:10 Maybe you meant: pointful pointless pointy join 00:49:19 @join 00:49:20 Not enough privileges 00:49:21 shachaf: I don't know what isomorphism is strictly, so I'm going to go google it 00:49:23 maybe that one 00:49:35 oh it was corrected but too far 00:50:11 @quote 00:50:11 Enigmagic says: this calls for mfix and some tequila 00:50:18 @quite 00:50:18 Maybe you meant: quote quit 00:50:24 shachaf: Well, an isomorphism is a type of homomorphism 00:50:35 shachaf: And homomorphisms map between algebraic structures 00:50:37 Hm... 00:50:39 @nuit 00:50:39 Not enough privileges 00:50:44 Cryptocurrency based on higher mathematics? 00:52:13 that's tromp_'s area 00:52:31 Wait, cryptocurrency is crypto- as in cryptography, not crypto- as in cryptozoology 00:52:42 So it'd be an esocurrency 00:55:16 A currency where units are higher-order functions rather than integers? 00:57:20 `coins 00:57:48 infuckcoin rntnacoin raysnaircoin oriconcoin giblecoin wtfcoin xsmcoin judecoin bincoin flabtycoin 2-illumcoin msitiocoin stantioncoin rincoin alemichinercoin condiacoin kelectcoin blaugyonemibblinel-peturesparcoin jothenameofthecoin norcoin 00:57:58 ♪ DING ♪ D, E, and F! 01:08:10 <\oren\> i want a currency fixed to the value of plutonium 01:08:35 <\oren\> for mythological reasons 01:08:36 \oren\: That can be done. 01:09:16 \oren\: Though would prefer rikj ("Rick J.") currency. 01:09:26 \oren\: he\\oren\. 01:09:35 \oren\: why mythological system, and why? 01:09:48 Hm... 01:10:31 * oerjan thinks infuckcoin could catch on. 01:11:26 A cryptography system where a message is encrypted in such a way that the output message is variable by key used, so you plug in two messages (m, n) and two public keys (k, l) and it produces a cyphertext which when decrypted with k produces message m and when decrypted with l produces message n 01:12:19 WITH the property that one message can't be used to decrypt other messages 01:12:27 Preferably, you could have an infinite number of messages assigned to keys 01:13:18 This would be useful somehow and for some reason, I'm sure 01:13:40 Doublehashing is also of interest 01:13:49 Oooh, commutative doublehashing 01:14:07 That's actually potentially useful 01:14:12 Take two values X, Y and produce a hash H 01:14:27 Where swapping X and Y still produces H 01:15:14 \oren\: Any idea what commutative bihashing could be useful for? 01:15:26 (Or is it already a thing?) 01:19:44 oerjan: how about jothenameofthecoin 01:19:47 oerjan: and bincoin 01:20:17 norcoin: Nortti's Coin. 01:20:32 jothenameofthecoin is pretty good. 01:20:39 `` echo nooodlcoin 01:20:44 noooooodlcoin 01:21:53 boily: norcoin is based on NOR as its encryption algorithm 01:22:28 shachaf: but- how- except- what? 01:22:32 `` cat nooodlcoin 01:22:33 cat: nooodlcoin: No such file or directory 01:22:46 That sounds like an exceptional crypto algorithm. 01:22:48 `cat waaaalrus 01:22:49 cat: waaaalrus: No such file or directory 01:22:53 pikhq: It is. 01:23:05 Almost as good as 2ROT13. 01:23:14 pikhq: 2ROT13? 01:23:41 2 rounds of ROT13, of course. 01:23:57 . o O ( time to start going back to `run ) 01:24:00 pikhq: NOR is actually better because many messages are undecipherable 01:24:08 `` echo waaaalrus 01:24:09 waaaalrus 01:24:15 `` echo waaalrus 01:24:16 waaalrus 01:24:19 `` echo nooodl 01:24:20 noooooooodl 01:24:29 shachaf: HOW. HOW ARE YOU DOING THAT. 01:24:32 `cat echo 01:24:33 cat: echo: No such file or directory 01:24:37 `cat bin/echo 01:24:40 cat: bin/echo: No such file or directory 01:24:43 Didn't think so 01:24:51 `` which echo 01:24:53 /bin/echo 01:25:03 ``cat /bin/echo 01:25:03 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `cat: not found 01:25:08 `` cat /bin/echo 01:25:09 âELF............>.....¤@.....@.......b..........@.8..@.........@.......@.@.....@.@.....ø.......ø....................8......8@.....8@............................................@.......@.....W......W........ ............à]......à]`.....à]`.....°......`........ ...........ø]......ø]`.....ø]`.....à.......à................ 01:25:12 ...oh 01:25:23 `` echo -n 'noo' > /tmp/file; echo 'dl' > /tmp/file; cat /tmp/file 01:25:25 dl 01:25:28 oops 01:25:32 `` echo -n 'nooo' > /tmp/file; echo 'dl' >> /tmp/file; cat /tmp/file 01:25:33 nooodl 01:25:35 hm 01:25:36 `` echo -n 'nooo' > /tmp/file; echo 'dl' >> /tmp/file; cat /tmp/file 01:25:37 nooodl 01:25:43 `` echo -n 'nooo' > /tmp/file; echo 'dl' >> /tmp/file; cat /tmp/file 01:25:44 noooooooodl 01:25:47 there we go 01:25:59 even objdump -d -M intel /bin/echo 01:26:13 Whoops 01:26:22 `` objdump -d -M intel /bin/echo 01:26:25 \ /bin/echo: file format elf64-x86-64 \ \ \ Disassembly of section .init: \ \ 0000000000400ff8 <.init>: \ 400ff8:48 83 ec 08 sub rsp,0x8 \ 400ffc:e8 cf 07 00 00 call 4017d0 <__ctype_b_loc@plt+0x530> \ 401001:48 83 c4 08 add rsp,0x8 \ 401005:c3 ret \ \ Disassembly of s 01:26:33 `` stat /bin/echo 01:26:34 File: `/bin/echo' \ Size: 27008 Blocks: 56 IO Block: 1024 regular file \ Device: bh/11dInode: 393111 Links: 1 \ Access: (0755/-rwxr-xr-x) Uid: ( 0/ UNKNOWN) Gid: ( 0/ UNKNOWN) \ Access: 2016-04-14 17:00:49.000000000 +0000 \ Modify: 2013-01-26 21:07:42.000000000 +0000 \ Change: 2014-01-29 02:35:46.000000000 +0000 01:26:47 shachaf: ? 01:27:05 just looking for the mtime 01:27:26 `` echo $random 01:27:28 No output. 01:27:33 `` echo "$random" 01:27:34 No output. 01:27:37 Hm... 01:27:42 `` echo "random number: $random" 01:27:43 random number: 01:27:46 Huh 01:27:54 `` echo "random number: $RANDOM" 01:27:56 random number: 9596 01:28:02 `` echo "random nooodl: $NOOODL" 01:28:03 random noooooodl: 01:28:21 `` grep nooodl wisdom/* 01:28:22 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ wisdom/noooooodl:noooodl is the correct spelling \ wisdom/pho:Phở is a Vietnamese soup invented by noooooodl to stress-test implementations of Unicode combining characters. \ Binary file wisdom/reflection matches 01:28:24 `roll d20 01:28:25 /hackenv/bin/roll: line 17: ((: 0 < : syntax error: operand expected (error token is "< ") \ 0 01:28:29 d20 01:28:29 shachaf: 19 01:28:33 d20 01:28:34 hppavilion[1]: 10 01:28:37 d15 01:28:37 hppavilion[1]: 7 01:28:40 d100000000000 01:28:40 hppavilion[1]: 40126895856 01:28:48 d0 01:28:55 d-20 01:28:57 di 01:29:00 d1 01:29:00 hppavilion[1]: 1 01:29:02 d1 01:29:02 hppavilion[1]: 1 01:29:10 `` cat wisdom/reflection /tmp/nooodl 01:29:11 cat: /tmp/nooodl: No such file or directory \ cat.wisdom/reflection./tmp/nooooooooodl. 01:29:24 d20+20i+20j+20k+20ij+20ik+20jk+20ijk 01:29:41 d20x30 01:29:52 d2*10^90 01:30:19 d9 01:30:19 hppavilion[1]: 9 01:30:25 WHAT ARE THE ODDS. 01:30:29 > 1/9 01:30:30 0.1111111111111111 01:30:33 THOSE ARE THE ODDS 01:30:39 THAT WAS EASY. 01:30:53 shachaf: i think hppavilion[1] may have passed on to the next subject 01:31:00 oerjan: it happens 01:31:46 d1+d2+d3 01:31:46 oerjan: 1 + 2 + 3 => 6 01:31:50 If one were to make a super-TC ASM, what kinds of instructions would need to be added? 01:32:13 shachaf: it happened _again_. marvelous, isn't it. 01:32:23 Where "take a program stored in memory and jump if it halts for a given input" is against the rules 01:32:32 i think oerjan may be making fun of you hth 01:32:40 shachaf: He's right at least. 01:33:19 oerjan: Basically, what is the simplest ASM instruction that /isn't/ dirty and over-specified that makes that ASM super-TC? 01:33:21 * boily prods oerjan with his mapole 01:33:28 i'm also making fun of shachaf's futile attempts at demonstrating the answer to the previous subject hth 01:33:46 (I formally defined "dirty and over-specified" yesterday for the folks on ##math, but I seem to have misplaced the link) 01:34:39 hppavilion[1]: DOESITHALT hth 01:34:52 oerjan: That counts as dirty and overspecified 01:35:03 BUSYBEAVER 01:35:39 oerjan: "Dirty and overspecified" is defined as "solves a single high-level decision problem and closely related problems instantly" 01:35:53 Among other things 01:36:12 oerjan: So BUSYBEAVER and DOESITHALT are both D&OS 01:36:37 hppavilion[1]: what about twoducks-like time travel, then. 01:37:37 WINDBACK, perhaps 01:37:51 returns to a previous time 01:38:17 i suppose it should also give a result there, like a continuation 01:39:16 hm not quite sure if that's super-TC 01:39:27 might just be feather-like 01:39:41 whoa whoa whoa 01:39:54 Someone in another channel reminded me of Vortex Math. 01:39:57 https://www.youtube.com/watch?v=zhBymLCRIU8 01:40:05 It's so great. 01:40:12 oerjan: That is satisfactory 01:40:17 * oerjan sidles away from link 01:40:31 oerjan: come come, don't be afraid of links! 01:40:33 oerjan: but it's so wonderful 01:40:49 AAAAAAAAAAA 01:40:52 (click) 01:41:39 oerjan: I don't think it's super-TC, because you could just record the program state at every moment in time up until now. 01:42:08 oerjan: What you need for super-TC is one that can jump into the future (without doing the computation in between) 01:42:43 Or somethign 01:43:33 oerjan: If the FUCKAROUND command can deal with program-that-has-halted, it may be super-TC 01:43:38 * oerjan gets bored and quits before getting to actual "math" 01:43:57 oerjan: so you're saying you watched it to the end? 01:44:24 i put the quotes on on purpose. 01:44:27 oerjan: Wait, WINDBACK doesn't work, but SENDBACK does 01:44:57 SEND v a t sets the value at address a to v at the t'th execution step 01:45:33 oerjan: ok maybe i didn't make it clear what kind of video it was when i linked it 01:46:09 hppavilion[1]: https://esolangs.org/wiki/TwoDucks 01:46:19 oerjan: Yes, I'm at TwoDucks 01:46:33 shachaf: "boring" hth 01:46:43 oerjan: WINDBACK is just Feather, but SENDBACK can set a value before it has been computed 01:47:12 oerjan: WINDBACK just needs you to save the current program state at every point in execution 01:47:50 oerjan: Speaking of super-TCness, I had an awesome idea. Did I tell you about it? 01:48:04 yes, then i promptly forgot. 01:48:09 (No, I'm not becoming a crank. This isn't about making a super-TC machine) 01:48:13 oerjan: OK, then I'll tell you again 01:48:18 oerjan: Phase 1 01:48:30 * oerjan prepares the amnesiac machine 01:49:14 Design and implement a relatively simple (but, for one not exposed to esolangs in prior, novel and interesting and seemingly useful) programming language 01:49:55 oerjan: It should be based off of a carefully-designed abstract machine, perhaps one that seems almost TC but isn't 01:50:04 Phase 2 is to devise a solution to the halting problem for this machine, 01:50:08 oerjan: hppavilion[1]'s a class D? 01:50:23 boily: wat 01:50:28 oerjan: SCP 01:50:35 oerjan: Then to implement this algorithm 01:50:48 For the language. 01:50:51 boily: no no, i mean to use it on myself, so i can forget it again 01:50:59 oic tdh 01:51:11 It should be rolled into a compiler for the language, because it's a simple enough language to justify compilation 01:51:13 * boily still suspects hppavilion[1] to be class D... 01:51:22 boily: that does explain so much 01:51:40 boily: either that or class Euclid 01:51:47 The compiler should, given a program, print an unassuming message saying "This program [will|won't] halt" 01:52:04 It should be part of a list of messages, so you don't see it immediately 01:52:43 Phase 3 is to give this compiler to first-year CS students under the pretense of them testing the language and looking for flaws, careful not to tell them any of this 01:53:14 oerjan: Then you wait for them to encounter a bug and read the compiler printout for guidance, and see this unassuming little message that just doesn't fit. 01:54:24 (And since the machine is NTC, it can be 100% accurate, but the machine has to /look/ TC, albeit some fudging with the documentation would be required) 01:55:10 -!- heroux has quit (Ping timeout: 244 seconds). 01:55:14 hppavilion[1]: problem: halting depends on input, which is not known at compile time. 01:55:22 oerjan: Yes, that would be an issue 01:55:47 oerjan: Probably we just say the language doesn't have proper IO yet, so you need to give it batch input before it compiles 01:56:01 -!- heroux has joined. 01:56:12 (I trust that your average CS student won't question that) 01:56:21 also, if a language is "almost TC", then deciding halting will likely be a > lifetime-of-universe task. 01:56:52 oerjan: It'll take some stuff from TFP 01:56:56 because it's easy to create terminating languages that still take enormous resources. 01:57:56 what's TFP. 01:58:11 [wiki] [[MDPN]] M https://esolangs.org/w/index.php?diff=46779&oldid=11116 * LegionMammal978 * (+13) /* External resources */ 01:58:17 oh total functional programming 01:58:22 oerjan: Total Functional Programming. An area of reasearch for languages that are not TC, rather being decidable 01:58:23 still enormous. 01:58:36 oerjan: We'd keep it down somehow. 01:58:53 "good luck" 02:00:46 oerjan: Yes, sure 02:02:07 Matrix Xor? 02:02:29 wat 02:02:47 That was Knuth's instruction, right? 02:02:53 For MMIX? 02:05:50 [wiki] [[DumbScript]] M https://esolangs.org/w/index.php?diff=46780&oldid=9317 * LegionMammal978 * (+27) /* Download */ 02:06:22 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 02:08:39 [wiki] [[WILSON]] M https://esolangs.org/w/index.php?diff=46781&oldid=35507 * LegionMammal978 * (+13) /* External resources */ 02:09:38 [wiki] [[BrainFNORD]] M https://esolangs.org/w/index.php?diff=46782&oldid=21781 * LegionMammal978 * (+13) 02:10:22 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:26:09 -!- boily has quit (Quit: STEREOSCOPIC CHICKEN). 02:31:45 -!- tromp has joined. 02:36:57 -!- tromp has quit (Ping timeout: 276 seconds). 02:38:07 -!- Elronnd has changed nick to earenndil. 02:38:21 -!- earenndil has changed nick to Elronnd. 03:04:22 -!- hppavilion[1] has joined. 03:06:52 shachaf: Did you ever figure out left-associative SK? 03:07:04 no i hppavilion[1]ed it hth 03:07:44 shachaf: Great, now I'm a verb xD 03:07:47 i'm still thinking a bit about it 03:08:00 shachaf: Did you consider the tree representation? 03:08:14 ? 03:08:19 in particular, whether you can do it with only initial (.) combinations 03:08:49 Initial (.) combinations? 03:09:04 shachaf: Apparently, CL isn't supposed to be written with parentheses or `s, it's supposed to be drawn out as a tree 03:09:06 also, that okasaki paper solves the general problem 03:09:25 shachaf: Where the the child of a node is its arguments 03:10:18 shachaf: So it might just be a problem of "can a singly-linked list where the child of a node is its arguments represent anything of use 03:10:32 Which Okasaki paper? 03:10:44 http://www.westpoint.edu/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp03flat.pdf 03:10:47