←2012-03-28 2012-03-29 2012-03-30→ ↑2012 ↑all
00:13:41 <RocketJSquirrel> pikhq: Miiiiiiiiiiiiiiiiiiiiiicrocosm
00:22:58 <elliott> more like
00:22:58 <elliott> shit
00:23:00 <elliott> rocosm
00:23:54 <elliott> RocketJSquirrel: ha
00:24:22 <RocketJSquirrel> BURRRRRRRRRRRRRRRRRRRN
00:24:29 <RocketJSquirrel> Also I can't compile GCC 4.7 on Mac.
00:25:45 <elliott> RocketJSquirrel: More like ShitroCC
00:25:55 <RocketJSquirrel> Hard to argue with that logic.
00:27:38 <calamari> I had a stupid idea yesterday.. target bash with gcc
00:29:21 -!- calamari has quit (Quit: Leaving).
00:29:42 -!- calamari has joined.
00:29:56 <calamari> okay whatever key combo that was I need to disable
00:31:21 <elliott> RocketJSquirrel: More like shitrogic.
00:31:39 <calamari> that problem with my plan was I'd have to figure out how to handle libraries
00:31:47 <oerjan> |- shitrX
00:33:09 <calamari> also I wonder if bash imposes any arbitrary limits that would mess me up
00:33:10 <elliott> oerjan: shitroerjan
00:33:26 <elliott> @time
00:33:27 <lambdabot> Local time for elliott is Thu Mar 29 01:33:29
00:34:04 <elliott> @time oerjan
00:34:05 <lambdabot> Local time for oerjan is Thu Mar 29 02:33:41 2012
00:34:10 <elliott> whoa oerjan is in a yaer
00:34:11 <elliott> im not
00:35:01 <elliott> oerjan: what's it like in 2012
00:35:04 <elliott> do you know what the best uk isp is yet
00:35:08 <oerjan> elliott: boring
00:35:11 <monqy> @time
00:35:14 <lambdabot> Local time for monqy is Wed Mar 28 17:34:49 2012
00:35:23 <monqy> being in a year sure is swell
00:35:47 <oerjan> elliott: i hear it might pick up around december.
00:35:59 <elliott> does monqy know what the best uk isp is yet
00:36:06 <monqy> no
00:36:20 <oerjan> it turns out that ...dun dun dun... _no one_ knows
00:36:24 <monqy> it may very well be a mystery of life
00:37:20 <elliott> maybe the best uk isp is eternal oblivion
00:38:22 -!- Mathnerd314 has quit (Read error: Connection reset by peer).
00:39:40 <elliott> monqy: how is breathing accomplished
00:39:44 <elliott> s/ $/ /
00:40:34 -!- Mathnerd314 has joined.
00:40:42 <monqy> lungs help
00:40:46 <elliott> dont have those
00:40:49 <elliott> what are my options
00:40:51 <monqy> oops
00:41:14 <monqy> have you considered getting a robot to breathe for you
00:41:50 <elliott> can the robot be you
00:42:28 <monqy> no i have to breathe for myself
00:43:03 <oerjan> you can also try gills
00:44:07 <elliott> oerjan: how
00:45:09 <oerjan> well you attack them to your bloodstream, i think, and then you swim underwater
00:45:21 <oerjan> *attach
00:46:38 <elliott> ok
00:46:39 <elliott> whereas water
00:46:42 <elliott> *whersze
00:46:45 <elliott> *whence
00:46:47 <elliott> *wherefore
00:46:51 <elliott> *war
00:48:44 <elliott> oerjan: hi, i heard that obsession of the man is one of the most unknown and frightful phenomena, which stops evolutionary development of the man and brings its to full spiritual (and often to physical) death.
00:49:31 <oerjan> yes, that is correct.
00:50:15 <oerjan> except for the "unknown" part, we now have a successful parascientific theory to explain it.
00:50:21 <RocketJSquirrel> Holy fuck the Cygwin DLL is C++ X_X
00:50:31 <elliott> http://en.odkk.ru/aura/5b_en.gif
00:50:41 <elliott> i want a tshirt with that on
00:50:41 <elliott> @time
00:50:42 <lambdabot> Local time for elliott is Thu Mar 29 01:50:44
00:50:48 <elliott> yikse
00:51:24 <oerjan> a tshirt with a rotating picture would be something.
00:52:01 <elliott> ive always wanted innovation. In my life. obsession of the man is one of the most unknown and frightful phenomena, which stops evolutionary development of the man and brings its to full spiritual (and often to physical) death.
00:52:50 <elliott> a bit impossible to die, one thinks
00:53:43 <elliott> oerjan: what happened to jenga.
00:54:43 <oerjan> i don't know this jenga of which you speak.
00:55:16 <elliott> here is some informatione. http://en.wikipedia.org.uk.net.ua/wiki/Jenga http://en.odkk.ru/
00:55:27 <elliott> pleez believ.
00:55:42 <elliott> LIAR FOOLE
00:56:21 <oerjan> tha link no lod
00:56:59 <elliott> MOVE TO ARABIA AND DON THE COAT OF A NIGHT OR YOU WILL SUFFER AS ABRAHAM LINCOLN :) hes your friend
00:57:03 <elliott> hi monqy
00:57:39 <elliott> he was a cow and he started in films so ig uess you could say he was a "moo"vie star
00:58:08 <monqy> who was a cow
00:58:19 <monqy> hi
00:58:24 <elliott> i was
00:58:25 <elliott> the cow
00:58:26 <elliott> :(
00:58:30 <elliott> far too long a co
00:58:30 <elliott> w
00:59:28 <monqy> oh no
00:59:47 <elliott> @time
00:59:47 <lambdabot> Local time for elliott is Thu Mar 29 01:59:49
00:59:51 <elliott> the cow stop plan
01:01:48 <elliott> itsi mposible
01:02:30 <monqy> oh no
01:02:57 <monqy> does this mean the cows will go
01:03:01 <monqy> forever ???
01:06:00 <elliott> they will go
01:06:01 <elliott> for too long
01:06:41 <elliott> @time
01:06:42 <lambdabot> Local time for elliott is Thu Mar 29 02:06:44
01:06:53 <elliott> im going to do my monthly vulcan prayer, let me know if the dam breaks
01:06:58 -!- elliott has quit (Quit: what is the best UK ISP?).
01:25:33 -!- SimonRC has joined.
02:08:33 -!- MDude has joined.
02:16:41 <oerjan> > chr '\''
02:16:42 <lambdabot> Couldn't match expected type `GHC.Types.Int'
02:16:42 <lambdabot> against inferred type ...
02:16:49 <oerjan> > ord '\''
02:16:49 <lambdabot> 39
02:30:58 -!- zzo38 has joined.
02:35:39 <zzo38> Can Wikipedia add a sister project for original research?
02:38:51 -!- NihilistDandy has joined.
02:39:14 -!- NihilistDandy has quit (Client Quit).
02:45:42 <zzo38> I think [[Real Fast Nora's Hair Salon 3: Shear Disaster Download]] seems similar to [[Bruijndejx]] in some ways? Is it? (Except that Bruijndejx uses I/O actions instead of being like Lazy-K)
02:52:36 -!- NihilistDandy has joined.
02:57:12 -!- Mathnerd314 has quit (Ping timeout: 245 seconds).
03:27:03 -!- pikhq_ has joined.
03:27:19 -!- pikhq has quit (Ping timeout: 252 seconds).
03:55:25 -!- MDude has changed nick to MSleep.
03:59:29 -!- calamari has quit (Quit: Leaving).
04:00:15 -!- MSleep has quit (Ping timeout: 244 seconds).
04:15:19 -!- asiekierka has joined.
04:25:33 <zzo38> Let's writing thing on this channel please!!!!
04:48:08 -!- cheater has quit (Ping timeout: 246 seconds).
05:02:21 -!- cheater has joined.
05:02:30 <zzo38> Hello!!!!!!!!!!!!!!!!!
05:29:54 -!- NihilistDandy has quit (Ping timeout: 264 seconds).
05:41:55 -!- MoALTz__ has quit (Ping timeout: 244 seconds).
05:42:42 -!- MoALTz has joined.
05:51:50 -!- cheater has quit (Ping timeout: 246 seconds).
05:53:37 <shachaf> @seen pikhq_
05:53:37 <lambdabot> Unknown command, try @list
05:53:59 <oerjan> has @seen worked in years
05:54:10 <shachaf> Nope.
05:54:16 <shachaf> But preflex isn't in here.
05:59:21 <fizzie> fungot: seen pikhq_ around?
05:59:21 <fungot> fizzie: it's me, dude! i know enough to come to your house, dromiceiomimus, i was going outside! i don't have a very good imagination for that sort of like, a can of food long since unidentifiable... dromiceiomimus and a house and a car in my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen and on my kitchen
05:59:54 <fizzie> I think e might be on fungot's kitchen.
05:59:54 <fungot> fizzie: the " hey did i overhear that we're talking?
06:00:39 -!- cheater has joined.
06:01:30 <zzo38> How can stars darken the horizon?
06:06:11 <oerjan> by collapsing into black holes, hth
06:06:30 -!- cheater has quit (Ping timeout: 264 seconds).
06:06:44 <zzo38> OK
06:08:26 <zzo38> I made horizontal packaging work in Graphics.DVI now. And then I will make vertical packaging, and page breaks, and paragraphs.
06:18:37 -!- cheater has joined.
06:31:38 -!- pikhq_ has quit (Ping timeout: 244 seconds).
06:31:38 -!- pikhq has joined.
06:40:08 -!- cheater has quit (Ping timeout: 246 seconds).
06:41:40 -!- cheater has joined.
07:23:43 -!- ais523 has joined.
07:24:09 <ais523> I invented a new word recently
07:24:24 <ais523> because it's missing from English, and I've been needing to use it a lot
07:26:26 <olsner> let me guess, bird is the word?
07:26:33 <oerjan> splorg, clearly
07:28:14 <ais523> well, I've been writing it down as "provice"
07:28:19 <ais523> although really, syntax is so unimportant
07:29:11 * oerjan didn't think ais523 would be pro-vice
07:29:12 <ais523> and the meaning is to either have some abstract property (typically an ability), or to be capable of making something with that property
07:30:06 <ais523> it's a generalisation of "provide"
07:35:07 * oerjan is reminded of latin causative verbs, in which case he thinks it would be provise/provisate or so
07:36:38 <oerjan> hm is that the term...
07:38:44 <oerjan> oh hm i'm actually thinking of frequentative
07:45:58 <ais523> the Latin word "facere" has a reasonably similar meaning, it's closer than anything in English
07:51:05 <oerjan> hm or german machen, i think
07:51:38 <oerjan> (i recall that somewhat merges en:do/make / no:gjøre/lage)
08:01:57 <zzo38> There are words that English lacks, I know that.
08:03:06 <ais523> indeed
08:17:05 -!- Jafet1 has joined.
08:17:07 -!- oerjan has quit (Quit: leaving).
08:17:47 -!- Jafet has quit (Ping timeout: 246 seconds).
08:21:14 <ais523> meanwhile: I've traced the random hangs individual programs on this computer have been getting to Compiz, although I'm not sure what specifically it's doing wrong
08:21:24 -!- larsrh has left.
08:21:29 <ais523> also, Emacs perl-mode and cperl-mode both suck for editing Perl (for different reasons), and I'm trying Kate perl-mode at the moment
08:21:33 <ais523> which has issues of its own
08:21:47 <ais523> but (apart from not supporting 5.10 syntax) seem Kate-specific rather than mode-specific
08:52:10 <zzo38> The Chick tract "Bewitched" has a picture of a Ouija board with two letters missing, someone juggling drugs (including pills and syringes), a "Astrology Sales" bar chart with at least three things wrong (the title is covering up the data, there is no vertical axis label, and there is nothing saying what the astrological signs on the horizontal axis correspond to)... but every Chick tract has things wrong with it...
08:53:57 <zzo38> In another one, the sun, moon, earth, stars, are just thrown into space by God, and they are all the same size, and the illuminated part of the moon is the side opposite to the sun
08:59:01 <fizzie> The Chick tract "Dark Dungeons" had a footnote attached to the words "occult books", containing: "Including C.S.Lewis and Tolkien, both of which can be found in occult bookstores." The footnote was removed from later versions, including the one currently on the web.
09:02:33 <zzo38> fizzie: I have seen the mention of the version containing that footnote.
09:03:41 <fizzie> Bewitched is hilarious. They have a business meeting about how their world takeover is progressing, all about high-level stuff like One World Government and whatnot, and then out of the blue that one dude goes "I have a very serious trouble spot! I have a praying grandmother... who's fasting. It's out of control!"
09:04:09 <zzo38> I know.
09:04:16 <fizzie> I guess that's what they call attention to detail, but *still*. A single praying grandmother.
09:05:57 <zzo38> He says that dragons were eventually renamed to dinosaurs
09:06:40 <zzo38> There are also dissections where they make various comments on each page, although they don't always mention everything.
09:07:21 <fizzie> Dark Dungeons has had quite a few parody versions made, too.
09:07:52 <zzo38> I think I have seen some of the parody versions too
09:12:44 -!- asiekierka has quit (Remote host closed the connection).
09:12:57 -!- asiekierka has joined.
09:13:32 -!- NSQX has joined.
09:13:51 <NSQX> http://esolangs.org/wiki/UniCode has had no work for four years!
09:19:54 -!- NSQX has left.
09:33:58 <fizzie> I vaguely recall seeing also a fan page for Fang, the dog that quite often appears.
09:34:01 -!- asiekierka has quit (Quit: Wychodzi).
09:46:30 <zzo38> I have noticed that.
10:06:38 -!- cheater has quit (Ping timeout: 246 seconds).
10:08:21 <fizzie> Hrm, there are 1050577 files in my home directory. That sounds a bit much.
10:08:44 -!- cheater has joined.
10:08:48 <ais523> fizzie: wow
10:09:08 <fizzie> Uh, that is when counting all subdirectories, I mean.
10:09:12 <ais523> $ ls -a1 | wc -l
10:09:13 <ais523> 394
10:09:15 <ais523> oh right
10:09:27 <fizzie> A million files in one directory would be somewhat unmanageable.
10:09:33 <ais523> (that was in ~, but I missed the ~ in my copy)
10:10:22 <ais523> it'd take quite a long time to count that
10:10:27 <ais523> the whole thing, I mean
10:10:51 <ais523> I've done it before now to find out which files are using up too much disk space (gigabytes for stuff I don't care about), because I've been running low
10:11:03 <ais523> and sometimes I have large files I do care about but which I don't access often, so I store them on another partition
10:11:08 <fizzie> It's listed in the rdiff-backup-data/session_statistics.<timestamp>.data file on the backup.
10:11:40 <fizzie> (And "df -i" can tell it if there's a separate /home and no other users; and "quota -v" if quota tracking is enabled.)
10:46:44 -!- monqy has quit (Quit: hello).
10:49:42 -!- Patashu has quit (Ping timeout: 264 seconds).
10:50:35 -!- Patashu has joined.
11:30:19 -!- ais523 has quit (Read error: No route to host).
11:30:37 -!- ais523 has joined.
11:56:42 -!- MoALTz_ has joined.
11:59:36 -!- MoALTz has quit (Ping timeout: 244 seconds).
12:12:21 -!- Jafet has joined.
12:13:21 -!- Jafet1 has quit (Ping timeout: 245 seconds).
12:24:40 -!- tzxn3 has joined.
12:31:42 -!- sebbu has quit (Ping timeout: 260 seconds).
12:32:08 -!- elliott has joined.
12:41:11 -!- sebbu has joined.
13:09:31 -!- MDude has joined.
13:16:05 -!- Taneb has joined.
13:16:42 <Taneb> Hello!
13:23:40 <elliott> help
13:24:50 <Taneb> Why do you require help!?
13:25:17 <elliott> hmm
13:25:18 <elliott> good question
13:26:14 -!- nortti has joined.
13:29:05 <elliott> http://en.wikipedia.org/wiki/Template:G-d Is this really permissible?
13:29:15 <Taneb> Yes
13:30:13 <Taneb> (note: I can't look at it for just over a week)
13:30:41 <elliott> It's a template whose contents are "God", intended to be used as {{subst:g-d}} by people whose religious beliefs prohibit them from directly typing "God".
13:30:53 <ion> :-D
13:30:59 <ion> If i had a dog, i’d name him D-g.
13:30:59 <elliott> But I can't see how that's any different from, e.g. copy-pasting it in from elsewhere, which surely isn't permissible either.
13:31:30 <Taneb> elliott, are you a theologist?
13:31:33 <elliott> It's not like keyboards existed in Biblical times -- if the threshold for indirectness is that low, surely the fact that keyboards go through a bunch of electrical signals and translation on the way to the text box would make typing "God" permissible too?
13:31:42 <elliott> Taneb: No. Did you really have to ask?
13:31:47 <Taneb> Not really
13:32:19 <Taneb> Seeing as you're younger than me, and from a similar background, and are asking about theology in what is officially a programming channel
13:32:27 <fizzie> How about typing it, key-press-wise, as "d<right-arrow>o<right-arrow>G"?
13:32:33 <elliott> Taneb: It's a technology-ish question!
13:32:38 <elliott> Oh, hmm -- I think it might be intended for writing articles, rather than in conversation.
13:32:50 <elliott> I could see the rules being more lenient there, since you aren't talking to someone, or something.
13:33:43 <fizzie> For some reason the page is not opening to me. Perhaps G-d does not want to show emself to me.
13:34:38 <elliott> "G-d dammit", as they say.
13:34:52 <ion> Doesn’t open for me either.
13:34:54 <elliott> Hmm, the Wikipeds are slow for me too.
13:35:01 <elliott> I think they might be having: technical difficulties.
13:35:25 <elliott> Now it loads. But without CSS.
13:35:30 <elliott> (It = Wikipedia in general.)
13:36:32 -!- nortti has quit (Quit: Leaving).
13:41:36 <elliott> Taneb: Yor going to explode,
13:42:04 <Taneb> How eloquent.
13:46:32 <elliott> Taneb: Im not a fish. ok.
13:46:47 <Taneb> Understood
13:50:05 -!- asiekierka has joined.
13:51:22 -!- nortti has joined.
13:51:28 <ais523> hey, anyone: what's the file extension for a Makefile fragment?
13:52:15 <elliott> ais523: .mk or .make
13:52:24 <ais523> hmm, OK
13:52:33 <elliott> ais523: arguably, .make is better, otherwise mk(1) would have nothing to use
13:52:38 <elliott> but I think .mk is slightly more common
13:52:40 <ais523> I'm trying to work out an appropriate extension for something that serves the same purpose but isn't actually being run by make
13:52:44 <elliott> dunno though
13:52:55 <ais523> indeed
13:52:56 <elliott> oh, another PHP upgrade
13:52:59 <elliott> prepare for Esolang to break, everyone
13:53:08 <ais523> first result was apparently from gcc, which uses leading t- and x- for them
13:53:10 <ais523> which is silly
13:53:34 -!- augur has quit (Remote host closed the connection).
13:53:48 <elliott> ais523: you know the best thing about Esolang's server setup?
13:53:53 <elliott> whenever I start the PHP daemon, I get
13:53:54 <elliott> *** glibc detected *** /usr/sbin/php5-fpm: free(): invalid pointer: 0xb6c91778 ***
13:53:54 <elliott> ======= Backtrace: =========
13:53:55 <elliott> /lib/i386-linux-gnu/i686/cmov/libc.so.6(+0x6e221)[0xb6e6c221]
13:53:55 <elliott> /lib/i386-linux-gnu/i686/cmov/libc.so.6(+0x6fa88)[0xb6e6da88]
13:53:55 <elliott> /lib/i386-linux-gnu/i686/cmov/libc.so.6(cfree+0x6d)[0xb6e70b3d]
13:53:55 <elliott> /usr/sbin/php5-fpm(destroy_zend_class+0x228)[0x83192a8]
13:53:58 <elliott> and a big memory map
13:54:02 <elliott> but it somehow starts anyway
13:54:05 <elliott> and works fine
13:54:05 <ais523> haha
13:54:11 <ais523> it may be a launcher script crashing on exit
13:54:19 <ais523> double-frees have a tendency to happen then
13:54:25 <elliott> a launcher script written in C?
13:54:32 <ais523> elliott: this is /PHP/
13:54:36 <ais523> they write everything they can in C, you know
13:54:38 <elliott> oh, it even says that it failed
13:54:38 <ais523> for speed
13:54:44 <elliott> but the daemon gets started anyway
13:54:49 <elliott> so
13:54:49 <elliott> yeah
13:55:17 <ais523> actually, C isn't all that implausible, if it couldn't sensibly be written in PHP (due to chicken-and-egg problems)
13:55:34 <ais523> anyway, so far: aimake can figure out how to build makedefs when pointed at the NiceHack source
13:55:41 <ais523> with no configuration
13:55:49 <ais523> I'll need some config to tell it what to /do/ with it, though :)
13:56:34 <ais523> and it gives you nice output explaining why it couldn't build something, which is pretty interesting
13:56:36 <ais523> it's sort-of upside-down from most build systems
13:57:08 <ais523> I guess I'll use .aimk
13:57:20 <ais523> unlikely to be taken, and has the right sort of implications
13:59:02 <elliott> .lawrence
13:59:30 <ais523> no
13:59:42 <elliott> yes
14:01:52 <ais523> ooh, Perl actually has a standard-shipped-with-Perl module that, among other things, will tell you things like the extension that executables use on the current OS
14:02:44 <ais523> because /its/ build system needs to know, and it remembers from then
14:03:02 * ais523 will be disappointed if this build system doesn't eventually run on VMS
14:06:22 <elliott> ais523: it's cheating to depend on perl's build system
14:06:27 <elliott> what if perl switches to your system?
14:06:36 <elliott> hmm... it'll still work
14:06:37 <elliott> bootstrapping
14:06:39 <ais523> yes
14:06:43 <elliott> that's awful
14:06:48 <ais523> but my system requires Perl to run, and thus would be a bad idea for Perl's build system
14:06:48 <elliott> you won't be able to cross-compile, anyway
14:07:07 <ais523> I wasn't going to actually use them, probably
14:07:25 <ais523> I was planning to use the one that records the OS that Perl was built for, for use as the default OS if no other is specified
14:13:29 -!- hagb4rd has joined.
14:28:39 <elliott> someone added another example to [[fork bomb]] already
14:28:40 <elliott> jesus christ
14:28:44 <elliott> this is going to be a full-time job
14:29:39 -!- augur has joined.
14:31:12 <elliott> "I've put together what I believe are the final changes for this release, and I think I went with all of your recommended changes." YESSSSSSSS, MY POWER CONTINUES TO GROW STRONGER
14:37:55 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
14:51:11 -!- hagb4rd has quit (Ping timeout: 252 seconds).
14:51:48 -!- hagb4rd has joined.
14:58:46 -!- Phantom_Hoover has joined.
15:03:39 -!- azaq23 has quit (Quit: Leaving.).
15:04:11 <elliott> hi Phantom_Hoover
15:04:43 <Phantom_Hoover> hello
15:04:47 <Phantom_Hoover> No lambdabot?
15:04:51 <Phantom_Hoover> I am disappoint.
15:06:35 -!- Taneb has quit (Ping timeout: 246 seconds).
15:11:43 <elliott> what
15:11:44 <elliott> oh
15:24:33 -!- GhostHand has joined.
15:24:46 <GhostHand> i am coming,now
15:25:56 <elliott> hi
15:26:31 <GhostHand> hi
15:27:38 <GhostHand> nice to meet you
15:28:36 <GhostHand> elliott,what are you doing,now
15:29:00 <elliott> talking on irc
15:29:59 <GhostHand> what time is it now?
15:30:57 <elliott> @time
15:30:59 <lambdabot> Local time for elliott is Thu Mar 29 16:31:00
15:32:39 <oklopol> dude
15:32:52 <GhostHand> Local time for me is 23:32
15:32:58 <oklopol> dude
15:33:07 <GhostHand> :p
15:33:47 <GhostHand> Who likes iphone
15:34:41 <RocketJSquirrel> None.
15:34:54 <GhostHand> I bought a Iphone4s spent 5000 yuan
15:35:13 <oklopol> what's a yuan
15:35:20 <GhostHand> hehe
15:35:24 <oklopol> do you mean yawn
15:35:42 <GhostHand> China's money
15:35:49 <oklopol> are you chinese?
15:36:08 <GhostHand> 1 dollars =8 yuan
15:36:32 <GhostHand> May be this
15:36:56 <oklopol> do wait do i divide or multiply by 8
15:37:11 -!- elliott has quit (Quit: Leaving).
15:37:17 <oklopol> let's see i'm kind of new to this
15:37:41 <GhostHand> I don't speak English well you will forgive me
15:37:59 <oklopol> who does
15:38:02 <oklopol> it's a silly language
15:38:28 <GhostHand> I don't think
15:38:37 <oklopol> you should learn chinese instead, i hear we'll all be speaking chinese in a few years anyway.
15:38:39 <GhostHand> So many people in use
15:39:21 <GhostHand> I speak Chinese you understand
15:39:21 <GhostHand> ??
15:39:29 <oklopol> yes, it was a joke
15:39:30 <GhostHand> :P
15:40:08 <GhostHand> Can you understand Chinese?
15:40:14 <oklopol> no, some japanese.
15:40:24 <oklopol> my ex tried to learn some chinese
15:40:35 <oklopol> but she didn't really stick to it
15:40:59 <oklopol> i mostly use english and finnish
15:41:06 <GhostHand> In fact, Chinese and Japanese to write about
15:41:20 <oklopol> can you rephrase that?
15:41:45 <GhostHand> I speak Chinese?
15:41:56 <oklopol> and you can write japanese you mean?
15:42:09 <GhostHand> NO
15:42:15 <oklopol> :P
15:42:23 <oklopol> there was this chinese chick in our japanese class and she was just horrible at it.
15:42:28 <GhostHand> i can write chinese
15:42:41 <oklopol> yeah i just don't get "In fact, Chinese and Japanese to write about"
15:43:29 <GhostHand> Syntax error
15:43:32 <GhostHand> hehe
15:44:20 <oklopol> do you know any math by any chance?
15:44:44 <GhostHand> In the future I can speak fluent English.
15:44:52 <oklopol> i'm sure you can
15:44:54 <oklopol> how old are you?
15:45:53 <GhostHand> I learned the programming, but only a little
15:46:54 <oklopol> so no math?
15:46:58 <oklopol> that means mathematics
15:47:43 <GhostHand> I like the programming language is the 'assembly'
15:47:56 <RocketJSquirrel> Hardcore.
15:48:38 <GhostHand> C language is also very good
15:48:55 <RocketJSquirrel> Less hardcore, but acceptable.
15:48:55 <oklopol> i mean if i said i have Z^d acting by continuous automorphisms on a compact metrizable zero-dimensional abelian group which is c.p.e. and the action is expansive, would you be all like hey it's weakly algebraically conjugate to its adjoint
15:49:19 <GhostHand> I'm twenty-one years old
15:50:22 <nortti> GhostHand: What kind of computer do you have?
15:50:26 <oklopol> so about this math thing. do they teach mathematics in china?
15:50:28 <GhostHand> I had not studied
15:51:05 -!- MoALTz_ has quit (Ping timeout: 244 seconds).
15:51:06 <GhostHand> nortti:Ienovo
15:51:31 <GhostHand> nortti:Have you heard of it
15:51:34 -!- MoALTz_ has joined.
15:51:57 <nortti> nortti: Lenovo Thinkpad? What model? I have heard of Lenovo computers. They are very good quality.
15:52:51 <GhostHand> Chinese education is not good
15:53:29 <GhostHand> ThinkPad previously belonged to IBM
15:54:31 <GhostHand> Ienovo,the quality is really good
15:54:41 <oklopol> all i've heard about asian education in general is that stuff is usually learned by rote. then i went to the japanese class and our japanese teacher is like so here's these letter's let us write the alphabet 100 times so you learn them.
15:54:55 <GhostHand> I have syntax error?
15:54:58 <GhostHand> hehe
15:55:00 <oklopol> and i was like holy stereotype
15:55:24 <oklopol> the last few of your sentences make sense to me.
15:55:27 -!- hagb4rd has quit (Ping timeout: 252 seconds).
15:55:51 <oklopol> but i notice that you still haven't ELABORATED on the whole math thing.
15:56:12 <GhostHand> I hate Chinese education so I always in the effort, in their own way to learn
15:56:15 * RocketJSquirrel munches on popcorn.
15:56:31 <oklopol> okay that's less clear :)
15:56:39 <oklopol> oh
15:56:51 <oklopol> you mean you always in the effort, _your_ own way to learn?
15:57:06 <oklopol> no?
15:58:01 <oklopol> might be easier to understand how you form sentences if i knew anything about chinese.
15:58:21 <GhostHand> hehe
15:58:45 <GhostHand> I speak English well
15:59:01 <oklopol> compared to chinese people in general or what do you mean?
15:59:15 <GhostHand> I'm going to have a test in CCNA
15:59:32 <oklopol> i did a few of those
16:00:23 <GhostHand> Read book very late every day
16:00:50 <GhostHand> andl do some tests
16:00:54 <oklopol> yeah
16:00:58 <GhostHand> and do some tests
16:01:34 <oklopol> i didn't really learn anything from the first three courses or whatever they're called. anyway those CCNA things.
16:01:38 <GhostHand> Cisco Packet Tracer
16:02:14 <oklopol> Perpendicular Soup Continent
16:02:50 <oklopol> that's an english idiom that means i'm not sure why you just said three random words.
16:03:01 <GhostHand> I learned a lot of useless
16:03:15 <oklopol> i hope someone is reading this because my genius is going to waste.
16:03:17 <oklopol> yeah
16:03:34 <oklopol> that was my experience as well
16:04:02 <oklopol> well, except that i quickly unlearned everything. so really it was just a waste of time.
16:05:03 <GhostHand> I really want to go to the west to learn
16:06:15 <oklopol> if you come to finland, i can buy you a beer and tell you all about group shifts.
16:07:03 <GhostHand> Thank you very much
16:07:23 <GhostHand> Maybe I love wine
16:07:28 <oklopol> well really that's true for everyone in this channel :D
16:07:29 <GhostHand> hehe
16:08:11 <nortti> oklopol: Alcohol disgusts me
16:08:16 <oklopol> *on
16:08:23 <oklopol> nortti: that does not surprise me
16:08:26 <oklopol> where do you live?
16:08:43 <nortti> oklopol: Oulu, Finland
16:08:44 <GhostHand> I heard that Finland is good
16:08:46 <oklopol> oh right
16:08:51 <oklopol> i guess i asked already
16:08:53 <RocketJSquirrel> I too am in the non-alcohol group.
16:09:00 <RocketJSquirrel> But then, I'm a flying squirrel, and probably quite young.
16:09:11 <oklopol> i passed through oulu a few times this spring
16:10:10 <oklopol> i live in finland too in case you don't whois people 24/7.
16:10:41 <nortti> oklopol: I have noticed that
16:11:09 <oklopol> i don't hide it well.
16:11:19 <oklopol> too much work
16:11:26 <GhostHand> I hope I can speak fluent English.
16:11:29 <GhostHand> =.-
16:11:44 <GhostHand> Like you
16:11:47 <oklopol> do you watch tv shows in english
16:11:48 <oklopol> ?
16:12:25 <GhostHand> I love lady gaga
16:12:43 <oklopol> do that five hours a day for a couple of years and you should be set.
16:14:22 <GhostHand> i read a book now,bye~
16:14:25 <oklopol> bye.
16:14:26 <nortti> try reading English language wikipedia
16:14:43 <GhostHand> Nice to meet you
16:14:46 <oklopol> likewise
16:14:55 <oklopol> nortti: have you tried that as a learning method?
16:15:04 <nortti> yes
16:15:14 <oklopol> for a language you don't know at all i mean?
16:15:36 <nortti> no. For a language I don't know very well
16:15:37 <oklopol> i tried it for japanese and alskdjflasdjflkasdjf
16:15:44 <oklopol> oh.
16:16:10 <oklopol> which language?
16:16:53 <nortti> English on 4th grade and swedish
16:17:12 <oklopol> i guess japanese is a bit different anyway since most of the asldjfkdfjkadjflkadjf comes from the alphabet.
16:17:39 <RocketJSquirrel> Is "asldjfkdfjkadjflkadjf" supposed to mean something >_O
16:17:43 <oklopol> yes
16:17:49 <nortti> no
16:17:51 <oklopol> it means frustration
16:19:23 <GhostHand> 大家好
16:19:53 <oklopol> now _that's_ just nonsense.
16:20:03 <RocketJSquirrel> X-D
16:20:27 <oklopol> are those chinese characters? i never quite learned how to get stuff to show on irc.
16:20:31 <GhostHand> my My Chinese name is "顾陆汀"
16:20:40 <GhostHand> My Chinese name is "顾陆汀"
16:20:49 <GhostHand> hehe
16:21:21 <GhostHand> i know you can't read
16:21:34 -!- oklofok has joined.
16:21:40 <oklofok> wanna try again?
16:22:10 -!- GhostHand has quit (Quit: Leaving).
16:22:28 <oklofok> good answer
16:23:08 <oklofok> i suppose he doesn't read logs so i can't brag about my kanji skillz :(
16:25:45 <RocketJSquirrel> Fail.
16:25:56 <RocketJSquirrel> Besides, you'd say something that had the right symbols but was grammatically Japanese.
16:25:58 <RocketJSquirrel> And he'd laugh at you.
16:28:04 <oklofok> wow you're right, maybe knowing a few japanese kanji _doesn't_ mean i'm fluent in chinese.
16:28:21 <oklofok> thanks, i almost made an ASS out of myself
16:28:33 * RocketJSquirrel nods sagely.
16:28:50 <RocketJSquirrel> Take it from a True American Monoglot: Knowing foreign languages is trouble.
16:30:29 <oklofok> ignorance is bliss
16:30:47 <oklofok> and being a fucking retard is pure extacy
16:31:25 <RocketJSquirrel> It's true!
16:31:53 <oklofok> yep
16:32:04 -!- elliott has joined.
16:32:09 <elliott> HELLO EVERYBODY
16:32:16 <oklofok> hi elliott
16:32:23 <oklofok> are you friends with GhostHand?
16:32:35 <oklofok> he's the newest troublemaker her
16:32:36 <oklofok> e
16:32:37 <fizzie> Best friends.
16:32:56 <oklofok> dude is learning english even though english is a stupid language
16:33:27 <fizzie> Elliott keeps reverting eir edits, wasn't that the cornerstone of their relationship?
16:33:53 -!- saberx has joined.
16:34:05 <MDude> There aren't enough people to practice ithkuil with I guess.
16:34:10 <saberx> Hello
16:34:21 <MDude> Hi
16:36:15 <MDude> Are you an x-treme saber?
16:36:44 <elliott> fizzie: Huh?
16:36:45 <saberx> Kind of. :)
16:36:47 <elliott> `welcome saberx
16:36:55 <HackEgo> saberx: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page
16:37:01 <oklofok> ithkuil is, and has continuously been, from a certain point in time which i will leave unspecified, stated as my opinion of which i do not consider particularly reliable as an information source, the best language.
16:37:15 <oklofok> *-of
16:37:36 <fizzie> `@ oklofok quote enthusi
16:37:39 <HackEgo> oklofok: 830) <NSQX> Anyone in the Esolang community will probably just remember this day, a week before April Fools Day, as a very enthusiastic day at Esolang.
16:37:56 <elliott> fizzie: GhostHand is not NSQX.
16:37:59 <fizzie> Oh right, yes.
16:38:04 <fizzie> I got a confuse.
16:38:19 <elliott> But I'm friends with GhostHand too!
16:38:22 <fizzie> But you were best friends, anyway, that much was true.
16:38:56 <fizzie> Yes. And then you had that girlfriend from earlier, anything going on there?
16:39:02 <oklofok> excuse me
16:39:12 <elliott> I CAN'T CONTROL MY PIMPING
16:39:13 <MDude> oklofok: It does have glyphs that look like something The Predator would use.
16:39:16 <oklofok> everyone shut about everything else and let's discuss this forever
16:39:20 <saberx> Hackego: are you bot?
16:39:26 <oklofok> who's this girlfriend and are you sexually active_
16:39:27 <oklofok> ?
16:39:36 <elliott> oklofok: someone came in #esoteric and...
16:39:40 <elliott> you know what, fizzie just dig up the logs
16:39:43 <oklofok> and??
16:39:54 <fizzie> I would but I have to food right now.
16:40:00 <oklofok> ...
16:40:01 <elliott> OH THANKS
16:40:07 <fizzie> I don't reall the name, either.
16:40:10 <elliott> saberx: HackEgo is actually just a really fast typer.
16:40:11 <oklofok> this is WAY more important than staying alive
16:43:16 <nortti> he can also execute unix commands in his mind
16:43:35 <nortti> `run uname -a
16:43:38 <HackEgo> Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux
16:44:55 <RocketJSquirrel> `echo I'm not a bot, but I'm also not THAT fast of a typist.
16:44:57 <HackEgo> I'm not a bot, but I'm also not THAT fast of a typist.
16:45:45 <saberx> Parrot bot!
16:46:25 <elliott> `run rm -rf /
16:46:28 <HackEgo> rm: it is dangerous to operate recursively on `/' \ rm: use --no-preserve-root to override this failsafe
16:46:32 <elliott> See, that took whole seconds to type.
16:47:36 <saberx> This channel needs a good ai bot!
16:47:44 <elliott> fungot: Say hi to saberx.
16:47:44 <fungot> elliott: a lot, but they're always a good time, because he thought you were going to me, the omniscient. the dude has to sleep! superman could laser him from orbit while he's having nappy times! enter only if you have a valid passport to dreamland!"
16:48:42 <saberx> Fungot:how are you
16:48:50 <fizzie> Lowercase f.
16:49:06 -!- augur has quit (Ping timeout: 260 seconds).
16:49:24 <fizzie> oklofok: http://codu.org/logs/log/_esoteric/2012-01-04#220222
16:50:44 <Phantom_Hoover> sfa
16:51:49 <elliott> 22:09:05: <lax> who is mooz
16:51:49 <elliott> 22:09:20: <Ngevd> lax :Just this one guy, you know?
16:51:49 <elliott> 22:09:34: <lax> im want to talk to eliott
16:51:49 <elliott> 22:09:36: <lax> not u
16:51:49 <elliott> 22:09:43: <Ngevd> :(
16:51:51 <elliott> this was the bestest bit
16:56:39 -!- augur has joined.
17:16:16 -!- ais523 has quit (Remote host closed the connection).
17:19:58 <oklofok> noodles and minced meat, holy fuck this is good
17:30:05 -!- Sgeo_ has quit (Ping timeout: 246 seconds).
17:31:13 -!- asiekierka has quit (Ping timeout: 250 seconds).
17:31:31 -!- Sgeo_ has joined.
17:47:59 -!- augur has quit (Remote host closed the connection).
18:01:46 -!- augur has joined.
18:02:30 -!- augur has quit (Remote host closed the connection).
18:03:56 <mroman_> People are cats .
18:05:05 -!- augur has joined.
18:05:26 <elliott> mroman_: Indeed.
18:05:29 <elliott> Indeed they are.
18:06:58 <Sgeo_> "You are using:
18:06:58 <Sgeo_> Sorry, we couldn’t recognize your browser. The What Browser team has been notified."
18:07:01 <Sgeo_> What.
18:07:12 <Sgeo_> It's just Firefox on Lubuntu in Private Browsing mode
18:08:35 <Sgeo_> Should totally try obscure browsers on that site
18:08:43 <Sgeo_> Or just fake stuff.
18:08:59 <Sgeo_> The "Hello There What Browser team! How are you?" web browser
18:09:03 <mroman_> Omg. They have been notified!
18:09:43 <elliott> Sgeo_: I will bet extremely small amounts of money that Private Browsing mode spoofs the User-Agent.
18:09:53 -!- augur has quit (Remote host closed the connection).
18:11:50 <Sgeo_> Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:11.0) Gecko/20100101 Firefox/11.0
18:12:19 <fizzie> "You are using: Unknown Browser. IFrame. Learn what a web browser is by watching this 1-minute video."
18:12:55 <fizzie> (ELinks/0.12~pre5-2ubuntu2 (textmode; Ubuntu; Linux 2.6.38-13-generic x86_64; 273x88-2).)
18:13:17 -!- saberx has changed nick to dragonchina.
18:13:24 <olsner> heh.. if you're using an unknown browser, you're *probably* not using the default browser
18:13:28 <Sgeo_> Does ELinks support Javascript
18:13:40 <fizzie> It supports Javascript to some degree, IIRC.
18:13:51 <fizzie> I don't really recall the details.
18:14:05 <Sgeo_> http://www.whatbrowser.org/en/browser.js
18:14:37 <Sgeo_> IE9 apparently counts as a variation of IE8 in WhatBrowser's eyes
18:14:49 <Sgeo_> Ah, only Firefox up to 9 is supported
18:14:51 -!- Taneb has joined.
18:14:53 <fizzie> It's possible that it's not enabled in this build, but it does have some sort of a spidermonkey binding thing.
18:14:59 -!- dragonchina has changed nick to saberx.
18:15:19 <Taneb> Hello!
18:15:38 <fizzie> Are they doing it all by scripting and not by the sent user-agent headers at all?
18:15:45 <elliott> saberx: You're like a dragon in a China shop.
18:15:49 <Sgeo_> fizzie, yes
18:15:54 <fizzie> Huh.
18:16:03 <Sgeo_> But for all we know they have equiv. code on the server side that checks for unknowns
18:16:27 <Sgeo_> (Nothing in the Javascript suggests that stuff will be sent to the server in the event of unknown)
18:18:29 -!- tzxn3 has quit (Read error: Connection reset by peer).
18:18:42 <fizzie> At least the page they send back doesn't really seem to vary with the UA. But I guess they could be silently tracking those.
18:18:47 <elliott> Sgeo_: They probably just check their logs.
18:18:56 <elliott> Web servers, you know.
18:22:00 -!- tzxn3 has joined.
18:25:34 <Taneb> In Kipple, is there any difference between a>b and b<a ?
18:26:07 <elliott> i don't think so
18:26:10 <elliott> but i forget what i know of kipple
18:26:24 <Taneb> This is really the first time I've looked at it
18:29:38 -!- augur has joined.
18:38:06 -!- augur has quit (Remote host closed the connection).
18:39:35 -!- saberx has quit (Quit: Bye).
18:41:57 <elliott> RocketJSquirrel: http://www.chrisseaton.com/katahdin/
18:41:59 <elliott> RocketJSquirrel: SUE HIM
18:42:49 <elliott> (OK, I admit the part where the guy calls a Fortran procedure that returns through one of its arguments in the Python block is cool.)
18:44:17 <olsner> fortran and python, together at last?
18:49:19 <elliott> olsner: Apparently.
18:52:14 <RocketJSquirrel> elliott: By no stretch of the imagination did I invent the concept of programming languages whose syntax and semantics are mutable.
18:53:03 <elliott> RocketJSquirrel: False. There is a stretch of the imagination in which that applies.
18:53:05 <elliott> It is the stretch of comedy.
18:53:14 * RocketJSquirrel nods sagely.
18:53:16 <elliott> This happens to be the one I was using.
18:54:22 -!- nortti has left ("syön").
18:55:52 <RocketJSquirrel> elliott: Also, Microcosm works well enough on Cygwin that I can ask amusing licensing questions to piss everyone off.
19:02:21 <olsner> there's a stretch for everything
19:02:29 <olsner> and one for anything
19:05:56 <RocketJSquirrel> Bow ... chicka ... bow wow?
19:09:21 -!- elliott has changed nick to eliet.
19:09:44 -!- eliet has changed nick to eillott.
19:19:39 -!- asiekierka has joined.
19:21:40 <eillott> OOPS. EXPLODING TONGUE. ERROR SYNDROME
19:22:17 <shachaf> eillott: Are you still using that Gmail alternative that you found?
19:23:30 <Sgeo_> ...gmail alternative. As though gmail was the inventor of email or webmail or something
19:24:59 <eillott> No.
19:25:03 <shachaf> Sgeo_: By "alternative" I meant "clone".
19:26:59 -!- boily has joined.
19:34:43 -!- MoALTz_ has quit (Ping timeout: 252 seconds).
19:38:38 -!- asiekierka has quit (Remote host closed the connection).
19:43:00 -!- nortti has joined.
19:44:39 -!- augur has joined.
19:45:30 -!- eillott has changed nick to elliott.
19:47:09 <nortti> It seems like TenFourFox doesn't like big caches. It started to get slower and slower, but after I deleted my 2GB cache folder and limited it's size to 100MB it has been relatively fast
20:02:01 -!- nortti has quit (Quit: nortti).
20:03:16 <zzo38> Is there a Haskell program which will make up a copy of a nested data structure but with annotation nodes? And then, return can make an annotation node, fmap affects the values at annotation nodes, and join replaces each annotation node with its contents.
20:04:04 <elliott> Isn't that just the free monad?
20:04:05 <elliott> Maybe not.
20:04:26 <zzo38> Which makes Maybe to be simply the annotated ()
20:05:12 <elliott> Well, say a recursive data type T is Fix F for a functor F (holds for all algebraic data types).
20:05:13 <zzo38> (So you can see it isn't just the free monad; the kinds don't even match.)
20:05:18 <elliott> Then I believe that Free F is what you want.
20:06:18 <elliott> () is Fix Unit. Free Unit a is Pure a | Free (Unit (Free Pure a)).
20:06:24 <elliott> Unit a = () for all a, so
20:06:30 <elliott> Free Unit a is Pure a | Free ()
20:06:31 <elliott> which is Maybe a.
20:06:50 <zzo38> OK.
20:06:54 <elliott> So yes, you're just swapping out Fix for Free, which makes sense, because Free is Fix with an extra type parameter and a constructor taking it.
20:10:41 <zzo38> But there are also nested structures that refer to themself without taking a type parameter. Would you use Template Haskell then?
20:11:20 <elliott> zzo38: Well, the point is that we know every algebraic type T is Fix F for a functor F, but that doesn't necessarily mean Haskell will give you that F.
20:11:32 <elliott> http://hackage.haskell.org/packages/archive/functor-combo/0.1.0/doc/html/FunctorCombo-Regular.html defines a typeclass to let you define the isomorphism.
20:11:47 <elliott> zzo38: You could probably do it with the new generics, no need to resort to TH.
20:12:04 <zzo38> elliott: I know, but if you have access to the datatype definition then you could make it up without the F possibly
20:13:43 <zzo38> (I have also seen your Unit type by other names, such as "phantom monad" and Proxy. Without knowing the names I found this monad on a different category; specifically, a category made from a digraph, having a final object (all nodes lead to one, with no loops).)
20:15:33 <elliott> I picked Unit since it's what functor-combo calls it (it's just defined as Const ()).
20:15:36 <zzo38> And then I also found the corresponding "cophantom comonad", first in the category from digraph, with an initial object; but then in Haskell, too: data CoPh x; instance Functor CoPh where { fmap _ _ = undefined; }; instance Extend CoPh where { duplicate _ = undefined; }; instance Comonad CoPh where { extract _ = undefined; };
20:16:43 <zzo38> (Some people have said that CoPh is a monad as well, but I don't believe them.)
20:16:59 -!- Phantom_Hoover has changed nick to CoPhantom_Hoover.
20:17:13 <CoPhantom_Hoover> Wait, that's wrong.
20:17:22 -!- CoPhantom_Hoover has changed nick to CoHoover_Phantom.
20:18:30 <zzo38> Why doesn't Haddock link to the instance definition?
20:18:43 -!- augur has quit (Remote host closed the connection).
20:19:00 <elliott> because it's always with either the class or the data type if it's in that list?
20:19:09 <elliott> i don't think it lists orphans
20:22:23 <zzo38> What do you think? Do you think CoPh is a monad as well, or only a comonad, or neither?
20:25:27 <elliott> It is obviously not a monad or a comonad.
20:26:50 <zzo38> So now, I have noticed one person say it is both a monad and a comonad, one person (myself) say it is a comonad but is not a monad, and one person (you) say it is neither a monad nor a comonad.
20:27:23 <zzo38> Why is that?
20:27:39 <elliott> Because you and the other person are wrong and I'm not.
20:28:02 <zzo38> elliott: Then give a better reason, please.
20:28:04 <elliott> Note that if your Comonad instance is OK, then I have a Monad instance that's OK too.
20:28:08 -!- boily has quit (Quit: WeeChat 0.3.7).
20:29:08 -!- derdon has joined.
20:29:40 <zzo38> (It really should be extract x = case x of { }; and so on, but Haskell does not accept that.)
20:31:32 <zzo38> elliott: Is it like this? return _ = undefined; No, that is wrong, isn't it?
20:37:17 <elliott> Oh, wait, it is a comonad.
20:37:27 <elliott> extract = absurd.
20:37:41 <elliott> Your original implementation is still wrong, though. Even if the implementation of absurd is const undefined.
20:39:01 <zzo38> OK then explain how that definition is being wrong?
20:42:01 <elliott> Anything with _|_ in it is wrong!
20:42:06 <zzo38> It looks correct to me since the output is defined for every input.
20:44:31 <zzo38> (It is just that in this case, there are no defined inputs possible, which makes the above vacuously true.)
20:48:46 <zzo38> Therefore it doesn't have _|_ (or anything else) in it.
21:11:49 * Sgeo_ learns of http://www.fossil-scm.org/
21:24:37 -!- Taneb has quit (Ping timeout: 245 seconds).
21:47:02 -!- pikhq has quit (Ping timeout: 240 seconds).
21:47:13 -!- pikhq has joined.
22:02:02 -!- pikhq_ has joined.
22:02:26 -!- pikhq has quit (Ping timeout: 272 seconds).
22:03:29 -!- Jafet has quit (Quit: Leaving.).
22:09:51 <elliott> "Now IO isn't that different at all. It's a container for a single value, but it's a "dangerous" impure value like a virus, that we must not touch directly."
22:09:52 <elliott> NO!
22:09:56 <elliott> LIAR!
22:09:57 <elliott> FRAUD!
22:09:59 <elliott> SCOUNDREL!
22:17:28 -!- calamari has joined.
22:18:21 <zzo38> I have played D&D game it is told that these people were in this room, playing poker on the table, when we arrived, they got weapons to try to attack us. Now one is dead and the other is unconscious (but I bind their wounds). However, one question is not answered: At what point of the poker game is played? Such as, if it is draw poker, there will be before discarding, and after discarding, and so on. To decide what to do next, the referee shoul
22:21:27 -!- oklopol has quit (Read error: Connection reset by peer).
22:21:42 -!- oklopol has joined.
22:22:02 -!- Patashu has joined.
22:29:42 -!- monqy has joined.
22:29:56 -!- derdon has quit (Remote host closed the connection).
22:30:23 * CoHoover_Phantom -> sleep
22:30:38 <CoHoover_Phantom> Or I suppose cosleep -> Phantom_Hoover
22:30:39 -!- CoHoover_Phantom has left ("Leaving").
22:32:04 -!- pikhq has joined.
22:32:12 -!- pikhq_ has quit (Ping timeout: 252 seconds).
22:34:43 -!- MDude has quit (Ping timeout: 244 seconds).
22:41:48 -!- pikhq_ has joined.
22:41:58 -!- pikhq has quit (Ping timeout: 252 seconds).
23:03:20 -!- Jafet has joined.
23:03:23 -!- Jafet has quit (Changing host).
23:03:24 -!- Jafet has joined.
23:05:08 <elliott> * DanBurton (~dan@lallab.cs.byu.edu) has joined #haskell
23:05:10 <elliott> <DanBurton> Hello, #haskell. I have come to spam you all with a shamless self-plug. In a minute.
23:05:12 <elliott> joy
23:05:13 <elliott> upon
23:05:15 <elliott> innumerable
23:05:16 <elliott> joy
23:16:54 <elliott> http://stackoverflow.com/questions/9811808/finding-and-replacing-words-with-asterisks-in-a-text-file-output
23:16:54 <elliott> http://stackoverflow.com/questions/9934402/finding-and-replacing-words-with-asterisk-in-a-text-file-output
23:16:56 <elliott> spot the difference
23:17:05 <elliott> *differences, i'm sure there's probably 2
23:17:32 <zzo38> The number and the plural
23:18:43 <elliott> That's true! I meant the differences between the resources identified and located by those URIs.
23:18:57 <zzo38> O, OK.
23:22:41 -!- tzxn3 has quit (Read error: Connection reset by peer).
23:25:06 -!- Frooxius has quit (Read error: Connection reset by peer).
23:26:21 -!- Frooxius has joined.
23:33:35 <RocketJSquirrel> Attention #esoteric , here are words said to me in /notice to avoid being logged:
23:33:35 <RocketJSquirrel> -elliott- You should totally add the #esoteric logs to robots.txt so someone from #haskell doesn't Google their IRC nick and find me whining about them
23:34:30 <elliott> True!
23:34:32 <elliott> However, RocketJSquirrel LIED.
23:34:36 <elliott> Because he omitted the ":P" I said after it.
23:34:46 <RocketJSquirrel> I had a MORAL DILEMMA over that.
23:34:55 <RocketJSquirrel> I sat there with a space and I was like "OH GOD WHY"
23:36:34 <elliott> Disappointed that RocketJSquirrel is not revealing all the other secrets I am now telling him.
23:37:15 <RocketJSquirrel> -elliott- I SHOT A BALL THROUGH THE HOOP
23:37:30 <zzo38> elliott: If you want them revealed, then you to please do so. They did not reveal all of them because it is secret. But some thing should be attention to everyone is why it is revealed, isn' it?
23:37:40 <elliott> zzo38: Quite.
23:43:25 -!- azaq23 has joined.
23:43:37 -!- azaq23 has quit (Max SendQ exceeded).
23:44:09 -!- azaq23 has joined.
23:49:11 <shachaf> elliott: All RocketJSquirrel claimed was that those were words said to you in /notice.
23:49:33 <shachaf> He didn't even claim that you said them (assuming that you take "-elliott-" to be a word).
←2012-03-28 2012-03-29 2012-03-30→ ↑2012 ↑all