00:12:54 -!- puzzlet_ has joined.
00:12:55 -!- puzzlet has quit (Remote closed the connection).
00:18:22 -!- SEO_DUDE has joined.
00:30:07 -!- ehird`- has joined.
00:30:59 <ehird`-> finally i reign on the os x platform once more
00:32:01 <ehird`-> hey Sgeo, sine server address/port?
00:32:26 <ehird`-> sine qua irc network thing
00:34:48 -!- ehird`- has changed nick to ehird`.
00:36:28 <oerjan> ehird`, now 100% more positive
00:50:03 -!- KajirBot has joined.
00:50:12 <KajirBot> feed, help, kill, ps, q, tell, time
00:50:37 -!- KajirBot has quit (Remote closed the connection).
00:55:52 <pikhq> oerjan, you know, Nomic is quite an interesting game. . .
00:56:30 <pikhq> I currently am capable of representing two different Agoran players. . .
00:57:28 <pikhq> One of which is human.
00:57:31 <oerjan> i noticed some messages today to the backup list, which i haven't turned off messages from
00:58:40 <pikhq> I was planning on using Tue for it, but the Registrar asked me to find a different forum.
00:59:19 <pikhq> If I can get the right people in it, the subnomic will itself be an Agoran player.
01:02:35 <oerjan> um, the backup lists are still official forums that every Player has to subscribe to, aren't they? I expect that would be annoying.
01:03:32 <oerjan> to have subnomic traffic there, i mean
01:06:33 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. If you think nobody cares, try miss).
01:12:16 -!- calamari has joined.
01:16:33 <pikhq> Thus why the Registrar requested that it be on a different forum.
01:46:58 <ehird`> Nomination for awesomest-regexp ever #1:
01:47:28 <ehird`> It's dirt-simple but so damn useful
01:53:12 <oerjan> um, shouldn't that be [^\\"] ?
01:54:02 <oerjan> or maybe it doesn't matter
01:56:33 <ehird`> since the \\ matches first
01:57:06 <oerjan> but couldn't there be backtracking if the \\. causes the rest to fail?
01:59:01 * pikhq puts all the extant archives of Agora into his mail client.
02:07:33 <ehird`> I wonder if there's a language whose turing-completeness depends on whether it's implemented with static or dynamic scoping
02:35:01 -!- ihope has joined.
02:38:35 <ehird`> INTERESTING STATEMENT THAT WILL SPARK MUCH DEBATE
02:39:52 <oerjan> REFERENCE TO THREE-VOLUME BOOK SERIOUS BY FAMOUS BUT INCOMPREHENSIBLE PHILOSOPHER THAT EXHAUSTED THE ISSUE
02:40:07 <ihope> Three-word reply that is absolutely correct and therefore SHOULD end all debate.
02:40:43 <ihope> Namely, "take the derivative".
02:41:13 <ihope> Request for a formal definition.
02:41:50 <ehird`> we seem to enjoy having metadiscussions.
02:42:00 <ehird`> anyway, this apple keyboard was designed by Apple programmers
02:42:08 <graue> a three-volume book series by a famous but incomprehensible philosopher exhausted that issue
02:42:13 <ehird`> I know this because |\ is a huge key, almost as big as backspace
02:42:16 <graue> the metadiscussion issue
02:42:19 <ehird`> right under backspace and above return
02:42:20 <oerjan> i never m*hit by anvil*
02:42:38 <ehird`> i never metanvil that didn't hit itself
02:47:57 * oerjan fails to find a better link than http://www.verboso.com/misspell/Face_of_an_anvil.html
02:54:37 -!- ehird` has quit.
02:57:58 <pikhq> Create a proposal which makes the debate end!
03:00:28 -!- anvil_ has joined.
03:18:33 -!- ihope has quit (Read error: 110 (Connection timed out)).
03:23:12 -!- anvil_ has quit (Read error: 110 (Connection timed out)).
03:38:41 -!- immibis has joined.
03:44:19 -!- immibis has set topic: Esoteric programming language discussion | FORUM AND WIKI: esolangs.org | CHANNEL LOGS: http://tunes.org/~nef/logs/esoteric | IRP in #irp | Congratulations ais523 for winning the Wolfram research prize!.
03:44:30 -!- immibis has set topic: Topic is: Topic is: Topic is: Topic is: Topic is: Esoteric programming language discussion | FORUM AND WIKI: esolangs.org | CHANNEL LOGS: http://tunes.org/~nef/logs/esoteric | IRP in #irp | Congratulations ais523 for winning the Wolfram research prize!.
03:45:49 <pikhq> Tell him yourself, Alex.
03:45:55 <pikhq> Oh, he's not here.
03:46:16 <pikhq> Anyways: he proved a certain Turing machine Turing complete. I don't remember all the details.
03:46:27 <pikhq> Except that it's the most minimal language that's Turing complete.
03:46:44 <graue> that sounds awesome
03:47:29 <immibis> it was in the original topic before i changed it.
03:47:39 <immibis> what's the wolfram research prize anyway?
03:47:49 <immibis> [16:46] <pikhq> Tell him yourself, Alex. <-- please explain how you know my name
03:48:00 <oerjan> http://www.wolframscience.com/prizes/tm23/solved.html
03:48:18 <pikhq> I do, however, know that ais523 is Alex Smith.
03:48:32 <pikhq> *Now* I do, yes. :)
03:48:44 <pikhq> I also know oerjan's name.
03:48:54 <oerjan> wait a minute, we cannot have two people with the _same_ name here in this channel.
03:49:01 <pikhq> Alex is quite common.
03:49:11 <pikhq> It'd be a bit more unusual to have two Oerjans here.
03:49:17 <pikhq> (or even two Oerjan Johansens.)
03:50:26 <oerjan> although others do apparently exist
03:52:25 <oerjan> since Johansen is a very common surname in Norway, that is to be expected.
03:53:17 <pikhq> And Oerjan seems a somewhat common first name in Norway.
04:00:03 <oerjan> 3511 rjan, 53353 Johansen, 42 both
04:00:39 <bsmntbombdood> where did you find a list of all people in norway?
04:00:55 <oerjan> http://www.ssb.no/navn/
04:02:02 <oerjan> these are just statistics
04:09:44 <oerjan> Johansen is no. 2 on the list
04:14:19 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Oops. My brain just hit a bad secto).
04:37:40 <pikhq> I'll show *you* a bad sector.
04:46:28 -!- Slereah- has quit (Read error: 110 (Connection timed out)).
04:50:24 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)).
05:34:50 <graue> oerjan: geez, how are we going to keep you straight when there are 41 others?
05:35:26 <pikhq> He's the one with a Ph.D.
05:42:23 -!- hurtful has joined.
05:42:30 * pikhq just lost the game
05:43:40 <oerjan> pikhq: it does seem you are right, at least as far as i can find on the internet. however, there is one Pl-rjan Johansen who is finishing one in psychology
05:44:01 <pikhq> Not quite the same, though.
05:44:28 <pikhq> This would mean that you have been published in one of the AMS's journals. . .
05:44:35 <pikhq> Which, quite frankly, kicks ass.
05:45:04 <pikhq> hurtful: Once upon a time, Gregor made a programming language named IRP. Everyone has hated him since. The end.
05:45:15 <oerjan> ah, the short version.
05:45:52 <oerjan> Once upon a time there was a beautiful country named Esoteria
05:46:58 <hurtful> what happened in esoteria?
05:46:59 <oerjan> The weather was always nice, and everyone was happy. Except for one person, Gregor R(ex).
05:47:40 <pikhq> hurtful: 昔々、グレゴーさんはIRPのプログラムの語をつくった。みんあはかれが大嫌いだった。
05:48:04 <oerjan> He was a pessimist by nature, and he said: "How could my kingdom possibly last like this? All kingdoms end, in revolution or otherwise."
05:49:04 <oerjan> But the king was a clever magician, so he set about to invent a way to preserve his kingdom.
05:50:17 <oerjan> And so he delved into his magical books, until he came upon a tome about Summonings.
05:50:53 <oerjan> There he read about a powerful creature that could grant wishes: The Irp.
05:52:39 <oerjan> And so he set about to perform the ritual. This of course required many esoteric ingredients, the obtaining of which would not always be within the usual moral standards of the kingdom.
05:53:33 <oerjan> But nevertheless, he eventually obtained them, and performed the ritual. And lo and behold, a small green creature appeared.
05:57:03 <oerjan> And he asked the irp for a wish, of course. That his kingdom should always stay as it was right now.
05:58:01 <oerjan> And since then so has been the case, the weather is still always nice and ... except the people are not quite happy.
05:58:26 <oerjan> Because now they cannot get rid of that annoying Irp creature!
05:58:59 * hurtful did a little experiment on the people in this channel just now
05:59:50 <oerjan> And the king is so ashamed that he would like to flee the country but he, like everything else in it, has to stay there like he is, forever.
06:01:46 <oerjan> And so they lived frustratingly ever after.
06:07:01 * hurtful waits for someone to ask what the experiment is
06:07:46 * oerjan assumed it was the "please tell a story" thing
06:08:55 <hurtful> "will people in this channel notice that i am...."
06:08:57 -!- hurtful has changed nick to immibis.
06:10:32 <oerjan> that's embarrasing, as the join message tells it plain as day
06:11:25 <oerjan> not speling, that's for sure
06:12:34 <immibis> theere r, many!!!!! speling gammatical eras and mistaks in santance dis.
06:12:59 <oerjan> mathematics, Cantor dynamical systems
06:16:48 <bsmntbombdood> Bratteli–Vershik models for Cantor minimal systems: applications to Toeplitz flows
06:17:48 -!- immibis has quit ("Friends help you move. Real friends help you move bodies.").
06:17:56 -!- immibis has joined.
06:31:28 <oerjan> Bratteli-Vershik models for Cantor minimal systems: applications to Toeplitz flows
06:55:24 <bsmntbombdood> what's a Bratteli-Vershik models for a Cantor minimal system, and what's a Toeplitz flow, and how does it apply to it?
07:03:14 <oerjan> a Bratteli-Vershik model is a kind of infinite graph
07:04:32 <oerjan> the infinite paths in it can be considered a Cantor set, and there is an ordering on the edges that allow you to define a mapping from one infinite path to another.
07:06:06 <oerjan> with certain restrictions this gives you a continuous invertible function from the Cantor set to itself, such that the iterated orbit of every infinite path is a dense subset of the Cantor set
07:06:32 * immibis has made a rubicon program that counts the number of times the user presses 'P'
07:07:34 <oerjan> it turns out that every such function from any Cantor set to itself can be modelled on an infinite graph this way
07:07:56 <oerjan> (these are the Cantor minimal systems)
07:08:50 <oerjan> Toeplitz flows are a class of such systems, which we investigated models for
07:09:34 <oerjan> absent further evidence, i shall assume your heads have all exploded already :D
07:10:59 <immibis> how can you be typing without a head and therefore a brain?
07:20:02 <oerjan> must have been his last dying cramps
07:55:15 -!- calamari has quit (Read error: 104 (Connection reset by peer)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:25 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Don't push the red button!").
08:12:00 -!- calamari has joined.
08:13:04 -!- calamari has quit (Read error: 104 (Connection reset by peer)).
08:29:46 -!- calamari has joined.
09:06:05 -!- SEO_DUDE has quit (Remote closed the connection).
09:09:16 -!- jix has joined.
09:17:09 -!- SEO_DUDE has joined.
09:22:01 -!- oerjan has quit ("leaving").
09:29:35 -!- RedDak has joined.
10:23:07 -!- calamari has quit ("Leaving").
11:05:13 -!- sebbu has quit ("ping timeout").
11:30:36 -!- sebbu has joined.
12:58:03 -!- ImmortalFire has joined.
12:59:24 -!- ImmortalFire has left (?).
13:03:18 -!- SEO_DUDE has quit (Remote closed the connection).
13:17:35 <oklopol> i think a language whose behavior changed according to the number of function calls done would be brilliant, you'd just have to make the effect of the number on the actions deterministic
13:18:13 <oklopol> and do something really clever to allow the programmer to circumvent the semantics change so that the effects cancel out or smth
13:22:48 <oklopol> foo = 3/*bar;/*comment or division by deref?*/ <<< C has greedy tokenization
13:57:35 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
13:58:27 -!- bsmntbombdood has joined.
14:25:50 -!- jix has quit (Nick collision from services.).
14:25:58 -!- jix has joined.
14:41:25 -!- Slereah has joined.
15:07:04 -!- ehird` has joined.
15:28:45 -!- Slereah has quit (Read error: 110 (Connection timed out)).
15:48:20 -!- ehird` has quit.
15:51:38 -!- ehird` has joined.
15:53:38 -!- ehird` has quit (Client Quit).
15:54:02 -!- ehird` has joined.
15:57:41 -!- anvil_ has joined.
17:04:55 -!- RedDak has quit (Remote closed the connection).
17:10:54 -!- puzzlet_ has quit (Remote closed the connection).
17:11:17 -!- puzzlet has joined.
17:17:09 -!- asiekierka has joined.
17:19:03 -!- anvil_ has quit (Read error: 104 (Connection reset by peer)).
17:51:25 -!- Slereah has joined.
18:03:38 -!- Sgeo has joined.
18:20:31 -!- calamari has joined.
19:12:10 -!- oerjan has joined.
19:13:08 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
19:14:13 -!- puzzlet has joined.
19:16:29 -!- Sabskm has joined.
19:20:28 -!- asiekierka has quit.
19:23:43 <Sabskm> And nothing of value was lost.
19:25:55 <oerjan> 'This has been a performance of Michael Palin's piece "The machine that goes 'Ping'"'
19:26:24 <Sabskm> Now, let's do the most expensive machine in the whole hospital!
19:27:20 <ehird`> 'This is a performance of Goedel's peice "Self-referentiality"'
19:28:21 <Sabskm> I have too much hair to play the part of Gdel.
19:30:12 <oerjan> just make a ponytail and hide it in your sweater.
19:31:08 <Sabskm> I already have a ponytail.
19:31:22 <Sabskm> Also, do ghosts ever leave this server?
19:31:29 <oerjan> then you are nearly all set, then
19:31:36 <Sabskm> It's been now 15 minutes.
19:31:40 <ehird`> Sabskm: /msg nickserv ghost nick pass
19:31:43 <ehird`> you have to manually do it
19:32:03 -!- Slereah has quit (Nick collision from services.).
19:32:07 -!- Sabskm has changed nick to Slereah.
20:03:22 -!- AnMaster has quit (Connection timed out).
20:04:01 -!- Sabskm has joined.
20:04:13 -!- AnMaster has joined.
20:05:56 -!- ihope_ has joined.
20:06:28 <ihope_> I want an esolang that looks like incoherent speech.
20:06:42 -!- Slereah has quit (Nick collision from services.).
20:06:45 -!- Sabskm has changed nick to Slereah.
20:06:55 <Slereah> Aren't most esolang like this?
20:06:57 <ihope_> "Why if you you and I'm gonna but well just you wait and oughta for nothing job!"
20:07:25 <ihope_> +++[>+[-]<] looks like incoherent speech?
20:08:01 <Slereah> Well, if you replaced the symbols by syllables, probably!
20:08:28 <pikhq> Looks quite coherent.
20:08:33 -!- ihope_ has quit ("Lost terminal").
20:08:55 <pikhq> Although I must wonder why the infinite loop that is essentially equivalent to >[-]<+[]. . .
20:11:42 -!- ihope has joined.
20:12:48 <ihope> It's not equivalent to >[-]<[-]?
20:15:36 <ihope> I'm not good with remembering things I wasn't around to hear.
20:29:18 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
20:29:23 -!- puzzlet has joined.
21:00:25 -!- AnMaster has quit (Connection timed out).
21:01:10 -!- AnMaster has joined.
22:33:11 -!- jix has quit ("CommandQ").