00:03:23 -!- zeb has quit ("+[]").
00:24:52 -!- ihope_ has joined.
01:46:49 -!- bsmntbom1dood has quit ("leaving").
02:59:29 -!- Sgeo has joined.
03:00:36 <Sgeo> Just poking my head in to say that I'm alive and well, but don't have the time nor energy to work on PSOX tonight..
03:08:39 <pikhq> 5 day weekend. . . T3h w00ts.
04:19:28 -!- ihope_ has quit (Connection timed out).
05:34:27 -!- kwertii has quit.
05:53:19 -!- Sgeo has quit (heinlein.freenode.net irc.freenode.net).
05:53:19 -!- pikhq has quit (heinlein.freenode.net irc.freenode.net).
05:53:21 -!- SimonRC has quit (heinlein.freenode.net irc.freenode.net).
05:53:21 -!- cmeme has quit (heinlein.freenode.net irc.freenode.net).
05:53:21 -!- Overand has quit (heinlein.freenode.net irc.freenode.net).
05:53:21 -!- lament has quit (heinlein.freenode.net irc.freenode.net).
05:54:12 -!- pikhq has joined.
05:58:25 -!- Sgeo has joined.
05:58:25 -!- SimonRC has joined.
05:58:25 -!- cmeme has joined.
05:58:25 -!- Overand has joined.
05:58:25 -!- lament has joined.
06:08:32 -!- Sgeo has quit ("Ex-Chat").
07:27:43 -!- oerjan has quit ("Good night").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:39 -!- RedDak has joined.
09:00:02 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
09:21:45 -!- GreaseMonkey has joined.
09:43:46 -!- pikhq has quit (Read error: 110 (Connection timed out)).
10:47:08 -!- GreaseMonkey has quit ("night all").
12:35:35 -!- ehird` has joined.
12:57:08 -!- jix_ has joined.
13:04:29 -!- RedDak has joined.
13:14:51 -!- oklopol has joined.
13:54:18 -!- pikhq has joined.
14:40:07 -!- ololobot has joined.
14:49:27 <oklopol> >>> in-fi (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0)
14:49:32 <oklopol> >>> in-pr (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0)
14:49:38 <oklopol> >>> in-po (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0)
14:50:23 <oklopol> >>> in-pr (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0)
14:50:27 <oklopol> >>> in-po (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0)
14:50:51 <oklopol> >>> in-po (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0)
14:50:52 <ololobot> ['*', ['-', 5, 2], ['-', 7, 1]] * - 8 3 - 1 0 +
14:51:21 <oklopol> gotta fix that later, i'm late already ->
14:57:52 -!- RedDak has quit (Remote closed the connection).
15:23:27 -!- pikhq has quit (Read error: 110 (Connection timed out)).
15:50:37 -!- sebbu has joined.
16:30:08 -!- puzzlet has quit (Client Quit).
16:47:46 -!- pikhq has joined.
16:50:37 <sebbu> vive le ddl de musique licenciée, gratuite et légale :D
17:20:36 -!- pikhq has quit (Read error: 110 (Connection timed out)).
17:49:06 -!- oerjan has joined.
17:57:19 -!- pikhq has joined.
18:06:33 -!- sebbu2 has joined.
18:15:44 -!- jix_ has quit (Nick collision from services.).
18:16:00 -!- jix__ has joined.
18:23:39 -!- sebbu has quit (Connection timed out).
18:23:40 -!- sebbu2 has changed nick to sebbu.
18:53:41 -!- puzzlet has joined.
19:00:57 -!- oklofok has joined.
19:00:57 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
19:18:38 -!- ehird`_ has joined.
19:26:21 -!- ehird` has quit (Read error: 110 (Connection timed out)).
19:32:32 -!- navaburo has quit (Read error: 104 (Connection reset by peer)).
19:37:42 -!- ihope has joined.
19:43:31 <ihope> The idea of a parsing-based language came into my head while I was pondering this JSP diagram: http://en.wikipedia.org/wiki/Image:JSP_RLE_correspondence.png
19:46:16 <ihope> A parser is given a string as state. It then chomps off stuff from the beginning of the string and eventually either returns something or fails.
19:46:41 <ihope> If it fails, all the stuff it chomped off is unchomped. If it succeeds, it stays chomped.
19:49:58 <ihope> Let's not yet go crazy and add first-class functions. :-P
19:50:27 <ihope> There could be a notation, much like Haskell's do-notation, for putting parsers together to get new ones.
19:56:38 <ehird`_> ihope: Combinatorial parsing.
19:56:43 <ehird`_> ihope: You've just described it
19:56:58 <ihope> The do-notation thing and an alternation syntax.
19:57:03 <oerjan> you realize this is just StateT String [], right?
19:57:21 <ihope> oerjan: I rather doubt that.
19:57:44 <oerjan> or perhaps StateT String Maybe...
19:58:11 <ihope> My description has no way to, say, append to the beginning of your string.
19:59:05 <oerjan> well restricting the allowed operations is an exercise for the reader :)
20:01:19 <ihope> I guess restriction does have to be possible.
20:01:25 <ihope> At least a little, anyway.
20:02:28 <ihope> My delimited continuation monad transformer implementation would work just fine if all the data constructors were exposed as normal functions.
20:02:47 <ihope> Exposing them as data constructors would allow the reading of Things Not Meant To Be Read.
20:04:41 <ehird`_> is it just me, or are semaphores basically identical to locks
20:05:17 <ihope> One of them is shift, one of them is return, and one of them is join . lift.
20:06:27 <ihope> Semaphores... are those the type of boolean variable where the basic operation thing is "wait until it's X and make it not X"?
20:06:35 <ehird`_> http://en.wikipedia.org/wiki/Semaphore_%28programming%29
20:07:54 <oerjan> ehird`_: a lock is just a semaphore with 1 resource, right?
20:08:23 <ehird`_> the functions look basiaclly the same to me
20:08:40 <oerjan> however semaphores allow more than one resource, which is not identical
20:10:49 <ihope> Semaphores can be implemented using a semaphore.
20:11:08 <ihope> Naturally, this is probably useless unless you have only one semaphore.
20:44:54 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
20:49:52 -!- RedDak has joined.
20:50:35 -!- puzzlet has joined.
20:55:59 -!- ihope_ has joined.
21:00:45 -!- oerjan has quit ("Supper").
22:44:01 -!- ehird`_ has quit ("Pong timeout").
22:44:51 -!- ehird` has joined.
22:45:14 -!- ehird` has quit (Client Quit).
22:45:25 -!- ehird` has joined.
23:00:42 -!- oklofok has quit ("( www.nnscript.de :: NoNameScript 4.02 :: www.XLhost.de )").
23:01:16 -!- sebbu has quit ("@+").
23:01:24 -!- ololobot has quit (Read error: 104 (Connection reset by peer)).
23:11:26 -!- oklopol has joined.
23:42:01 -!- RedDak has quit ("I'm quitting... Bye all").
23:56:04 -!- jix__ has quit ("CommandQ").