00:11:21 -!- Slereah_ has joined. 00:13:26 -!- Slereah has quit (Ping timeout: 264 seconds). 00:49:29 -!- Slereah_ has quit (Read error: Connection reset by peer). 00:49:46 -!- Slereah has joined. 00:53:57 http://web.archive.org/web/20031210145310/http://cyberspace.org/~lament/thue.html <-- hm although both original links are dead, wayback has a younger capture of the esolang one. although they're probably identical code anyway. 00:54:08 http://thue.stanford.edu/ 00:54:27 http://thue.stanford.edu/puzzle.html 00:54:27 lol. 00:55:07 shachaf: seems like a different one 00:55:24 too bad 00:58:13 * oerjan updates to use our handy wayback template 00:59:04 -!- impomatic has quit (Quit: impomatic). 00:59:21 something about rewrite systems makes me happy. 01:00:16 when I was studying the process behind markov algorithms I learned all sorts of cool things you can do using them, even though it is a bit unintuitive at first. 01:02:40 did we point you to /// yet (probably) 01:02:53 * oerjan is heavily biased, of course 01:03:06 being biased towards /// is sensible 01:03:14 yep! 01:03:19 I've looked briefly at /// 01:03:25 (I assume you're the creator) 01:03:32 Bike: it's just asking for a slanted view, really 01:03:34 he at least wrote some algorithms 01:03:40 shut uppppp 01:03:44 hurrrr. 01:03:44 LinearInterpol: not the creator but the main programmer 01:03:56 interesting. 01:04:02 I assume someone's made a \\\ already? 01:04:05 or ||| 01:04:37 olsner: hm i don't _recall_ so. 01:04:57 this might be a good time to mention i'm amazed this channel doesn't have a search-for-esolang function 01:05:13 Anyone knows how unary minus mixes with list subscripts in Python? 01:05:14 -!- tromp_ has joined. 01:05:30 `cat bin/wiki 01:05:32 cat: bin/wiki: No such file or directory 01:05:39 Taneb: the way you'd expect, of course 01:05:44 HackEgo could have had, i guess 01:05:52 shachaf, I mean like -i[0] 01:06:02 oh 01:06:06 Which seems to work the way I expect 01:06:13 there you go, then 01:06:37 (i was thinking of negative indexing, which doesn't actually work the way you'd expect) 01:06:50 doesn't it count from the end 01:07:29 yes 01:08:17 oerjan: where's my olist 01:08:27 `pastlog `olist 01:08:58 No output. 01:09:05 help 01:09:11 `run ls bin/*log* 01:09:13 bin/anonlog \ bin/etymology \ bin/log \ bin/logurl \ bin/pastalog \ bin/pastelog \ bin/pastelogs \ bin/pastlog \ bin/randomanonlog \ bin/searchlog 01:09:15 you people 01:09:26 `randomanonlog 01:09:30 brainfuck can be compiled to machine code.. that's faster 01:09:36 `randomanonlog 01:09:40 AFK all 01:09:42 `randomanonlog 01:09:46 Saturday shall be red fedora day! 01:09:56 `randomanonlog 01:09:56 `randomanonlog 01:09:56 `randomanonlog 01:09:56 `randomanonlog 01:09:57 `randomanonlog 01:10:04 ​(recording my gf, don't worry) 01:10:05 fizzie: Pls fix with analytical logical skills not zapping 01:10:05 yes, there are very few of new concepts there. still interesting to write a shortest hello-world and a quine :) 01:10:05 85 <-- gentoo 01:10:05 s/,/m/ 01:10:39 what a mysterious function. 01:10:52 fungot: why use skills if you can use zapping? 01:10:53 olsner: ( define it " want to learn two languages at once, ecraven. internally to t, because fixnums are usually not modified very frequently. 01:11:06 kmc: "new wood stoves" would be a good name for a ban <-- I'LL TRY TO KEEP THAT IN MIND 01:12:25 context: 10:17 I believe SF bans new wood stoves but does not yet require removing existing ones. 01:13:18 context :( 01:13:42 you mean it wasn't a typo? freaky. 01:14:09 oerjan: sry 01:14:34 oerjan: would banning me make you feel better 01:16:53 we're not banning wood stoves in norway yet, but there's some serious environmental pollution control 01:17:07 shachaf: doubtful 01:17:41 now the pain killers kicking in otoh... 01:18:52 -!- yorick has quit (Remote host closed the connection). 01:19:29 http://www.nytimes.com/2013/12/17/science/earth/outsider-challenges-papers-on-growth-of-dinosaurs.html not all is well in the land of dinos 01:19:40 myhrvold sure is an eclectic dude. 01:21:29 -!- Taneb has quit (Quit: Leaving). 01:23:54 -!- Slereah has quit (Read error: Connection reset by peer). 01:24:21 -!- Slereah has joined. 01:24:57 avant-garde cuisine and patent law should _not_ be mixed hth 01:29:28 "Don't you just change "assertEquals(x, y)" to "it(x).should().equal(y)" ?" 01:30:45 -!- carado has quit (Ping timeout: 245 seconds). 01:31:36 sensible 01:37:20 -!- nooodl has quit (Ping timeout: 265 seconds). 01:41:32 Sgeo: lol now your library is Elegant™ 01:41:55 -!- muskrat has joined. 01:44:33 (fwiw I just quoted someone replying to PLT_Hulk) 01:44:56 Fiora: the thing about stack pointer reminds me of the (admittedly less extreme) hack where Linux puts a task-specific data structure at the end of the 8 kB aligned kernel stack, so you can get its address by masking the stack pointer 01:45:14 huh, sneaky 01:45:22 so it's like athread local storage type thing with stacks? 01:45:29 very useful in exploit code too! :3 01:45:48 yeah 01:46:07 hooray for sneaky things 01:46:20 does HackEgo have a database of sneaky things like lambdabot does 01:46:43 -!- realz has quit (Ping timeout: 260 seconds). 01:47:00 lol 01:47:02 what's lambdabot's 01:47:08 @where sneaky 01:47:08 dropFromEnd n xs = zipWith const xs (drop n xs) 01:47:10 @where sneaky2 01:47:10 lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] 01:47:13 and so on 01:47:54 -!- realz has joined. 01:47:58 Sneaky? 01:48:25 Is that dropFromEnd supposed to be broken or just clever? 01:48:40 > zip [1] [1,2] 01:48:41 [(1,1)] 01:49:40 clever hth 01:50:07 > let xs = [1,2,3,4,5] in zipWith const xs (drop 2 xs) 01:50:08 [1,2,3] 01:50:17 in particular, it's O(n) space where n is that variable 01:50:24 i think 01:50:28 in particular it works on infinite lists 01:50:40 > let xs = [71..] in zipWith const xs (drop 2 xs) 01:50:41 [71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,... 01:51:53 now someone can explain to me what the point of that lazyReverse is. 01:51:56 -!- Sprocklem has joined. 01:52:03 > let lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] in lazyReverse [17,2,39] 01:52:04 It works on infinite lists. 01:52:05 [39,2,17] 01:52:09 > let lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] in lazyReverse [17..] 01:52:14 mueval-core: Time limit exceeded 01:52:28 great. 01:52:30 It gives you a cons cell in the result as soon as it sees a cons cell in the input. 01:52:41 shachaf: hm well ok, as long as you don't look at the elements 01:52:45 Right. 01:53:11 > let lazyReverse xs = go xs (reverse xs) where go (_:xs) ~(y:ys) = y : go xs ys; go [] ~[] = [] in length . take 5 $ lazyReverse [17..] 01:53:12 5 01:59:26 -!- Slereah has quit (Ping timeout: 240 seconds). 01:59:49 -!- Slereah has joined. 02:01:38 `cat bin/` 02:01:40 exec bash -c "$1" 02:02:02 -!- muskrat has quit (Ping timeout: 264 seconds). 02:02:24 hm, psoas, is that just coincidence 02:02:47 saføui 02:02:52 also a coincidence 02:03:05 dag 02:03:19 natt 02:04:21 -!- heroux has quit (Ping timeout: 252 seconds). 02:06:37 -!- heroux has joined. 02:14:43 -!- realz has quit (Ping timeout: 252 seconds). 02:15:27 -!- Slereah has quit (Ping timeout: 240 seconds). 02:15:47 -!- Slereah has joined. 02:31:55 -!- Sprocklem has quit (Ping timeout: 260 seconds). 02:36:39 -!- Bike has quit (Ping timeout: 260 seconds). 02:37:33 Finished watching the Freeman’s Mind episodes released so far. ’Twas funneh. https://www.youtube.com/playlist?list=PL6PNZBb6b9LvDWpI-5CPYUxG1Rnm-vr9V 02:38:26 -!- Bike has joined. 02:58:02 Not sure if real life or The Onion http://www.cbc.ca/thisisthat/blog/2013/12/11/man-emerges-from-bunker-14-years-after-y2k-scare/index.html 02:58:13 satire 02:58:32 that was easy. 02:58:33 it's just fantasy 02:58:47 `` ` ` ` echo asdf 02:58:49 bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file 02:58:54 hmm. 02:59:05 so (reset (cons 1 (shift w (cons 5 (w '()))))) => (5 1) 02:59:25 Hehe, ok. 02:59:29 should (reset (cons 1 (reset (shift k (k (shift w (cons 5 (w '())))))))) return (5 1) or (1 5) 02:59:40 i'm afraid 02:59:44 (not which does it, but which would you expect) 03:00:43 is there some way to do this in cps instead @_@ 03:00:57 not without making it worse 03:01:35 well it's gibberish so it can't get worse 03:01:40 i'm gonna guess (1 5) though 03:01:58 any reason? 03:02:01 -!- Sorella has quit (Remote host closed the connection). 03:02:18 because i'm imagining that the outer "reset" is totally ignored 03:02:49 that is indeed how shift and reset work 03:02:56 -!- realzies has joined. 03:07:09 is the (reset (cons 1 ...)) one like (let ((w (lambda (x) (cons 1 x)))) (cons 5 (w '())) 03:08:59 pretty much 03:10:26 the various delimiting operator differ in how they treat nesting 03:10:37 so the latter one is like (cons 1 (let ((k (lambda (x) x))) (let ((w (lambda (x) (k x)))) (cons 5 (w '())))))? 03:11:40 yes 03:12:03 hm. 03:14:26 -!- Phantom_Hoover has quit (Quit: Leaving). 03:16:17 -!- LinearInterpol has quit (Ping timeout: 250 seconds). 03:16:56 if nested shifts referred to nesting resets it would be equivalent to (let ((w (lambda (a) (cons 1 (let ((k (lambda (b) b))) (k a)))))) (cons 5 (w '()))) 03:17:20 "Facebook is seeking an experienced Software Engineer to help us port the world’s best PHP run-time on servers based on ARM processor" 03:22:06 I'm not sure which regime is more pleasant to use 03:29:30 quantum computation is whack 03:29:40 quantum PHP 03:29:44 YES 03:32:21 and reset and shift are functions right 03:34:04 I don't know if they are called functions 03:34:55 i mean, so you can do stuff like (map reset (list (lambda (f) (f (shift ...))) (lambda () (f (+ 1 (shift ...)))))))))))))))) and /we 03:35:34 yes 03:35:42 I think 03:35:56 what a pain in the ass. 03:36:03 :D 03:36:30 implementing this sounds annoying. 03:36:44 I faked it with macros 03:36:58 expanding to call/cc? 03:37:17 no, just code transformation 03:37:40 it doesn't allow me to hide the resets in a function though 03:37:54 how do you deal with (reset (list #1=(shift k ...) #1#)) 03:38:11 lets find out 03:40:17 -!- tromp_ has quit. 03:41:20 just fine 03:41:39 lol infinitely large programs 03:41:44 (reset (list #1=(shift k (list 1 (k 3))) #1#)) -> (1 (1 (3 3))) 03:41:46 -!- tromp_ has joined. 03:42:33 shouldn't hte list be symmetrical? 03:43:15 nope, juxtaposition turns into nesting, within a reset 03:44:38 so that's what you get from (reset (list (shift a (list 1 (a 3))) (shift b (list 1 (b 3)))))? 03:44:55 yes 03:45:19 I think the reader makes removes the cycle when it reads it 03:45:32 s/makes/ 03:47:17 yeah i don't get this at all. it depends on evaluation order now? 03:48:00 the wikipedia page actually explains this one well 03:48:11 http://en.wikipedia.org/wiki/Delimited_continuation 03:48:51 regular continuations expose evaluation order too 03:49:12 doesthiswork: where? 03:49:14 kmc: they do? 03:49:18 (let/cc k (+ (k 0) (k 1))) 03:49:27 oh well right. 03:49:36 i thought delimited continuations didn't, though. 03:50:20 props on choosing let/cc 03:50:37 delimited continuations are even _less_ pure 03:50:58 bike start reading at "(reset 03:50:58 (begin 03:50:58 (shift k (cons 1 (k (void)))) ;; (1) 03:50:58 null)) 03:51:02 thanks Bike 03:51:16 doesthiswork: begin has a particular evaluation order, thugh 03:51:18 though* 03:51:26 oerjan: but they're more composable! 03:51:34 oerjan: how so? 03:51:48 kmc: you can simulate state with them 03:52:47 like using them for yield? 03:53:11 i don't actually know how it works, i just read you can 03:53:26 i think you can do that with normal continuations too 03:53:43 fuck this im goin back to pron 03:53:50 goin back to prawns 03:53:52 you can implement coroutines right 03:54:05 -!- Sprocklem has joined. 03:54:07 and you can implement a ref cell with a thread and that works even in cooperative threading 03:54:11 you need mutable variables to simulated delimited continuations with only undelimited ones 03:54:42 bike: list doesn't have an evaluation order? 03:55:29 not in scheme? 03:55:52 I'm in cl 03:56:03 well what ever nerd 03:56:17 list is a function and so has unspec. eval order in scheme 03:56:58 what would be the point of faking delimited continuations in scheme. Someone else has already implemented them 03:57:33 because it's a scheme tradition to implement everything a hundred times 03:58:13 I suppose it is, they sound like forth-ers in that way. 03:59:26 the nice thing about faking with macros is I can see the intermediate steps 04:02:42 argh i forgot to turn off the quick heating mode again 04:03:01 * oerjan cannot even get heating frozen pizza right :P 04:03:54 * pikhq can cook 04:04:00 * pikhq is also eating PB&J. 04:08:08 fortunately it only makes it a bit too charred 04:08:11 but still 04:08:50 nooooooooooooooooooo 04:09:14 wow, you really like pizza 04:09:17 quintopia: you really hate charred pizza? 04:10:14 (only on the edge) 04:10:27 oerjan: i really hate that i can't solve this stupid problem 04:10:48 is it still the git problem 04:11:50 doesthiswork: actually i only eat it once a month or so 04:12:39 i just seem to mention it here, every time. 04:16:47 -!- glogbackup has joined. 04:17:30 !logs 04:19:08 @ask Gregor why do you let poor glogbackup outright lie (twice!) in its !logs message 04:19:08 Consider it noted. 04:19:23 !logs 04:23:34 -!- Slereah_ has joined. 04:25:11 -!- Slereah has quit (Ping timeout: 250 seconds). 04:27:51 @tell mroman Navier-Stokes sounds sciency <-- https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness 04:27:51 Consider it noted. 04:30:32 huh, i didn't know hamilton tried to make 3ions for path finding <-- do you have some link about this? 04:31:40 oerjan: i'm looking for a program that can be proved nonterminating in higher-order logics, but not in ZF/FOL 04:32:09 finding one that is terminating and can't be proved so is easy, but the nonterminating one is killing me 04:32:31 (i say easy because there's a wikipedia article telling how to do it) 04:32:39 -!- Bike has quit (Ping timeout: 246 seconds). 04:33:36 biiiiiiiiiike 04:34:10 -!- oklopol has quit (Ping timeout: 245 seconds). 04:34:33 -!- Bike has joined. 04:35:51 biiiiiiiiiike 04:36:00 get a bouncer or a reliable server 04:36:07 huh, i didn't know hamilton tried to make 3ions for path finding <-- do you have some link about this? 04:36:50 quintopia: searching for an inconsistency in ZF/FOL should do the trick. 04:37:02 (by gödel's second incompleteness theorem) 04:37:18 Maybe main has the wrong type 04:37:27 Maybe it should be main :: CompileTimeIO (IO ()) 04:37:45 CompileTimeIO being IO enriched with metaprogramming stuff, perhaps 04:37:50 quintopia: assuming your higher-order logic proves ZF/FOL consistent, that is. 04:38:20 oerjan: so does that mean searching for a proof that ZF is consistent? 04:39:01 oerjan: by checking all proofs to see if they prove it 04:39:34 kmc: http://en.wikipedia.org/wiki/Icosian_calculus 04:39:59 nice, thx 04:40:02 quintopia: no. searching for a proof it _isn't_. 04:40:42 quintopia: or to be precise, enumerating all theorems of ZF/FOL and halting once you find a contradiction. 04:41:07 though i think i might have gotten the order backwards. 04:41:36 oerjan: ah. because there are no contradictions, but ZF doesn't know that. got it. 04:41:42 right 04:42:24 -!- tromp_ has quit (Remote host closed the connection). 04:42:30 http://en.wikipedia.org/wiki/Triangle_group#Hyperbolic_plane pretty 04:42:58 -!- tromp_ has joined. 04:45:03 kmc: check out this page then https://en.wikipedia.org/wiki/Uniform_tilings_in_hyperbolic_plane 04:45:33 (discussed here previously iirc) 04:47:00 -!- tromp_ has quit (Ping timeout: 246 seconds). 04:53:04 -!- tromp_ has joined. 04:55:55 oerjan: okay check my latest update on Onoz and make sure i did it right plox kthx 04:57:55 argh 04:58:25 i am coincidenaltiay on the page 04:59:51 quintopia: i don't you can check whether something is a valid godel number of a theorem. 05:00:14 what you need to do is check whether something is a valid godel number of a _proof_. 05:00:35 and whether that proof then ends in a contradiction. 05:00:58 *i don't think 05:01:42 i suppose that's a bit simpler than what i said above 05:02:26 more pretty! 05:03:06 oh okay so i could just let S be the program that checks the nth number and whether the result of that proof is that true=false? 05:03:19 yeah that would be enough 05:03:35 um except hm 05:04:37 the outer loop gives S every number n in order as long as a contradiction isn't found, right? 05:05:21 yes 05:05:45 the outer loop also prints 1 05:08:13 ok i think the idea is sound as written now. 05:16:12 > compare <$> [(0/0),0] <*> [(0/0),0] 05:16:14 [GT,GT,GT,EQ] 05:17:04 -!- glogbackup has quit (Read error: No route to host). 05:20:58 i feel like we shouldn't have to tag Uncomputable languages as Unimplemented. Uncomputable should be a subcategory of Unimplemented or something. 05:21:09 heh 05:21:12 -!- tromp_ has quit (Remote host closed the connection). 05:21:22 that sounds like a challenge 05:21:43 -!- tromp_ has joined. 05:22:10 Bike: okay. i'll give you a million dollars for a working implementation of any uncomputable language. :D 05:26:02 -!- tromp_ has quit (Ping timeout: 264 seconds). 05:34:45 -!- augur has quit (Remote host closed the connection). 05:35:12 -!- augur has joined. 05:35:13 -!- augur has quit (Remote host closed the connection). 05:35:19 -!- augur has joined. 05:49:36 which user was it that put a table of bf interpreter speeds on various problems on their user page? 05:50:20 -!- oklopol has joined. 05:59:10 http://esolangs.org/wiki/User:Rdebath#Performance_Matrix 05:59:18 quintopia: ^ 06:03:44 oerjan: i was thinking of david_werecat's bfbench 06:03:56 wow, what is that? 06:04:12 but this one looks more complete 06:05:40 what is bcci in the top row? 06:06:26 bcci seems to perform extraordinally in some tests and horribly in others 06:08:11 http://esolangs.org/wiki/Talk:Brainfuck#Interpreter.2Fcompiler_speed_test 06:08:37 "bcci: written to enforce the very strict portability rules of the BCC (a contest), and compute scores. " 06:09:09 http://www.hevanet.com/cristofd/brainfuck/bcci.c got it. 06:10:06 urgh, is sprunge still down 06:10:17 I always wanted to rewrite esotope-bfc for new decades ;) 06:10:43 yes. shit. 06:10:44 (and f*ck the python, python really is not a language for writing PL implementations) 06:12:40 quintopia: http://pastebin.com/PEpjaJRv that was fun. 06:15:40 yeah. pastie was slightly less annoying ime 06:18:55 Bike: please demonstrate that this implementation works by using it to decide some uncomputable problem 06:19:18 psh, what do you take me for? an engineer? i ain't need no tests. 06:20:10 if you really wanted you could try a few programs. anything in brainfuck, for example. 06:20:37 okay i've got one to test 06:21:04 please point me to a CLooP interpreter so that i may test it 06:21:47 do i gotta do everything 06:22:14 (also you should post it on the wiki if you haven't already. nice program.) 06:22:39 i guess i oughta get around to making an account some time 06:23:23 ... 06:23:27 what? 06:23:40 you just surprised me there 06:23:51 i figured you had an account 06:23:59 nope. i'm a parasite on this channel. 06:24:42 @ask ais523 just tested out your account creation question thing. it asked me when Somnypna was created and i said Homfrog and got rejected. 06:24:42 Consider it noted. 06:25:48 shocking 06:28:07 urgh, how do you do code blocks 06:29:38 -!- glogbackup has quit (Ping timeout: 264 seconds). 06:30:06 there. 06:30:44 Code::Blocks. 06:32:45 hmm. why is it that pforeach(infinity) is uncomputable? it seems like it should be possible to have an unbounded number of threads executing concurrently. indeed, executing the first thread on odd cycles, the second on 2 mod 4 cycles, the third on 4 mod 8 cycles, etc. should ensure that every natural numbered thread gets executed an unbounded number of times... 06:33:09 or do i misunderstand something 06:33:11 it mentions it takes finite time. 06:33:39 the language seems maybe 80% baked at best. i just picked the first one in the uncomputable category that looked good. 06:33:43 -!- Slereah has joined. 06:34:18 yeah but if you picked one that was mislabelled... 06:34:27 then your implementation is broken 06:34:45 but i guess the finite time thing 06:35:21 i shall define DLooP, "like CLooP but works" 06:35:38 -!- Slereah_ has quit (Ping timeout: 264 seconds). 06:36:11 i made a mistake anyway. 06:36:44 yeah i think the spec is borked. it doesn't say in the description of pforeach it finishes in finite time no matter what. it just says later it inherently does infinite work in finite time 06:36:54 yeah. 06:36:57 i was going off that. 06:37:06 seemed to be the intent since they put it under uncomputable. 06:37:12 well maybe we should just edit the page 06:37:46 to indicate that pforeach is guaranteed to take no longer than a constant times any one thread it is executing 06:38:10 then it will be able to do nondeterminstic computation in hyper mode 06:38:47 how about "if the block would halt for any value of the loop variable, the pforeach as a whole will halt." 06:38:54 for all values*, rather 06:39:18 in the range? probably specify that it just has to be values in the range 06:39:46 that's equivalent to my version, so whatever you like 06:39:59 i ain't editing it, i already dida ll this work 06:40:13 and i'm depressed since this means i have less excuse to sort out my own ideas enough to put them on the wiki 06:41:41 i think i will have to make it graphical and that means mspaint 06:42:13 you mean less excuse not to? 06:42:18 or more excuse to? 06:42:44 less excuse not to, yeah 06:44:00 then you shouldn't be depressed 06:44:04 you should be excited 06:44:23 i'm a bike. i'm incapable of feeling any emotion, let alone excitement. 06:44:45 you are capable of feeling motion 06:44:51 fast motion! 06:44:58 excitement is not a motion 06:44:59 are you the town bike? 06:45:25 yes, the demographics are very skewed towards sapient colors and dryer sheets in this town 06:45:47 so you give everyone a ride for free? 06:45:58 if they're polite about it and i'm not busy 06:46:15 wow. such kind. 06:46:25 damn straight 06:46:36 still 06:46:44 you don't need mspaint 06:46:50 why do you need graphics 06:47:24 because the language i'm thinking of would probably be easiest to hammer out as schematics rather than something text-based. 06:47:36 -!- oklopol has quit (Remote host closed the connection). 06:47:48 you could use unicode boxes. i hear that's the cool thing now. 06:48:23 -!- Sprocklem has quit (Quit: Leaving). 06:50:51 i'm thinking of making a program which is like mspaint but with unicode 06:51:07 fun, right 06:51:20 wlel i don't have mspaint anyway. this is linux. 07:13:54 oh look someone has made something similar already 07:13:57 http://www.jave.de/ 07:14:10 i can just steal their code and port it 07:29:48 -!- FreeFull has quit. 07:33:31 -!- CADD has quit (Read error: Connection reset by peer). 07:36:21 Bah, JavE. Truu ANSI artists do it in ACiDDraw. 07:36:33 Or maybe that's "trü". 07:41:03 fungot sp. 07:41:03 kmc: what have you. you have to 07:43:06 fungot: agaricales sensu lato 07:43:06 kmc: does it true? how could a glass be yelling??? fnord 07:43:34 you shouldn't feed fungot those agaricales hth 07:43:34 oerjan: be without brainfuck code running functionality? 07:44:09 so, should i take Category:Unimplemented off of Brainhype 07:45:51 oerjan: why not feed fungus to the fungot 07:45:51 kmc: still a chance work visa won't go through but it's looking like a lot of languages 07:47:07 kmc: because e's high enough already 07:47:29 you just assume the mushrooms i have are hallucinogenic 07:47:34 fungot agaric 07:47:34 Bike: there must be another one? lol 07:47:35 it's like i have a reputation or something 07:47:48 shocking 07:48:24 we planted a bed of wine caps (Stropharia rugosoannulata) in the backyard today 07:48:33 might bear fruits in 4 or 5 months 08:00:08 -!- LinearInterpol has joined. 08:00:33 p. sure wine bottles don't work that way 08:01:34 -!- impomatic has joined. 08:05:01 -!- carado has joined. 08:08:07 -!- LinearInterpol has quit (Read error: Connection reset by peer). 08:16:06 -!- Taneb has joined. 08:19:53 Pro tip: don’t force a rubber bottle cap in if it’s difficult to get out. 08:20:23 -!- LinearInterpol has joined. 08:27:28 -!- AnotherTest has joined. 08:27:54 GOT IT 08:38:03 -!- carado has quit (Ping timeout: 252 seconds). 08:56:11 -!- atriq has joined. 08:56:31 -!- Taneb has quit (Quit: Leaving). 08:56:33 -!- atriq has changed nick to Taneb. 09:05:44 -!- doesthiswork has quit (Quit: Leaving.). 09:22:52 -!- Slereah_ has joined. 09:24:28 -!- Slereah has quit (Ping timeout: 252 seconds). 09:43:15 -!- pikhq has quit (Ping timeout: 245 seconds). 09:56:57 -!- pikhq has joined. 09:57:28 -!- LinearInterpol has quit (Read error: Connection reset by peer). 09:57:53 -!- LinearInterpol has joined. 10:02:43 -!- pikhq has quit (Ping timeout: 243 seconds). 10:06:07 -!- oerjan has quit (Quit: leaving). 10:09:13 -!- pikhq has joined. 10:14:15 -!- LinearInterpol has quit (Ping timeout: 246 seconds). 10:27:17 -!- glogbackup has quit (Ping timeout: 248 seconds). 11:06:20 -!- Slereah has joined. 11:07:38 -!- Slereah_ has quit (Ping timeout: 245 seconds). 11:13:05 -!- ais523 has joined. 11:18:35 -!- Slereah_ has joined. 11:19:16 -!- Slereah has quit (Ping timeout: 260 seconds). 11:24:54 -!- carado has joined. 11:44:04 -!- LinearInterpol has joined. 11:54:28 -!- nooodl has joined. 12:05:05 -!- LinearInterpol has quit (Read error: Connection timed out). 12:06:11 -!- LinearInterpol has joined. 12:18:30 -!- LinearInterpol has quit (Ping timeout: 246 seconds). 12:27:36 -!- callforjudgement has joined. 12:27:45 -!- ais523 has quit (Disconnected by services). 12:27:46 -!- callforjudgement has changed nick to ais523. 12:58:26 -!- LinearInterpol has joined. 13:04:02 -!- boily has joined. 13:04:36 -!- metasepia has joined. 13:05:04 good redactyled morning! 13:13:33 -!- Sgeo has quit (Read error: Connection reset by peer). 13:29:43 -!- KingOfKarlsruhe has joined. 13:33:40 what 13:33:48 what is metasepia up to today 13:34:28 eh? 13:34:36 metasepia is the same as ever. 13:36:26 what are you up to today 13:36:42 pythoning? 13:40:31 pythoning, xmling, javascripting, gitting, teaeing... 13:40:58 also, not freezing my fungots off. it's cold outside. 13:40:59 boily: although i think exists? and suppose it doesnt use and as operators right? 13:40:59 ~metar CYUL 13:41:00 CYUL 171335Z 02007KT 4SM HZ FEW004 FEW090 SCT240 M20/M23 A3022 RMK SF1AC1CI2 SF TR SLP238 13:41:30 yeah i saw the weather reports for your southerly neighbor's frozen northern bits 13:41:33 it looks awful 13:42:44 ~metar KBGR 13:42:48 KBGR 171253Z 00000KT 10SM CLR M24/M27 A3030 RMK AO2 SLP267 T12441272 13:43:00 eeeek. it's even frozenier in Maine. 13:43:12 -!- Phantom_Hoover has joined. 13:44:55 vurrah cold 13:45:17 ~metar KMHT 13:45:20 what is teae 13:45:27 KMHT 171253Z 03005KT 10SM FEW200 FEW250 M18/M22 A3024 RMK AO2 SLP264 T11781217 13:45:59 it's only tea. I couldn't resist the Appeal of stringing vowels together. 13:46:19 teaeaeaeaeaeaing 13:47:03 teæ+ing. 13:47:08 ~metar KBVT 13:47:09 --- Station not found! 13:47:12 uh? 13:47:17 ~metar KBTV 13:47:18 KBTV 171254Z 09004KT 10SM FEW120 M22/M24 A3022 RMK AO2 SLP242 T12171244 13:47:37 better 13:50:22 ~metar EFHK 13:50:26 EFHK 171320Z 24007KT 9999 FEW014 BKN150 03/01 Q1009 NOSIG 13:50:26 Whereas here... 13:50:56 No snow for this christmas season. 13:51:31 wow 13:52:09 we had a 30 cm snowstorm last Sunday. the City expects it to be shovelled away by next Monday. 13:55:18 On average one out of three christmases are snowless in Helsinki. 13:55:24 Of course this is the south end of Finland. 13:55:35 ~metar EFRO 13:55:49 -!- hogeyui_ has quit (Ping timeout: 264 seconds). 13:56:02 metasepia: Well be like that then, see if I care! 13:56:07 EFRO 171350Z AUTO 23011KT CAVOK M04/M04 Q0996 13:56:22 Thank you. 13:56:40 i'm no better at reading those things 13:56:50 i guess the KT part is temp 13:57:06 The M04/M04 part is. 13:57:17 min and max? 13:57:22 Temperature and dew point; with M for a minus sign. 13:57:38 23011KT means a wind of 11 knots from direction 230. 13:57:51 oh 13:57:54 yeah 13:59:20 -!- hogeyui_ has joined. 14:00:31 And the Q/A part is barometric pressure, with Q denoting some sensible metric unit (millibar?) and A something inch-based. 14:00:33 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0.1/20131112160018]). 14:00:56 inHg, maybe. 14:02:52 Annnn is inHg, with pressure calibrated for airfield altitude. 14:02:53 -!- muskrat_ has joined. 14:03:10 -!- muskrat_ has changed nick to muskrat. 14:03:11 Qnnnn is pressure in hPa, with pressure calibrated for mean sea level. 14:03:35 SLPnnn is also in hPa, but with the first digit chopped of, and a precision of daPa. 14:04:33 -!- muskrat has quit (Client Quit). 14:11:44 Snow depth at EFHK at christmas eve: 2009 30 cm, 2010 40 cm, 2011 0 cm, 2012 55 cm, 2013 most likely 0. 14:12:02 -!- Slereah has joined. 14:13:40 -!- Slereah_ has quit (Ping timeout: 250 seconds). 14:16:15 -!- Slereah has quit (Ping timeout: 240 seconds). 14:16:30 -!- Slereah has joined. 14:16:55 i'm going to fall asleep in my chair 14:22:14 * boily gently mapoles quintopia to keep him awake. 14:41:15 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 14:48:57 -!- mrhmouse has joined. 14:55:40 -!- Slereah_ has joined. 14:57:26 -!- Slereah has quit (Ping timeout: 250 seconds). 15:08:54 -!- muskrat has joined. 15:14:18 -!- Phantom_Hoover has joined. 15:17:36 -!- muskrat has quit (Quit: Leaving). 15:26:48 -!- glogbackup has quit (Ping timeout: 245 seconds). 15:28:56 -!- LinearInterpol has quit (Ping timeout: 260 seconds). 15:31:31 well i'm gonna get a passport at least 15:31:38 -!- yorick has joined. 15:33:02 quintopia: oh! will you visit Canada? 15:34:44 -!- Sprocklem has joined. 15:35:21 I've only done minimal testing on this, so don't use it to fly airplanes (in fact, please don't use /any/ Sudoku player to fly airplanes) 15:35:48 @ask Bike were you expecting that to be the correct answer? 15:35:48 Consider it noted. 15:41:11 -!- taylanub has joined. 15:48:47 `relcome taylanub 15:48:52 ​taylanub: 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.) 15:49:49 Dark blue text on black background isn't very nice. 15:50:15 `welcome taylanub 15:50:17 taylanub: 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.) 16:01:19 INTERCAL is really great 16:02:05 I have a ping set on INTERCAL 16:02:09 admittedly, it comes up in here more than in other channels 16:02:16 but when it comes up elsewhere, I want to be notified 16:02:28 But it seems like 90% of esolangs are brainfuck clones. And maybe unlambda. 16:02:40 that's sadly a mostly accurate description 16:02:40 Are there any actually interesting ones ?.. 16:02:44 yes, they're just hard to find 16:02:47 my best is http://esolangs.org/wiki/Underload 16:02:52 which is not a brainfuck clone at all 16:03:02 there are other interesting languages by other people 16:03:28 you can even find interesting brainfuck derivatives if you look hard enough, such as http://esolangs.org/wiki/BF_Joust or http://esolangs.org/wiki/Paintfuck 16:03:35 but they're much rarer than the uninteresting ones 16:03:51 what's that new language by Keymaker? I really like that one 16:04:09 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 16:04:28 oh right, Etre 16:07:47 ais523: Oh shit .. Underload basically coalesces data and program ? 16:07:58 taylanub: yes 16:08:08 Neat 16:08:25 the most practical ways of storing data are as program fragments 16:13:32 -!- LinearInterpol has joined. 16:19:14 hmm, I like the ambiguity in the name "LinearInterpol" 16:19:25 is it a truncated form of "linear interpolation"? 16:19:42 or is it a form of international police who have can only use each datum of information they're given exactly once? 16:19:45 *who can 16:20:22 lol. 16:20:34 ais523: that's the beauty of it! 16:20:46 yeah, I said I liked it 16:21:10 I've been assuming the latter, FWIW. 16:22:33 -!- doesthiswork has joined. 16:22:43 (Perhaps it's some kind of an ad-hoc linguistic interpretation experiment.) 16:23:02 fizzie: but you work in linguistics, so you would assume that 16:23:15 whereas I went to a bounded linear logic conference recently 16:23:24 * ais523 gives LinearInterpol a bounded exponential comonad 16:24:03 it's also an anagram of "I, Patroller Nine".. perhaps your police idea has some weight 16:25:26 -!- Sprocklem has quit (Ping timeout: 264 seconds). 16:28:42 less formally, linear interpol may have a one-track mind. 16:29:25 I lack depth. 16:30:29 -!- MindlessDrone has joined. 16:30:43 -!- nanii has joined. 16:31:37 hola 16:34:00 -!- augur has quit (Remote host closed the connection). 16:34:21 -!- augur has joined. 16:42:37 boily: i'll only come to canada if it's not the french part :D 16:43:22 -!- LinearInterpol has quit (Ping timeout: 252 seconds). 16:44:02 @tell CADD http://mroman.ch/VA/ <- the documentation of our emulator thingy 16:44:02 Consider it noted. 16:44:08 I think he was called CADD 16:44:34 emulator thingy eh 16:47:05 si 16:47:13 It is called emulathor 16:47:48 `relcome nanii 16:47:51 ​nanii: 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.) 16:47:57 `? welcome.es 16:47:59 ​¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) 16:48:09 *------------* 16:48:18 @tell lambdabot tell lambdabot tell doesthiswork hi 16:48:19 Nice try ;) 16:48:28 quintopia: la partie française est la plus mieux meilleure partie du Canada :P 16:48:50 hola soy de venezuela *--* 16:49:29 boily: if you say so 16:49:36 no hablamos espanol 16:49:39 ayay 16:49:53 That leaves the question 16:49:59 quien hable espanol 16:50:38 you need a couple of question marks to ask that 16:50:53 nanii: hablo un poquito de español. ¿habla usted francés? 16:51:03 yo no hablo ingles 16:51:53 boily no frances no pero creo que puedo hacer algo 16:52:45 nanii: ¿ha visitado el wiki? 16:52:45 Yeah 16:52:56 You need even some *** up inversed question marks 16:52:58 noo :( 16:53:01 Just to screw with your mind. 16:53:15 Although I can see how they are useful 16:53:27 You immediately know that there's a question. 16:53:56 mroman: not only that, but you can wrap the part of the sentence that is actually a question. same thing with ¡!. 16:54:06 Yeah 16:54:16 Then explain why is there no inversed dot? 16:54:23 ;) 16:54:38 * boily twitches... “urge to mapole mroman rising” 16:54:56 coincidally I had an oral spanish exam today 16:55:02 I barely passed 16:55:04 but I passed 16:55:16 or is that incidally 16:55:37 only if you reverse the direction of the morphism between you and the exam. 16:55:48 coincidentally 16:57:03 boily: Which wouldn't matter if they're homomorphisms 16:57:27 ˙ 16:57:31 -!- ^v has joined. 16:57:57 In English every odd number contains an `e'. 16:57:59 cute 16:58:27 in English, every x, y s.t. |x - y| = 1, share a letter. 16:59:10 hm 16:59:15 *isomorphisms 16:59:21 boily: :D 16:59:29 Well most numbers contain an e already 16:59:35 There's like 16:59:39 six. 16:59:41 epaa 16:59:42 http://oeis.org/A006933 16:59:46 four, six 16:59:50 That's about it 16:59:52 That do not 16:59:53 nooodl: ¿qué es un "epaa"? 17:00:08 (thanks oeis. jesus.) 17:00:17 Slereah_: two. a million. 17:00:26 Do you mean 17:00:30 MEELEEON 17:00:34 one million 17:00:36 pues como un hola :D 17:01:02 So it's not *too* surprising that those two things are true 17:01:21 I mean, you only have to do three special cases to check them 17:02:24 kakka rules http://en.wikipedia.org/wiki/Caganer 17:02:25 isomorphisms remind me that I should continue with this category theorey book 17:02:37 > ord 'F' 17:02:38 70 17:02:53 nooodl: two million then, still no 'e'. 17:03:01 -!- oerjan has joined. 17:03:06 http://mroman.ch/beweise/cat.pdf <- isomorhpisms is where I got stuck apparentely 17:05:29 2.1 17:05:30 3.10 17:06:01 probably the number IN the book 17:06:29 -!- nanii has left. 17:07:18 -!- nanii has joined. 17:07:25 -!- nanii has left. 17:08:25 -!- nanii has joined. 17:08:33 -!- nanii has left. 17:08:35 -!- nanii has joined. 17:08:46 -!- nanii has left. 17:08:48 -!- nanii has joined. 17:08:51 -!- nanii has left. 17:11:37 -!- nanii has joined. 17:11:50 -!- FreeFull has joined. 17:13:01 What's that thing which means that defining notNull = not . null isn't worth it? 17:13:09 Something like the Fairfax constant? 17:15:12 common sense? 17:15:29 the second word was "threshold" but I can't recall the name. 17:16:26 -!- Bike has quit (Ping timeout: 264 seconds). 17:16:41 -!- nanii has left. 17:17:51 -!- Bike has joined. 17:17:53 :t null 17:17:54 [a] -> Bool 17:18:11 I guess that's checking to see if the list is empty? 17:18:21 yes. 17:18:25 The Threshold of Bel Air 17:18:27 https://31.media.tumblr.com/3f8a2af848fd54d90f58d4367eee0b7f/tumblr_mxrzs6RsbT1sgh0voo1_500.png it was absolutely useless. thanks 17:18:42 hmm, if you had a strict language with side effects, it'd be possible to define that over arbitrary functors 17:19:00 ais523: yes, because i wasn't sure about capital letters and the space in the real name 17:19:01 by using fmap with a function with a side effect, then checking to see if that function had run at all 17:19:07 star-tut. hmm. 17:19:44 I don't think it generalizes to functors in general if the language is pure or lazy, though 17:19:58 134%. good jub. 17:20:56 ais523: right. Foldable is the right abstraction here, I think. null = fold (\_ _ -> False) True 17:20:59 (if it's lazy, there's nothing implying that it's even possible to force the functors in order to make the functions run; if it's pure, then you need to know about the structure of the functor to have any way to observe the behaviour of your function) 17:22:30 (where fold is one of foldr or foldl, not the monoid foundational one from the type class) 17:23:11 does it have to be r/l? 17:23:14 what about a symmetric fold? 17:23:17 or binary tree fold? 17:23:35 fold :: Data.Monoid.Monoid m => t m -> m allows all of those 17:24:08 hola soy de venezuela *--* <-- why is it always venezuela 17:25:08 well, it's pretty big. 17:25:41 :t fold 17:25:42 (Foldable t, Monoid m) => t m -> m 17:25:58 > fold [3,7,19] 17:25:59 No instance for (Data.Monoid.Monoid a0) 17:26:00 arising from a use of `e_13719' 17:26:00 The type variable `a0' is ambiguous 17:26:00 Possible fix: add a type signature that fixes these type variable(s) 17:26:00 Note: there are several potential instances: 17:26:06 @type (\(Endo g) -> g b) . fold . (map (Endo . f)) 17:26:07 Show a => [a] -> Expr 17:26:23 @type \f b -> (\(Endo g) -> g b) . fold . (map (Endo . f)) 17:26:24 (a -> c -> c) -> c -> [a] -> c 17:26:33 that should be foldr. 17:26:52 > fold "Somebody once told me the world is gonna roll me" 17:26:53 No instance for (Data.Monoid.Monoid GHC.Types.Char) 17:26:54 arising from a use of `Data.Foldable.fold' 17:26:54 Possible fix: 17:26:54 add an instance declaration for (Data.Monoid.Monoid GHC.Types.Char) 17:27:34 (and foldl is essentially the same with a 'Dual' thrown into the mix) 17:28:04 > fold $ map Sum [1..10] 17:28:05 Sum {getSum = 55} 17:28:18 > fold $ map Product [1..10] 17:28:19 Product {getProduct = 3628800} 17:29:05 > getDual . fold . map Dual $ [[1,2],[3,4],[5,6,7,8]] 17:29:07 [5,6,7,8,3,4,1,2] 17:29:44 ('fold' on lists of lists is just 'concat') 17:30:49 > ($ 0) . appEndo . fold . map (Endo . (+)) $ [1..10]] 17:30:50 :1:52: parse error on input `]' 17:30:51 > ($ 0) . appEndo . fold . map (Endo . (+)) $ [1..10] 17:30:52 55 17:31:27 > ($ 0) . appEndo . fold . map (Endo . (-)) $ [1..10] 17:31:28 -5 17:31:39 > ($ 0) . appEndo . getDual . fold . map (Dual . Endo . (-)) $ [1..10] 17:31:40 5 17:31:43 int-e: psst there's foldMap 17:33:32 I wonder why. It saves what, 3 characters? 17:33:52 well i think it's a method 17:34:02 so it might also save efficiency 17:34:31 ideally you would want null defined so that it short circuits no matter what way the data structure is folded. 17:34:54 i don't think this can be done with a valid Monoid instance, although you can easily use a broken one 17:35:02 > expr . ($ 0) . appEndo . getDual . fold . map (Dual . Endo . (+)) $ [1..6] 17:35:03 6 + (5 + (4 + (3 + (2 + (1 + 0))))) 17:35:17 > expr . ($ 0) . appEndo . getDual . fold . map (Dual . Endo . flip (+)) $ [1..6] 17:35:19 0 + 1 + 2 + 3 + 4 + 5 + 6 17:35:31 -!- Bike has quit (Quit: Reconnecting). 17:35:34 > expr . ($ 0) . appEndo . fold . map (Endo (+)) $ [1..6] 17:35:35 Couldn't match expected type `a0 17:35:35 -> Data.Monoid.Endo Debug.SimpleReflect.Expr.E... 17:35:35 with actual type `Data.Monoid.Endo a1' 17:35:41 > expr . ($ 0) . appEndo . fold . map (Endo . (+)) $ [1..6] 17:35:42 1 + (2 + (3 + (4 + (5 + (6 + 0))))) 17:35:45 instance Monoid Bool where mempty = True; mappend = const (const False) 17:36:05 -!- Bike has joined. 17:36:20 null = foldMap (const False) 17:36:33 ok. so those are foldl and foldr (once you abstract from '0' and '(+)') 17:37:15 nah. 17:37:45 null = getAny . foldMap (const (Any False)) 17:38:02 no. 17:38:22 haha. I need getAll / All. That was stupid. 17:39:28 int-e: um Any won't work, the point is mappend should be entirely ignoring its arguments 17:39:51 thus allowing perfect shortcutting regardless of order 17:39:58 > map (getAll . foldMap (\_ -> All False)) [[],[1]] 17:39:59 [True,False] 17:40:12 oerjan: Bool has no Monoid instance. 17:40:24 int-e: you didn't read what i wrote above 17:40:43 oerjan: true. 17:41:24 In any case, there is a good reason for having the newtype All instead. And the compiler should be smart enough to do the right thing *if* it unfolds the recursive 'foldMap' at all. 17:41:26 -!- Bike has quit (Ping timeout: 240 seconds). 17:41:31 in any case, you _cannot_ do this with a valid Monoid instance, because it's inconsistent with the Monoid laws to have mappend = const (const x) for x not mempty 17:41:33 @type isJust . getFirst . foldMap (First . Just) 17:41:34 Foldable t => t a -> Bool 17:41:58 int-e: um it should work for _infinite_ structures. 17:42:12 including Foldable infinite trees. 17:42:13 > isJust . getFirst . foldMap (First . Just) $ [1..] 17:42:14 True 17:42:19 > isJust . getFirst . foldMap (First . Just) $ [ 17:42:20 :1:47: 17:42:20 parse error (possibly incorrect indentation or mismatched brackets) 17:42:21 -!- Bike has joined. 17:42:21 > isJust . getFirst . foldMap (First . Just) $ [] 17:42:22 False 17:42:29 @type Node 17:42:30 a -> Forest a -> Tree a 17:42:33 > map (getAll . foldMap (\_ -> All False)) [[],[1..]] -- hmm. but I see your point. 17:42:34 [True,False] 17:43:49 oerjan: but that means it's not a valid 'null' either. You could have something like data Tree a = Node (Tree a) (Tree a) | Hole | Leaf a, and then null (Tree Hole Hole) should presumably be False. 17:44:28 > isJust . getFirst . foldMap (First . Just) $ unfoldTree (\() -> ((),repeat ()) () 17:44:29 (I imagine that fold (Node l r) = fold l `mappend` fold r) 17:44:29 :1:82: 17:44:29 parse error (possibly incorrect indentation or mismatched brackets) 17:44:34 > isJust . getFirst . foldMap (First . Just) $ unfoldTree (\() -> ((),repeat ())) () 17:44:36 True 17:44:55 int-e: yes, null (Tree hole hole) would be False with my definition. 17:45:40 oerjan: sorry, but I meant to write that null (Tree Hole Hole) should be True. 17:45:42 i suppose that shows how Foldables don't make sense without a true Monoid, though. 17:45:56 Hang on, what are we trying to do here? 17:45:58 * int-e isn't good with negations. 17:46:24 Taneb: writing a Foldable null that short circuits for _both_ infinite leftwards and rightwards structures. 17:46:45 Aaaaah 17:47:23 and even infinite binary ones, although int-e makes a good argument there should be _some_ leaves hit 17:48:11 http://docs.racket-lang.org/unstable/2d.html 17:49:38 kmc: that's something. 17:49:54 yeah. cute. 17:51:09 Hahaha, neat. 17:53:16 I'm a-maze-d. 17:54:28 int-e: i guess you need a bidirectionally shortcutting (||) for this. (there's some concurrent unsafe implementation of that) 17:55:03 oerjan: yes, http://hackage.haskell.org/package/unamb ... it's horrible. 17:55:46 oh unamb it was, i tried searching for amb 17:56:03 ( a ||| b = (a || b) `unamb` (b || a) ) 17:56:40 it should work nicely for purely left or rightward branching, i think. 17:57:06 Well, 'nicely' ... it forks too much. 17:57:27 well i mean one of them will finish fast 17:58:09 It's a bit of a pity that concurrency is (as far as I can see) the only way to implement such a function. It's so nice in theory. 17:58:13 hm i suppose what you want to do is ensure each of a and b is only evaluated once. i think there's a ghc function for that. 17:58:39 -!- Lemuriano has joined. 17:59:01 ghc's runtime almost always ensures that, because thunks are replaced by black holes when entered. There's a small window where computations may get duplicated. 17:59:39 i suppose the problem appears when both a and b take long to finish, hm 17:59:47 which doesn't shortcut much :P 18:00:08 (In IO there is 'nodup' which fully ensures this, by taking a lock on the closure. It's required to make unsafePerformIO a bit safer.) 18:00:50 i wrote a bunch of words about that here http://mainisusuallyafunction.blogspot.com/2011/10/thunks-and-lazy-blackholes-introduction.html 18:02:08 yay, I finally managed to reproduce that bizarre situation that I set up with weboflies a while ago: http://sprunge.us/fLSN 18:02:18 however, ptrace has since been fixed to not override SIGKILL 18:02:30 so it doesn't lead to an actually unkillable process 18:02:35 Death under ptrace 18:03:02 https://ghc.haskell.org/trac/ghc/ticket/8502 was my last encounter with the perils of unsafeDupablePerformIO (which is unsafePerformIO without the 'nodup' lock) 18:03:45 int-e: isn't that pretty much asking for your I/O to happen an unpredictable number of times? 18:04:20 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 18:04:48 I guess I might not have guessed "non-integer", though 18:05:28 ais523: yes. but it wasn't asking for the computation to be silently stopped in the middle, circumventing the 'withMVar' abstraction for exception safety. 18:05:57 > 144^2 * 5 18:05:58 -!- impomatic has quit (Ping timeout: 245 seconds). 18:05:58 103680 18:06:10 > 144**2 * 5 18:06:11 103680.0 18:06:29 ilu exponentiation 18:06:29 -!- ^v has joined. 18:06:33 huh, somehow I didn't imagine Haskell to have two different exponentiation operators 18:06:37 > 144 `bitxor` 2 * 5 18:06:38 Not in scope: `bitxor' 18:06:42 > 144 `xor` 2 * 5 18:06:43 154 18:06:47 ais523: it has three :) 18:06:55 @type ((^),(^^),(**)) 18:06:56 (Floating a2, Fractional a1, Integral b, Integral b1, Num a) => (a -> b -> a, a1 -> b1 -> a1, a2 -> a2 -> a2) 18:07:33 (^^ allows negative integer exponents) 18:08:14 ~eval 5 ^^ -1 18:08:15 Error (1): Precedence parsing error 18:08:15 cannot mix `GHC.Real.^^' [infixr 8] and prefix `-' [infixl 6] in the same infix expression 18:08:18 so "b" isn't a "PositiveIntegral" type, then? 18:08:25 ~eval 5 ^^ (-1) 18:08:26 0.2 18:08:35 admittedly, the only language I can think of where that works is ADA (and VHDL by implication) 18:08:36 sounds like *gasp* subtyping 18:08:57 ~eval 5 ^ (-1) 18:08:57 Error (1): *Exception: Negative exponent 18:09:16 ~eval 5 ** (-1) 18:09:17 0.2 18:09:52 ~eval (2 :+ 3) ** (3 :+ 2) 18:09:53 4.714143528054687 :+ (-4.569827583124736) 18:09:54 > (-5) ** (-2) -- hmm. 18:09:55 4.0e-2 18:10:19 > 0 ** 0 18:10:20 1.0 18:10:30 fungot: 0 ** 0 18:10:30 boily: scheme evaluation order, so it probably isn't). 18:10:46 lambdabot: fungot sez that 0 ** 0 isn't 1.0. 18:10:46 boily: best would be if it wasn't clear 18:11:02 fungot: of course it isn't clear, it's 0⁰. 18:11:02 boily: my computer's too sleepy. i am always looking at source code by mistake and even more fun than coding". perfect industrial language: enforce a style onto the programmer to give the standard bindings the extended meanings from srfi 1 18:14:17 @type ((^), (^^)) 18:14:18 (Fractional a1, Integral b, Integral b1, Num a) => (a -> b -> a, a1 -> b1 -> a1) 18:16:15 Oh, the type was already there. 18:16:31 Bah, reading more than a dozen line backwards is for losers. 18:16:59 0 to the power of 0 is or isn't 1 depending on what you're doing 18:17:19 thank's 18:17:40 it's never anything other than 1, but it isn't necessarily always 1 either 18:17:57 fungot: Your computer doesn't really have any kind of power management thing going on, I don't see how it's "too sleepy". 18:17:57 fizzie: so, where's your editor? 18:18:05 FreeFull: trdnh. 18:18:08 ais523: tdnhe. 18:18:09 fungot: Is this some kind of trash talk? 18:18:09 fizzie: maybe you need another half a dozen city centers 18:18:26 Yeah, maybe! 18:18:28 assuming the fungotputer is just strapped right to mains 18:18:29 Bike: cl definitely defines ' first'. although there is also a director who makes videos for people like smerdyakov climb up and spend their time in irc rooms dedicated to technical computery subjects, have never heard of 18:18:53 trdnh? 18:19:08 that really did not help. 18:19:26 The fungotputer goes at 3200 bogomips all the time. 18:19:27 fizzie: don't think so... i haven't been 18:19:38 > 0^0 18:19:39 1 18:19:40 fungot: Yeah, well, how'd *you* know? 18:19:40 fizzie: after that i can see the rules of static typing that i've ever known him too well, only 2 hours to find i had like 10k lines of pretty slick c o.o 18:19:44 > 0^^0 18:19:45 1.0 18:20:28 Truth revealed: fungot not written in Befunge, fungot instead written as 10k lines of "pretty slick" C. 18:20:29 fizzie: i am adding that now. i'm gonna install freebsd once i find fnord 18:21:04 (Some day I'll wake up to find a FreeBSD installation.) 18:21:09 -!- LinearInterpol has joined. 18:21:20 fungot: find: "fnord": Aucun fichier ou dossier de ce type 18:21:21 boily: i am a person with the most recent one? 18:21:22 Are the 10k lines actually an implementation of befunge? 18:21:27 fungot: oh. savvy of you. 18:21:28 boily: it's about to become negative for the first fnord return value' value doesn't print like that when reading 18:22:00 I wonder what fungot thinks about 'Qzyzzalroum' 18:22:00 int-e: so it could be anywhere from 29 bits to 36 with that information. for example, you have 1 message. 18:22:46 FreeFull: cfunge's written in C, and is approximately somewhere in that ballpark, so maybe that's what it was talking about. (Straight "wc -l" over all *.[ch] says 20039.) 18:22:54 (I have this quote on file: What does "Qzyzzalroum" mean in English usage? -- It means you should start the crossword over.) 18:23:38 ~duck qzyzzalroum 18:23:53 --- No relevant information 18:24:52 A rouming duck. 18:26:37 http://users.iafrica.com/p/pf/pfm/quotes.txt - this would fit here, I think: "I feel like if Atlanta had just tried a little harder it could have been a palindrome." 18:27:03 atlanalta 18:27:14 I can see why it's not a palindrome 18:27:15 It'd contain anal 18:27:32 god forbid. 18:28:01 Now, why isn't palindrome a palindrome? 18:28:08 palindromemordnilap 18:28:11 Super-strong neodymium magnets https://www.youtube.com/playlist?list=PL5Q6sbgSWtxn-CTaTLslOy558OrEwmX7U 18:28:20 because it is constructed from usual roots. 18:29:29 Authentic Atlantan Usual Root, perfect for seasoning your regular meals! 18:29:51 If Eodermdrome had just tried a little harder it could have been a palindrome. 18:30:16 fizzie: it couldn't be minimal-length and also a palindrome 18:30:34 actually, being a palindrome is actively hostile to being nonplanar 18:30:38 ion: haha the second one 18:30:44 because half the characters are wasted 18:30:52 so you can't do better than Eodermdromemordmredoe 18:31:35 Where did the name come from, again? 18:34:44 wow they have same day delivery 18:34:49 for uh, magnets. emergency magnets? 18:35:53 i'm pretty sure you could make a good action movie about most situations that would require you have a 300 N neodynium magnet within twenty-four hours 18:36:42 -!- nanii has joined. 18:36:54 -!- nanii has left. 18:36:55 -!- nanii has joined. 18:37:02 -!- nanii has left. 18:37:57 if you already have an already strong enough magnet at hand, you could acquire all of the world's magnets just by waving it over your head and ducking. 18:39:21 see, there you go. 18:40:01 Bike: I don't think the waving and ducking would matter much 18:40:26 fizzie: a book about wordplay, which mentioned an existing result (from somewhere else) that that pattern of letters was the shortest that lead to a nonplanar graph 18:40:47 the specific letters there are chosen to maximise the pronounceability 18:41:19 (by the original result, I think) 18:42:01 strangely enough, real words tend to be more likely to be nonplanar due to embedding K_3,3 than they are due to embedding K_5 18:42:36 -!- Sprocklem has joined. 18:44:21 -!- LinearInterpol has quit (Ping timeout: 248 seconds). 18:44:44 -!- LinearInterpol has joined. 18:55:36 Ah. 19:00:53 -!- Lemuriano has quit (Ping timeout: 248 seconds). 19:05:26 huh, so it seems that the reason that function names in PHP are so inconsistent is that they were chosen to avoid hash collisions in the early versions 19:05:37 and the hash function was heavily based on strlen 19:05:45 what. 19:06:14 yeah, somehow that manages to fit two awful ideas into one sentence 19:06:29 look i've heard that from three different people already and if i refused to acknowledge it from them i'll refuse to acknowledge it from you 19:06:39 * boily bleaches himself 19:07:29 https://dl.dropboxusercontent.com/s/e8k4n2mx1y5vsa4/Zrzut%20ekranu%202013-12-17%2008.37.01.png screenshot of the code in question 19:07:42 go find "php-1.99s" if you want to verify 19:08:05 is a screenshot of code somehow more authentic than the text version? 19:08:24 fuuuuuuuucking chrsut 19:08:41 ais523: i can tell by the pixels 19:08:55 * boily then maple syrups himself, for a smooth, perfumed skin and quality hair 19:09:24 ouch, those keys aren't even in alphabetical order 19:09:31 nice, defined as an array cmd_table[22][35] so that the 0 items for length 0 take the space of 35 entries 19:09:36 (or is that 22?) 19:09:46 rasmus lerdorf's excuse that he just made PHP for his own use indicates a shocking lack of self-respect, I would say 19:10:23 now I'm reminded of the joke claim that "C" is a recursive acronym 19:10:26 The screenshot doesn't really look like proof of the claim, though. 19:10:33 i don't want to look into lerdorf's mind 19:10:37 fizzie: the comment at the top is illuminating 19:11:05 ais523: It doesn't say anything about selecting function names in order to optimize the "hash" table, however. 19:11:16 C stands for C.C 19:11:17 ais523: a recursive acronym of? 19:11:35 ◐.◐ 19:11:44 boily: it stands for "C", obviously 19:12:13 fizzie: there's an email from Rasmus Lerdorf going around on Reddit where he/she admits to it 19:12:18 Bike: No manual entry for chrsut 19:12:31 ais523: Well, that's more relevant, certainly. 19:13:21 don't think it's in question that rasmus lerdorf goes by "he" 19:13:37 also he was born in a town named Qeqertarsuaq 19:13:48 greenland? 19:13:56 http://en.wikipedia.org/wiki/Qeqertarsuaq#Notable_current.2Fformer_residents how very sad for them 19:13:57 -!- Phantom_Hoover has joined. 19:14:55 Bike: yes 19:16:33 I watche that short video by the beeb yesterday that explains how to pronounce Mandela's name, his native village's name and “xhosa”. 19:16:50 practicing clicks when you take your morning shower makes for a very strange activity. 19:16:56 does english even have the hponeme for 'xhosa' 19:17:02 i'll take that as a no. 19:17:04 *phonemes* 19:17:16 it doesn't. 19:17:20 obviously not 19:17:25 and it's tonal too, huh 19:17:29 and spirant! 19:17:43 i'm used to click constants being spelled ! or double dagger 19:18:10 ∥ĥ 19:18:17 i'm guessing i can blame dumb brits for this 19:18:24 darn. I don't have superscript h readily available. 19:18:32 ah, but only two tones, even we have that many tones 19:18:56 * boily eyes olsner... “you scandinavian!” 19:19:23 holy crap... it has *18* click consonants 19:19:48 it does. it is insane. I need a fternooner to collect myself. 19:22:07 Bike: https://twitter.com/DanaDanger/status/413024939856244736 19:25:29 ._. 19:25:49 "the ǃXóõ language has 83 click sounds, the largest consonant inventory of any known language" o.O 19:27:04 -!- impomatic has joined. 19:27:05 any vowels? 19:27:28 int-e: five, I think 19:28:34 ah, no, five vowel "qualities" ... so 25-30 something vowels apparently 19:28:57 impressive 19:29:48 Hi :-) Any OMEGA players here? (The tank programming game, not the roguelike) 19:31:26 -!- LinearInterpol has quit (Ping timeout: 264 seconds). 19:41:48 ~duck omega 19:42:02 --- No relevant information 19:42:06 ... 19:42:29 metasepia: it's all greek to you? 19:44:07 ~duck iota 19:44:08 iota definition: the 9th letter of the Greek alphabet. 19:44:21 fungot my life. 19:44:21 boily: c++ c, remember a bit better for the body in the clause test specifications? 19:49:06 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 19:54:07 “Therefore Moser's number, although incomprehensibly large, is vanishingly small compared to Graham's number” ← my brain hurts. 19:55:28 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:56:06 not your fault > is hard to compute on some reprsentations 20:01:42 -!- oerjan has quit (Quit: leaving). 20:09:23 oh that sounds like fun 20:14:42 <`^_^v> What programming language should you use in your battles with the judge? Most likely, the language which you know best. The judge currently accepts programs written in C, C++, Pascal, and Java, so your favorite language is probably available. 20:14:47 <`^_^v> :( 20:15:03 no eodermdrome?? 20:15:21 No idris? 20:15:28 no c+=? 20:15:47 four languages? 20:16:09 that's a really small set to include everyone's favourite language 20:16:19 also, I thought Pascal had mostly fallen out of favour before Java was invented 20:16:41 <`^_^v> there are only like 2 online coding competition sites that have an actual variety of languages 20:16:45 <`^_^v> kinda sux 20:17:13 C ate Pascal's lunch 20:17:23 have you seen anarchy golf? 20:17:40 Anarchy golf is one 20:18:31 that seems to accept anything remotely BF-complete that shinh could get to run on the server 20:18:53 should finish my anagol language 20:19:07 and some sub-BF-complete languages like m4 20:20:08 that reminds me: hey, what are some well-known but not 100% trivial sequences/sets of integers. i'm thinking like, fibonacci numbers, prime numbers 20:20:19 thue-morse 20:20:46 that's a neat one because it needs infinite state to compute 20:21:27 although I guess they all do 20:22:07 you could also do the zeros of the Riemann zeta function 20:22:13 that's probably just -2, -4, -6, -8, etc. 20:22:15 but it might not be 20:26:15 digits of pi? 20:26:22 i think i'm gonna give my golf language some built-ins for "is this number prime/fibonacci/..." and "generate the first n prime/fibonacci/... numbers" 20:26:47 AAAAAAAAAAAAAAURGH! 20:26:49 stuff like that shows up quite a bit in code golf 20:27:02 someone know how to import a TTF file into LaTeX? 20:27:07 also i wanna somehow make 2D ascii manipulation easier, but 20:27:34 Digits of pi are pretty arbitrary 20:27:37 Except in base pi 20:27:42 10 20:27:44 pinary 20:31:57 -!- Lemuriano has joined. 20:46:04 (meanwhile, it works! local install, no need to pollute the system texmf → http://fachschaft.physik.uni-greifswald.de/~stitch/ttf.html) 20:47:06 have there been any efforts to make like a "high-level" wrapper over LaTeX 20:47:25 it feels so crufty... i need LaTeX coffeescript basically 20:47:35 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 20:47:52 -!- Phantom_Hoover has joined. 20:51:49 -!- Sprocklem has quit (Ping timeout: 248 seconds). 20:51:58 -!- Lemuriano has quit (Ping timeout: 252 seconds). 20:52:29 -!- LinearInterpol has joined. 20:53:25 douglass_: do you know of any? 21:00:24 I'm really looking forward to the film of Into the Woods 21:01:45 sorry, don't know 21:02:33 -!- ais523 has quit. 21:02:54 ask #latex I guess 21:03:18 nooodl: well I use Markdown for that sometimes, via Pandoc 21:03:35 and you can still embed LaTeX commands for stuff Markdown doesn't handle (as long as you don't need to render the same markdown to HTML too) 21:04:40 bike if we add a shift0 operator that creates a continuation that takes no arguments, then there is a 1 to 1 corrispodence between delimited continuations and lambda calc 21:05:36 curried lambda calc 21:10:20 -!- atriq has joined. 21:13:09 -!- Sprocklem has joined. 21:17:13 -!- atriq has changed nick to Ngevd. 21:17:51 -!- Taneb has quit (Quit: ZNC - http://znc.in). 21:22:46 -!- Taneb has joined. 21:23:07 -!- Ngevd has quit (Quit: Leaving). 21:23:20 I think I have a bouncer now 21:25:59 ♪ dĩng ♪ improved PDF, now with Old Hylian! 21:27:23 `? category theory 21:27:25 In category theory, category theory is a theory in the category of theories. 21:28:12 as opposed to a theory in the category of prizewinning hams? 21:28:20 Yup 21:28:30 That'd be Hexham theory 21:28:39 Is this related to the ham Homer Simpson won for saving the town 21:29:02 0xHAM 21:30:43 http://www.youtube.com/watch?v=KYjThRj7uoY 21:30:43 <3 21:31:36 incidentally, github's syntax highlighting doesn't support \verb!stuff! 21:32:30 -!- 36DABZBGX has joined. 21:32:32 FreeFull: you can compute the nth digit of pi in base 16 without computing all the ones before it 21:32:36 `relcome 36DABZBGX 21:32:38 ​36DABZBGX: 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.) 21:33:02 http://en.wikipedia.org/wiki/Bailey%E2%80%93Borwein%E2%80%93Plouffe_formula 21:33:08 also, I seem to have lumped lexande and monotone's quotes into the Quotes from Other People section. 21:33:18 @tell lexande would you like your quotes to be nicely sectionned? 21:33:19 Consider it noted. 21:33:31 It's okay, I'm usually an "other people" anyway. 21:33:33 polytone: same thing as to lexande ↑ 21:33:38 oh. 21:33:47 you were quicker than me :P 21:34:13 I forgot that I was even quoted until you mentioned it, haha. 21:34:22 kmc: hells yea pslq 21:34:43 -!- nooodl has quit (Ping timeout: 245 seconds). 21:35:06 pslq? 21:35:19 "The search procedure consists of choosing a range of parameter values for s, b, and m, evaluating the sums out to many digits, and then using an integer relation finding algorithm (typically Helaman Ferguson's PSLQ algorithm) to find a vector A that adds up those intermediate sums to a well-known constant or perhaps to zero." 21:35:29 cool 21:35:44 it's an algorithm where you throw a vector of reals at it and it tries to find an algebraic relation between em 21:35:48 neato 21:35:50 -!- boily has quit (Quit: CHICKEN SUSHI). 21:35:53 -!- metasepia has quit (Remote host closed the connection). 21:36:04 er, without powers specifically 21:36:18 i mean you can do that by adding to the vector, but 21:36:36 oh LLL is another such algorithm 21:36:49 i've heard of that one, I guess it's good for attacking groups of related RSA keys? 21:38:05 i have this paper where they use it to find the 240-degree polynomial the fourth bifurcation point of the logistic map is a root of 21:38:19 is that useful knowledge 21:38:20 "A notable success of this approach was the use of the PSLQ algorithm to find the integer relation that led to the Bailey-Borwein-Plouffe formula for the value of π." whoa, cool 21:38:46 -!- 36DABZBGX has quit (K-Lined). 21:39:00 kmc: well, they didn't even know for sure it was algebraic, so i guess 21:39:37 -!- muskrat has joined. 21:39:49 PSLQ is really magic 21:39:59 "here's a random irrational-looking number, give me a formula for it" 21:40:09 -!- nooodl has joined. 21:40:12 elliott, kmc~ http://crd.lbl.gov/~dhbailey/dhbpapers/tenproblems.pdf‎ 21:40:21 http://crd.lbl.gov/~dhbailey/dhbpapers/tenproblems.pdf 21:40:22 yeah, that paper is amazing 21:40:24 mysterious. 21:42:04 with guest appearance by khinchin's constant, i might add 21:43:09 it's cool how we can't spell russian names consistently. ever. at all. fuck 21:43:30 Хи́нчин's constant 21:43:35 cooler name imo 21:43:36 analyzing the simpsons for esoteric symbols http://www.youtube.com/watch?v=iLzhuUdycYQ 21:44:03 kmc: i think you're right 21:44:26 though my favorite value in this paper is the expected value of the distance between two random points on different sides of a square, since it doesn't sound like it should be too strange 21:45:16 -!- Sorella has joined. 21:46:15 -!- Sorella has quit (Changing host). 21:46:16 -!- Sorella has joined. 21:48:02 there's also the sequence of sinc integrals and a triple integral of the inverse of a sum of cosines somehow involving generalized hyperfactorials, i love it <3 21:54:14 Or how e^pi - pi is NOT QUITE 20 21:54:33 i don't think that's actually in the paper, but sure! 21:54:51 Slereah_: the amazing thing is that 20 is EXACTLY 20 21:55:12 can you prove it, 21:55:54 -!- taylanub has left ("Using Circe, the loveliest of all IRC clients"). 21:56:15 nah, I've never learned how to prove stuff 21:56:15 -!- Slereah has joined. 21:58:28 -!- Slereah_ has quit (Ping timeout: 245 seconds). 21:58:38 -!- Slereah_ has joined. 21:58:40 Have mercy internet 22:00:59 -!- Slereah has quit (Ping timeout: 260 seconds). 22:01:42 -!- Slereah has joined. 22:02:44 -!- muskrat has quit (Ping timeout: 252 seconds). 22:03:14 -!- Slereah_ has quit (Ping timeout: 264 seconds). 22:03:42 The first problem in experimental mathematics is apparently not overfilling LaTeX boxes... 22:05:36 hm? 22:06:24 -!- Slereah has quit (Read error: Connection reset by peer). 22:06:46 -!- Slereah has joined. 22:07:33 Oh, the author line runs straight into the right margin. 22:08:45 -!- Slereah has quit (Client Quit). 22:16:14 kmc: I bet you can do that in every base, but 16 is the easiest 22:16:55 -!- kranchik has joined. 22:22:01 -!- Sprocklem has quit (Ping timeout: 250 seconds). 22:23:03 -!- AnotherTest has quit (Ping timeout: 245 seconds). 22:27:07 -!- kranchik has quit (K-Lined). 22:38:27 -!- tertu has quit (Ping timeout: 252 seconds). 22:49:20 base 36 is more fun 22:58:30 http://youtu.be/YA1J-raGinQ 23:05:21 -!- mrhmouse has quit (Quit: Leaving.). 23:05:57 -!- carado has quit (Ping timeout: 252 seconds). 23:14:18 -!- LinearInterpol has quit (Ping timeout: 245 seconds). 23:27:41 -!- oklopol has joined. 23:33:34 -!- carado has joined. 23:38:24 dod 23:38:28 -!- Bike has quit (Ping timeout: 245 seconds). 23:41:15 pop 23:42:36 -!- Sprocklem has joined. 23:46:02 -!- Bike has joined. 23:59:46 -!- ^v has joined.