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