00:00:05 @choice-add olist 00:00:05 usage: @choice-add 00:00:07 @choice-add olist update 00:00:07 New candidate "update", added to poll "olist". 00:01:32 @@ @@ (@run text . concat . run (replicate 20 "(@vote olist update) ")) 00:01:33 Not in scope: `run' 00:01:33 Perhaps you meant `fun' (imported from Debug.SimpleRef... 00:01:43 @@ @@ (@run text . concat $ (replicate 20 "(@vote olist update) ")) 00:01:44 Plugin `compose' failed with: Missing ')' in nested command 00:01:49 @@ (@run text . concat $ (replicate 20 "(@vote olist update) ")) 00:01:50 (@vote olist update) (@vote olist update) (@vote olist update) (@vote olist... 00:02:01 @@ (@read @run text . concat $ (replicate 20 "(@vote olist update) ")) 00:02:02 Plugin `compose' failed with: Unknown command: "read" 00:02:17 @@ @@ (@run text . concat $ (replicate 3 "(@vote olist update) ")) 00:02:17 voted on "update" voted on "update" voted on "update" 00:02:21 @@ @@ (@run text . concat $ (replicate 4 "(@vote olist update) ")) 00:02:22 Plugin `compose' failed with: Missing ')' in nested command 00:02:23 :'( 00:02:46 @@ @@ (@run concat $ (replicate 20 "(@vote olist update) ")) 00:02:47 "(@vote olist update) (@vote olist update) (@vote olist update) (@vote olis... 00:03:02 help 00:03:14 i think it's @run which has such a low output limit? 00:03:18 Yes. 00:03:21 This used to work, though. 00:03:28 That's why Polish is so popular. 00:03:32 I don't remember how I did it. 00:03:37 I might've used @read, which is gone now? 00:03:51 @help @read 00:03:51 help . Ask for help for . Try 'list' for all commands 00:03:54 @list read 00:03:54 No module "read" loaded 00:04:05 @@ @@ (@run text . concat $ (replicate 20 "(@vote olist update) ")) 00:04:06 Plugin `compose' failed with: Missing ')' in nested command 00:05:36 ^ul (@@ )(@vote olist update)a::::::*******S 00:05:36 @@ (@vote olist update)(@vote olist update)(@vote olist update)(@vote olist update)(@vote olist update)(@vote olist update)(@vote olist update) 00:05:36 voted on "update"voted on "update"voted on "update"voted on "update"voted on "update"voted on "update"voted on "update" 00:05:55 Well, yes, but that doesn't let you get really high. 00:05:59 (kmc can confirm) 00:06:05 @karma blah 00:06:05 blah has a karma of 31337 00:06:16 ion's work?? 00:06:27 @help show 00:06:27 show . Print "" 00:06:32 @list show 00:06:32 dummy provides: eval choose dummy bug id show wiki paste docs learn haskellers botsnack get-shapr shootout faq googleit hackage thanks thx thank you ping tic-tac-toe 00:06:41 @help haskellers 00:06:42 haskellers. Find other Haskell users 00:06:46 @haskellers 00:06:46 http://www.haskellers.com/ 00:06:53 great. 00:08:04 @thank you 00:08:04 Maybe you meant: thank you thanks 00:08:06 i wonder if the @run cut-down is related to int-e's fixes the other day, he was looking at how that worked. 00:08:10 :'( 00:08:18 int-e: did you break lambdabot 00:09:05 @run [1..] 00:09:06 [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... 00:09:47 hm... 00:09:50 > [1,1..1] 00:09:51 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... 00:14:06 @poll-results olist 00:14:06 Poll results for olist (Open): update=932 00:14:13 * oerjan whistles innocently 00:14:29 The trouble is that you can't unvote. 00:14:34 that it is. 00:14:40 And you can't remove options. 00:15:04 oh hm 00:15:08 @karma olist 00:15:08 olist has a karma of 0 00:15:12 But this does give me the idea to give `olist an incrementing counter. 00:15:20 the obvious solution ^ 00:15:28 Well, @karma won't let you add a list of nicks. 00:15:36 hm right 00:16:05 @where+ olist olist ((@karma olist)): shachaf oerjan 00:16:05 Good to know. 00:16:07 @@ @where olist 00:16:08 olist ((@karma olist)): shachaf oerjan 00:16:15 @@ @@ @where olist 00:16:15 olist (olist has a karma of 0): shachaf oerjan 00:16:32 @show blah 00:16:33 "blah" 00:17:06 :t isNumber 00:17:07 Char -> Bool 00:17:31 @where+ olist olist ((@run text $ dropWhile (not isNumber) @show @karma olist)): shachaf oerjan 00:17:31 It is stored. 00:17:34 @@ @@ @where olist 00:17:35 olist ( Couldn't match expected type `GHC.Types.Char -> GHC.Types.Bool' 00:17:35 ...): shachaf oerjan 00:17:49 * shachaf sighs. 00:17:56 @@ @run @show @karma olist 00:17:57 "olist has a karma of 0" 00:18:05 Er. 00:18:09 @where+ olist olist ((@run text $ dropWhile (not . isNumber) @show @karma olist)): shachaf oerjan 00:18:09 It is forever etched in my memory. 00:18:12 @@ @@ @where olist 00:18:13 olist ( 0 00:18:13 ): shachaf oerjan 00:18:24 OK, well, you get the idea. 00:18:45 FANCY 00:18:56 @where+ olist olist ((@run text . filter isNumber $ @show @karma olist)): shachaf oerjan 00:18:56 I will never forget. 00:18:59 @@ @@ @where olist 00:19:00 olist ( 0 00:19:00 ): shachaf oerjan 00:19:05 What's with the newlines? 00:19:11 -!- Oj742 has joined. 00:19:14 what in sam hill is going on here 00:19:41 @where+ olist olist ((@run text . filter isNumber $ "")): shachaf oerjan 00:19:41 It is forever etched in my memory. 00:19:44 @@ @@ @where olist 00:19:45 olist ( Terminated 00:19:45 ): shachaf oerjan 00:19:49 @@ @show @karma olist 00:19:50 "olist has a karma of 0" 00:19:53 why am i @where+ing each time 00:20:15 @@ olist ((@run text . filter isNumber $ @show @karma olist)): shachaf oerjan 00:20:16 olist ( 0 00:20:16 ): shachaf oerjan 00:20:22 @@ olist ((@run text . filter isNumber $ @show @karma olist)): [...] 00:20:23 olist ( 0 00:20:23 ): [...] 00:20:30 @@ olist ((@run text "")): [...] 00:20:31 olist ( Terminated 00:20:31 ): [...] 00:20:41 i blame int-e 00:20:43 > text "" 00:20:44 Terminated 00:21:00 @@ @show @run () 00:21:01 " ()\n" 00:21:21 :'( 00:21:43 "sry 4 highlighting you" 00:22:53 @tell int-e your new @run is hard to compose with @@ because of the newline 00:22:54 Consider it noted. 00:23:07 @tell int-e and the spaces 00:23:07 Consider it noted. 00:23:09 -!- Phantom__Hoover has joined. 00:23:57 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 00:24:26 > 1 00:24:26 1 00:25:29 i think he was trying to simplify the space handling. 00:25:46 > var $ "1\n2\n3" 00:25:47 1 00:25:47 2 00:25:47 3 00:26:08 hm it's the same as it used to be there 00:26:22 oerjan: p. sure it takes a rocket scientist to do that 00:26:29 (space joke) 00:27:08 i hear the new gravity movie has a joke about "it's not rocket science" 00:27:23 the joke is that it's about how to use a rocket 00:29:39 -!- typeclassy has quit (Ping timeout: 272 seconds). 00:29:51 -!- nisstyre has quit (Ping timeout: 240 seconds). 00:33:11 -!- Oj742 has quit (Ping timeout: 272 seconds). 00:33:15 -!- Phantom_Hoover has joined. 00:34:10 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 00:36:18 -!- Bike_ has joined. 00:36:53 -!- Bike has quit (Ping timeout: 252 seconds). 00:37:25 -!- typeclassy has joined. 00:39:03 -!- Bike_ has changed nick to Bike. 00:42:25 -!- Sgeo has joined. 00:44:45 -!- nisstyre has joined. 00:47:31 -!- Phantom__Hoover has joined. 00:47:50 -!- yiyus has quit (Read error: Connection reset by peer). 00:48:23 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 00:52:16 -!- carado has quit (Ping timeout: 245 seconds). 00:53:12 -!- oklopol has joined. 00:53:32 @tell ais523 and I'm not sure it's a second declension male word in the first place <-- fourth, according to wiktionary, so plural is also status 00:53:32 Consider it noted. 00:54:04 evening 00:54:18 i've been internetless for the last week o_O 00:54:29 shocking 00:54:29 get some reading done then 00:54:31 -!- sebbu has joined. 00:54:46 what should i read 00:55:09 -!- sebbu has quit (Changing host). 00:55:09 -!- sebbu has joined. 00:56:58 and for words like hawaius <-- in hawaiian the name's Hawaiʻi 00:57:12 i think it's a glottal stop 00:57:19 Aaaaaaaaaah 00:57:29 The murder mystery series my dad's cousin was in HAS AIRED IN THE UK 00:58:00 Taneb: does this mean you're forever shamed by your family 00:58:23 I don't think so 00:58:28 I'm a little annoyed nobody told me 00:59:03 it's a mystery 01:00:56 Taneb: who did he murder 01:01:27 oklopol, I don't know I haven't watched it yet 01:01:40 I think she's playing a recurring character so maybe lots of people 01:01:54 oh i thought this was some reality show 01:02:21 (seriously, although i didn't think your cousin was the murderer) 01:13:17 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:47:29 -!- Sprocklem has joined. 01:52:30 -!- typeclassy has quit (Ping timeout: 252 seconds). 02:05:25 -!- Sprocklem has quit (Ping timeout: 248 seconds). 02:05:52 -!- Sprocklem has joined. 02:17:52 thoerjan 02:20:18 ywintopia 02:21:20 https://www.linkedin.com/jobs2/view/9887522 02:23:13 is this the awful thing everyone is talking about 02:23:14 yes 02:24:11 https://twitter.com/search?q=%23pennyarcadejobpostings&src=typd&f=realtime ? 02:24:12 isn't it awful 02:24:30 kmc is clearly not a bad enough dude 02:24:56 some of the responses are pretty great (in a terribly cathartic way, at least) 02:25:15 "A bunch of 25 year-old kids with a ton of talent and stars in their eyes are going to try to get this crap job for crap pay" see this is where I feel pleased with myself about being 25 years old and already cynical enough to see through this shit 02:25:20 this is a great ad 02:25:36 oh man it just keeps going 02:26:23 "a creative and potentially offensive environment" 02:26:24 kmc: p. sure that doesn't say "25-year-old" 02:28:06 haha 02:28:45 maybe like, nerds will finally discover penny arcade are actually horrible people? or like they'll all apply anyways <.< 02:30:43 kmc: do you think of yourself as v. cynical 02:30:47 you don't seem that way to me most of the time 02:31:10 PA is like the ultimate example of nerds acting like underdog rebels even after they come to control everything 02:32:10 it helps that the comic has been pretty shitty for the last few years so I don't lose much by trying to ignore them 02:32:22 it was fucking hilarious for a long time, though 02:33:02 shachaf: I do, generally 02:33:15 I see myself as relatively idealistic 02:33:17 but I know that I'm pretty unfair in my judgements about myself 02:33:20 It's a nice life 02:33:41 keep in mind that kmc's favourite comic strip is jerkcity 02:34:08 no, it has to be Achewood 02:34:13 but Jerkcity is pretty good too 02:38:07 -!- yorick has quit (Remote host closed the connection). 02:50:32 shachaf: I guess I am cynical about most things but really positive and idealistic about a few and that keeps me going 02:52:41 -!- oklopol has quit (Remote host closed the connection). 02:57:53 -!- Taneb has quit (Quit: Leaving). 02:59:51 I wonder when Trident will go the way of MSIE 03:03:18 -!- oerjan has quit (Quit: Z?). 03:31:37 -!- Slereah_ has quit (Read error: Connection reset by peer). 03:31:46 -!- Slereah has joined. 03:32:06 what is the opposite of "cynical" 03:32:20 "romantic"? 03:32:43 "optimistic", usually 03:33:13 -!- typeclassy has joined. 03:34:33 -!- Oj742 has joined. 03:40:35 -!- typeclassy has quit (Ping timeout: 252 seconds). 03:47:17 I can't be president :( 03:47:40 what, of anything? 03:48:00 but can you be copresident 03:49:40 -!- KingOfKarlsruhe has quit (Ping timeout: 264 seconds). 03:57:32 copumpkin can be president of my heart ♥ 04:03:56 -!- Bike_ has joined. 04:04:19 shachaf can be president of my fart ♥ 04:05:57 -!- Bike has quit (Ping timeout: 240 seconds). 04:20:52 -!- typeclassy has joined. 04:28:09 -!- typeclassy has quit (Ping timeout: 272 seconds). 04:31:13 http://research.microsoft.com/en-us/um/people/hoppe/proj/videoloops/ 04:47:41 -!- Sprocklem has quit (Ping timeout: 252 seconds). 05:11:29 higher order, higher rank, higher kinded polymorphism #drugz 05:12:42 shachaf: "idealistic" 05:13:17 -!- Bike_ has changed nick to Bike. 05:13:43 ion: i think i watched a presentation about that for some conference once... 05:13:58 probably SIGGRAPH 05:14:01 linked on their site 05:20:05 -!- tertu has quit (Ping timeout: 248 seconds). 05:31:30 -!- tertu has joined. 06:14:02 -!- tertu has quit (Ping timeout: 264 seconds). 06:24:12 -!- Oj742 has quit (Ping timeout: 246 seconds). 06:29:04 -!- tertu has joined. 06:50:19 -!- glogbackup has joined. 07:21:06 -!- L8D has joined. 07:21:36 Would you guys consider a simplified form of FORTH to be an esoteric language? 07:22:31 -!- tertu has quit (Ping timeout: 246 seconds). 07:22:33 simplified how? have you seen underload? 07:23:21 -!- tertu has joined. 07:23:38 simplified as in, not a full implementation, but enough to be turing complete and usable for embedded machines 07:24:24 i wouldn't really consider that esoteric just because somebody probably already made it for such a machine. 07:24:37 I broke down the semantics of the language so that everything could be bootstrapped with no 'special' operators or keywords 07:25:25 -1 ? " true " : " false " ; type 07:25:45 and the if conditional looks like a ternary expression 07:26:06 well, it is. 07:26:47 A language is esoteric iff it has an esolangs.org wiki page. 07:26:55 lol 07:27:09 what's ; 07:27:52 shachaf: You just done proved that Perl really is an esoteric language. (Not that there was any doubt.) 07:27:55 are you asking what the esoteric language named 'semi-colon' is, or are you asking about the code? 07:30:03 theh code. 07:30:05 the first instruction in the code is the '-1', which just adds a -1(the standard value for a true boolean), then the '?' is the instruction for a conditional expression which will run the code between the '?' and the ':' if the item popped from the stack is true, and will run the code between the ':' and the ';' if the popped item is false 07:30:31 Then what's "type"? 07:30:34 the ';' really just marks the end of the if statement 07:30:35 is ; the comment character 07:30:39 oh 07:31:22 'type' is an intrstuction to pop an item off the stack as a pointer and print it as a string 07:31:32 oh, i see. 07:31:36 odd name 07:31:57 Odd but popular. 07:32:02 What's -"1 type" do, out of curiosity 07:32:10 "-1 type"* 07:32:13 TYPE CON 07:32:43 Bike: p. sure hott has a meaning for -1-type 07:32:49 It will try to use -1 as a char pointer and probably segfault or throw an error depending on whether type checking was enabled 07:32:53 p. sure i don't care. 07:32:59 L8D: makes sense. 07:33:41 http://comonad.com/reader/wp-content/uploads/2011/10/slides.pdf 07:35:10 !forth -1 1 type 07:35:11 ​\ in file included from *OS command line*:-1 \ /tmp/input.20539:1: Invalid memory address \ -1 1 >>>type<<< \ Backtrace: \ $7FCE1EB7CE70 write-file 07:35:31 Plain "-1 type" stack-underflows, of course. 07:35:42 : fib dup 2 < ? : dup 1 - fib 2 - fib + ; ; 07:37:03 !forth -1 IF S" true" ELSE S" false" THEN TYPE 07:37:03 ​\ in file included from *OS command line*:-1 \ /tmp/input.20573:1: Interpreting a compile-only word \ -1 >>>IF<<< S" true" ELSE S" false" THEN TYPE \ Backtrace: \ $7FC39808AB30 throw 07:37:10 -.- 07:37:42 !forth : true s" true " ; : false s" false" ; -1 IF true ELSE false THEN TYPE 07:37:42 redefined true redefined false \ in file included from *OS command line*:-1 \ /tmp/input.20617:1: Interpreting a compile-only word \ : true s" true " ; : false s" false" ; -1 >>>IF<<< true ELSE false THEN TYPE \ Backtrace: \ $7F25C6EC4B30 throw 07:37:49 -.- 07:38:00 this is why I created the simplified form 07:38:11 !forth -1 [IF] S" true" [ELSE] S" false" [THEN] TYPE \ so immediate 07:38:12 true 07:41:33 !forth -1 if s" true" else s" false" then type 07:41:34 ​\ in file included from *OS command line*:-1 \ /tmp/input.20897:1: Interpreting a compile-only word \ -1 >>>if<<< s" true" else s" false" then type \ Backtrace: \ $7FF2BEB33B30 throw 07:41:52 !forth -1 [if] s" true" [else] s" false" [then] type 07:41:52 true 07:41:55 Repeating the same thing is not going to make it work. :p 07:42:00 i don't get this. 07:42:17 See some documentation re interpretation and compilation semantics. 07:42:31 !forth : dummy -1 if s" true" else s" false" then type ; dummy 07:42:32 redefined dummy true 07:42:36 Uh... 07:42:47 There's a defined "dummy"? 07:42:59 !forth dummy type 07:42:59 ​\ in file included from *OS command line*:-1 \ /tmp/input.21094:1: Stack underflow \ dummy >>>type<<< \ Backtrace: \ $7F886AB35E70 write-file 07:43:06 !forth dummy 07:43:07 No output. 07:43:13 ...what? 07:43:14 I think dummy is no op. 07:43:16 !forth 4 type 07:43:17 ​\ in file included from *OS command line*:-1 \ /tmp/input.21221:1: Stack underflow \ 4 >>>type<<< \ Backtrace: \ $7F6B3345CE70 write-file 07:43:30 ok, it's clearly been way too long since i 'learned' forth. 07:43:31 !forth ." This is a test" 07:43:32 This is a test 07:43:34 !forth see dummy 07:43:35 ​\ : dummy ; immediate 07:43:42 Apparently. 07:44:36 !forth s" 'type' prints the usual two-cell string" type 07:44:37 ​'type' prints the usual two-cell string 07:45:24 why two cells? 07:45:45 couldn’t you fit a pointer into one? 07:46:09 It's an address-and-length pair. 07:46:19 ahh 07:46:23 !forth s" foo" . . 07:46:23 3 140010104896768 07:46:29 !forth c" foo" . 07:46:30 ​\ in file included from *OS command line*:-1 \ /tmp/input.21579:1: Interpreting a compile-only word \ >>>c"<<< foo" . \ Backtrace: \ $7F9583151B30 throw 07:46:34 Heh. 07:46:53 !forth : bah c" foo" . ; bah 07:46:54 139705325593352 07:47:00 !forth : bah c" foo" count type ; bah 07:47:01 foo 07:47:07 And so on. 07:47:53 !forth : bah c" foo" -1 type ; bah 07:47:54 No output. 07:48:02 !forth : bah c" foo" 1 - type ; bah 07:48:02 ​\ in file included from *OS command line*:-1 \ /tmp/input.21780:1: Stack underflow \ : bah c" foo" 1 - type ; >>>bah<<< \ Backtrace: \ $7F782C04CE70 write-file \ $7F782C09F348 type 07:48:28 !forth : bah c" foo" count 1 - type ; bah 07:48:29 fo 07:48:32 there we go 07:48:52 !forth : bah c" foo" +1 count 1 - type ; bah 07:48:53 ​\ in file included from *OS command line*:-1 \ /tmp/input.21876:1: Undefined word \ : bah c" foo" >>>+1<<< count 1 - type ; bah \ Backtrace: \ $7FD3F0895A68 throw \ $7FD3F08ABC68 no.extensions \ $7FD3F08993A0 compiler-notfound1 07:49:00 !forth : bah c" foo" 1 + count 1 - type ; bah 07:49:01 oo 07:49:05 hehe 07:49:12 !forth : bah c" foo" 1 + count 2 - type ; bah 07:49:12 oo 07:49:17 -.- 07:49:45 what is c""? 07:49:55 It's a counted string. 07:50:31 A pointer to a Pascal-style (length, data) pair, instead of the (pointer-to-data, length) pair on the stack, like s". 07:50:53 huh. 07:51:16 If you do c" foo" 1+ count it's going to interpret the 'f' as the length. 07:51:52 !forth : x c" foo" 1+ count . . ; x 07:51:53 102 139824385598218 07:53:45 -!- L8D has quit (Ping timeout: 245 seconds). 07:55:55 !forth : x c" ab" dup 10 0 do dup c@ . 1+ loop drop 1+ 10 type ; x 07:55:56 2 97 98 32 32 32 32 32 0 78 ab 07:56:18 I guess "type" stops as the 0 there, even though it might not need to. 07:56:44 (Also not sure what's up with those spaces.) 07:57:47 !forth : x c" ab" dup 10 0 do dup c@ . 1+ loop drop 1+ 10 ." <" type ." >" ; x 07:57:47 2 97 98 32 32 32 32 32 0 78 Oh, maybe it's actually EgoBot that stops at the 0. 08:19:42 -!- nisstyre has quit (Ping timeout: 252 seconds). 08:38:32 -!- nisstyre has joined. 08:44:38 -!- tertu has quit (Ping timeout: 264 seconds). 09:09:27 -!- FreeFull has quit. 09:12:38 !forth : C >R 256 15 16 1799 4 13107 2 21845 R> 4 0 DO TUCK OVER AND -ROT INVERT AND ROT / + LOOP ; 12345 C 09:12:41 No output. 09:12:47 !forth : C >R 256 15 16 1799 4 13107 2 21845 R> 4 0 DO TUCK OVER AND -ROT INVERT AND ROT / + LOOP ; 12345 C . 09:12:47 6 09:13:11 !forth 175 C . 09:13:12 ​\ in file included from *OS command line*:-1 \ /tmp/input.24099:1: Undefined word \ 175 >>>C<<< . \ Backtrace: \ $7FAC86EF5A68 throw \ $7FAC86F0BCE0 no.extensions \ $7FAC86EF5D28 interpreter-notfound1 09:15:52 No persistence for you. 09:16:10 :-( 09:16:38 !forth : f 46. do dup 1 .r cr dup rot + loop ; 0 1 f 09:16:39 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134903170 \ 1836311903 09:17:38 The #forth channel should have this! 09:19:07 What, don't they have an eval-bot? 09:19:17 No :-( 09:19:35 I thought that was kind of a standard feature. The channels I'm on (##c, #perl, #scheme) all do. 09:41:46 what does .r do_ 09:49:49 Prints a number with a given field width. 09:50:06 I think that "1 .r" is pretty close to "." but maybe there's some subtle difference. 09:50:52 !forth : f 46. do dup . cr dup rot + loop ; 0 1 f 09:50:53 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134903170 \ 1836311903 09:51:03 Ah, right, the automatic space. 09:51:47 !forth : f 46. do dup . dup rot + loop ; 0 1 f \ arguably better, though 09:51:48 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 2584 4181 6765 10946 17711 28657 46368 75025 121393 196418 317811 514229 832040 1346269 2178309 3524578 5702887 9227465 14930352 24157817 39088169 63245986 102334155 165580141 267914296 433494437 701408733 1134903170 1836311903 09:52:53 I like the "46." shorthand for "46 0". 09:53:28 The whole thing with "double precision" in Forth is kind of funny-weird. 09:53:46 .1234, 12.34 and 1234. are all the same number, a two-cells-wide 1234. 09:54:53 !forth 0.1234 12.34 1234. d. d. d. \ okay, plain .1234 wasn't quite legal 09:54:53 1234 1234 1234 10:35:21 Are Imperial Measurements outdated? http://youtu.be/r7x-RGfd0Yk 10:42:21 Hrm, my log database update script seems to have barfed at the recent string "\udead\ubeef". Apparently the UTF-8 encoder involved there is strict about standards, and refuses to UTF-8-encode that standalone trail surrogate. 10:45:24 heh 10:52:59 -!- carado has joined. 10:53:49 -!- carado has quit (Client Quit). 10:54:05 -!- carado has joined. 10:55:46 -!- carado has quit (Remote host closed the connection). 10:56:22 -!- carado has joined. 11:20:50 -!- carado has quit (Ping timeout: 245 seconds). 11:49:53 -!- carado has joined. 11:52:42 -!- MindlessDrone has joined. 12:02:15 -!- Taneb has joined. 12:06:58 -!- ais523 has joined. 12:21:34 http://dolan.naurunappula.com/screen/d5/f7/d5f7f404978714ec/0/787935.jpg 12:49:53 -!- Sgeo has quit (Read error: Connection reset by peer). 12:58:21 -!- Taneb has quit (Quit: Page closed). 13:00:14 -!- yorick has joined. 13:01:19 -!- carado has quit (Ping timeout: 246 seconds). 13:03:05 -!- boily has joined. 13:03:37 -!- metasepia has joined. 13:08:57 -!- carado has joined. 13:13:28 -!- ggherdov has quit (Remote host closed the connection). 13:13:33 -!- upgrayeddd has quit (Remote host closed the connection). 13:13:45 -!- conehead has quit (Remote host closed the connection). 13:23:26 -!- conehead has joined. 13:30:07 -!- upgrayeddd has joined. 13:36:16 ~metar CYUL 13:36:16 CYUL 271300Z 04012KT 4SM -RA OVC005 01/00 A2951 RMK SF8 PRESFR SLP996 13:36:37 -!- carado has quit (Quit: Leaving). 13:49:26 -!- ggherdov has joined. 13:58:19 good sloshy morning! 13:59:22 quintopia: I went through the Takis bag yesterday. I want moar. I'll have to scour downtown's groceries and dépanneurs under exécrable weather just to probably find some. 14:01:01 -!- L8D has joined. 14:01:05 `relcome L8D 14:01:10 ​L8D: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 14:04:00 shachaf: what would a single ascius be? how many avoidupois ounces in an ascius? 14:07:04 -!- oerjan has joined. 14:08:25 `? copumpkin 14:08:27 copumpkin? ¯\(°​_o)/¯ 14:08:58 `learn copumpkin is categorically incapable of being president. 14:09:03 I knew that. 14:09:25 not a natural born citizen, i guess. 14:09:47 -!- nooodl_ has joined. 14:09:47 -!- nooodl has joined. 14:09:54 darn there's _another_ 3-letter nick clash? 14:10:58 copumpkin: can you say something memorable, so that your quote-section won't be empty? 14:11:03 (same goes for impomatic) 14:11:16 `addquote copumpkin: can you say something memorable, so that your quote-section won't be empty? 14:11:19 oerjan: who's nicklashing with whom? 14:11:20 1138) copumpkin: can you say something memorable, so that your quote-section won't be empty? 14:12:10 * boily sighs... “there we go agais523n...” 14:12:26 coppro|nospoiler with copumpkin, myndzi with myname, tromp__ with trout (just found that), and i guess glogbot with glogbackup although they're not _supposed_ to be here at the same time and who speaks to them anyway. 14:12:38 boily: you can just delete it again 14:13:14 ais523: nah. I like it. 14:13:33 glogbot: hi there! :) 14:14:51 trout is of course highly variable, and will sometimes clash with conehead instead. 14:14:52 -!- boily has changed nick to oerboily. 14:14:56 -!- nooodl_ has quit (Ping timeout: 240 seconds). 14:14:56 -!- nooodl has quit (Ping timeout: 240 seconds). 14:15:19 fortunately i rarely have occasion to tab complete my own nick. 14:15:29 hm. right. 14:15:45 -!- oerboily has changed nick to fizboily. 14:15:53 there, that should do it :D 14:15:54 sometimes I /nick to a name just to be able to tab complete it 14:16:04 however, I've got into the awful habit of tab-completing on one letter 14:16:15 because my client favours tab-completing whoever spoke most recently 14:16:20 tab-completing on “f” is dangerous. 14:16:24 meaning it's normally right but I sometimes get tab-ninja'd 14:16:30 fizboily: yep. 14:16:46 even "fi" is annoying. 14:17:48 @quote copumpkin 14:17:48 copumpkin says: YOU ARE SUCH A PULLBACK YOU KNOW WHAT? I FUNCTORED YOUR MOTHER LAST NIGHT 14:18:03 he says most of his memorabilia elsewhere. 14:18:13 -!- fizboily has changed nick to boily. 14:18:18 @quote impomatic 14:18:19 No quotes match. Do you think like you type? 14:19:10 oerjan: is there an easy way to aggregate cucurbitaceæ into the PDF? 14:19:58 do we have that, i've forgotten. 14:20:08 `? cucumber 14:20:10 cucumber? ¯\(°​_o)/¯ 14:20:15 oh wait 14:20:18 * impomatic hasn't said anything interesting to date... 14:20:31 `addquote * impomatic hasn't said anything interesting to date... 14:20:35 1139) * impomatic hasn't said anything interesting to date... 14:20:37 ... 14:21:05 oh come on, you knew it had to happen. 14:21:14 adding it... 14:21:58 boily: to aggregate cucurbitaceæ you need to exploit categorical duality. 14:24:42 -!- carado has joined. 14:25:11 the impomatiquote was added, with a footnote *smirk* 14:31:12 i seem to have mostly stopped reading pdfs after getting the new laptop, because it no longer opens them inside IE. 14:31:56 and in fact opens them in metro hell. 14:32:28 * boily hugs his fully pinguinized machine 14:35:47 -!- trout has changed nick to constant. 14:36:01 -!- FreeFull has joined. 14:36:35 boily: how's your flash doing? >:) 14:37:24 oerjan: I don't know what you're talking about. la la la ♪ 14:38:02 -!- callforjudgement has joined. 14:38:33 -!- ais523 has quit (Read error: Connection reset by peer). 14:38:51 -!- callforjudgement has changed nick to ais523. 14:38:54 oerjan: I probably went through all major bugs and misfires. the most memorable was on my home desktop, when nvidia drivers swapped the blue and red channels. 14:39:05 boily: wow 14:39:51 -!- nooodl has joined. 14:46:50 oh dear they must have fixed it in 8.1 14:48:45 ~metar ENVA 14:48:46 ENVA 271420Z 27026KT 9999 FEW020 BKN046 07/02 Q1002 RMK WIND 670FT 30026G38KT 14:49:23 which one of those represent the storm i seem to be hearing outside the window 14:49:31 *represents 14:50:11 hm weather forecast says breeze. 14:50:18 * oerjan is skeptical. 14:56:00 Maybe "WIND" 14:56:13 hm you'd think. 14:56:21 a _little_ unspecific, there. 14:58:19 you have 26 knot winds going on, which is non-homeopatic. 14:58:29 no clue about that “670FT”. 14:58:57 oh hm. a second wind group. I guess the storm hasn't come to ENVA yet. 15:00:02 well the yr.no weather forecast claimed a breeze, not a storm. dunno why it sounds so loud. 15:00:44 ultra hardcode Norwegian wind? 15:01:21 `frink 26 knots -> m/s 15:01:30 6019/450 (approx. 13.375555555555556) 15:02:48 hm ok there's a warning about possible storm by the coast, perhaps it's got further inland than they expected. 15:04:17 ~eval 26 * 1.852 15:04:17 48.152 15:05:48 ~eval 48.152 / 3.6 15:05:49 13.375555555555556 15:07:56 a boring fungus https://en.wikipedia.org/wiki/Cliona_viridis 15:08:07 wait 15:08:09 *sponge 15:08:24 sheesh, brain, do i have to whack you upside the head 15:12:21 -!- nooodl has quit (Ping timeout: 246 seconds). 15:15:36 oerjan: your head seems to be fille with Impure Brainfsck Derivative Thoughts. please apply brick and reboot. 15:15:42 s/fille/filled/ 15:16:03 ... “green boring sponge”??? 15:20:52 i told you it was boring. 15:23:16 Not Impure Fungeoid Derivative Thoughts? 15:28:20 Hm what happened with Magnus in the topic? 15:45:38 I have an idea for brainfuck 15:45:47 it's like brainfuck, but with a logarithmic scale . 15:46:15 FireFly: he won hth 15:46:31 mroman_: http://esolangs.org/wiki/SELECT.? 15:46:48 Hm, what happened to someone's continuous brainfuck idea? 15:47:06 * oerjan had vaguely hoped for Shikhin to add a "Vishy!" or something. 15:47:27 although the way it ended, probably just as well he didn't. 15:48:40 ~duck magnus 15:48:40 --- No relevant information 15:48:44 ~duck vishy 15:48:45 Viswanathan Anand (born 11 December 1969) is an Indian chess Grandmaster and former World Chess Champion. 15:48:51 * oerjan swats metasepia -----### 15:49:13 eille! no violence against my peaceful bot! 15:49:19 -!- upgrayeddd has quit (Quit: Connection closed for inactivity). 15:49:21 BUT IT'S HIDEOUSLY BIASED 15:49:49 * boily hugs his bot. “don't listen to angry magnus supporters.” 15:52:34 also google translate thinks "eille" is finnish. 15:52:36 -!- carado has quit (Quit: Leaving). 15:53:23 and means "MATCH", capitals required. 15:54:16 fr:eille → en:hey. 15:54:36 WHY DOESN'T GOOGLE TRANSLATE KNOW THAT? 15:56:36 FOR THE SAME REASON FRENCH IS FRANCE FRENCH, AND ARMENIAN IS EASTERN ARMENIAN, AND CHINESE IS MANDARIN. 15:57:06 (I'd really like to have a Cantonese version. it'd be very useful in Montréal.) 15:58:20 but the best would be simultaneous multiple languabe output. 16:03:17 aren't Mandarin and Cantonese spelled the same? 16:03:27 so unless you were doing voice recognition, it make sense to merge them in a machine translator 16:05:27 no, the gramar and characters used are different. 16:06:38 right 16:09:03 ~metar CYUL 16:09:04 CYUL 271600Z 31009KT 8SM -SN OVC009 01/00 A2945 RMK SF8 /S01/ SLP976 16:09:10 -SN indeed. 16:12:42 -!- MindlessDrone has quit (Quit: MindlessDrone). 16:12:58 !forth 2 dummy . 16:12:59 2 16:18:03 -!- carado has joined. 16:34:49 Or a Brainfuck Derivative based on the disecrete logarithm problem thingy 16:35:15 or Knappsack Problem 16:36:18 -!- MindlessDrone has joined. 16:37:02 mroman_: to base a language on an NP problem is vile and nasty. please implement. 16:42:08 What about a travelling saleman language 16:42:13 That salesman sells integers 16:42:33 -!- Sprocklem has joined. 16:42:35 -!- Taneb has joined. 16:43:31 Tanelle. 16:44:09 boily: you failed to mention Eodermdrome 16:49:46 * boily fails to mention Eodermdrome 16:50:31 Apparently there are some 2^2^n problems 16:50:34 That is pretty heinous 16:51:00 Hitler if he was a complexity class 16:52:13 what about O(ackermann). 16:53:01 I recall ackermann⁻¹ appearing in the complexity of some algorithms 16:53:16 Yeah, but ackermann^-1 is pretty fucking soft 16:53:17 that's "p. slow" 16:53:22 Barely a step above O(1) 16:53:40 also, log*(n) (iterated logarithm) 16:53:45 O(fast growing * factorial * exponent * tetration * fuck you fuck you fuck you) 16:53:54 If I had a cancer growing at O(a^-1), I wouldn't even stop eating radium 16:54:05 Bike : Sure, but try finding such a problem! 16:54:19 Such a problem *that doesn't have a less complex solution* 16:54:46 Also my guess is that there's probably a cap on complexity 16:55:23 what does radium taste like? 16:55:29 what's the complexity of finding every problem with ackermann complexity 16:55:31 -!- Slereah has quit (Read error: Connection reset by peer). 16:55:42 -!- Slereah has joined. 16:55:44 Oh dagnabbit 16:58:13 and the upper limit on complexity is impossibility. 16:59:20 http://en.wikipedia.org/wiki/ALL_(complexity) 17:00:47 -!- oerjan has quit (Quit: keep your limit down). 17:22:05 Yeah, but I meant more computational time-wise 17:22:35 'forever' is a time! 17:27:58 -!- nooodl has joined. 17:33:57 Would ALL include undecidable decision problems? 17:35:35 i.e. is the halting problem in ALL, or is it not classified as a decision problem despite having a boolean answer? 17:36:20 halting problem is in RE 17:36:25 (which is a subset of ALL ofc) 17:37:15 Oh 17:38:52 since if a program halts it takes finite time to demonstrate thath. 17:39:09 but yes, ALL is a strict superset of RE, and so includes impossible problems. 17:41:24 But not undefinable problems! 17:43:32 iunno. might as well put them in there too. 17:46:58 Nah 17:47:11 Undefinable problems cannot be inputed in a Turing machines 17:47:36 Though they can be in a SUPERTURING MACHINE 17:47:41 i'll just use an undefinable machine. 17:47:52 Like a Turing machine with continuous cells 17:48:23 Or a Turing machine with infinite starting input 17:54:10 Why is EXPTIME considered unfeasable 17:54:28 I ran some exptime programs 17:54:35 They were mighty feasable 17:54:46 boily: isn't it just the greatest food invention ever? why did it take so long to get invented? 17:55:05 Slereah: because for realistically large problem sizes you're usuallyy fucked. 17:55:44 Feasable isn't the same as "Fuck it's too big, let's give up 17:55:59 twss 17:56:59 if you're giving up you're basically saying it's infeasible. 17:57:36 wikipedia has a good example of an exptime problem: figuring out perfect play from a given chess position is exponential in the size of the board. 17:57:58 and guess what, people actually don't compute perfect play in chess. 17:58:11 They might if they played on a 4x4 chess set! 17:58:31 they don't. 17:59:33 "Chess Attack: played on a six-row five-column board, Chess Attack follows standard chess rules, and can be regarded as an endgame variant." 17:59:42 That's only 30 cells! 18:00:13 i didn't know that was proven exptime...yes there are exp many games from a position, but i didn't know it had been proven that there wasn't some complicated heuristic that ended up being as good as perfect 18:00:29 'as good as perfect' is pretty hard. 18:00:41 quintopia: my mouth was burning with the force of a thousand limes. 18:00:47 but "prove it doesn't exist" is also hard 18:01:18 http://turbo.sos.gd/ 18:01:42 boily: and i only sent the regular ones. they also have NITRO, which are the same but habanero based. 18:01:57 Slereah: i can prove that "while (1) {}" never halts but that doesn't make the halting problem feasible, you know? 18:02:51 Well yes, but you can always solve an EXP problem 18:02:56 * boily has gained a new quest! “Find a bag of NITRO TAKIS”! 18:02:56 Given sufficient time and space 18:02:57 Bike: doesn't it halt when someone interrupts it/ 18:03:02 So it's not really comparable 18:03:14 Bike: do you ever sleep? 18:03:56 I was last on here about 11 hours ago 18:04:10 and you were here then 18:05:26 L8D: http://zem.fi/ircvis/esoteric/people_presence.html 18:06:11 boily: you live in BIG SCOTLAND 18:06:14 http://www.buzzfeed.com/robinedds/its-thanksgiving-so-we-asked-some-brits-to-label-the-us-stat?s=mobile 18:06:47 http://www.buzzfeed.com/robinedds/its-thanksgiving-so-we-asked-some-brits-to-label-the-us-stat 18:07:18 bwah ah ah ah ah :D 18:07:30 that's a new one, Big Scotland. 18:08:37 L8D: thanks 18:09:13 `learn Canada is Big Scotland. Like, you know, very big. 18:09:17 L8D: no 18:09:18 I knew that. 18:10:45 Slereah: what's the point of having 'feasible' mean 'possible'? 18:14:51 Because that's what it means? 18:15:01 'possible' could be said to mean that we can imagine some actor, possibly in a science-fiction novel, considering it feasible, while 'feasible' means that i can be that actor. 18:15:08 Sharing the same root as french "faisable" 18:15:09 Doable 18:15:09 what does hackego actually say is he already has information about something? 18:15:20 fuck etymology 18:15:32 Well yes, but if you go by that 18:15:34 myname: i don't think `learn checks. 18:15:37 None of them are feasable 18:15:43 Polynomial can be unfeasable! 18:15:47 Even O(1) 18:15:57 If O(1) is 10^100 18:16:36 a particular O(1) algorithm might be infeasible but most of the ones we use aren't. 18:17:24 That sounds a bit racist to judge a class from a few bad apples! 18:18:01 s/a few bad apples/the majority of the bunch/ 18:19:05 So racist 18:19:27 i know you're joking and all but don't trivialize racism, please. 18:19:27 * boily colle des pommes sur Slereah 18:20:06 feasibility is an informal concept. it is what it is. 18:20:28 the golden pommes de soleil or ... the silver pommes de la lune? 18:20:31 The best program is O(0) 18:20:54 Slereah: all Unnecessary programs are O(0)! 18:21:18 unless they exist 18:21:22 Well there's only one O(0) program 18:21:23 *don't exist 18:21:24 The empty program! 18:21:30 quintopia: I'd go with a golden apple. you know, something something kallisti something... 18:21:35 Although 18:21:42 I'm not sure O(0) makes sense 18:21:59 Since O(f) is O(f)/f ~> 1 18:22:09 Is it? 18:22:10 I forget 18:22:36 no 18:23:14 "[f(x) = O(g(x)) if and only if there is a positive constant M such that for all sufficiently large values of x, f(x) is at most M multiplied by g(x) in absolute value." 18:23:25 an annoying definition i can never remember 18:24:04 this implies that if f = O(0) then f is 0, probably. 18:24:09 I guess O(0) makes sense for the empty program then 18:24:15 quite. 18:25:21 O(0 + i) 18:26:41 multiply the Ms of an O(1) by -i, and voila. 18:27:43 Are the computational classes machine dependant? 18:27:47 Speed-wise 18:28:03 I seem to recall that some algorithms are faster in certain paradigm 18:28:26 that's what oracles are for, probably. 18:29:22 I mean within the TC class of computers 18:29:55 but like, say for ripple-carry addition, you say it's linear in the number of digits; that basically means that the time is a linear function of how much an operation taken as primitive (adding digits) takes 18:30:57 -!- Frooxius has joined. 18:34:50 boily: isn't eris the moon goddess? 18:34:55 oh wait 18:34:57 that's selene 18:35:06 why do i associate eris with the moon somehow? 18:36:01 Bike: that implies that O(0) and O(1) mean the same thing :) 18:36:20 BUT WE KNEW WHAT SLEREAH MEANT 18:37:21 -!- Sprocklem has quit (Ping timeout: 252 seconds). 18:37:38 mathematical question 18:37:52 psychological answer. 18:38:05 if i have a function f: A x P(A) - > R 18:38:15 what the hell is f(.,A)? 18:38:37 what is P()? 18:38:40 powerset? 18:38:47 yes 18:39:12 and . means plug in the whole set? 18:39:32 eh i don't know. but it's still a function into the reals 18:39:36 that is my question 18:39:52 P(A) means you had issues with your mother when you were young. 18:40:33 i have never seen f(. in any way 18:42:17 myname: I've seen people use - as an implicit lambda variable 18:42:25 as in, f(_,A) means \x.f(x,A) 18:43:19 well, it says it should be a vector 18:43:48 f(.,A) that is 18:46:49 myname: what do you mean? it depends what f and A are. for example if A is the empty set then it's the empty function. 18:47:21 i think myname is asking about notation. 18:49:15 oh, yeah presumably that's a lambda variable 18:49:43 that sounds strange in this context, but i will take it for now 18:56:14 -!- nisstyre has quit (Quit: Leaving). 18:56:30 -!- L8D has quit (Read error: Operation timed out). 18:57:57 ais523: Sometimes people even use two -s! It's great. 18:58:44 As in Hom(f(-),-) ~ Hom(-,g(-)) 19:00:12 -!- L8D has joined. 19:00:59 shachaf: I refuse you adjunction. 19:01:08 * boily still doesn't understand adjunctions. :( 19:01:23 boily: I only understand them from the axioms, and intuitively 19:01:25 i don'2 get the advantage of saying "f(.,A) is in the core" instead of "for every x in A, f(x,A) is in the core" 19:01:28 I don't get the in-between bits 19:01:59 like, in a closed category, you have (A×B)=>C === A=>(B=>C) 19:02:06 which is the main interesting point 19:02:42 the main interesting thing you can do in a closed category is to tensor morphisms backwards 19:15:38 -!- tertu has joined. 19:16:56 -!- Sprocklem has joined. 19:18:03 -!- Sprocklem has quit (Remote host closed the connection). 19:20:05 -!- tertu has quit (Ping timeout: 248 seconds). 19:22:30 -!- MindlessDrone has quit (Ping timeout: 245 seconds). 19:27:44 ais523: Well, that's usually the definition of =>. 19:28:15 (Note that the two =>s on the right side aren't the same thing.) 19:28:30 -!- carado has quit (Ping timeout: 252 seconds). 19:30:06 boily: https://www.youtube.com/watch?v=7YLy4j8EZIk 19:32:55 that video will be at home watched. 19:37:38 shachaf: yes they are 19:37:42 -!- MindlessDrone has joined. 19:37:47 that's the definition on objects 19:37:55 there's a definition on morphisms too but it's more complex 19:40:40 (->) -> (->) => >>> -> => -> >>> × >>> -> => -> >>> => (->) -> (->) 19:41:04 ? 19:41:35 morphism art. 19:41:42 I'm not sure what you mean. 19:42:17 -!- muskrat has joined. 19:42:18 Or maybe I do understand, actually, will look again in a little while. 20:00:46 -!- Slereah has quit (Ping timeout: 240 seconds). 20:23:41 -!- nisstyre has joined. 20:29:02 -!- ais523 has changed nick to scarf. 20:32:30 -!- yorick has quit (Remote host closed the connection). 20:34:14 fizzie: are you named after a train? someone in another channel just said that the train they were on wasn't fizzie 20:36:02 -!- yorick has joined. 20:36:47 scarf: I am not named after a train. But that sounds curious. 20:37:11 `quote 820 20:37:12 820) I am a train. There's a wireless network in the train! 20:37:24 fizzie: they just referenced HackEgo quote 820 20:37:27 so, hmm 20:37:38 must be following this channel for some reason 20:37:41 other people can HackEgo? 20:37:44 -!- Oj742 has joined. 20:37:46 Oh. Uh. Strange. 20:37:48 `relcome Oj742 20:37:51 ​Oj742: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 20:38:05 scarf: why on fungot would people want to follow the chännel... 20:38:06 boily: which includes themselves. if they were fnord. amazing restaurant. even the wrong bits be painted as a string? examples that i have 20:38:22 (I tried googling for "fizzie train" but mostly got "Fizzie Vixen"'s Vine stuff. 20:38:34 traaaaain! 20:38:37 (That's not me.) 20:38:41 I like trains. 20:38:47 * kmc too 20:39:16 -!- scarf has quit. 20:39:40 oh fungot. I just understood fizzie's pectopah. 20:39:40 boily: i use a combination of ( for the bytecode compiler could work well 20:40:07 fungot: I'll let that unbalanced ( slip this time, you vile unkarmic bot. 20:40:07 boily: and my debugging usually revolves around ( define low-level in terms of s-expressions ( i don't expect you to go to a public school? remind me not to 20:40:19 fungot: you're stretching your luck too far, young'un. 20:40:20 boily: i can't believe i said that 20:40:26 fungot: me neither. 20:43:40 -!- constant has changed nick to variable. 20:44:23 I don't remember what 476 is about at all. 20:44:49 `quote 476 20:44:51 476) I think it's fizzie against everyone atm AND EVERYONE IS WINNING EXCEPT FIZZIE 20:45:09 maybe it was a race to make you not remember itself 20:46:45 Taneb: do you know? 20:47:06 I do not 20:47:10 it was the other Taneb 20:47:21 Ah, the usual explanation. 20:47:23 other taneb?? 20:47:32 You know... 20:47:35 the one who Taneb is not. mystery explained. 20:47:35 ...ngevd 20:48:00 `?people who taneb is not 20:48:01 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?people: not found 20:48:04 `? people who taneb is not 20:48:07 elliott, a rabbi, Mark Zuckerberg, James Bond 20:48:19 can't help but notice a lack of ngevd 20:48:47 `pastelogs AND EVERYONE IS WINNING 20:48:59 It seems to have been a #esoteric-minecraft quote. 20:49:16 well, shit. 20:49:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1861 20:49:46 About a dorf furtress game. 20:49:56 In which I guess there's a convention to name folks after #esotericers? 20:50:01 how do you 'win' dorf furtressx 20:50:26 @tell oerjan I didn't add any new newlines to @run or change the space handling, all I did was increase a constant. I didn't touch the code, though I considered it. https://github.com/int-e/lambdabot/commits/master is up-to-date except for the 200 -> 350 change in lambdabot-core/src/Lambdabot/OutputFilter.hs (textwidth). 20:50:27 Consider it noted. 20:51:36 Taneb: Who is on a rampage currently? Just fizzie He's a mason 20:51:52 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:51:58 What do you call a dorf with no nose? fizzie? Yup 20:52:03 Sometimes reading stuff feels kinda weird. 20:52:08 (I do have a nose.) 20:52:16 do you really 20:52:18 where'd you get it 20:52:24 fizzie, I presume you're not a dorf, too 20:52:28 It came with the face. 20:52:35 Speaking of dwarf fortress 20:52:42 @tell Phantom_Hoover ... 20:52:42 Consider it noted. 20:58:13 pegnose fizzie 21:03:56 ~duck pegnose 21:03:57 --- No relevant information 21:07:47 -!- oklopol has joined. 21:15:21 `? befunge 21:15:23 befunge? ¯\(°​_o)/¯ 21:16:02 : SUM ( + SIZE 1 EQUAL NOT ) WHILE ; 10 RANGE SUM . 21:16:41 or: : sum ( + size 1 = ! ) while ; 10 range sum . 21:17:35 !forth : SUM ( + SIZE 1 EQUAL NOT ) WHILE ; 10 RANGE SUM . 21:17:37 ​\ in file included from *OS command line*:-1 \ /tmp/input.3307:1: expected control flow stack item \ : SUM ( + SIZE 1 EQUAL NOT ) >>>WHILE<<< ; 10 RANGE SUM . \ Backtrace: \ $7FBF20466988 throw \ $7FBF20476918 c(abort") \ $7FBF20476AC8 cs-item? \ $7FBF20477440 CS-ROLL 21:20:55 Presumably that's the suggested Forthoid, and not actual Forth. 21:21:04 !forth : sum 0 begin over while + repeat ; 0 1 5 2 4 3 sum . \ sum of a 0-terminated list 21:21:05 15 21:23:52 -!- Bike_ has joined. 21:23:55 -!- sebbu has quit (Ping timeout: 252 seconds). 21:23:59 -!- Bike_ has quit (Client Quit). 21:24:18 -!- Bike_ has joined. 21:26:17 `list 21:26:19 ais523 atriq Bike boily cuttlefish elliott fgrep Fiora fungot HackEgo metasepia mnoqy monqy Ngevd nortti oklopol Phantom_Hoover Phantom__Hoover pikhq quintopia Roujo Sgeo SgeoBot shikhin SUPREME_BUTT_SUI Taneb 21:26:31 Aaaah 21:26:38 -!- Bike has quit (Ping timeout: 264 seconds). 21:26:38 sorry. couldn't resist. 21:28:26 -!- Bike_ has changed nick to Bike. 21:31:42 -!- boily has quit (Quit: (APPLY CHICKEN '(CHICKEN CHICKEN))). 21:31:45 -!- metasepia has quit (Remote host closed the connection). 21:37:19 Sometimes I'm happy I'm not on the List 21:44:03 -!- muskrat_ has joined. 21:47:30 -!- muskrat has quit (Ping timeout: 246 seconds). 21:52:35 -!- nisstyre has quit (Quit: Leaving). 21:54:58 Thing I like: when someone writes a long S-expression in Scheme (or other such), and needs to put some two dozen )s after the last non-) character, and decides to put them like http://sprunge.us/INhI 21:55:55 hah 21:56:21 (I've seen that happen a total of one time.) 21:57:43 :D 22:03:20 -!- nisstyre has joined. 22:25:52 When someone writes "CRINGE" on IRC you know it's a pun well done 22:27:43 !forth : i begin #tib @ >in @ = if tib 50 accept #tib ! 0 >in ! then bl word find dup if state @ = if , else execute then else dup rot count >number if state @ if last @ dup @ last ! dp ! then abort then drop2 state @ if ['] lit , , then then again ; i | 2 2 + . 22:27:44 ​\ in file included from *OS command line*:-1 \ /tmp/input.3951:1: Undefined word \ : i begin #tib @ >in @ = if tib 50 accept #tib ! 0 >in ! then bl word find dup if state @ = if , else execute then else dup rot count >number if state @ if last @ dup @ last ! dp ! then abort then >>>drop2<<< state @ if ['] lit , , then then again ; i | 2 2 + . \ Backtrace: \ $7F226ACC9A68 throw \ $7F226ACDFC68 no.extensions 22:27:59 !forth : int begin #tib @ >in @ = if tib 50 accept #tib ! 0 >in ! then bl word find dup if state @ = if , else execute then else dup rot count >number if state @ if last @ dup @ last ! dp ! then abort then drop2 state @ if ['] lit , , then then again ; int | 2 2 + . 22:28:00 ​\ in file included from *OS command line*:-1 \ /tmp/input.3997:1: Undefined word \ : int begin #tib @ >in @ = if tib 50 accept #tib ! 0 >in ! then bl word find dup if state @ = if , else execute then else dup rot count >number if state @ if last @ dup @ last ! dp ! then abort then >>>drop2<<< state @ if ['] lit , , then then again ; int | 2 2 + . \ Backtrace: \ $7FCE3F9ADA68 throw \ $7FCE3F9C3C68 no.extensions 22:28:45 -!- Bike has quit (Ping timeout: 245 seconds). 22:30:36 -!- Bike has joined. 22:36:16 -!- oerjan has joined. 22:36:40 -!- nisstyre has quit (Quit: Leaving). 22:36:47 -!- carado has joined. 22:38:20 nice of the storm to fully hit just as i was going back home 22:38:37 http://i.imgur.com/ampdE1n.gif 22:39:19 @messages-lost 22:39:19 int-e said 1h 48m 52s ago: I didn't add any new newlines to @run or change the space handling, all I did was increase a constant. I didn't touch the code, though I considered it. https://github.com/int-e/lambdabot/commits/master is up-to-date except for the 200 -> 350 change in lambdabot-core/src/Lambdabot/OutputFilter.hs (textwidth). 22:40:14 @tell int-e i guess it was done before your time then. 22:40:14 Consider it noted. 22:40:27 * oerjan looks suspiciously at elliott 22:40:28 @messages- 22:40:29 You don't have any messages 22:40:45 oerjan: might also look suspiciously at mokus 22:41:08 who is mok 22:41:14 *mokus 22:41:28 irssi's tab completion, so primitive 22:41:46 cannot take me trying to tab complete someone not here. or its own name. 22:42:40 Maintainer: James Cook 22:42:58 -!- muskrat_ has changed nick to muskrat. 22:43:49 wat 22:44:14 oerjan: you asked who mokus is. 22:45:40 is that somewhere in lambdabot's code. 22:45:52 look at the .cabal file 22:46:24 https://github.com/mokus0/lambdabot/blob/master/lambdabot/lambdabot.cabal 22:46:37 or http://hackage.haskell.org/package/lambdabot :) 22:46:48 http://www.deepbondi.net/ looks promising. 22:47:11 -!- sebbu has joined. 22:47:50 -!- sebbu has quit (Changing host). 22:47:50 -!- sebbu has joined. 22:49:14 -!- muskrat has quit (Read error: Connection reset by peer). 22:49:41 -!- Sgeo has joined. 22:57:50 -!- Bike has quit (Ping timeout: 264 seconds). 22:57:59 -!- Bike has joined. 23:02:36 @tell slereah Why is EXPTIME considered unfeasable <-- "For every polynomial-time algorithm you have, there is an exponential algorithm that I would rather run." -- Alan Perlis 23:02:36 Consider it noted. 23:03:00 ---------[--------- 23:03:48 Bike: are you removing tabs in brainfuck 23:05:08 ugh. +[,>+<---------[>-]>[<+++++++++.>->]<<] 23:05:56 ]+] 23:05:57 I probably messed that up, I'm out of practice. 23:07:34 I should simply do +[,---------[+++++++++.[-]]+] 23:08:49 int-e: you're not halting at eof 23:09:19 so which eof convention do you favor? 23:09:40 @poll-results olist 23:09:41 Poll results for olist (Open): update=932 23:09:41 0 usually, since that's what the bots around here use 23:10:02 oerjan: i just realized that @vote won't show the list of names anyway, so you still need to @poll-results 23:10:05 so ,[---------[+++++++++.[-]],] 23:10:30 that'd work 23:11:19 wait, how's the middle loop ever halt 23:11:34 or. wait. nevermind. 23:20:12 -!- myname has quit (Ping timeout: 240 seconds). 23:20:20 -!- myname has joined. 23:33:47 oerjan: i don't understand that quote 23:34:02 wait i read that as alan turing 23:34:13 Perlis -> Turing 23:35:03 (that that it changes anything) 23:35:07 perling 23:35:16 (*not) 23:35:43 oklopol: it means that the formal complexity class of an algorithm may not mean much in practice. 23:35:54 example: simplex method 23:36:33 yeah okay i guess it changes things if it was someone who lived much after turing 23:36:53 also that constant overhead may be more important than O() class for problem sizes you actually care about 23:37:05 at least that's how read it. 23:37:09 indeed 23:37:18 one remarkable thing about EXPTIME is that it's actually known to be different from P 23:37:19 *\i 23:37:22 *-\ 23:38:00 it's not _that_ remarkable, time and space hierarchies are pretty fine masked _separately_. 23:38:11 yeah 23:38:19 it's just hard to compare time with space. 23:38:21 saying it's remarkable is somewhat tongue-in-cheek 23:38:39 given all the classes which aren't known to be distinct from P 23:38:43 time with space, or deterministic with nondeterministic 23:38:54 wait can you say "fine masked" in english 23:39:04 i'm not familiar with that phrase 23:39:08 whatsit mean 23:40:06 Then there are the classes for quantum computers 23:40:11 gt suggests "meshed" 23:41:44 or maybe fine mesh 23:43:17 still not familiar with this idiom 23:44:02 finely divided 23:44:28 now that has to be actual english. 23:44:31 please? 23:45:04 perhaps i'm just thick. 23:46:03 next try "fine-grained" 23:48:25 FreeFull: yeah, P ?= BQP ?= NP is real important 23:49:31 i think it would be funny if someone found out a way to simulate quantum systems efficiently with classical computers, and as a side effect broke RSA 23:49:45 "Love #StackOverflow? Want it for your team? Check out http://quandora.com" ok you can't just take the name "Quora" and stick a few more letters in the middle 23:50:06 that would be funny 23:50:24 I think it would be funny to get a totally non-constructive proof of P = NP 23:50:30 quwhynotora 23:50:49 that too 23:51:08 or a proof which produces a polynomial-time algorithm which is way too slow to ever use, and which resists improvement 23:51:18 or a proof that P ?= NP is independent of the axioms of ZFC 23:51:58 i think the point is that kmc likes to frustrate mathematicians 23:52:18 five worlds etc 23:52:26 what about an algorithm for SAT that seems to work extremely fast but which no one can prove that it always works 23:52:42 imo, a good paper 23:52:53 that is a good paper 23:53:14 maybe i should read it once, i guess it has all those options. 23:53:27 now, are you referring to http://www.joelonsoftware.com/articles/FiveWorlds.html or http://starwars.wikia.com/wiki/Five_Worlds 23:53:37 no 23:53:40 (have found the actual paper but i like that those two links were first) 23:53:46 shachaf: i vaguely suspect not the latter 23:53:59 What about a proof that P > NP? 23:54:01 That'd be weird 23:54:23 FreeFull: well then you're just breaking mathematics 23:54:24 oerjan: oh, well, i vaguely suspect not you 23:54:55 P <= NP is pretty trivial. 23:55:14 (all P turing machines are also NP turing machines) 23:56:33 -!- sebbu has quit (Ping timeout: 272 seconds). 23:57:56 likewise P <= BPP <= NP because a BPP machine is like a NP machine but it has to accept on "lots of paths" not just one 23:58:28 we did an exercise about the class BPP^NP which my friend decided means "Black Panther Party with NP oracle" 23:58:40 puttin that in my next sci-fi epic 23:59:23 wait is BPP <= NP really obvious 23:59:47 NP doesn't allow you to count paths