00:00:00 ) +`- @. 0 00:00:00 Sgeo: + 00:00:02 hm 00:07:45 !bf [ 00:08:08 !sh echo hi 00:08:09 hi 00:08:14 !bf [+ 00:08:19 fancy 00:08:28 ^bf [+ 00:08:28 Mismatched []. 00:08:39 fungot: You picky. 00:08:40 fizzie: they say a gelatinous cube can paralyze you..." " er" " need we wait until morning then?" asked conan, eyeing his companion uneasily. " the eyes. 00:08:49 The eyes. 00:08:52 fizzie: i knew that. 00:09:06 ^ord Unmatched [. 00:09:06 85 110 109 97 116 99 104 101 100 32 91 46 00:09:10 oerjan: Someone just added a new entry in your learndb? 00:09:25 no it's pretty old 00:10:28 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 00:16:19 -!- Taneb has quit (Quit: Leaving). 00:20:49 !sh ls 00:20:50 interps \ lib \ slox 00:21:16 !sh echo $SHELL 00:21:17 /bin/sh 00:21:36 !sh sh --version 00:21:37 GNU bash, version 4.0.28(1)-release (x86_64-pc-linux-gnu) \ Copyright (C) 2009 Free Software Foundation, Inc. \ License GPLv3+: GNU GPL version 3 or later \ \ This is free software; you are free to change and redistribute it. \ There is NO WARRANTY, to the extent permitted by law. 00:22:28 -!- carado has quit (Ping timeout: 246 seconds). 00:27:42 `fueue ):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$6-%0]][~~~)*[)~(:+~~-)+1]---256%):]~]][)~~[[)~[)[H]]][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][48 33H])~!]]][~)~~!] 00:27:47 Unmatched [. 00:27:50 -!- WeThePeople has joined. 00:27:52 excellent. 00:32:32 `run echo testing | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!]!]!][[0]:[[0]<:[[0]<:]][48 33H])~!][~)]' 00:32:34 Unmatched [. 00:32:41 darn 00:34:27 oh wait the iffalse case is supposed to delete the iftrue one 00:36:41 `run echo testing | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]~!][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!]!]!][[0]:[[0]<:[[0]<:]][48 33H])~!][~)] ' 00:36:43 u 00:37:11 HackEgo: NO U 00:37:59 ^ord Unmatched ]. 00:37:59 85 110 109 97 116 99 104 101 100 32 93 46 00:40:02 ^ord Üñµätçhëd ⁆· 00:40:02 195 156 195 177 194 181 195 164 116 195 167 104 195 171 100 32 226 129 134 194 183 00:40:04 `ord Üñµätçhëd ⁆· 00:40:06 220 241 181 228 116 231 104 235 100 32 8262 183 00:40:14 Maybe µ is stretching it. 00:43:10 > "Üñµätçhëd ⁆" 00:43:11 mueval: recoverEncode: invalid argument (invalid character) 00:46:39 `fueue ):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~]][)~~[[85 110 109 97 116 99 104 101 100 32 93 46H][)~[))$11~<<~:(~:<]~!]~)~~~][)~~[[)~[)[H]]~!][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!]!][[0]:[[0]<:[[0]<:]][48 33H])~!][~)] 00:46:41 Unmatched ]. 00:46:41 -!- Phantom_Hoover has joined. 00:56:37 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:58:24 `run echo so.. | fueue '):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[50 33H][)~[))$11~<<~:(~:<]~!]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][]!]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[0]:[[0]<:[[0]<:]][48 33H])~!]]][~)~~!] ' 00:58:26 1! 00:58:31 eek 01:00:11 `quoerjan 01:00:13 109) alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely goes against my basic public toilet hygiene principles \ 95) insufficient time dilation. try running faster. \ 16) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! 01:00:40 fungot: did you really say that 01:00:40 shachaf: anu: anu was the most recent indian edifices.... the leucrocotta, a large and heavy and quiet boy, and there were many stones lying in what appeared to be a previously used crested helmet. 01:00:48 ^style 01:00:49 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* pa qwantz sms speeches ss wp youtube 01:01:01 ^style irc 01:01:01 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 01:01:04 fungot 01:01:05 shachaf: realise elinks w3m.) in our system 01:01:17 fungot: riddle me a riddle 01:01:18 shachaf: if you're going to have a junk cons at the base for the eso os, i agreed to that contract, i leave. 01:04:10 `run echo now | fueue '):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[50 33H][)~[))$11~<<~:(~:<]~!]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]][~)~~!] ' 01:04:12 1! 01:04:18 same error, hm 01:05:37 -!- Phantom_Hoover has joined. 01:09:19 -!- Phantom__Hoover has joined. 01:10:44 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 01:15:26 -!- augur has joined. 01:25:19 -!- augur has quit (Remote host closed the connection). 01:43:39 -!- Phantom_Hoover has joined. 01:44:20 Can you supply a non-planar graph to eodermdrone? ← at one point I considered making that a way to exit 01:44:34 btw, "eodermdrome" is the shortest "word" that produces one 01:44:47 I see 01:44:48 (it's not actually a word) 01:44:59 it's not mine, it was taken from the book Making The Alphabet Dance 01:45:56 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds). 01:51:57 -!- Phantom__Hoover has joined. 01:54:28 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 01:54:44 -!- Phantom_Hoover has joined. 01:57:08 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds). 02:27:30 `run echo stupid bug | fueue '):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[50 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]][~)~~!] ' 02:27:32 ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss 02:27:52 what is fueue 02:28:18 shachaf: do you know about /proc/self/pagemap ? 02:28:51 first i fixed a bug above because the iffalse case needed to delete the iftrue one, then now i had to fix that the iftrue tried to delete the iffalse case. 02:28:59 kmc: Hmm, no. 02:29:22 it gives you various fun info: http://www.kernel.org/doc/Documentation/vm/pagemap.txt 02:29:26 shachaf: http://esolangs.org/wiki/Fueue 02:29:40 why don't you just try searching esolangs.org when someone mentions something that might be an esolang 02:29:50 in particular you can get the physical page frame number for every page you've mapped 02:30:04 ais523: Because searching Google works just as well and is more general. 02:30:18 being more general is /bad/ in this case 02:30:25 @google fueue 02:30:27 http://esolangs.org/wiki/Fueue 02:30:27 Title: Fueue - Esolang 02:30:28 you're trying to look for something in particular, not other things with the same name 02:30:29 Seems fine to me. 02:30:31 @google underload 02:30:33 http://www.thefreedictionary.com/Underload 02:30:33 Title: Underload - definition of Underload by the Free Online Dictionary, Thesaurus and ... 02:30:36 @google underload esolang 02:30:38 http://esolangs.org/wiki/Underload 02:30:38 Title: Underload - Esolang 02:30:42 wfm 02:30:53 now you're doing more typing than you need to 02:31:12 quite a lot more, actually, because it'd take me a while to switch to a Google or DuckDuckGo search box rather than an Esolang search box 02:31:16 That's less typing than typing esolangs.org/wiki/Special:Search?search=fueue 02:31:18 (seems my browser's currently set to wikipedia) 02:31:56 @google Most ever Brainfuckiest Fuck you Brain fucker Fuck 02:31:58 http://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck 02:31:58 Title: Most ever Brainfuckiest Fuck you Brain fucker Fuck - Esolang 02:32:01 thank you google! 02:32:12 it can't be a very common phrase 02:32:26 hmm, I wonder how many esolangs don't score first in a google search 02:32:28 @google unlambda 02:32:30 http://en.wikipedia.org/wiki/Unlambda 02:32:30 Title: Unlambda - Wikipedia, the free encyclopedia 02:33:00 @google wierd 02:33:02 http://www.urbandictionary.com/define.php?term=wierd 02:33:02 Title: Urban Dictionary: wierd 02:33:06 hey _i_ managed to get an esolang search box, and i'm using IE! 02:33:23 Internet Esolangs 02:33:38 @google twoducks 02:33:41 http://www.twoduckshostel.com/ 02:33:41 Title: Two Ducks Hostel in Rome 02:34:30 @google moo 02:34:31 No Result Found. 02:34:34 @google malbolge 02:34:36 http://en.wikipedia.org/wiki/Malbolge 02:34:36 Title: Malbolge - Wikipedia, the free encyclopedia 02:34:45 you'd expect that to go to the esolang because it uses an unusual spelling 02:34:49 now _that_ was unexpected 02:34:52 not finding moo 02:35:00 @google cow 02:35:01 http://en.wikipedia.org/wiki/Cattle 02:35:01 Title: Cattle - Wikipedia, the free encyclopedia 02:35:08 @google cow on write 02:35:10 http://en.wikipedia.org/wiki/Copy-on-write 02:35:10 Title: Copy-on-write - Wikipedia, the free encyclopedia 02:35:25 There should be a feature where you get a cow when you write. 02:35:41 yes 02:35:53 You'd either have a lot of cows or not write a lot 02:35:54 kernel patch where instead of mmap() pages containing all zeroes, they contain cowsay 02:36:19 Maybe you just get the same cow over and over 02:36:38 `cowsay hi 02:36:39 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cowsay: not found 02:36:41 you get the same cow until you write to it 02:37:00 Hmm, that would be cow *before* write. 02:37:29 * shachaf should write that strace-for-mmapped-pages program sometime. 02:39:57 0x006f6f4d 02:41:28 now i want to write some kind of excessively pretty interactive javascript visualizer of all the pages mapped by processes on your system and the sharing beteen them 02:42:39 kmc: it'd probably look boring 02:42:56 also, don't programs normally rely on mmaped pages being zeroed out? 02:44:07 If they just mmap a new private page for themselves, sure. 02:44:14 Typically sharing pages is on purpose. 02:47:39 yeah they do rely on that, so the cow thing would break a lot of stuff 02:48:00 Oh, you meant the cow thing. 02:48:07 the visualization would basically cluster programs by what libraries they use 02:48:21 and would group instances of the same binary of course 02:48:38 so maybe it's not totally boring, but maybe it's not that interesting to do it at page granularity instead of just looking at ldd and such 02:52:14 `run echo comment | run fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:)~][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)] ' 02:52:16 bash: run: command not found 02:52:22 oops 02:52:27 `run echo comment | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:)~][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)] ' 02:52:29 c 02:53:02 only [ left in this phase... 02:55:48 -!- DH____ has quit (Ping timeout: 248 seconds). 02:58:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:25:42 -!- WeThePeople has quit (Quit: Leaving). 03:44:30 -!- noam_ has joined. 03:46:54 -!- noam has quit (Ping timeout: 264 seconds). 04:04:26 oerjan: more info plz 04:04:33 f :: forall a b c. ((a -> b) & (b -> c)) -> a -> c 04:04:57 I don't know the exact name for it... what's important to realise it that it types every untyped lambda calculus term, IIRC. 04:05:34 i'm not sure i recall the exact name either 04:05:58 well can you tell me things about it 04:06:52 well it has disjunction types, as above, and also a type omega which types everything. 04:07:54 so being typeable in itself isn't very interesting, but if you restrict _where_ omega can appear in the types, you can type precisely those lambda terms which have weakly normal forms. also typing is preserved by beta reduction - _both_ ways. 04:08:21 Right, that was my original question. 04:08:23 and terms which have _strongly_ normal forms have types that don't contain omega, iirc. 04:08:39 and in fact principal such. 04:09:34 the above type is, i believe, the principal type for church numeral 2. 04:10:12 That's where it came up. 04:11:32 and also iirc the only terms which can share that principal type are beta-eta-equivalent to the normal form 04:12:18 that part is a bit vaguer 04:12:55 lessee, \x -> x has type a -> a, naturally 04:13:35 \x y -> x y has type (a -> b) -> a -> b, which is a substitution of the former 04:14:10 so \x -> x also has that type, but not principally, which means \x y -> x y must beta-eta-reduce to \x -> x. i think. 04:14:13 What about \x -> x x? 04:14:46 ((a -> b) & a) -> b, i assume 04:15:11 there was an algorithm for finding the type, but i've forgotten that 04:15:44 it may have been in the "famous" book by barendregt: "lambda calculus, it's syntax and semantics" 04:16:58 * oerjan finds a chapter list 04:16:59 Lambda Calculus: What is it? It's Syntax and Semantics! 04:18:37 hm looking at an online version, i have doubts. 04:19:37 it doesn't cover types until the appendix. must be another book. 04:29:42 it may be called intersection types, not disjunction types 04:30:37 -!- copumpkin has joined. 04:32:36 shachaf: his book "Lambda calculus with types" mentions intersection types on page 449 and onwards, although i don't think it's the book i remember 04:34:40 oh wtf it's not my job to do a literature search for this. 04:34:53 (stopping now) :P 04:34:58 OK. 04:35:00 * shachaf was just curious. 04:35:08 The name "interesection types" is helpful, thanks! 04:36:19 i read it as "intercession types" 04:36:41 as expected, the [ case seems to have the most awkward queue shuffling 04:37:22 i need to convert [pcont][reader][loopflag] into ):[reader][[loopflag])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[pcont]][loopflag true] 04:40:28 oh hm 04:42:45 -!- augur has joined. 05:15:06 -!- TeruFSX has joined. 05:22:52 -!- Nisstyre-laptop has quit (Ping timeout: 240 seconds). 05:25:06 -!- Nisstyre-laptop has joined. 05:38:13 `run yes|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[85 110 109 97 116 99 104 101 100 32 93 46H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[ 05:38:14 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 05:39:05 lines: too damn big 05:40:00 oh hm duh there's a long message 05:40:32 `run yes|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[48 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)]' 05:40:59 eep 05:41:02 bash: line 1: 279 Broken pipe yes \ 280 Killed | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[ 05:41:23 `run echo ya|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[48 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)]' 05:41:52 bash: line 1: 279 Done echo ya \ 280 Killed | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~ 05:42:00 something tells me that's not good 05:45:35 oh duh it's a missing bracket 05:45:59 and the interpreter hangs up instead of giving an error 05:46:58 `run echo ya|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[48 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)] ' 05:47:00 yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy 05:47:06 ya! 05:49:33 not quite `yes` yet 05:49:52 that was actually just ,[.] in brainfuck 05:49:59 `yes monqy 05:50:00 monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy 05:50:04 hi shachaf 05:50:09 hi 06:09:08 -!- ogrom has joined. 06:11:27 `yes / 06:11:29 / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ 06:30:22 `? monqy 06:30:24 The friendship monqy is an ancient Chinese mystery; ask itidus21 for details. 06:30:31 hi??? 06:30:33 `seen itidus21 06:30:37 not lately; try `seen itidus21 ever 06:30:43 `seen itidus21 EVER 06:30:47 not lately; try `seen itidus21 ever 06:30:48 `seen itidus21 ever 06:30:54 2012-10-13 12:14:44: the odd thing was me re-posting the topic with the linebreaks based on the width of my xchat window 06:35:47 -!- asiekierka has quit (Ping timeout: 248 seconds). 06:41:35 -!- asiekierka has joined. 06:44:11 `run echo why is this working | fueue ')[)~~[)$--1[)~]<~~<)<[)$%0]][):]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[49 33H])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]]]][))$11~<<~:(~:<][)[[48 33H])~[)[H]]~~!]!]' 06:44:13 why is this working 06:45:14 `run echo and this | fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][))$11~<<~:(~:<]])[))(($3~)<(]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]])[))(($3~)<(][0]:[[0]<:[[0]<:]][3 06:45:15 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 06:45:20 oops 06:45:53 `run echo now | fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][))$11~<<~:(~:<]])[))(($3~)<(]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]])[))(($3~)<(][0]:[[0]<:[[0]<:]][33H]' 06:45:54 \ won 06:46:16 i just convinced myself , should break on NUL's... 06:51:55 `fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] 06:52:10 fancy 06:52:26 No output. 06:52:41 `echo hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] 06:52:42 hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] 06:52:47 `run echo hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] 06:52:48 bash: -c: line 0: syntax error near unexpected token `)' \ bash: -c: line 0: `echo hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] ' 06:52:58 `run echo hm | fueue ')))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] ' 06:53:00 104 06:56:27 -!- azaq23 has joined. 06:56:36 -!- azaq23 has quit (Max SendQ exceeded). 06:57:15 `fueue )[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:][0] 06:57:16 0 06:57:21 `fueue )[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:][33] 06:57:23 33 07:05:26 `run cat /dev/null | fueue ')))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] ' 07:05:28 33 07:05:56 `fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] 07:06:27 No output. 07:06:52 `cat - 07:07:00 ic 07:07:18 it's an accident of stdin blocking there 07:07:23 No output. 07:08:46 oh the rev simply works because it always reads into a zero cell 07:09:42 hm... 07:10:09 `printf \n\n\n\n\n\n 07:10:11 No output. 07:10:15 `printf \n\n\n\n\n\na 07:10:17 \ \ \ \ \ \ a 07:10:57 hah and the cat seemed to work because hackego removes trailing newlines which were what were printed by the "no change" NULs :P 07:11:31 `printf a\n\n\n\n\n\n 07:11:33 a 07:16:09 i guess a bf implementation which treats EOF as NUL and no change simultaneously is a bit unusual, *cough* 07:18:05 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 07:19:36 -!- Nisstyre-laptop has joined. 07:23:40 `run echo -n why is this working | fueue ')[)~~[)$--1[)~]<~~<)<[)$%0]][):]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[49 33H])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]]]][))$11~<<~:(~:<][)[[48 33H])~[)[H]]~~!]!]' 07:23:42 why is this workingggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg 07:23:48 XD 07:36:27 `slist 07:36:28 Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 07:37:25 -!- oerjan has quit (Quit: Good night). 07:48:21 -!- stuntaneous has joined. 08:11:35 -!- sirdancealot7 has quit (Ping timeout: 244 seconds). 08:12:41 -!- ais523 has quit. 08:17:45 -!- yours_truly has joined. 08:21:08 -!- stuntane has joined. 08:24:26 -!- stuntaneous has quit (Ping timeout: 276 seconds). 08:34:34 <[th]s0[st]s1[nd]s2[rd]s3dBr100%d10%r10/1-1 0 1i*d3-1d0i*`0+L+> 09:01:32 -!- yours_truly has quit (Quit: Leaving). 09:06:02 -!- Taneb has joined. 09:07:44 -!- Taneb has quit (Client Quit). 09:07:58 -!- Taneb has joined. 09:12:02 What's Opera like as a browser 09:12:22 zzo38: I disagree. 09:12:48 shachaf: Why do you disagree? 09:17:48 the % should be an ¤ 09:18:26 My sleep schedule feels pretty broken when I wake up naturally at 4AM. 09:18:35 -!- DHeadshot has joined. 09:18:39 Gregor: it can get much worse 09:18:43 much worse 09:18:57 oklopol: Then you make it like that if you want. 09:18:58 at some point last year i woke up at midnight and went straight to work 09:19:12 left at 16, went to sleep 09:19:21 good times 09:19:25 Going to sleep at 6pm until 3am is not a good thing 09:19:36 Although I've done worse than that 09:19:39 its not that awful a thing 09:19:43 just think of it as a real early morning 09:19:53 it's bad if you're bad at waking up in the dark depending on location tho 09:20:02 zzo38: A hunch. 09:20:15 it's a bad thing if there are bad social/work consequences. caused me no problems. 09:20:34 by bad I mean it makes you feel awful 09:20:37 nowadays i got to sleep between 22 and 23 and wake up at 8. girlfriends SUCK :( 09:21:17 maybe a boy friend would be better 09:21:34 yeah we could gay up all night. 09:23:27 -!- TeruFSX has quit (Ping timeout: 276 seconds). 09:24:47 shachaf: What hunch? 09:25:59 zzo38: http://www.youtube.com/watch?v=GPdzCZdvBp0 10:23:24 -!- monqy has quit (Quit: hello). 10:24:10 -!- sirdancealot7 has joined. 10:30:45 shachaf, what do you make of last night's Homestuck update 10:31:04 Taneb: I don't read Holmes Tuck. 10:31:30 That's irrelevant 10:31:43 It's probably pretty BAD. 10:32:09 Yes 10:32:14 One character isn't wearing pants 10:32:21 And has been called out on it by his grandmother 10:45:16 -!- sirdancealot7 has quit (Read error: Connection reset by peer). 10:53:27 And also by his granddaughter 10:53:54 And also by Taneb. 10:54:14 Sgeo, by that logic 1 is prime 10:54:41 i love logic 10:57:00 grandmadaughter is overpowered 10:57:31 monoids are easy 11:01:06 It's such a deus ex machina for Jake and Jane 11:02:17 How did Jade know what was going on, exactly? 11:02:23 Is she omniscient now too? 11:02:36 First guardian powers 11:02:47 Wait, that doesn't grant omniscient 11:03:28 imo this is offtopic 11:03:39 y'all'ren't talking about esolangs 11:04:06 Surely ~ATH counts 11:04:24 And Brazil isn't a vegetable 11:04:26 Although I guess it was used for a practical purpose 11:04:57 What, dooming everybody Karkat ever met? 11:05:12 And summoning an evil invincible demon 11:10:11 shachaf, is summoning an evil invincible demon too practical for an esolang? 11:10:58 Sgeo: Maybe. Make it a evil invisible demon instead of invincible. 11:12:06 -!- Phantom_Hoover has joined. 11:12:17 "You have bitshifted the result of a boolean expression and used it as an array index to avoid using ?: or an if statement." Have you done things like that? 11:12:23 Phantom_Hoover, you should try to catch up 11:12:32 ugh 11:12:42 i haven't followed my webcomic list for like 11:12:43 ever 11:12:50 well over a month 11:13:04 don 11:13:09 don't logread, there are spoilers 11:13:15 the backlog is now a sort of mental augean stable 11:13:54 wating faithfully for some sort of... hercules to wash it away in a... torrent of... reading 11:19:16 -!- Phantom_Hoover has quit (Remote host closed the connection). 11:43:44 I cannot sing along with Wormsong 2011 11:43:47 The lyrics are just wrong 11:45:05 Can you correct them? 11:47:38 I can listen to Wormsong 2003 instead 11:47:52 -!- sebbu2 has joined. 11:48:07 -!- sebbu2 has quit (Changing host). 11:48:07 -!- sebbu2 has joined. 11:49:08 -!- sebbu has quit (Ping timeout: 248 seconds). 11:59:21 hm what was the name of that software that HackEgo and EgoBot use for the sandbox? 11:59:47 UMLBox 12:03:12 ah 12:03:13 thanks 12:03:21 elliott, he wrote that himself right? 12:03:35 yeah 12:04:07 yeah 12:04:17 Hey, why is 12:04:23 no package in debian for it :/ 12:04:31 Hey, why is (=>>) not part of the Comonad instance in Control.Comonad ? 12:04:38 elliott, what was the old one? That was based on some crazy debian-only thingy 12:04:56 plash 12:05:03 FreeFull: It's defined separately. 12:05:08 I forgot what was wrong with plash 12:05:08 Doesn't this mean you can't define your own, and have to rely on the built-in definition? 12:05:10 "extend" is equivalent. 12:05:15 (It's just flipped.) 12:05:16 Ah 12:05:27 (=>>) = flip extend ? 12:05:44 Fair enough 12:07:37 Oh, right 12:08:37 I know why fail "something" :: Either String a doesn't return Left "something" but it's inconvienient 12:09:02 I guess you'd want a separate monad that constricts the failure value to a string? 12:09:57 If you can avoid fail you probably should. 12:10:34 True 12:11:09 For Boolean I can think of two monoid instances, And and Or. Would Xor work as a monoid instance too? 12:11:25 No, there's no identity 12:11:32 Yes there is? 12:11:32 Ah, yeah 12:11:37 Is there? 12:11:38 0 is the identity 12:11:41 Of course 12:11:42 :( 12:11:44 Well, False 12:11:54 FreeFull: Any/All are the newtype wrappers for those Monoid instances 12:12:38 I don't think Nor or Nand are monoids 12:12:57 shachaf: Is xor actually a monoid? 12:13:03 semigroups defines xor for non-empty lists. 12:13:06 I presume there's a reason for that. 12:13:25 Because it's semigroups? 12:13:31 shachaf: It doesn't define and/or/etc. 12:13:33 Just xor. 12:13:46 The Prelude defines and/or/etc. but not xor 12:14:24 Are you suggesting it has xor even though you can (in this hypothetical) define xor perfectly normally and well-behavedly on full lists just for the hell of it, despite not having anything else like that? 12:14:29 It's edwardk, he'd define the [] version. 12:14:34 Why restrict it unless it has to be? 12:15:07 Let me look up the monoid laws 12:15:18 Maybe xor is a useful operation on nonempty lists in particular? 12:15:49 @check True 12:15:50 xor does seem to follow the laws 12:15:52 Not in scope: `myquickcheck' 12:15:54 Ugh. 12:16:14 elliott: xor is the most well-behaved operation in the world. 12:16:34 (Bool,False,(/=)) is definitely a monoid. 12:17:00 Hmm. 12:17:03 So what's up with that? 12:17:36 Well, monoids are semigroups 12:17:52 And someone probably didn't like xor being a monoid 12:20:39 xor is so great 12:20:41 a^b=c 12:20:43 b^a=c 12:20:47 c^a=b 12:20:49 a^c=b 12:20:51 b^c=a 12:20:58