< 1188518603 0 :zeb!unknown@unknown.invalid QUIT :"+[]" < 1188519892 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1188524809 0 :bsmntbom1dood!unknown@unknown.invalid QUIT :"leaving" < 1188529169 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1188529218 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi all < 1188529236 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :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.. < 1188529392 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :do my homework! < 1188529719 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :5 day weekend. . . T3h w00ts. < 1188530624 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :5?!?!?! < 1188530628 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i only get 3 :) < 1188530630 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :er, :( < 1188530649 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :although i do get to go draining tommorow < 1188530677 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :draining? < 1188530705 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :exploring storm drains < 1188533968 0 :ihope_!unknown@unknown.invalid QUIT :Connection timed out < 1188538467 0 :kwertii!unknown@unknown.invalid QUIT : < 1188539599 0 :Sgeo!unknown@unknown.invalid QUIT :heinlein.freenode.net irc.freenode.net < 1188539599 0 :pikhq!unknown@unknown.invalid QUIT :heinlein.freenode.net irc.freenode.net < 1188539601 0 :SimonRC!unknown@unknown.invalid QUIT :heinlein.freenode.net irc.freenode.net < 1188539601 0 :cmeme!unknown@unknown.invalid QUIT :heinlein.freenode.net irc.freenode.net < 1188539601 0 :Overand!unknown@unknown.invalid QUIT :heinlein.freenode.net irc.freenode.net < 1188539601 0 :lament!unknown@unknown.invalid QUIT :heinlein.freenode.net irc.freenode.net < 1188539652 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1188539905 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1188539905 0 :SimonRC!n=sc@bylands.dur.ac.uk JOIN :#esoteric < 1188539905 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1188539905 0 :Overand!i=overand@pdpc/supporter/active/Overand JOIN :#esoteric < 1188539905 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1188540512 0 :Sgeo!unknown@unknown.invalid QUIT :"Ex-Chat" < 1188545263 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1188547199 0 :clog!unknown@unknown.invalid QUIT :ended < 1188547200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1188547839 0 :RedDak!n=dak@87.18.90.36 JOIN :#esoteric < 1188550802 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1188552105 0 :GreaseMonkey!n=saru@222-154-153-179.jetstream.xtra.co.nz JOIN :#esoteric < 1188553426 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1188557228 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"night all" < 1188563735 0 :ehird`!n=ehird@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1188565028 0 :jix_!n=jix@dyndsl-091-096-048-188.ewe-ip-backbone.de JOIN :#esoteric < 1188565469 0 :RedDak!n=dak@87.18.90.36 JOIN :#esoteric < 1188566091 0 :oklopol!i=oko@194.251.101.183 JOIN :#esoteric < 1188568458 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1188571207 0 :ololobot!n=ololobot@194.251.101.183 JOIN :#esoteric < 1188571767 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> in-fi (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0) < 1188571767 0 :ololobot!unknown@unknown.invalid PRIVMSG #esoteric :5 - 2 7 * 1 8 3 + 0 < 1188571772 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> in-pr (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0) < 1188571778 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> in-po (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0) < 1188571780 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :darn < 1188571823 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> in-pr (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0) < 1188571824 0 :ololobot!unknown@unknown.invalid PRIVMSG #esoteric :+ * - 5 2 - 7 1 * - 8 3 - 1 0 < 1188571827 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> in-po (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0) < 1188571851 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> in-po (5 - 2) * (7 - 1) + (8 - 3) * (1 - 0) < 1188571852 0 :ololobot!unknown@unknown.invalid PRIVMSG #esoteric :['*', ['-', 5, 2], ['-', 7, 1]] * - 8 3 - 1 0 + < 1188571854 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :.. < 1188571881 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :gotta fix that later, i'm late already -> < 1188572043 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yay for coding instead of school < 1188572272 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1188573807 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1188575437 0 :sebbu!n=sebbu@ADijon-152-1-58-55.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1188577808 0 :puzzlet!unknown@unknown.invalid QUIT :Client Quit < 1188578866 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1188579037 0 :sebbu!unknown@unknown.invalid PRIVMSG #esoteric :vive le ddl de musique licenciée, gratuite et légale :D < 1188580836 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1188582546 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1188583039 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1188583593 0 :sebbu2!n=sebbu@ADijon-152-1-100-157.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1188584144 0 :jix_!unknown@unknown.invalid QUIT :Nick collision from services. < 1188584160 0 :jix__!n=jix@dyndsl-091-096-045-200.ewe-ip-backbone.de JOIN :#esoteric < 1188584619 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1188584620 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1188586421 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1188586857 0 :oklofok!i=oko@194.251.101.183 JOIN :#esoteric < 1188586857 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1188587918 0 :ehird`_!n=ehird@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1188588381 0 :ehird`!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1188588752 0 :navaburo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1188589062 0 :ihope!n=ns@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1188589411 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1188589576 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1188589601 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :If it fails, all the stuff it chomped off is unchomped. If it succeeds, it stays chomped. < 1188589798 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Let's not yet go crazy and add first-class functions. :-P < 1188589827 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :There could be a notation, much like Haskell's do-notation, for putting parsers together to get new ones. < 1188589848 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... s/,//g < 1188590198 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Combinatorial parsing. < 1188590203 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :ihope: You've just described it < 1188590209 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Indeed, I have. < 1188590218 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :The do-notation thing and an alternation syntax. < 1188590223 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you realize this is just StateT String [], right? < 1188590241 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I rather doubt that. < 1188590264 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or perhaps StateT String Maybe... < 1188590274 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Closer. < 1188590291 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :My description has no way to, say, append to the beginning of your string. < 1188590345 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well restricting the allowed operations is an exercise for the reader :) < 1188590358 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1188590479 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess restriction does have to be possible. < 1188590485 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :At least a little, anyway. < 1188590548 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :My delimited continuation monad transformer implementation would work just fine if all the data constructors were exposed as normal functions. < 1188590567 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Exposing them as data constructors would allow the reading of Things Not Meant To Be Read. < 1188590609 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1188590681 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :is it just me, or are semaphores basically identical to locks < 1188590717 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :One of them is shift, one of them is return, and one of them is join . lift. < 1188590787 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Semaphores... are those the type of boolean variable where the basic operation thing is "wait until it's X and make it not X"? < 1188590795 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Semaphore_%28programming%29 < 1188590874 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird`_: a lock is just a semaphore with 1 resource, right? < 1188590895 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :is it? < 1188590897 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :i don't know < 1188590903 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :the functions look basiaclly the same to me < 1188590905 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :neither do i < 1188590920 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :however semaphores allow more than one resource, which is not identical < 1188591049 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Semaphores can be implemented using a semaphore. < 1188591068 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Naturally, this is probably useless unless you have only one semaphore. < 1188593094 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1188593392 0 :RedDak!n=dak@87.18.90.36 JOIN :#esoteric < 1188593435 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1188593759 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1188594045 0 :oerjan!unknown@unknown.invalid QUIT :"Supper" < 1188600241 0 :ehird`_!unknown@unknown.invalid QUIT :"Pong timeout" < 1188600291 0 :ehird`!n=ehird@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1188600314 0 :ehird`!unknown@unknown.invalid QUIT :Client Quit < 1188600325 0 :ehird`!n=ehird@user-514f618c.l4.c3.dsl.pol.co.uk JOIN :#esoteric < 1188601242 0 :oklofok!unknown@unknown.invalid QUIT :"( www.nnscript.de :: NoNameScript 4.02 :: www.XLhost.de )" < 1188601276 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1188601284 0 :ololobot!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1188601886 0 :oklopol!i=oko@194.251.101.183 JOIN :#esoteric < 1188603721 0 :RedDak!unknown@unknown.invalid QUIT :"I'm quitting... Bye all" < 1188604564 0 :jix__!unknown@unknown.invalid QUIT :"CommandQ"