00:00:08 .4" is tiny. THAT'S WHAT SHE SAID! 00:00:09 AnMaster: Yes. tcc is *ridiculously* fast. 00:00:13 And uses like hardly any memory. 00:00:23 pikhq, yes, it only does basic constant folding 00:00:26 Guys. Laugh. 00:00:29 so not surprising 00:00:43 pikhq, however, the resulting executable would take forever to run 00:00:52 Dubious. 00:00:57 oh? 00:01:05 * ais523 recompiles ick with gcc-bf 00:01:14 O_O 00:01:20 ais523: SWEET 00:01:23 Care to link to a gzip'd version of that C code? 00:01:24 ais523: DOES IT GO 00:01:25 see above... 00:01:27 duh 00:01:32 GregorR: no, gcc-bf isn't finished 00:01:34 pikhq, sure 00:01:46 ais523: Where's gcc-bf maintained? 00:01:53 (AKA can haz src plz kthx) 00:02:12 GregorR: it was on eso-std.org 00:02:16 but ehird took it down 00:02:28 ais523: which you so whiningly mention every time someone asks 00:02:33 why not just give them a filebin link instead? 00:02:33 pikhq, http://rage.kuonet.org/~anmaster/tmp/hworld1.bfrle.c.gz 00:02:44 Uh, OK ...' 00:02:50 ehird: because you need full source to gcc and to newlib to be able to use it 00:02:50 I could host it on codu.org if you'd like. 00:02:52 ehird, what? 00:03:01 AnMaster: what? 00:03:05 and filebins don't like you putting the entire source of gcc on them 00:03:08 oh ais 00:03:09 tcc hworld1.bfrle.c -o hworld1 0.71s user 0.02s system 96% cpu 0.761 total 00:03:10 AnMaster: i don't understand the pun at the end of IWC's annotation :( 00:03:16 pikhq, does it work? 00:03:16 ./hworld1 0.00s user 0.00s system 84% cpu 0.002 total 00:03:19 It segfaulted. 00:03:20 it might be buggy 00:03:20 YAY. 00:03:23 pikhq, oh wait 00:03:25 pikhq, I know why 00:03:37 pikhq, find the line saying a[3000] or so near the top 00:03:43 change that to a[14000] 00:03:59 Wow. 00:04:01 pikhq, I keep forgetting that gcc-bf needs a lot longer tape than usual 00:04:12 tcc hworld1.bfrle.c -o hworld1 0.70s user 0.02s system 95% cpu 0.755 total 00:04:14 even lostking works on a 3000 long tape 00:04:19 Hello, world! 00:04:22 3000? 00:04:23 pikhq, nice 00:04:23 ./hworld1 0.00s user 0.00s system 68% cpu 0.006 total 00:04:24 dude, AnMaster 00:04:27 you're meant to use 30,000 00:04:30 ehird, it is adjustable 00:04:31 that's the standard................. 00:04:33 why 3000? 00:04:35 just I forget to adjust it 00:04:35 that's ridiculous 00:04:39 ehird: No, 3,000 is the standard. 00:04:42 ... 00:04:47 ais523: tell them they're wrong k 00:04:50 checking for C compiler default output file name... a.b 00:05:03 ais523, unusual 00:05:04 see, C-INTERCAL's build system can cope with just about anything 00:05:07 Brainfuck - Wikipedia, the free encyclopedia - 12:04am 00:05:07 13 May 2009 ... The brainfuck language uses a simple machine model consisting of the program and instruction pointer, as well as an array of at least 30000 ... 00:05:09 pikhq: yer wrong. 00:05:10 AnMaster: well, it's a BF file, isn't it? 00:05:17 muller's used 30,000 too 00:05:21 ais523, every build system I know of actually use -o though 00:05:25 ais523, so kind of pointless 00:05:34 AnMaster: ./compile 00:05:37 or whatever it's called 00:05:40 some compilers don't do -o 00:05:40 ehird, ? 00:05:47 so they run the compiler 00:05:50 then move the object file 00:05:53 AnMaster: part of autohell 00:06:07 Autotools is awesome. 00:06:09 hm ok, POSIX requires it though. And I live in the fluffy POSIX heaven you know :P 00:06:21 Terribly ugly hack, but it's pretty awesome how well it works when it works. 00:06:25 ah, I love this 00:06:27 No. It is awful. 00:06:32 autoconf is busy checking lex for compatibility with gcc-bf 00:06:44 Oh, right. ehird suggests per-OS Makefiles. 00:06:48 /sig 00:06:49 h 00:06:54 Instead of having autoconf magically work with a.b. 00:07:02 pikhq excels at distorting and trivializing other people's words. 00:07:26 ehird: You excel at being trivial. 00:07:39 AnMaster: never mind i found out who toffler is 00:07:59 oerjan, I was wondering 00:08:01 I didn't get it 00:08:07 oerjan, so care to tell me? 00:08:24 AnMaster: I assume that that was compiled with esotope? 00:08:26 tofflor I know, toffler I don't 00:08:30 pikhq, with in-between 00:08:38 pikhq, and a few revisions ago of in-between 00:08:39 pikhq: no, his direct copy of it that's slower to run 00:08:40 Lame. 00:08:42 ais523: I could host it on codu.org if you'd like. 00:08:45 pikhq, why? 00:08:54 because he doesn't understand the extended gcd algorithm 00:08:56 ais523: Y'know, so that people could like ... see it :P 00:08:56 GregorR: could be good 00:08:58 pikhq, I'm working on in-between, in a few cases it does better. 00:09:05 ais523: Do/can you use mercurial? 00:09:05 Hmm. 00:09:08 AnMaster: he apparently wrote a book called "Future Shock" 00:09:13 pikhq: no, his direct copy of it that's slower to run <-- wrong 00:09:18 just a pure lie 00:09:24 hmm... it's stuck for ages trying to figure out if gcc-bf supports snprintf 00:09:25 Uh huh. 00:09:30 my guess is it does, and it's loads of code 00:09:33 ehird, if you had read the code you would know how differently they work 00:09:48 only it said 'no'; I suspect gcc-bf's link algorithm may confuse autoconf 00:09:52 I'll have to look into that 00:09:59 ais523, or the snprintf is broken? 00:10:01 GregorR: no and yes on mercurial 00:10:04 I don't use it, or I can 00:10:07 *but I can 00:10:15 ais523: Is your generated BF code prepended with #! so that the resulting 'binary' can execute? 00:10:15 darcs :D 00:10:19 yay, it configured 00:10:24 time to compile 00:10:30 pikhq: no, because which compiler would I specify? 00:10:34 AnMaster: But you're a bzr fanboy. 00:10:39 ehird, as well 00:10:43 ehird, I rather like darcs too 00:10:51 ais523: Interpreter. 00:10:58 ehird, sometimes a bit too verbose 00:10:59 That's what #! does. 00:11:03 pikhq: just program to run with 00:11:11 Mmkay. 00:11:21 #!/bin/bf may be cleaner, but *shrug* 00:11:47 Who has bf in /bin???? 00:12:07 ugh, it crashed 00:12:10 How 'bout /usr/bin/env bf 00:12:14 there's an error in the makefile, I think 00:12:16 Better. 00:12:50 autoconf doesn't need to run it in fact 00:12:55 I assume it is cross-compiling to bf 00:13:01 iirc that was how it worked 00:13:06 right ais523 ? 00:13:07 yep, it's a cross-compiler 00:13:27 then execution is totally un-interesting in this case 00:13:45 Oh, right. Autotools actually handles cross-compiling. Duh. 00:13:45 XD 00:14:05 ais523, what was the triplet for gcc-bf? 00:14:06 yes, and ick handles it better than autotools 00:14:10 AnMaster: bf-unknown-none 00:14:16 right 00:14:21 but you use just 'bf' as the specifier to autoconf 00:14:22 ais523, but shouldn't it have four parts :P 00:14:27 what with being a *triplet* 00:14:42 nope, fourth is optional 00:14:45 (my system has x86_64-pc-linux-gnu ...) 00:15:05 the pc is the optional bit, I think 00:15:30 ais523, nop, I think it can be replaced with unknown but nothing else 00:15:32 hm 00:15:44 No, it's only a triplet on systems where the OS part also includes a libc. 00:15:54 For example, x86_64-pc-freebsd 00:16:02 pikhq, a quadraplet otherwise? 00:16:07 Yes. 00:16:18 Or if the libc is different from what is normally used. 00:16:26 x86_64-pc-freebsd-gnu, for example. 00:17:11 pikhq, pretty sure I saw i386-portbld-freebsd6.4 on freebsd some years ago 00:17:30 when it was installed from ports 00:17:41 so it wasn't a pc then 00:17:45 was a portbuild 00:17:47 :D 00:17:51 The second component is mostly meaningless. 00:17:59 Also, the middle bit there is meaningless on most systems. 00:18:19 gcc-bf only cares about the first bit 00:19:03 It's there for metadata about the OS or system vendor. It's useful to humans; autotools doesn't care. 00:20:10 http://www.pixelqi.com/ ← Wow. Future of displays, anyone? Spinoff of OLPC. Natural light absorbing LCDs - so they can be used in direct sunlight fine - that use 1/2-1/4th of the power, have great colours and fast response times. 00:20:27 Awesome. 00:20:39 -!- Judofyr has quit (Remote closed the connection). 00:22:35 So it's glossy, but without glare. 00:22:52 how long do the last? 00:23:07 AnMaster: As long as a regular display? 00:23:11 ok 00:23:14 Or better? Or slightly worse? I don't know. 00:23:19 Does it really matter too much? 00:23:34 hmm, you seem to have to switch between colours and epaperenss 00:23:37 *epaperness 00:23:41 which is not as cool as both at the same time 00:23:44 but still cool, since it's the same lcd 00:26:11 \o/ 00:26:12 | 00:26:12 /'\ 00:28:20 wat 00:28:34 oh, space in front 00:28:39 /o\ 00:28:39 | 00:28:39 >\ 00:28:41 stupid mirc 00:28:59 ___o___ < bu-n! 00:29:00 | 00:29:00 /'\ 00:29:52 Slereah, it is still misaligned 00:30:39 aligned for me 00:30:41 not that one 00:30:49 \o/ 00:30:49 | 00:30:50 /`\ 00:30:55 yeah Gracenotes's one was wrong 00:31:04 you mean, myndzi's O_O 00:31:05 00:30 Gallimaufry: Random Fact: Semen is great for reducing wrinkles when applied directly to the forehead or affected area. 00:31:07 yes, probably a bug in my handling of space "fixing" 00:31:13 Gracenotes: i mean, myndzi 00:31:17 O_O 00:31:18 's response to you 00:31:37 \o/ \o/ \o/ /o/ \o\ 00:31:37 | | | | | 00:31:37 |\ >\ >\ |\ /| 00:31:41 one preceding space didn't get "fixed" 00:31:44 but two would 00:32:02 \o/ hm 00:32:03 | 00:32:03 /< 00:32:12 but that worked 00:32:12 i uhh... dunno then 00:32:13 lol 00:32:33 could have to do with equal nick length 00:32:51 seems unlikely 00:32:52 -!- oerjan has changed nick to oerjan_. 00:32:55 \o/ hm 00:32:56 | 00:32:56 /| 00:32:59 !! 00:33:03 -!- oerjan_ has changed nick to oerjan. 00:33:04 yep, guess it just hates Gracenotes 00:34:04 -!- gnotes has joined. 00:34:09 \o/ 00:34:09 | 00:34:09 /< 00:34:14 -!- oerjan has changed nick to oerjanotes. 00:34:17 \o/ hm 00:34:17 | 00:34:17 >\ 00:34:18 -!- gnotes has changed nick to gnote. 00:34:22 \o/ 00:34:22 | 00:34:22 /| 00:34:27 -!- oerjanotes has changed nick to oerjan. 00:34:33 -!- gnote has changed nick to gno. 00:34:35 \o/ 00:34:36 | 00:34:36 |\ 00:34:44 \o/ 00:34:46 so it was not the exact nick length either 00:35:00 /o/ 00:35:00 | 00:35:00 |\ 00:35:08 -!- gno has changed nick to zzzzzzzzzzzzzzzz. 00:35:11 \o/ 00:35:11 | 00:35:11 /\ 00:35:18 -!- zzzzzzzzzzzzzzzz has left (?). 00:35:42 nick length discrimination! 00:35:48 penis\o/penis 00:35:49 | 00:35:49 |\ 00:35:56 at least if you're not on irssi or something 00:36:31 -!- FireFly has quit ("Later"). 00:36:56 -!- oerjan has changed nick to oerjanotes. 00:37:01 \o/ 00:37:01 | 00:37:01 /| 00:37:04 hah! 00:37:13 -!- oerjanotes has changed nick to oerjan. 00:37:24 that is a sexy name, oerjanotes 00:37:31 it needed exact nick length + exact line said 00:37:47 \o/ 00:37:47 | 00:37:47 |\ 00:37:51 oh that too 00:38:00 \o/ 00:38:00 | 00:38:00 /| 00:38:00 | 00:38:00 |\ 00:38:02 scratch the nick length 00:38:02 err what? 00:38:09 that was completely unaligned here 00:38:15 oerjan, :P 00:38:19 yes, why i said hah! 00:38:24 ah 00:38:25 i finally reproduced the bug 00:38:33 space \ o / return does it 00:39:57 AnMaster: erm, the point was some of those were slightly unaligned in irssi too 00:40:08 |o/ 00:40:09 | 00:40:09 /| 00:40:13 oerjan, oh 00:40:17 that one too 00:40:24 \o/ 00:40:24 | 00:40:25 /< 00:40:25 |o/ 00:40:25 | 00:40:25 /| 00:40:25 | 00:40:26 |\ 00:40:28 looks fine here? 00:40:37 assuming that is how it should look 00:40:49 that's not fine, the | should be right under the o 00:41:14 also, mine look right for you because i and myndzi have the same nick length 00:41:17 nah, that three length | is a pole that goes right through someone 00:41:29 (those that are not otherwise broken) 00:41:35 * oerjan swats AnMaster -----### 00:41:48 \o/. 00:41:48 | 00:41:49 >\ 00:41:54 broken 00:41:57 \o/ . 00:41:58 | 00:41:58 >\ 00:42:03 oh, also broken 00:42:09 \o/ hm 00:42:09 | 00:42:09 >\ 00:42:15 what the heck 00:42:22 that wasn't broken before 00:42:33 oh wait 00:42:38 \o/ hm 00:42:38 | 00:42:38 /< 00:42:59 with one space before hm it remains broken, with two not... 00:43:08 THIS IS MADNESS 00:43:39 \o/ hm ho hi hum 00:43:39 | 00:43:39 >\ 00:43:43 \o/ hm ho hi hum 00:43:43 | 00:43:44 /< 00:43:49 \o/ hm ho hi hum 00:43:50 | 00:43:50 /'\ 00:44:02 two spaces _anywhere_ after seems to fix it 00:44:34 What characters count as arms? 00:44:39 _\/? 00:44:47 |o| 00:44:47 and | at least 00:44:48 | 00:44:48 /`\ 00:44:55 (o) 00:45:04 ~o~ 00:45:11 \o/ \o/ \o/ 00:45:11 | | | 00:45:11 >\ >\ |\ 00:45:18 \o/ \o/\o/ 00:45:18 | | | 00:45:19 /'\ >\ >\ 00:45:23 \o/ \o/\o/ \o/ 00:45:23 | | | | 00:45:23 /| /| |\ |\ 00:45:29 * pikhq does the myndzi 00:45:30 * myndzi does the pikhq 00:46:04 Is there only o as head? 00:46:18 * oerjan knows not 00:46:19 \0/ ? 00:46:23 \(*__)/ 00:46:24 \*/ ? 00:46:27 \O/ 00:46:33 \./ ? 00:46:34 /o\ 00:46:34 | 00:46:35 /`\ 00:46:51 \o/ \o/ \o/ 00:46:52 | | | 00:46:52 |\ /| /< 00:46:53 (o) 00:47:05 \☺/ ? 00:47:45 \o/ Y |o\ /o| M _o/ C /o\ A! 00:47:45 | | | | | 00:47:45 >\ /| /| |\ |\ 00:48:05 \⍥/ 00:48:13 | 00:48:16 / \ 00:48:19 \Ü/ 00:48:32 | 00:48:33 / \ 00:48:37 lol 00:49:00 pikhq, does tcc support x86_64 00:49:08 or do I need to mess with multilib 00:49:11 No 00:49:32 can gcc compile a 64-bit tcc binary that compiles to 32-bit x86? 00:49:33 \x/ 00:49:42 ok, so it doesn't accept /any/ character 00:50:06 AnMaster: It does. 00:50:15 TCC does x86_64 code generation. 00:50:31 * oerjan lols at the last girl genius 00:51:52 pikhq: Whaaa, since when? 00:52:13 *latest 00:52:19 GregorR: Few months ago. 00:52:28 TCC is still under development??? 00:52:32 Yes. 00:53:10 Sorry, not "few months ago". 00:53:15 *Last month*. 00:53:54 I thought TCC was all but dead. 00:54:09 Yes, but the zombie twitches. 01:00:21 > fun.concat.zipWith replicate[1..]$"Brains."::Expr 01:00:22 WTF, the macbook air comes with an 18-bit screen. 01:00:22 Brraaaiiiinnnnnssssss....... 01:00:25 What an odd colour profile. 01:00:40 hm 01:00:44 What are the superpowers of a superhero with the name ALT-TAB? 01:00:45 what are the other 10 bits used for? 01:00:47 please tell me it's alpha 01:00:55 ais523: they don' 01:00:56 tcc's output for my LostKing.c is larger than the original lostking 01:00:57 t exist. 01:01:01 The screen is - literally - 18 bits. 01:01:02 gcc's output is generally smaller 01:01:26 I have no idea why. 01:01:32 tcc sucks 01:01:39 that's why 01:01:43 (at optimising) 01:02:09 can you suck at something when you're not even trying? 01:02:22 oerjan: I suck at water polo. 01:02:44 oerjan, hah 01:02:48 oerjan: ask augur_, i'm sure he has a lot of experience HUR HUR HUR 01:03:01 ehird: You're an idiot. 01:03:10 GregorR: Thanks. 01:03:18 GregorR: Uhh, care to contextualize? 01:03:34 oerjan: I suck at water polo. oerjan: ask augur_, i'm sure he has a lot of experience HUR HUR HUR ehird: You're an idiot. <-- context 01:03:47 01:02 oerjan: can you suck at something when you're not even trying? 01:02 ehird: oerjan: ask augur_, i'm sure he has a lot of experience HUR HUR HUR 01:03:48 Erm, wanted oerjan's line there :P 01:03:52 01:02 oerjan: can you suck at something when you're not even trying? 01:03:52 01:02 GregorR: oerjan: I suck at water polo. 01:03:56 So ordering issues, I guess. 01:04:10 Now, my line was irrelevant. 01:04:19 I inadvertently copied it. 01:04:23 Oh. 01:04:24 Whatever. 01:04:28 I'm not an idiot, I'm just silly. 01:04:34 GregorR: muphry's law 01:05:06 oerjan: Which dictates that should you try to spell Muphry's ... no, Murfy's ... no, Nurphy's law, you'll fail. 01:05:38 GregorR: possibly, although i did _not_ misspell it 01:05:40 Muphry's Law is a real thing. 01:05:44 !google Muphry's Law 01:05:44 http://google.com/search?q=Muphry's+Law 01:05:48 `google Muphry's Law 01:05:49 Muphry's Law is an adage that states that "if you write anything criticizing editing or proofreading, there will be a fault of some kind in what you have ... \ en.wikipedia.org/wiki/Gaudere's_Law - [15]Cached - [16]Similar 01:06:02 Hahaha, awesomeo. 01:11:51 O_O 01:12:23 augur_: OOOO_____OOOOOOOO 01:12:24 so who was Muphry? 01:12:35 ais523: Murphy's proofreader. 01:13:27 -!- augur_ has changed nick to augur. 01:37:57 My brain just broke. 01:38:02 And Haskell didn't do it. 01:38:05 Fortran did. 01:38:19 Fortran functions may have multiple entry points. 01:56:45 -!- upyr[emacs] has quit (Remote closed the connection). 02:06:05 So, what's the shortest Haskell expression of type [Integer] that has a result that is not immediately recognizable? 02:07:30 > map ((`mod` 10) . round . (pi^)) [1..] 02:07:33 [3,0,1,7,6,1,0,9,9,8,4,9,7,1,6,1,4,3,0,6,3,2,4,4,8,6,4,0,1,9,6,2,4,6,2,6,6,... 02:07:43 That one's pretty esoteric, I guess. 02:08:01 Remove the `mod` 10 and it's still pretty obscure-looking. 02:12:00 > [1..] <<= \_ -> map $ (`mod` 10) . round . $ pi^ 02:12:01 : parse error on input `$' 02:12:13 > [1..] <<= \_ -> map ((`mod` 10) . round . (pi^)) 02:12:14 Not in scope: `<<=' 02:12:34 I is fail? 02:13:14 > [1..] >>= \_ -> map ((`mod` 10) . round . (pi^)) 02:13:16 Couldn't match expected type `[b]' 02:13:16 Totally what I meant. 02:13:33 > [1..] >>= \_ -> return $ map ((`mod` 10) . round . (pi^)) 02:13:34 Overlapping instances for GHC.Show.Show ([a] -> [b]) 02:13:35 arising from a use ... 02:13:49 > [1..] >>= (\_ -> return $ map ((`mod` 10) . round . (pi^))) 02:13:51 Overlapping instances for GHC.Show.Show ([a] -> [b]) 02:13:51 arising from a use ... 02:13:59 Welp. 02:14:25 > [1..] >>= (\_ -> return . map ((`mod` 10) . round . (pi^))) 02:14:26 Couldn't match expected type `[b]' 02:14:34 hmph 02:14:36 > [1..] >>= (\x -> return $ map ((`mod` 10) . round . (pi^)) x) 02:14:37 No instance for (GHC.Num.Num [a]) 02:14:37 arising from the literal `1' at oh right 02:15:10 x is _not_ a list 02:15:19 so you cannot apply map anything to it 02:15:33 Oh, right. It's an int. 02:15:49 > [1..] >>= return . ((`mod` 10) . round . (pi^))) 02:15:51 : parse error on input `)' 02:16:04 > [1..] >>= return . (`mod` 10) . round . (pi^) 02:16:05 [3,0,1,7,6,1,0,9,9,8,4,9,7,1,6,1,4,3,0,6,3,2,4,4,8,6,4,0,1,9,6,2,4,6,2,6,6,... 02:16:08 > [1..] >>= return . ((`mod` 10) . round . (pi^)) 02:16:09 [3,0,1,7,6,1,0,9,9,8,4,9,7,1,6,1,4,3,0,6,3,2,4,4,8,6,4,0,1,9,6,2,4,6,2,6,6,... 02:16:43 however, m >>= return . f == fmap f m 02:17:07 Indeed. That's why the bloody thing works. 02:17:24 > (`mod` 10) . round . (pi^) <$> [1..] 02:17:24 The referse thingy of >>= is =<<. 02:17:26 [3,0,1,7,6,1,0,9,9,8,4,9,7,1,6,1,4,3,0,6,3,2,4,4,8,6,4,0,1,9,6,2,4,6,2,6,6,... 02:17:36 ...in case you ever want to know that. 02:17:39 Warrigal: Yeah. 02:17:49 oerjan: Oh, right. Application. YAY. 02:17:51 REFERSE! 02:18:02 no, fmap 02:18:06 @src <$> 02:18:07 f <$> a = fmap f a 02:18:13 Sorry. 02:18:18 Applicative! Yay! 02:18:23 Yay! 02:18:41 We should come up with a writing system that uses only characters that are valid in Haskell infix operators. :-P 02:19:45 (|-|/-\|-|!!) 02:20:22 > (~!@#$%^&*_-+=|\:<>.?/) 02:20:24 : parse error on input `)' 02:20:29 > (~!@#$%^&*_-+=|\:<>.?) 02:20:31 : parse error on input `)' 02:20:40 > let a |-|/-\|-|!! b = a+b in 2 |-|/-\|-|!! 2 02:20:42 4 02:20:44 > do {[1..];return . (`mod` 10) . round . (pi^)} 02:20:45 Couldn't match expected type `[b]' 02:20:47 Warrigal: _ is not legal 02:20:54 > (~!@#$%^&*-+=|\:<>.?/) 02:20:55 Not in scope: `~!@#$%^&*-+=|\:<>.?/' 02:21:28 > do {x <- [1..];return . (`mod` 10) . round . (pi^) x} 02:21:30 Couldn't match expected type `[b]' 02:21:35 Are any of the characters in `;"', legal? 02:21:40 Hmph. 02:21:46 > (~!@#$%^&*-+=|\:<>.?/`;"',) 02:21:47 : parse error on input ``' 02:21:51 > (~!@#$%^&*-+=|\:<>.?/;"',) 02:21:53 : parse error on input `;' 02:21:55 > (~!@#$%^&*-+=|\:<>.?/"',) 02:21:57 : 02:21:57 lexical error in string/character literal at end o... 02:22:00 > (~!@#$%^&*-+=|\:<>.?/',) 02:22:02 : 02:22:02 lexical error in string/character literal at chara... 02:22:05 > (~!@#$%^&*-+=|\:<>.?/,) 02:22:06 : parse error on input `,' 02:22:12 I guess that's the answer. 02:22:16 Why am I having trouble making that into a do block? 02:22:31 > do x <- [1..]; return . (`mod` 10) . round . (pi^) $ x 02:22:33 [3,0,1,7,6,1,0,9,9,8,4,9,7,1,6,1,4,3,0,6,3,2,4,4,8,6,4,0,1,9,6,2,4,6,2,6,6,... 02:22:46 Thar. 02:22:52 pikhq: put more parentheses around your infix operators, or do what oerjan did. 02:22:55 More confusion is required. 02:23:15 Warrigal: So I fail at order of operators. 02:23:27 Yep. 02:23:37 Application binds more tightly than anything else. 02:23:52 This also causes problem with stuff like "tail x:xs = xs". 02:24:22 $ less tightly than any other operator, . more tightly than any other operator 02:24:59 . is infixr 5, isn't it? 02:25:02 Also, monads are cool. 02:25:02 9 02:25:09 > (0$0 .) 02:25:11 The operator `GHC.Base..' [infixr 9] of a section 02:25:11 must have lower prec... 02:25:41 @i . 02:25:41 Maybe you meant: id ignore index instances instances-importing irc-connect . ? @ v 02:26:02 there is no precise equivalent to ghc :i in lambdabot 02:26:03 -__- 02:26:04 Lessee, ~!@#$%^&*-+=|\:<>.?/ has 20 characters. Let's just use those characters to represent ABCDEFGHILMNOPRSTUWY, respectively. 02:26:35 Warrigal: Chop off the vowels; don't need them. 02:26:49 -!- olsner has joined. 02:27:13 No. Write V, K, J, X, Q, Z as F, G, G, GS, G, S. 02:27:32 Alternatively, C instead of G before letters other than E, I, and Y. 02:27:46 > [' '..'\DEL'] \\ ['A'..'Z'] \\ ['a'..'z'] 02:27:47 That too. Punctuation is nice. 02:27:48 Precedence parsing error 02:27:48 cannot mix `Data.List.\\' [infix 5] and `Data... 02:27:54 bah 02:27:55 The cuicc brown fox gumps ofer the lasy dog. 02:28:02 > [' '..'\DEL'] \\ (['A'..'Z'] ++ ['a'..'z']) 02:28:04 " !\"#$%&'()*+,-./0123456789:;<=>?@[\\]^_`{|}~\DEL" 02:28:50 > [' '..'~'] \\ (['A'..'Z'] ++ ['a'..'z'] ++ ['0'..'9']) 02:28:52 " !\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~" 02:29:31 > {{()}[()]} 02:29:32 : parse error on input `{' 02:29:33 > [' '..'~'] \\ (['A'..'Z'] ++ ['a'..'z'] ++ ['0'..'9'] ++ "~!@#$%^&*-+=|\\:<>.?/") 02:29:35 " \"'(),;[]_`{}" 02:29:36 :-( 02:30:07 ok you seem to have got all 02:30:28 > let x :- y = "Totally". in ?i ?think :-( ?is ?a ?frown ?and :-) ?is ?a ?smile 02:30:29 : parse error on input `in' 02:30:37 > let x :- y = "Totally." in ?i ?think :-( ?is ?a ?frown ?and :-) ?is ?a ?smile 02:30:39 Not in scope: data constructor `:-'Not in scope: data constructor `:-'Not i... 02:30:44 Oog. 02:31:05 > let x -: y = "Totally." in ?i ?think (-: ?is ?a ?frown ?and )-: ?is ?a ?smile 02:31:07 Unbound implicit parameters (?smile::t5, 02:31:07 ?and... 02:31:21 Grr. 02:32:38 :t let x -: y = "Totally." in ?i ?think (-: ?is ?a ?frown ?and )-: ?is ?a ?smile 02:32:41 forall t t1 t2 t3 t4 t5 t6. (?smile::t4, ?a::t3, ?is::t3 -> t4 -> t5 -> t6, ?and::t5, ?frown::t4, ?think::t, ?i::t -> (t2 -> [Char]) -> t1) => [Char] 02:36:07 > sin.(2^)<$>[1..] 02:36:09 [0.9092974268256817,-0.7568024953079282,0.9893582466233818,-0.2879033166650... 02:37:26 hm i guess that is not unrecognizable, there is a formula for sin 2x from sin x 02:38:22 > sin.(pi^)<$>[1..] 02:38:24 [1.2246467991473532e-16,-0.4303012170000917,-0.39828817883405304,-1.9717494... 02:39:10 any irrational power ought to work though 02:39:14 Lame. Needs more monads. 02:39:16 *root 02:39:29 i thought the challenge was to golf it... 02:39:41 While making it incomprehensible. 02:39:49 :P 02:39:51 um 02:40:20 not the program, the _result_ should be unrecognizable 02:40:29 Oh. 02:40:30 (originally) 02:44:38 > (*198.838782*1079252848.8)<$>[1..] 02:44:39 The operator `GHC.Num.*' [infixl 7] of a section 02:44:39 must have lower prece... 02:45:01 > (*198.838782).(*1079252848.8)<$>[1..] 02:45:03 [2.1459732192542215e11,4.291946438508443e11,6.437919657762665e11,8.58389287... 02:45:27 > (198.838782*1079252848.8*)<$>[1..] 02:45:29 [2.1459732192542215e11,4.291946438508443e11,6.437919657762665e11,8.58389287... 02:46:17 > (define you (cons nigger nigger)) 02:46:18 Not in scope: `define'Not in scope: `you'Not in scope: `cons'Not in scope: ... 02:46:28 Any guess what it does? 02:46:28 What is lambdabot anyway 02:46:45 pikhq: what what does? 02:46:59 Slereah: GHCI in IRC form. 02:47:06 oerjan: That line of code I named. 02:47:13 Erm. Typed out. 02:47:40 it multiplies every number in [1..] by 1079252848.8, then 198.838782 02:47:52 More fundamental than that. 02:47:59 What does it mean? 02:48:24 = fmap ((*198.838782).(*1079252848.8)) [1..] 02:48:36 = map ((*198.838782).(*1079252848.8)) [1..] 02:48:37 ... No, no. 02:48:52 You don't see what I'm driving at. 02:48:56 erm you mean what those numbers are? 02:49:02 Yes. 02:49:55 i think i can say with some confidence that i am quite sure that i don't have a clue 02:50:20 "The conversion factor from a kilometer to a rod is 198.838782" 02:51:05 It's C in rods per hour. 02:51:31 "km per hour 1,079,252,848.8 (exact) " 02:51:36 Well, multiples thereof. 02:52:03 http://www.youtube.com/watch?v=JGAMppuXf7U // hilarious and extremely NSFW 02:52:09 Ah, dumb units. 02:52:09 `google speed of light in rods per hour 02:52:11 miles per hour, ~= 670616629.3844. miles per second, ~= 186282.39705122 ..... Fizeau reported the speed of light as 313000 kilometres per second. ... \ en.wikipedia.org/wiki/Speed_of_light - [19]Cached - [20]Similar 02:52:38 `calc speed of light in rods per hour 02:52:39 the speed of light = 2.14597321 10^11 rods per hour 02:53:48 `calc speed of light in furlongs per fortnight 02:53:49 the speed of light = 1.8026175 10^12 furlongs per fortnight 02:53:52 Haha! Rod. 02:54:34 `calc 20 rods to the hogshead in miles per gallon 02:54:36 I might not find "20 gallons" but google does give me: 4 oz oil per gal for a Honda Hobbit. ... 40 mpg = 2 217 600 fathoms per hogshead according to Google, ... Just add a few nanoseconds, one acre, a few furlongs, some rods and chains, ... 02:54:40 GregorR: :D 02:55:06 `calc 1/20 hogsheads per rod in miles per gallon 02:55:08 (1/20) (hogsheads per rod) = 0.000992063492 miles per gallon 02:55:53 Ah, cars that get rods to the hogshead. 02:56:17 `cat bin/calc 02:56:18 #!/bin/bash \ if [ ! "$1" ] \ then \ echo 'Calculate what?' \ exit 1 \ fi \ \ QUERY=`echo -n "$1" | od -t x1 -A n -w1000 | tr " " %` \ \ lynx --cfg=/dev/null --lss=/dev/null \ \ --dump --width=1000 'http://google.com/search?q='"$QUERY" | \ grep -m 1 '=' | sed 's/ \+/ /g' 03:05:06 -!- GreaseMonkey has joined. 03:11:37 `calc 40 miles per gallon in square diopters 03:11:39 40 miles per gallon = 17 005 748.3 square dioptres 03:11:53 how does calc work? 03:12:04 `calc syntax error"£(*$&£("$ 03:12:05 `calc the answer to life, the universe and everything * once in a blue moon 03:12:06 www.phpbuilder.com/board/showthread.php?t=10366317 - [15]Cached - [16]Similar 03:12:07 the answer to life, the universe and everything * once in a blue moon = 4.90135867 10^-7 hertz 03:12:10 Google. 03:12:15 ah, Google calculator 03:14:46 ais523: How can you ask how calc works when the source is RIGHT THERE :P 03:15:07 because it's faster than looking 03:15:17 even up a few lines, that would mean being able to parse 03:21:16 `calc 50 man hours per hour in men 03:21:18 books.google.com/books?id=dx1OAAAAMAAJ... 03:21:40 `calc 50 electron volts per volt in electrons 03:21:41 It is the amount of kinetic energy gained by an electron when it passes through ... It is equal to one volt (1 volt = 1 joule per coulomb) multiplied by the ... Therefore 500000 ppm is the same as 50 per cent, because 500000 is half of ... 03:22:02 `calc 50 unit meters per meter in units 03:22:03 (50 unit meters) per meter = 50 units 03:22:24 `calc the meaning of life - the answer to life, the universe and everything 03:22:25 www.youtube.com/watch?v=aboZctrHfK8 03:22:42 `ls bin 03:22:43 addquote \ calc \ creatures \ define \ esolang \ etymology \ fortune \ google \ imdb \ minifind \ paste \ quote \ runfor \ strfile \ unstr \ url \ wolfram 03:22:58 `wolfram 40 miles per gallon in square diopters 03:23:06 40 miles per gallon in square diopters \ \ Input interpretation: \ \ convert 40 mpg miles per gallon to diopters squared \ Result: \ \ mpg miles per gallon and diopters2 diopters squared are not compatible. \ \ Unit information: \ \ unit \ mpg miles per gallon \ \ dimensions 1 length \ 2 \ \ common physical quantity area 03:24:19 `calc the square root of (20 miles per gallon) in diopters 03:24:20 square root(20 miles per gallon) = 2 915.96882 dioptres 03:24:54 * Warrigal posts that on Facebook. 03:30:47 `calc 50 miles per second in hertz per diopters 03:30:49 50 (miles per second) = 80 467.2 hertz per dioptres 03:31:20 `quote 15 03:31:21 15| wouldn't that be considered pedophilia? No. They all go by stage names. 03:33:07 o_O 03:33:52 How many bots do we have 03:34:03 When will humans become obsolete here? 03:34:12 I'm counting 3. 03:34:26 Soon you'll make a robot to gay out and I'll be useless. 03:34:34 The classic EgoBot, the new hotness HackEgo, and the foreign Lambdabot. 03:34:44 Also fungot 03:34:44 Slereah: i used drscheme often need to be implemented useful to be able to 03:34:47 !vixen Are you gay? 03:34:48 Don't forget fungot 03:34:49 GregorR: sounds really weird. anyway... i'll give it a list? ie, depending on what it can 03:34:52 Make that 4. 03:34:53 er 03:34:58 @vixen Are you gay? 03:34:59 first you tell me. 03:35:08 That's like almost as many as regulars here 03:35:17 GregorR: Fungot is in Befunge and doesn't afraid of anything. 03:35:35 Slereah: ... More people than that have talked in the past half hour. 03:35:42 It is a joke 03:35:47 Okay. 03:35:57 Clearly, we all need to get IRC bots, though. 03:36:07 Everyone should have at least one! 03:50:12 @vixen Are you gay? 03:50:13 let's don't talk about that 03:50:28 @vixen Do you want to be? 03:50:28 hmmm, i don't know what I wanna be 03:50:30 Roger. 03:50:55 Oh, and wilco. 03:51:05 is vixen an Eliza-alike? 03:51:26 Hahah, greatest gay-on-straight pickup line: "Got any gay in you?" "...no." "Want some?" // it's funny because it makes no sense. 03:52:09 GregorR: what do you do if the person responds "yes"? 03:52:37 Well, this is a "gay on straight" pickup line, so presumably you have sex with them ... eventually :P 03:52:41 * ais523 wonders what the effect of that pickup line would be if done on a member of the opposite sex 03:53:10 lol 03:53:13 So confusing X-D 04:01:37 -!- nooga_ has joined. 04:12:56 -!- nooga has quit (Read error: 110 (Connection timed out)). 04:25:00 04:25:27 * GregorR ? 04:25:41 > 04:25:57 * GregorR > 7 04:27:08 Curses. 04:28:31 * GregorR * 2 = 10,636,016 04:35:28 > let GregorR * 2 = 10,636,016 in GregorR * 2 04:35:29 : parse error on input `,' 04:35:40 > let "GregorR" * 2 = 10,636,016 in "GregorR" * 2 04:35:41 : parse error on input `,' 04:35:54 Erm. Obvious error is obvious. 04:35:56 ... srsly? 04:36:03 > let GregorR * 2 = 10636016 in GregorR * 2 04:36:04 Not in scope: data constructor `GregorR'Not in scope: data constructor `Gre... 04:36:06 Look at the number :P 04:36:14 > let "GregorR" * 2 = 10636016 in "GregorR" * 2 04:36:15 10636016 04:36:21 GregorR: Like I said. Obvious error is obvious. 04:40:26 > let gregorR + 2 = 10636016 in gregorR 04:40:28 Not in scope: `gregorR' 04:40:43 > let (gregorR + 2) = 10636016 in gregorR 04:40:45 10636014 04:41:54 ... That's actually kinda impressive. And damned spiffy. 04:42:48 and, according to some, an evil only second to hitler D: 04:43:21 /hyperbole 04:43:39 Oh, the people who think that Arabs are evil. 04:43:41 yes, it's at most a distant fifth 04:44:20 really, some people don't like, http://www.mail-archive.com/haskell@haskell.org/msg01261.htm 04:44:31 (it's doing algebra, algebra is named after a one Al'Jabr, the rest is an exercise for the reader.) 04:44:47 > let (u + 20) = 10 in u 04:44:48 * Exception: :1:153-165: Irrefutable pattern failed for patter... 04:44:56 actually Al'Jabr was the name of the book 04:45:01 it's like Zero/Succ.. 04:45:09 GregorR: 404? I can see why people would dislike a 404 error. 04:45:15 the author was Al Khwarizmi or thereabouts 04:45:15 oerjan: Thanks for the correction. 04:45:26 pikhq: GET YAR G-R-VOWELS RIGHT 04:45:36 GregorR: No. 04:45:58 -!- ais523 has quit (Remote closed the connection). 04:46:22 it's html, not htm 04:46:37 > let (x + 2) = pi in x 04:46:39 Add a type signature 04:46:47 huh 04:46:54 :t let (x + 2) = pi in x 04:46:55 forall t. (Floating t, Integral t) => t 04:47:12 it actually has to be Integral? 04:48:01 it's based on Zero/Succ 04:48:22 > let (x+2) = 1 :: Word8 in x 04:48:23 * Exception: :1:145-162: Irrefutable pattern failed for patter... 04:48:35 spoilsport 04:48:57 > let (x+2) = -1 :: Word8 in x 04:48:59 253 04:49:00 let (Succ (Succ x)) = Succ Zero in x, also fails 04:49:21 ... see Word8/fromIntegral D: 04:49:28 fromInteger 04:50:31 Okay, I see how very screwy that is. 04:50:46 I am in favor of either *generalising that* (so it works right) or banning it. 04:51:05 again, Data Natural = Zero | Succ Natural :D 04:51:15 but yes, limitedish in practice 04:52:00 but.... interestingly.. 04:52:06 > let a@(b+1) = 0 in a 04:52:08 * Exception: :1:145-155: Irrefutable pattern failed for patter... 04:52:17 pikhq: the thing is, it was included for primitive recursion stuff like 04:52:20 it is rather fail-fast.. b isn't even used 04:52:39 > let fac (n+1) = (n+1)*fac n; fac 0 = 1 in fac 10 04:52:41 3628800 04:53:20 so for the original intended use, the >= 0 check is needed 04:53:29 iirc 05:13:37 owned 05:13:43 it's quite late 05:13:53 and that 39 norwegian is still alive 05:14:15 38 05:14:21 for another day 05:16:40 lulz 05:17:15 you're almost as old as my father 05:17:21 he's 48 ;p 05:17:56 * oerjan whacks nooga_ with his walking stick 05:17:56 wicked 05:18:02 HAHHAHAHAHHAHA 05:20:06 House style 05:20:43 dammit and i don't even watch house 05:20:50 (or tv in general) 05:20:51 you should 05:20:59 he's utter poignant 05:21:35 tv sucks, i don't even own a tv set 05:24:17 You're younger than my fother. 05:24:26 Father, also. 05:24:57 and mather 05:25:07 O_o 05:25:42 oerjan: in Polish, i should use "sir" when talking to you 05:26:25 like, "dzień dobry panu" 05:26:31 = good day sir 05:26:37 instead of "hi" 05:27:33 funny thing 05:27:43 there is nou "you" in formal Polish 05:27:54 In English, though, we got rid of the grammatical features associated with formality. 05:28:06 And the rest followed. 05:28:23 it's considered as rude when you say "you" (= ty) to someone older 05:29:28 we say "być na ty" (abiliy to say "you" to smoeone) when you're in close relations to someone 05:30:11 * nooga_ is listening to Pink Floyd atm 05:31:01 pikhq: you're british, right? 05:31:56 No. 05:32:02 american? 05:32:06 American of British heritage. 05:32:15 Yes. 05:32:21 weird 05:32:31 Though a last name of "Worcester" would make you think otherwise, wouldn't it? 05:32:41 ... What's weird about that, though? 05:32:42 hmh 05:32:56 whole world tries to speak your lang 05:33:00 pikhq: what was the formal equvalent of "thou"? "Ye"? 05:33:02 Yeah. 05:33:10 Warrigal: You. 05:33:23 Ye was the formal equivalent of thee. 05:33:24 I guess you're not considering it a grammatical feature associated with formality. 05:33:27 i on't even know english 05:33:39 don't* 05:33:50 So the object form of "you" used to be "ye"? 05:34:00 Knocking out the distinction between "formal" and "informal" made it cease to be a grammatical feature associated with formality. 05:34:03 Yes. 05:34:05 and that's the weirdest shit 05:34:20 Were "your", "yours" and "yourself" at that time the same as they are now? 05:34:43 nooga_: You seem to be better at English than I at Polish. 05:34:46 Warrigal: Yes. 05:35:01 "Thy", "thine", and "thyself" for the familiar. 05:35:09 i wonder what world would be if everyone would try to speak Polish instead of English 05:35:22 A world in which there was a Polish empire. 05:35:30 in fact, English compared to other langs is *quite* simple 05:35:42 yeah 05:35:53 nooga_: Except for its writing system. 05:36:06 Its writing system is comparable in complexity to Chinese. 05:36:14 no, it's not 05:36:22 :( 05:36:24 pikhq: A world in which there was a Polish empire. << that woul be quite a mess 05:36:30 (or maybe Japanese; not *quite* as bad as Chinese) 05:36:44 what' English writing system? 05:37:05 s/'/,/ 05:37:05 How poor and inconsistent our spelling is. 05:38:34 That's whî wê ûs sillê ad-häc sist@ms insted @f actôô@llê spelling things as thâ'r spelld. 05:39:15 i think that natives use worse eng that foreigners that learn English, but still I don't pretend to know English 05:39:23 Vi kaj via ̂. 05:39:36 Warrigal: and you're from? 05:39:41 En inglés por favor. 05:39:45 The US. 05:39:51 huh 05:39:57 nooga_: Your English is significantly better than 75% of US citizens. 05:40:06 noooooo 05:40:13 You actually make an effort to spell words correctly, and your sentences mostly parse right. 05:40:23 And what's more, they carry meaning. 05:40:42 Pick a sentence: 05:40:42 ehird thinks that I'm stewpid 05:40:49 ;D 05:41:06 That's because you are. Doesn't change that you know English. :P 05:41:13 ;p 05:41:38 "If he was smarter, he wouldn't have done that." "If he were smarter, he wouldn't have done that." "If he had been smarter, he wouldn't have done that." "If he would have been smarter, he wouldn't have done that." 05:41:45 no I'm not, I try to be annoying, because that brings some entertainment 05:42:28 Warrigal: All that neglects that I'd say "He wouldn't have done that were he smarter." :P 05:44:28 Pues, ¿cuántos de nosotros conocemos español? 05:47:10 i've learned spanish in high school but i failed 05:48:15 k, i've done drinking for today 05:48:34 bbl, sleep 05:53:37 * oerjan picks #3 05:54:37 oerjan: That one parses correctly, yes. 05:55:15 Yo escogería 2 ó 3, dependiendo. 05:57:12 i feel the first part of #2 would go with "he wouldn't do that" instead 05:57:42 I think the use of the present tense in the first part is justified by the idea that smartness doesn't change. 05:57:42 but maybe it can be both 05:58:02 * Warrigal totally calqued an idiolectical habit. 06:00:01 * pikhq wants curried sentences 06:01:08 "I threw him the ball." 06:01:22 "(I threw him) the ball." 06:01:27 Well, it's kind of like currying. 06:01:53 That sentence certainly isn't bracketed "I threw (him the ball)." 06:02:27 (David slowed his pace slightly as his ears, which were the ball, were thrown to him by me.) 06:02:32 (Wait, what?) 06:02:51 -!- immibis has joined. 06:03:03 Next up: Monadic sentences! 06:03:18 (no, I don't know what a monadic sentence would look like.) 06:03:43 I am. 06:04:50 Sodium is. 06:05:06 Sodium am. 06:05:11 Oops, I just revealed my identity. 06:05:17 Na, that cannot be 06:09:58 frm wiktionary page on monadic: 2. (chemistry) univalent 06:11:56 Hydrogen, lithium, sodium, francium, cesium... 06:12:13 ...are. 06:12:15 And potassium and rubidium. 06:12:39 Hydrogen, lithium, sodium, *potassium, rubidium*, *cesium, francium* 06:12:48 And ununennium. 06:13:01 And unhexennium. 06:13:24 they all are, too. 06:13:40 Hey, look at this equation. http://upload.wikimedia.org/math/0/9/3/093e1a3a34867fd243899f551177d273.png 06:14:07 Combine those two elements, and you get *nothing*. 06:14:40 -!- immibis has quit (Read error: 104 (Connection reset by peer)). 06:18:55 -!- oerjan has quit ("Aut caesium aut nihil"). 06:22:05 lies 06:22:19 you get no atoms 06:22:23 not nothing 06:32:31 Nothing, I tell you. 06:44:52 -!- immibis has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:09:22 jäääär <-- valid estonian word 09:11:38 suprasegmentals <-- valid english word o_O 09:30:12 -!- FireFly has joined. 10:06:06 A valid Finnish (compound) word: "pää-äänipää". (Unfortunately we have a rule of inserting a hyphen between two parts of a compound word where the first one ends and the second one starts with the same wovel.) 10:26:56 -!- BeholdMyGlory has joined. 10:30:54 -!- immibis has left (?). 11:03:22 nice, russian has at most three vowel letters 11:15:29 I don't think we have more than three consecutive wovels very often in a single word either (though "liioittelu", en:exaggerating, has "iioi" in it), but compound words are pretty common here. 11:23:42 -!- Judofyr has joined. 11:44:45 -!- GreaseMonkey has quit ("HydraIRC -> http://www.hydrairc.org <- Nobody cares enough to cybersquat it"). 11:52:45 -!- nooga_ has quit (Remote closed the connection). 11:53:07 -!- nooga has joined. 11:54:20 -!- nooga_ has joined. 11:54:50 -!- nooga has quit (Read error: 104 (Connection reset by peer)). 13:53:49 -!- upyr[emacs] has joined. 13:55:29 -!- nooga has joined. 13:57:01 -!- nooga_ has quit (Read error: 104 (Connection reset by peer)). 14:30:28 -!- upyr[emacs] has quit (Remote closed the connection). 14:56:13 -!- augur has quit (Read error: 110 (Connection timed out)). 15:33:19 -!- kar8nga has joined. 16:12:59 I just discovered that Haskell has support for literate programming. \begin{code} \end{code} 16:13:29 also bird style 16:13:41 Bird style? 16:13:59 let tweettweet = tweet in tweet tweet tweettweet 16:14:26 name the file *.lhs, then start code lines with > 16:14:57 * GregorR didn't know that was called "bird style", although he was aware of it. 16:15:07 Ah. 16:15:19 Pretty awesome. 16:15:39 * pikhq sees why there exists Literate Perl. 16:15:45 So in essence, lambdabot runs the channel in .lhs mode :P 16:16:01 I never connected its '>' trigger to lhs, but that makes some sense. 16:16:37 \begin{code}[1..]\end{code} Here we see a list of infinite size. 16:16:48 Aaaaw. 16:17:51 > [1..2] 16:17:51 [1,2] 16:17:56 Here we see a list of finite size. 16:18:18 Pity, too. It should have every number between 1 and 2. 16:18:41 (and yes, I'm well aware that common numerical representations make that rather unlikely) 16:19:14 [1,1.00000000000000000000001..2] 16:19:16 > [1,1.00000000000000000000001..2] 16:19:18 [1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.... 16:19:28 lawl 16:19:54 > length [1,1.00000000000000000000001..2] 16:19:59 mueval-core: Prelude.read: no parse 16:19:59 mueval: ExitFailure 1 16:20:41 > [1,1..2] 16:20:42 [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,... 16:20:58 > [1,1.._] 16:20:59 Pattern syntax in expression context: _ 16:21:03 > length [1,1..2] 16:21:03 > [1,1..] 16:21:06 [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,... 16:21:08 mueval-core: Prelude.read: no parse 16:21:08 mueval: ExitFailure 1 16:21:29 I don't understand that error at all :P 16:21:32 > let cycle n = [n,n..] in cycle "HI!" 16:21:33 No instance for (GHC.Enum.Enum [GHC.Types.Char]) 16:21:33 arising from a use of `... 16:21:45 Totally lame. 16:22:02 > foldl (+) 0 [1..10] 16:22:04 55 16:22:11 > foldl (+) 0 [1,1..10] 16:22:19 mueval-core: Prelude.read: no parse 16:22:19 mueval: ExitFailure 1 16:22:24 GregorR: It's crashing somewhere else, and it then goes through read... Somewhere... 16:53:31 -!- BeholdMyGlory has quit (Remote closed the connection). 17:00:59 -!- Judofyr has quit (Remote closed the connection). 17:27:23 -!- Judofyr has joined. 17:34:46 -!- upyr[emacs] has joined. 17:36:33 > foldl (\ s@(x:y:l) o -> if o == "+" then (x+y):l else (read o):s) [] ["5","5","+"] 17:36:36 * Exception: :1:148-204: Non-exhaustive patterns in lambda 17:36:39 :O 17:37:33 :< 17:49:51 -!- augur has joined. 17:52:10 should i cover [] x:[] also ? 17:52:20 but in lambda it's impossible 17:55:02 Like, use a where? 17:55:11 ... Or more creative uses of guards? 17:56:56 guards 17:56:59 but in one line? 18:00:21 Yeah; you can use semicolons. 18:01:42 -!- MigoMipo has joined. 18:07:45 nooga what are you mucking about with? 18:08:49 uhu 18:08:58 who claimed that lostkingdom was hard to solve? 18:08:59 uhu? 18:09:02 augur: foldl (\ s@(x:y:l) o -> if o == "+" then (x+y):l else (read o):s) [ 18:09:06 was it ais? 18:09:07 O_O; 18:20:35 AnMaster: LostKingdom is hard, but no more so than most other text adventures. 18:21:36 Most text adventures are absurdely frustrating 18:25:44 pikhq, only hard bit were the mazes... Helps to draw a diagram 18:25:53 bbl 18:26:34 Yeah, the mazes is what really got me. 18:37:13 :F 18:39:16 pikhq, I solved them by writing a file like this: http://pastebin.ca/1476632 18:39:31 thus mapping the entire maze 18:40:33 in some cases you need to go south then north to end up in the right place, that is, the connections are _mostly_ one-way. 18:45:20 generated the file? 18:45:24 or wrote it by hand? 18:45:57 nooga, copy-pasted messages and wrote by hand yes 18:46:09 I wouldn't write a program to *play* lostkingdom to figure out the maze 18:46:14 that would be, err, silly 18:46:28 lots of work 18:47:08 anyway there are 8 "rooms" in that maze 18:52:36 -!- zzo38 has joined. 18:53:37 I think you can treat Unlambda as lazy if you just say that every command other than "d" evaluates its parameter before doing other things 18:54:11 I care not for silly unlambdas! 18:54:16 Lazy bird is enough for me 18:54:26 That seems one way to implement "d" in Underload. 18:54:41 Now ti make the Unlambda "c" in Underload, too. 18:54:50 s/ ti / to / 18:55:45 If we can't do "c" with thee existing commands, then we can add a new one. 18:56:55 The new one can do the following: Take the entire stack into a string, add on a string representing the rest of the program (all in parentheses), and then discard the entry of the stack underneath. 18:57:02 Is that sufficient? 19:08:41 The Unlambda in CLCLC-INTERCAL (using the CLCLC-INTERCAL functional operators) does treat it as lazy and each command other than "d" does an evaluation. 19:09:23 uhm 19:12:44 -!- augur has quit (Read error: 110 (Connection timed out)). 19:19:51 http://www.qwantz.com/index.php?comic=1111 Haa this is so sa 19:20:02 *sad 19:20:18 Dinosaur Comics archive binge? 19:20:43 -!- fungebob has joined. 19:21:49 I'd never read it, so I'm reading it through. 19:22:06 Good man. 19:22:15 Fungebob? 19:22:24 hey whats up 19:22:26 Fungebob, meet fungot. Fungot, fungebot. 19:22:27 pikhq: make one. " slow" one? *i* open one with the firefox logo on too.) 19:22:43 Pleased to meet you 19:22:50 Erm. Fungebob. 19:24:21 fungebob new here? 19:24:25 Apparently. 19:24:40 yeah i just come by to lurk for a bit every couple of years 19:24:45 ah 19:24:51 I knew the nick sounded familiar 19:25:03 anyway considering your nick you would like fungot. 19:25:04 AnMaster: ruby sometimes makes my teeth itch the first day of scheme fnord haven't decided on a specific implementation, there's quite some scheme code to c 19:25:06 ^source 19:25:06 http://zem.fi/~fis/fungot.b98.txt 19:25:23 -!- kar8nga has quit (Remote closed the connection). 19:25:29 Yeah! now that's some funge! 19:25:48 fizzie, fungot still runs under cfunge right? 19:25:48 AnMaster: i frequently desire a standardized optional argument mechanism. it in fact 19:25:50 'Tis a thing of beauty. (even though I don't know Funge) 19:25:56 -!- nooga has quit ("Leaving..."). 19:26:38 fizzie, or have you worked on jitfunge maybe? 19:27:00 -!- CESSMASTER has quit (Remote closed the connection). 19:27:27 -!- CESSMASTER has joined. 19:27:45 * pikhq notes that Fungot doesn't handle CTCP. Lame. 19:28:23 Nor does the Egoëst of bots, Egobot. 19:28:41 Or lambdabot. 19:28:44 :( 19:29:25 @vixen ctcp 19:29:25 so, what made you want to message me? 19:37:21 -!- zzo38 has quit (Read error: 104 (Connection reset by peer)). 19:45:16 mtve: Got any more of the Befunge mailing list, by any chance? 19:49:59 -!- augur has joined. 20:07:17 Yes, no. 20:20:38 fizzie, to what questions 20:21:15 Your two questions, in that order; yes, cfunge; no, unfortunately not jitfunge. 20:21:46 (Haven't really been doing anything esoteric lately.) 20:21:58 (A traitor am I.) 20:24:42 how does one implement value range propagation 20:24:59 I can see manually that a cell can be either 0 or 1 at one point 20:25:14 but I have no idea how to implement a good propagation pass for it 20:46:57 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 21:00:08 -!- mtve has quit (Read error: 104 (Connection reset by peer)). 21:13:13 01:52 GregorR: http://www.youtube.com/watch?v=JGAMppuXf7U // hilarious and extremely NSFW 21:13:14 old 21:13:56 02:14 GregorR: ais523: How can you ask how calc works when the source is RIGHT THERE :P 21:14:04 ais prefers bugging people over research 21:15:21 ... are we talking about the same ais? :P 21:16:13 -!- Slereah has quit (hubbard.freenode.net irc.freenode.net). 21:16:40 -!- Slereah has joined. 21:17:28 02:51 ais523: is vixen an Eliza-alike? 21:17:30 cybering eliza. 21:17:47 03:41 pikhq: ... That's actually kinda impressive. And damned spiffy. 21:17:47 no 21:17:50 @vixen can has sex0rz? 21:17:50 Don't tease me 21:17:53 (n+k) patterns only work for a positive k 21:17:59 @vixen i want to tease ur clothes right off 21:17:59 how bad do you want me? 21:18:00 and you can't do (n-k) 21:18:05 @vixen VERY NAUGHTY 21:18:05 I will NOT be ignored... 21:18:06 or even (n+(-k)) as I said 21:18:12 they're a hopelessly hacky special case 21:19:36 -!- Slereah has quit (hubbard.freenode.net irc.freenode.net). 21:22:21 -!- Slereah has joined. 21:26:26 http://www.qwantz.com/index.php?comic=1144 // narrator vs character comics :P 21:27:49 hawt 21:28:19 21:15 GregorR: ... are we talking about the same ais? :P ← yes, he refuses to google for things and when I google for him and link to a relevant page he refuses to click it because he hates the web 21:28:50 Then what is he doing on it? 21:29:03 This is on the internet, not the web.......... 21:29:48 But the esolang wiki is on the web 21:43:42 NUH UH 21:46:23 @vixen poop on me 21:46:23 i could really use a backrub 21:46:34 O_O 21:46:44 Also, "I'm a flower!" 21:47:31 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 21:47:43 -!- pikhq has joined. 21:57:13 * ehird attempts to increase his mac's in-RAM disk cache size 21:57:19 It's seeking like there's no tomorrow... 21:59:31 having 1.13gb out of 2.5gb unused when it could be caching disk is irritating 22:03:41 OS X sure is nice ... when you have beefy hardware to run it on ... 22:04:41 Object cache: 8303 hits of 33586 lookups (24% hit rate) 22:04:43 — vm_stat 22:04:45 that's pretty bad... 22:06:12 hmm 22:06:15 i want hit rate stats 22:06:50 install os x :p 22:07:33 * ehird can't find anything about the disk cache :-( 22:10:36 maybe I'll mount /tmp and the like in ram 22:12:16 /tmp + /Library/Caches + /var/tmp = 13.7MB, so I could mount them in ram just fine 22:12:27 the question is how 22:13:18 don't use osx 22:13:38 IGNORE THIS FILE. 22:13:38 This file does nothing, contains no useful data, and might go away in 22:13:39 future releases. Do not depend on this file or its contents. 22:13:41 — /etc/fstab.hd 22:13:43 bsmntbombdood: but i like os x. 22:13:57 it just sucks at managing mechanical disks. 22:15:04 ... Wow, that's really kinda dumb. 22:15:11 pikhq: what is? 22:15:17 the /etc/fstab.hd thing? it'll just be a legacy file 22:15:22 Sucking at managing mechanical disks. 22:15:24 ah 22:15:39 well it doesn't really suck, it's prolly about the same as linux or only a little worse 22:15:46 i don't think anything's good at managing mechanical disks 22:16:01 How familiar are you with LVM? 22:16:05 because you have the weird-ass, meaningless variable of how_far_away_data_is_from_the_head 22:16:10 pikhq: I don't mean like that 22:16:16 I mean like sequencing IO operations, caching it, etc 22:16:27 Oh, that. 22:16:41 Yeah, Linux is probably the best at it, but that doesn't make it all that good. 22:16:46 it's not a huge deal because if I wanted this machine to go really fast i'd stick an SSD in it 22:17:09 Oh, 13 year olds with expendable cash. 22:17:39 pikhq: unfortunately not. 22:17:53 Ah. 22:18:18 if it wasn't for those pesky child labour laws i'd be working my ass off to have more gadgety prospects :) 22:18:53 Oh, those damnable child labour laws. 22:19:32 insane, n. "We had the same problem and decided to disable the (disk-)cache of Safari because with today's fast internet connections it is not necessary anymore." 22:19:42 Yeah, internet connections are totally as fat as disks and caches. 22:20:20 % du -sh ~/Library/Caches [ this still hasn't terminated yet, so i fear it will be far too big for ram ] 22:22:09 % du -sh ~/Library/Caches 22:22:09 2.2G/Users/ehird/Library/Caches 22:22:10 Feck. 22:22:29 That's rather silly. 22:22:33 bsmntbombdood: can I run a fibre-optic cable to your house and use a gig or two of your ram? 22:22:38 pikhq: the 2.2g thing? 22:22:42 ehird: no 22:22:42 eh, it has my entire browser cache 22:22:43 Yeah. 22:22:59 ehird: i thought you were buying a better computer 22:23:02 bsmntbombdood: fuck you :( 22:23:06 i am 22:37:54 ehird, over the Atlantic? The delay would be very noticeable. 22:37:57 ;P 22:38:08 nothing can be slower than mechanical disks :P 22:38:25 ehird, if so, reduce cache size 22:38:40 so it downloads from internet instead every time 22:38:55 you asserted it would be faster just above :P 22:39:03 AnMaster: "insane, n." 22:39:04 It was a quote. 22:39:10 22:19 ehird: insane, n. "We had the same problem and decided to disable the (disk-)cache of Safari because with today's fast internet connections it is not necessary anymore." 22:39:10 22:19 ehird: Yeah, internet connections are totally as fat as disks and caches. 22:39:14 Even the quote didn't say it'd be faster. 22:39:37 nothing can be slower than mechanical disks :P 22:39:46 Shut up. 22:40:17 ehird, anyway, totally disabling cache isn't a good idea, web server owners will hate you. So will your ISP 22:40:27 I CALLED THE PERSON SAYING IT INSANE 22:40:27 I have my cache set to something like 100 MB or so. 22:40:32 WHY DO YOU THINK I AGREE WITH THEM 22:40:42 ehird, " nothing can be slower than mechanical disks :P" ;P 22:40:43 that is why 22:40:53 Note ":P". 22:45:02 ehird, Note ";P" 22:45:11 22:40 AnMaster: ehird, anyway, totally disabling cache isn't a good idea, web server owners will hate you. So will your ISP 22:45:13 No ;P there 22:45:21 Or before there, apart from in 22:45:23 22:38 AnMaster: you asserted it would be faster just above :P 22:45:24 and 22:45:26 22:40 AnMaster: ehird, anyway, totally disabling cache isn't a good idea, web server owners will hate you. So will your ISP 22:45:31 appeared to be a serious clarification 22:45:51 ehird, and a ":P" 22:46:02 What? 22:46:08 ehird, the 22:40 one was serious yes. 22:46:12 the 22:38 one wasn't 22:46:26 The 22:40 one is what I am talking about, and why was it serious? 22:46:28 I clearly did not agree. 22:46:49 ehird, I wasn't totally sure you weren't serious 22:47:07 22:19 ehird: insane, n. "We had the same problem and decided to disable the (disk-)cache of Safari because with today's fast internet connections it is not necessary anymore." 22:47:07 22:19 ehird: Yeah, internet connections are totally as fat as disks and caches. 22:47:10 insane, n. "stuff" 22:47:13 is clearly calling "stuff" insan 22:47:14 e 22:47:18 I don't get how you don't understand this? 22:55:28 i wonder what the hit rate on a squid type proxy in a single household is 22:56:44 yourmom% 23:01:40 @hoogle State a -> a 23:01:41 Did you mean: State a a -> a /count=20 23:01:41 Prelude id :: a -> a 23:01:41 Data.Function id :: a -> a 23:01:51 @hoogle State aa -> a 23:01:55 Did you mean: State aa aa -> a /count=20 23:01:57 @hoogle State a a -> a 23:01:58 Erm. 23:01:59 Unsafe.Coerce unsafeCoerce :: a -> b 23:02:01 Prelude ($) :: (a -> b) -> a -> b 23:02:03 Text.Parsec.Prim stateUser :: State s u -> u 23:02:05 Text.ParserCombinators.Parsec.Prim stateUser :: State s u -> u 23:02:07 Text.Parsec.Prim stateInput :: State s u -> s 23:02:10 ?ty runState 23:02:12 forall s a. State s a -> s -> (a, s) 23:02:14 ?ty execState 23:02:15 forall s a. State s a -> s -> s 23:02:16 ?ty evalState 23:02:18 forall s a. State s a -> s -> a 23:06:00 * ehird swaps Capslock and Control in a few clicks in System Preferences, gloats at non-OS X users 23:06:14 lol now pressing control turns my capslock light on 23:06:50 well, yeah 23:06:59 that thing's memory-mapped you know 23:07:04 SimonRC: the light is on the capslock key, though 23:07:09 is why it's funny 23:07:15 it wouldn't be if it were above the numpad like a lot of kbs 23:07:17 true, though still makes sense 23:07:37 my capslock has a dip on the right side of it that's still part of the key so this remapping isn't very comfortable 23:08:17 rotate it? 23:08:53 SimonRC: capping keys of this keyboard is rather hard 23:09:03 as it has no border around the keys and they're solidly put in 23:09:07 i can take off the arrow keys and control 23:09:08 that's about it 23:09:13 oh, and only the left and right arrow keys 23:13:32 SimonRC: i wonder if i could utilize its memory-mappedness to make it blink according to a beat 23:13:42 there was a winamp plugin that did that with numlock/capslock/scrollock(?), iirc 23:14:11 I remember writing QBASIC programs that manipulated the lights 23:14:30 would be a pain to convince the os to give me access to them; can even root do that? 23:14:31 tow of them are in one place, and one of them is somewhere nearby, but I forget the detaiols 23:14:43 (or were they on ports?) 23:15:03 detaiols 23:15:58 the keys are right next to each other! 23:16:12 SimonRC: you forgot "like", man. 23:16:18 that's, like, unforgivable, man. 23:16:19 it's not as good as "Wikipedoia" though 23:16:29 more like wikipedophillia am i rite. 23:16:54 "little children make me scared ... of myself" 23:24:17 -!- Pthing has joined. 23:24:19 o lawd 23:24:46 We had a qbasic game which involved pressing the space bar as rapidly as possible, with "score" indicated by the keyboard leds; this was used in the school computer class where there was a switch in the teacher's box which made all the monitors mirror his/hers; obviously we needed something to do during those times that didn't need a screen. 23:25:13 Hello Pthing. Are you a thing or a pthing? 23:25:18 Also, who art thoust. 23:25:24 hes new! 23:25:26 from #isharia! 23:25:31 http://esolangs.org/wiki/MONOD 23:25:32 Oh, not *another* one. 23:25:32 his. 23:25:40 yes :| 23:25:42 We have like 3 of them now. 23:25:42 bah, they took away all the good programming languages 23:25:50 at school 23:25:58 Okay, so, did someone mention #esoteric somewhere? :P 23:26:12 augur, #isharia, Pthing. 23:26:17 pikhq: i told pthing to come here. 23:26:20 Also Slereah is from there. 23:26:20 since he did http://esolangs.org/wiki/MONOD 23:26:23 Hey wasn't SimonRC there? 23:26:25 Ha. 23:26:25 Dunno. 23:26:25 and SimonRC 23:26:25 Maybe. 23:26:29 Right. 23:26:30 heres there now! 23:26:36 Although SimonRC has been here for all eternity. 23:27:04 hey, atleast slereah and pthing actually have esolangs 23:27:09 ive not even completed one XP 23:27:14 god what a loser 23:27:20 inorite 23:27:28 never any good ideas! 23:27:31 augur is just here so I can make terrible jokes vaguely related to him being in gay every now and then. 23:27:37 Also to hit on oklopol. 23:27:41 very true. 23:27:48 but then, ehird is here to act 13. 23:27:49 hm more new people I see 23:27:49 so.. 23:27:50 strange 23:27:51 :P 23:28:01 anyway 23:28:02 MONOD 23:28:03 it is 23:28:03 Not until I turn 14. 23:28:04 :| 23:28:04 p. okay 23:28:06 ehird 23:28:08 Err, not when. 23:28:09 Rather. 23:28:12 Monod? 23:28:14 or ... 23:28:15 NOMOD? 23:28:18 no, MONOD 23:28:21 HURF DURF. 23:28:21 definitely MONOD 23:28:25 Nomod now with more nomads 23:28:32 nomads! 23:28:46 comonods and conomods to go with your comonads and conomads 23:29:18 well i guess the problem is that i just made it up as i went along and kinda stole ideas from biology and simplified them 23:29:35 so I don't have a clue how you can classify or p. much do anything 23:29:42 class Nomad n where terurn :: n a -> a; (=>>) :: a -> (n a -> b) -> n b 23:29:45 THE NOAR YOU MOW!!! 23:30:06 Dammit. 23:30:08 That's a comonad. 23:30:13 Needs more monads. 23:30:27 I was trying to make it a bizarro comonad. 23:31:04 it is close to a comonad 23:31:16 Gracenotes: no, it's identical 23:31:22 http://www.eyrie.org/~zednenem/2004/hsce/Control.Comonad.html 23:31:24 extract :: w a -> a 23:31:28 extend :: (w a -> b) -> w a -> w b 23:31:36 uh what 23:31:36 oh, wait 23:31:38 mine is "a" 23:31:39 not "w a" 23:31:42 delicious! 23:31:46 yeah :P 23:31:51 now I have to figure out a use. 23:31:57 what eactly is a comonad, anyway 23:32:03 augur: the opposite of a monad. 23:32:07 yeah 23:32:08 comonad is useful for its context 23:32:17 what is a monad! 23:32:18 but if you use an 'a' instead of a 'w a', there isn't much context 23:32:22 augur: lern2haskell 23:32:23 instead of it being hard to get things out, it's ahrd to get things in 23:32:24 augur: the dual of a comonad 23:32:28 :o 23:32:37 man 23:32:38 my Nomad is just a trivial reversal of Monad :P 23:32:40 simonrc 23:32:41 stop it 23:32:46 also, some things can be expressed as monads or comonads 23:32:47 because in all cases you'd use a default context, which is useless 23:32:48 augur: ?? 23:32:50 hard things going in and out 23:32:57 that's what she said 23:32:58 *BADUM TISH* 23:33:02 Gracenotes: *he 23:33:07 Please make all jokes augur-gayness-appropriate. 23:33:11 indeed. 23:33:25 hey, I don't ask you to make jokes gracenotes-gayness-appropriate 23:33:28 huh? 23:33:32 * ehird attempts to write 'instance Nomad Tidendity' 23:33:34 btw http://en.wikipedia.org/wiki/Nomad_(disambiguation)#Other_uses 23:33:43 Gracenotes: but you're not augur, so there. 23:34:04 Gracenotes: did you add that? XD 23:34:08 no 23:34:11 ehird? 23:34:19 No, a /prog/lodyte. 23:34:24 :o 23:34:26 okay, dinnar teim 23:34:46 http://en.wikipedia.org/w/index.php?title=Nomad_%28disambiguation%29&diff=248980440&oldid=238174700 23:35:01 ^ Someone went and cleaned up the whole thing, but didn't see Nomad vs. Monad :) 23:35:14 I guess it's not that obvious, though. 23:35:15 well its a good thing to have! 23:36:16 -!- BeholdMyGlory has joined. 23:36:29 @src Identity (>>=) 23:36:30 m >>= k = k (runIdentity m) 23:36:32 @src Identity return 23:36:32 return a = Identity a 23:36:45 @src runIdentity 23:36:45 Source not found. My mind is going. I can feel it. 23:36:57 it's the record accessor 23:37:00 right 23:37:00 @src Identity 23:37:00 newtype Identity a = Identity { runIdentity :: a } 23:37:12 data Tidendity a = Tidendity a 23:37:12 instance Nomad Tidendity where 23:37:13 terurn (Tidendity a) = a 23:37:15 nibd a f = Tidendity $ f (Tidendity a) 23:37:17 i'm fairly sure that's the corresponding nomad 23:37:32 runIdentity's equivalent being, I think, the constructor Tidendity 23:38:04 :t runIdentity 23:38:05 forall a. Identity a -> a 23:38:58 ehird, why is it hard to get a value out of a monad? 23:39:04 augur: because there's no function for it. 23:39:23 cant you like 23:39:33 get (M x) = x 23:39:34 ? 23:39:47 that's for one specific monad though 23:39:50 well sure 23:39:52 there's no general way 23:39:55 well no 23:40:03 i dont mean in general tho 23:40:04 whereas with Comonad there's "extract a" 23:40:22 IO doesn't let you get the value out of it, because its constructors are hidden 23:40:23 augur: write a function (IO a -> a) like that 23:40:24 go go go! 23:40:28 Asztal: *hi5* 23:40:37 that's odd 23:40:45 why does load average skyrocket when writing to a disk 23:40:47 \o/'*hi5*'\o/ 23:40:47 | | 23:40:48 |\ |\ 23:40:49 i mean, if you _can_ do that, i dont see what monads really do, other than act as wrappers 23:40:58 bsmntbombdood: encryption 23:41:01 completely open wrappers 23:41:08 ehird: no... 23:41:09 bsmntbombdood: also maybe raid if you have that going on 23:41:15 they make some maniputaions easier 23:41:17 not that either 23:41:22 then your mom 23:41:24 they allow code to be generic over the monad 23:41:34 augur: they're not wrappers 23:41:37 nobody says they have to contain values 23:41:38 many don' 23:41:39 t 23:41:45 Data.Map does that 23:41:54 whats a monad that doesnt contain a value 23:42:00 sigh 23:42:08 wat. its true! 23:42:09 augur: you evidently don't understand anything about monads, ... 23:42:13 well, it is parameterised over the value in some other way 23:42:15 ehird: not really. 23:42:16 e.g. see Parsec 23:42:19 which is why i dont get it 23:42:33 every description of monads ive seen 23:42:37 (though Parsec doesn't need to be a full monad really) 23:42:38 they're just ADTs 23:42:43 that wrap values 23:42:52 SPACESUITS AND SPACESTATIONS 23:43:03 -!- Judofyr has quit (Remote closed the connection). 23:43:14 and i dont get how that makes them interesting at all. 23:43:21 that is just trying to build an intuation for the types and for the operations that make sense 23:43:30 the important part is how >>= and return work. 23:43:37 >>= is flatmap. 23:43:41 augur measures everything's value on how interesting or weird it seems to him at first sight. 23:43:47 not that i get how flatmap can work on non-lists but 23:43:55 o_o 23:43:56 ehird, what 23:44:00 thats not what im saying at all 23:44:09 im just saying that i dont get what monads are 23:44:16 that much is obvious 23:44:33 because every explanation ive seen of them makes them look like data containers. 23:44:57 even the definitions for what makes a monad a monad, requiring return and bind as _the_ defining characteristics 23:45:09 analogies are not helpful for understanding monads. learn all their constituents first then read the definition. 23:45:18 WHAT constituents! 23:45:24 haskell. 23:45:32 ::rolleyes:: 23:45:42 the IO monad isn't a container, though: (>>=) :: IO a -> (a -> IO b) -> IO b 23:45:55 it chain an action and a decision on what to do with the result of that action 23:45:56 the IO monad is a pseudo container 23:46:02 i mean, its IO a 23:46:03 not IO 23:46:04 IO a 23:46:11 no, augur, you are wrong 23:46:13 it is not a container 23:46:14 ok 23:46:14 hmm, ish 23:46:16 how 23:46:21 it is simply not 23:46:23 HOW. 23:46:28 what is the a in IO a 23:46:32 a type. 23:46:36 durr 23:46:38 thanks ehird 23:46:43 a type of what? 23:46:48 ...... 23:46:49 what has that type in an IO monad 23:46:49 a type. 23:46:53 what? 23:46:58 IF ITS A TYPE, WHATS THE INSTANCE 23:47:06 you're severely misunderstanding something fundamental 23:47:13 apparently 23:47:19 may i recommend you learn haskell before trying to understand monads? 23:47:35 i know haskell-minus-monads, pretty much. 23:47:46 (in terms of continuation-cased pure IO, it is the type of the parameter of the continuation, for example) 23:47:50 not the nuances, perhaps. but enough. 23:47:51 evidently not, augur 23:47:56 evidently, ehird! 23:47:58 if you knew haskell without monads properly, this would be trivial 23:48:04 ehird: I dunno about that 23:48:05 ehird, you're an idiot 23:48:06 your confusion about "instantiating" types in "containers" shows this 23:48:13 apparently not! 23:48:29 'IO a' can be though of as an action, where the 'a' is the result type of the action 23:48:37 right, typical augur, asks an inflammatory question, refuses to admit he might not know certain things properly, is accusatory and annoying, refuses to listen 23:48:39 conversation is now terminated. 23:48:51 it was not an inflammatory question, ehird 23:48:53 you're just 13. 23:49:10 your brain hasnt fully developed, its understandable why you wouldnt understand simple questions like this. 23:49:11 yes, that much is obvious; it is also your argument whenever you disagree with me. 23:49:32 Asztal: i see. 23:49:37 augur: the gall of someone using "argumentum ad YOU'RE THIRTEEN LOL" accusing someone else of having an underdeveloped brain is astonishing. 23:49:37 um, I thought ehird was 22? 23:49:40 please feel free to fuck off. 23:49:48 whats that ehird? 23:49:48 SimonRC: i don't recall saying that :D 23:49:55 i cant understand your 13 year old language. 23:50:04 oh dear. 23:50:11 Asztal: can you elaborate further? 23:50:25 because ehird isnt explaining anything with his "lolgolurnhaskell" 23:52:05 I'm busy, but you can read about them here, if you like: http://book.realworldhaskell.org/read/monads.html 23:52:16 there's no spaceship or warm fuzzy thing analogies, IIRC 23:52:58 Haskell does have a problem of sorts with this. 23:53:02 ive read that, man 23:53:27 i get what you can DO with monads, but i dont GET what they are 23:53:38 SimonRC: it does? i was unaware. i would attribute the problem more to a type of mind; I literally never thought "monads are hard" or "i don't know what a monad is". 23:53:39 *I 23:53:59 ehird: odd 23:54:17 SimonRC: at the time, oerjan accused me of learning them beforehand :) 23:54:33 ehird: precoscious fucker 23:54:37 *precosious 23:54:41 *precocius 23:54:43 thanks :) 23:54:43 *whatever 23:54:49 ehird: its not even that i dont "know what a monad is", i just dont see how monads are different from just special kinds of this or that that already exist 23:54:52 SimonRC: my retort: "amazing spelling fucker" 23:54:55 sorry, I tend to suffer from envy in such areas 23:55:30 SimonRC: it's ok, i've been dislodged; pikhq fully grokked monads, functors, applicatives and monoids on his fourth day of learning haskell 23:55:37 now that was a blow to my ego :D 23:55:41 fuck 23:55:50 is there any point to my continued existance? 23:55:53 \o/ 23:55:53 | 23:55:53 >\ 23:55:59 >'o'< 23:56:00 SimonRC: not really, let's make a suicide pact 23:56:07 magikarp! 23:56:11 i support this move 23:56:16 if simonrc isnt part of it 23:56:18 *splash* *splash* *splash* 23:56:38 once I smoked a monad on a dare 23:56:48 did you experience satori 23:57:28 I don't know, I blacked out for a few hours 23:59:21 whoa. this is an awesome owl. http://upload.wikimedia.org/wikipedia/commons/d/d2/Uhu-muc.jpg