00:04:28 <ehird`> "For some reason most people seem to be born without the part of the brain that understands pointers."
00:05:25 <Slereah> In a few million years, when evolutive pressure kills those people, a new era of programming will dawn.
00:07:03 <bsmntbombdood> i don't understand how people don't understand pointers
00:07:42 <pikhq> Sure, it's hard. . . At first. . .
00:07:55 <pikhq> Just do a bit of programming in C, and you figure it out rather quickly.
00:10:13 <ehird`> of co urse everyone here understands pointers and fiunds it impossible to believe that maybe others don't
00:10:31 <ehird`> but it's true -- there really are people who can do everything but pointers, they just don't get them at all and never will
00:24:25 -!- puzzlet_ has joined.
00:30:22 -!- puzzlet__ has joined.
00:36:24 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
00:44:36 -!- puzzlet_ has quit (Connection timed out).
00:47:13 <ihope> I understand pointers AND monads! Muahaha...
00:47:24 -!- ehird` has quit.
00:47:28 <Slereah> Monads, a 0 dimensional object?
00:47:39 <ihope> Monads, the category theory thingy.
00:47:52 <Slereah> I don't know any category theory
00:47:57 <ihope> Since monads are from category theory and I understand monads, I really should study category theory, eh?
00:48:29 <Slereah> Well, I understand the Holocaust, that doesn't mean I should do it!
00:50:01 <ihope> Also, I'm suddenly grinning: http://en.wikibooks.org/wiki/Arimaa/Overview
00:50:19 <ihope> "Arimaa is a two-player board game invented by Omar Syed, a computer engineer trained in artificial intelligence. Syed was inspired by Garry Kasparov's defeat at the hands of the chess computer Deep Blue to design a new game which would be difficult for computers to play well, but would have rules simple enough for his four-year-old son Aamir to understand"
00:52:20 -!- sebbu has quit ("@+").
00:52:30 -!- puzzlet__ has quit (Remote closed the connection).
00:58:25 <ihope> It seems to me that the shorter something is made, the easier it is for me to understand it. Maybe that's just because long things bore me.
01:00:44 -!- puzzlet has joined.
01:00:51 <ihope> I'd love a description of category theory such as this: "An A is a set of Bs and Cs following certain axioms. A C has a D and an E, which are both Bs. The axioms: if you have two Cs x and y such that x's E is y's D, then there is a C z such that z's D is x's D and z's E is y's E; and for every B x, there is a C whose D and E are both x."
01:05:46 <ihope> There, a few quick questions and a bit of prior knowledge and now I know category theory.
01:07:21 -!- RodgerTheGreat has joined.
01:07:27 <bsmntbombdood> are there any pathfinding algorithms like A* that take a heuristic that always over-estimates?
01:08:14 <faxathisia> bsmntbombdood: I think that A* should work if the heuristic always overestimates by like a constant scale factor
01:09:04 <bsmntbombdood> sure, because you can just divide by the factor...
02:06:01 -!- calamari has joined.
03:29:52 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
03:35:10 -!- immibis has joined.
04:08:54 -!- immibis has quit (Read error: 110 (Connection timed out)).
04:34:58 -!- calamari has quit ("Leaving").
04:40:35 -!- oerjan has joined.
04:57:19 <oerjan> ihope: you could certainly define a _category_ like that, problem is that category theory theory consists of a _lot_ of definitions on top of that. however at least at the beginning most of them are similarly simple.
04:57:52 <pikhq> ihope, you are now being pwned by the Mathematician.
04:58:53 <oerjan> now now, when i say "at least at the beginning" that more or less means "as far as i go to". the parts of category theory other fields tend to use rarely go beyond the basics.
04:59:51 <oerjan> the Mathematician should have been a Tarot card, although i like the Magician too...
05:00:12 <pikhq> I can do the Magician.
05:00:17 * pikhq plays Magic: The Gathering. ;)
05:00:20 <oerjan> "Tarot just got a _lot_ more sinister..."
05:00:51 * pikhq plays Shatterstorm. All artifact cards are destroyed. I consider tarot cards artifacts. :p
05:01:30 <oerjan> _ancient_ artifacts, mind you.
05:01:46 <pikhq> Shatterstorm doesn't care about the age. :)
05:01:53 <oerjan> or at least late middle age or so
05:10:49 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
05:56:41 -!- oerjan has quit ("Coffee").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:17:05 -!- pikhq has quit (Read error: 110 (Connection timed out)).
08:33:58 -!- SEO_DUDE has joined.
08:38:06 -!- ololobot has quit (kubrick.freenode.net irc.freenode.net).
08:38:07 -!- dbc has quit (kubrick.freenode.net irc.freenode.net).
08:38:07 -!- SimonRC has quit (kubrick.freenode.net irc.freenode.net).
08:38:07 -!- Overand has quit (kubrick.freenode.net irc.freenode.net).
08:38:07 -!- GregorR has quit (kubrick.freenode.net irc.freenode.net).
08:38:07 -!- oklopol has quit (kubrick.freenode.net irc.freenode.net).
08:38:07 -!- bsmntbombdood has quit (kubrick.freenode.net irc.freenode.net).
08:38:08 -!- puzzlet has quit (kubrick.freenode.net irc.freenode.net).
08:38:08 -!- Slereah has quit (kubrick.freenode.net irc.freenode.net).
08:38:12 -!- sekhmet has quit (kubrick.freenode.net irc.freenode.net).
08:38:12 -!- cmeme has quit (kubrick.freenode.net irc.freenode.net).
08:38:12 -!- Possum has quit (kubrick.freenode.net irc.freenode.net).
08:38:13 -!- lifthrasiir has quit (kubrick.freenode.net irc.freenode.net).
08:38:13 -!- AnMaster has quit (kubrick.freenode.net irc.freenode.net).
08:38:13 -!- fizzie has quit (kubrick.freenode.net irc.freenode.net).
08:38:13 -!- helios24_ has quit (kubrick.freenode.net irc.freenode.net).
08:38:14 -!- ihope has quit (kubrick.freenode.net irc.freenode.net).
08:38:14 -!- faxathisia has quit (kubrick.freenode.net irc.freenode.net).
08:38:14 -!- cherez has quit (kubrick.freenode.net irc.freenode.net).
08:38:14 -!- johnk_ has quit (kubrick.freenode.net irc.freenode.net).
08:38:14 -!- SEO_DUDE has quit (kubrick.freenode.net irc.freenode.net).
08:38:14 -!- mtve has quit (kubrick.freenode.net irc.freenode.net).
08:44:11 -!- SEO_DUDE has joined.
08:44:11 -!- puzzlet has joined.
08:44:11 -!- Slereah has joined.
08:44:11 -!- faxathisia has joined.
08:44:11 -!- ololobot has joined.
08:44:11 -!- GregorR has joined.
08:44:11 -!- SimonRC has joined.
08:44:11 -!- Overand has joined.
08:44:11 -!- dbc has joined.
08:44:11 -!- oklopol has joined.
08:44:11 -!- bsmntbombdood has joined.
08:44:11 -!- sekhmet has joined.
08:44:11 -!- cmeme has joined.
08:44:11 -!- Possum has joined.
08:44:11 -!- cherez has joined.
08:44:11 -!- AnMaster has joined.
08:44:11 -!- ihope has joined.
08:44:11 -!- lifthrasiir has joined.
08:44:11 -!- helios24_ has joined.
08:44:11 -!- johnk_ has joined.
08:44:11 -!- fizzie has joined.
08:44:11 -!- mtve has joined.
09:00:29 -!- faxathisia has quit.
09:02:43 -!- encoded|lap has joined.
09:04:12 <EgoBot> help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon
09:04:14 <EgoBot> 1l 2l adjust axo bch bf{8,[16],32,64} funge93 fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain qbf rail rhotor sadol sceql trigger udage01 unlambda whirl
09:07:29 -!- encoded|lap has left (?).
09:51:43 -!- Tritonio_ has joined.
10:04:50 -!- jix has joined.
10:06:27 -!- jix has quit (Nick collision from services.).
10:06:35 -!- jix has joined.
10:10:43 -!- Tritonio_ has quit (Remote closed the connection).
10:36:50 -!- sebbu has joined.
12:07:09 -!- ais523 has joined.
12:07:50 -!- mtve has quit ("Terminated with extreme prejudice - dircproxy 1.0.5").
12:08:24 -!- mtve has joined.
12:54:55 -!- pikhq has joined.
13:22:45 -!- jix has quit (Read error: 104 (Connection reset by peer)).
13:31:29 -!- jix has joined.
13:36:39 -!- oerjan has joined.
13:51:52 -!- ais523 has quit.
14:39:04 -!- SEO_DUDE has quit (Excess Flood).
15:29:45 -!- clayrat has quit (Read error: 113 (No route to host)).
15:36:05 -!- puzzlet has quit (Remote closed the connection).
15:36:09 -!- puzzlet has joined.
15:36:39 -!- faxathisia has joined.
16:05:33 -!- ihope_ has joined.
16:09:28 -!- oerjan_ has joined.
16:14:14 -!- oerjan has quit (Nick collision from services.).
16:14:43 -!- oerjan_ has changed nick to oerjan.
16:53:03 -!- oerjan has quit ("leaving").
16:56:09 -!- ihope__ has joined.
16:56:47 -!- Slereah has quit (Read error: 110 (Connection timed out)).
16:58:21 -!- Slereah has joined.
16:59:10 -!- SEO_DUDE has joined.
17:03:25 -!- RedDak has joined.
17:09:10 -!- ais523 has joined.
17:11:36 -!- ihope___ has joined.
17:11:57 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
17:12:06 -!- ihope___ has changed nick to ihope_.
17:19:43 -!- SEO_DUDE has quit (Read error: 104 (Connection reset by peer)).
17:24:38 -!- ihope__ has quit (Read error: 110 (Connection timed out)).
17:57:18 -!- ais523 has quit (Remote closed the connection).
18:28:11 -!- Sgeo has joined.
18:58:17 -!- Tritonio_ has joined.
19:08:45 <oklopol> faxathisia: do you have a history of using another nick, or are you relatively new here?
19:09:01 <oklopol> or option 3: something else
19:12:02 <oklopol> i may already have asked, but i don't remember; what's the biggest amount of regulars there have been here
19:12:19 <oklopol> in case someone here remembers
19:12:34 <oklopol> i know at least a few regulars have effectively stopped idling here
19:13:41 <GregorR> I don't think anybody's done a "regular count" :p
19:14:47 <oklopol> no official one prolly, but most people occasionally take a glance at the userlist
19:15:19 <GregorR> Userlist != list of regulars
19:15:27 <oklopol> so... has there like been a time when 100 ppl idled here regularly
19:15:40 <GregorR> Regulars to me = people who talk :P
19:15:55 <oklopol> idling was a more general word here
19:16:24 <oklopol> like a relaxed form of being somewhere
19:18:31 <oklopol> i'll rephrase my question, has the average usercount been over 50 for over a week at some point of this channel's existance
19:23:10 <faxathisia> I mean list all predecessors for a state?
19:23:55 <GregorR> One example: KKKWWTHWKKK -> KKKWWWTHKKK -> KKKWWWWTKKK -> KKKWWWWWKKK
19:24:29 <GregorR> Or, to put it more simply, the next state of KKKWWWWWKKK is KKKWWWWWKKK, but the next state of KKKWWWWTKKK is also KKKWWWWWKKK
19:33:17 <oklopol> you can definately list all the possible predecessors for a state, though
19:34:02 -!- RedDak has quit (Remote closed the connection).
19:36:17 -!- Tritonio_ has quit (Remote closed the connection).
19:44:21 <GregorR> oklopol: Sure, but that's hardly reversing it :P
19:50:10 <oklopol> no one said anything about reversing!
19:50:17 <oklopol> well, no one said the exact word.
19:50:45 <faxathisia> what can you call listing all possible predecessors?
19:53:15 <oklopol> bsmntbombdood: can has taste?
19:59:45 <oklopol> can i taste your juices, is what i'm asking
20:01:58 <bsmntbombdood> how about you visit your local supermarket and get some
20:05:02 <faxathisia> >> unlambda ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk`k``s`ksk
20:09:00 <oklopol> >>> ul ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk`k``s`ksk
20:09:09 <oklopol> >>> ski ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk`k``s`ksk
20:09:12 <oklopol> >>> sk ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk`k``s`ksk
20:09:17 <ololobot> These are all the cmds currently in ololobot:
20:09:17 <ololobot> bf, bs, expr, help, numbda, pl, ul, dict, feed, sch, choose, rt, d, o, x, k, i, s, factors, in-pr, in-po, in-fi
20:09:57 <faxathisia> >>> ul ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk`k``s`ksk
20:35:02 <oklopol> >>> ul ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`k*r``s`k`sikk`k``s`ksk
20:35:07 <oklopol> >>> ul ```s``s``sii`ki`k.*``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`k.r``s`k`sikk`k``s`ksk
20:40:22 <oklopol> Nums = "seven" withkey 7,"one" withkey 1,"three" withkey 3
21:25:29 <faxathisia> >>> bf >++++++++++[<+++++++++++>-]<+.>++++[<---->-]<..>++++[<++++>-]<.
21:32:06 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
21:37:19 <oklopol> >>> bf ++++++++[>++++++++<-]>+.
21:38:21 <oklopol> bsmntbombdood: what are you sorting?
21:43:52 <oklopol> nice, a spontaneous 5 minute lag :)
21:43:58 <oklopol> got ping timeouted in quakenet
21:52:03 -!- jix has quit ("CommandQ").
22:10:41 -!- ihope___ has joined.
22:10:47 -!- ihope___ has changed nick to ihope_.
22:11:58 <bsmntbombdood> http://www.ifeminists.net/introduction/editorials/2003/0729moore.html
22:16:15 -!- puzzlet has quit (Remote closed the connection).
22:16:20 -!- puzzlet has joined.
22:23:36 -!- puzzlet has quit (Remote closed the connection).
22:23:38 -!- puzzlet_ has joined.
22:42:31 -!- SEO_DUDE has joined.
22:44:12 -!- puzzlet_ has quit (Remote closed the connection).
22:44:13 -!- puzzlet has joined.
22:44:14 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
22:49:14 -!- puzzlet has joined.
23:08:39 -!- SEO_DUDE has quit (Remote closed the connection).
23:10:12 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
23:11:06 -!- puzzlet has joined.
23:23:05 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
23:25:11 -!- Jontte has quit ("Konversation terminated!").
23:39:24 -!- sebbu has quit ("@+").
23:49:38 -!- pikhq has quit (Read error: 110 (Connection timed out)).