< 1202778288 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1202779993 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1202783006 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :/amsg BRB < 1202783248 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1202783329 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :HI calamari < 1202783336 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi Sgeo < 1202783377 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :So, did you poke around the alpha? < 1202783398 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :http://www.fastcompany.com/magazine/06/writestuff.html?page=0%2C0 < 1202783830 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :short version of the above: The software engineering firm with the lowest error rate in the world has that rate because they use some basic, sane concepts in their development process. < 1202783845 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Modern software engineering blows chunks, and these guys are awesome < 1202784658 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, of course modern software engineering blows chunks. < 1202784668 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It has the same rigor that I apply towards my hobby coding projects. < 1202784689 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You know, the ones that I code just to figure something out. . . < 1202784697 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There's something kinda sickening about that. < 1202785970 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. That article has some really *obvious* measures in there. < 1202786068 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :'Plan, have a good team, use revision control and a bug manager, fix whatever lets a bug through" < 1202786838 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I suppose my PSOX project doesn't exactly need that kind of rigour >.> < 1202787112 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: did you find the answer to the integration? < 1202787448 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :calamari: Nope. < 1202788650 0 :immibis!n=immibis@125-236-168-102.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1202788796 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: the answer is: x^2 * arctan(x) - (1 + x^2) * arctan(x) + x + C < 1202788806 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I guess that can be simplified < 1202788814 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :but it works < 1202789109 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :aha.. < 1202789117 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :here is the secret of it < 1202789146 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :x^2 / (1 + x^2) can be simplified to 1 - 1 / (1 + x^2) < 1202789174 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :because 1 = (1 + x^2) / (1 + x^2) < 1202789206 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so then you can integrate from there to x - arctan(x) < 1202789212 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :out < 1202789219 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1202795997 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1202796216 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1202796434 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1202797112 0 :immibis!unknown@unknown.invalid QUIT :Nick collision from services. < 1202797881 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :integration is trivial unmath < 1202798503 0 :immibis!n=immibis@125-236-169-215.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1202798516 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :did any of you notice google has mirc as a synonym of irc? < 1202799330 0 :immibis!unknown@unknown.invalid QUIT :Nick collision from services. < 1202801234 0 :immibis!n=immibis@125-236-142-243.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1202802033 0 :EgoBot!n=EgoBot@c-24-22-4-68.hsd1.or.comcast.net JOIN :#esoteric < 1202802041 0 :GregorR!n=gregor@c-24-22-4-68.hsd1.mn.comcast.net JOIN :#esoteric < 1202802941 0 :immibis!unknown@unknown.invalid QUIT :Connection timed out < 1202803199 0 :clog!unknown@unknown.invalid QUIT :ended < 1202803200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1202805224 0 :cherez!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202805930 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1202809243 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202809675 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1202809711 0 :Corun!unknown@unknown.invalid QUIT :Client Quit < 1202811469 0 :sebbu!n=sebbu@ADijon-152-1-62-218.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1202813011 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1202813040 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1202815947 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1202824627 0 :RedDak!n=dak@host217-80-dynamic.19-79-r.retail.telecomitalia.it JOIN :#esoteric < 1202825197 0 :sarehu!unknown@unknown.invalid QUIT :Remote closed the connection < 1202825207 0 :sarehu!n=irc@ool-44c637dc.dyn.optonline.net JOIN :#esoteric < 1202826585 0 :Hiato!n=Hiato@dsl-245-46-56.telkomadsl.co.za JOIN :#esoteric < 1202831450 0 :sarehu!unknown@unknown.invalid QUIT :Remote closed the connection < 1202831459 0 :sarehu!n=irc@ool-44c637dc.dyn.optonline.net JOIN :#esoteric < 1202832905 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1202834006 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1202834200 0 :Tritonio_!n=Tritonio@150.140.225.116 JOIN :#esoteric < 1202834762 0 :Hiat1!n=Hiato@dsl-245-46-56.telkomadsl.co.za JOIN :#esoteric < 1202835688 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1202835917 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202836189 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1202836213 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1202836934 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202838751 0 :slereah__!n=slereah@ANantes-252-1-43-206.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1202839321 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202840059 0 :cherez!n=cherez@r10snw275.device.mst.edu JOIN :#esoteric < 1202840308 0 :RedDak!n=dak@host217-80-dynamic.19-79-r.retail.telecomitalia.it JOIN :#esoteric < 1202841591 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1202843504 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1202845752 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1202846071 0 :RedDak!n=dak@host217-80-dynamic.19-79-r.retail.telecomitalia.it JOIN :#esoteric < 1202847682 0 :Hiat1!unknown@unknown.invalid QUIT :"Leaving." < 1202848430 0 :timotiis!unknown@unknown.invalid QUIT :Remote closed the connection < 1202848442 0 :SimonRC_!n=sc@fof.durge.org JOIN :#esoteric < 1202848546 0 :SimonRC!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1202848564 0 :SimonRC_!unknown@unknown.invalid NICK :SimonRC < 1202851175 0 :ehird!n=ehird@user-54453ccd.lns4-c11.dsl.pol.co.uk JOIN :#esoteric < 1202851333 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1202851436 0 :ehird!unknown@unknown.invalid TOPIC #esoteric :HAT!! YOU'RE RUINING MY HAT! Also, < 1202851485 0 :timotiis_!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1202851584 0 :timotiis!unknown@unknown.invalid QUIT :Client Quit < 1202851584 0 :timotiis_!unknown@unknown.invalid QUIT :Client Quit < 1202851593 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1202852251 0 :faxathisia!n=ultravio@137.195.250.2 JOIN :#esoteric < 1202852272 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :This is totally mad http://www.basis.uklinux.net/ursala/seminar111207.pdf < 1202852297 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: you are totally mad. < 1202852354 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :At least I'm not a squiggologist! < 1202852394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait-- you're not? < 1202852394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dispatch the stormtroopers < 1202852785 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Haskell is no less verbose than OO? (O_O) < 1202852803 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: wait what? < 1202852884 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: one of the first slides of what faxathisia linked < 1202852895 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :awkward quasi-imperative features (e.g., monads) < 1202852910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :written like a true amateur! < 1202852922 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :obviously, monads are just so haskell can CHEAT out of being IMPERATIVE!!!!! < 1202852927 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1202852962 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :although that document does seem to have a different standard of verbosity ... what is that language? < 1202852975 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I think it's called Squiggol.. < 1202853003 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh the old one mentioned? < 1202853044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no < 1202853045 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um no it says "new" < 1202853046 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's the new one < 1202853047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that he made < 1202853051 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1202853057 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :OS < 1202853058 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::S < 1202853067 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Squiggolism (Bird and Merteens)" < 1202853074 0 :olsner!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1202853078 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it looks like apl < 1202853078 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i guess that guy was right when he said about verbosity.. it's hideously short! < 1202853110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'Brevity is a design goal.' Paul? Is that you? Oh honey, please come back to Lisp... you do less harm there. < 1202853118 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1202853155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i knew it wasn't apl < 1202853156 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh my god: report.fun < 1202853158 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is.. < 1202853161 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh my god. < 1202853290 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: oerjan: its called 'ursala' < 1202853384 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ursAla? < 1202853428 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ZFC sucks :( < 1202853438 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :someone should make a programming language out of it < 1202853449 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no, faxathisia < 1202853456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we want naive set theory < 1202853458 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :isn't that almost what the Z specification language is? < 1202853460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :think of the paradoxical interpreter fun < 1202853461 0 :ehird!unknown@unknown.invalid QUIT :"Leaving" < 1202853462 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I like the way that ~&farlthlriNCSPDPDrlCS2DlrTS2J, is an operator < 1202853472 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :in that PDF < 1202853475 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :You should be forced to do all this work http://us.metamath.org/mpegif/peano5.html , just to use recursion < 1202853490 0 :ehird!n=ehird@user-54453ccd.lns4-c11.dsl.pol.co.uk JOIN :#esoteric < 1202854046 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1202854084 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :the occasional occurance of 10 identical chars in a row just adds to the zaniness < 1202854646 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: technically, < 1202854654 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'~&farlthlriNCSPDPDrlCS2DlrTS2J' is merely a composition of operators.. < 1202854658 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but seriously, aah. < 1202854699 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ooh, this language sounds interesting... link? < 1202854718 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :~:&:f:a:r:l:t:h:l:r:i:N:C:S:P:D:P:D:r:l:C:S:2:D:l:r:T:S:2:J is the arc equivalent < 1202854739 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: no < 1202854741 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's evil < 1202854743 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :evil evil evil < 1202854751 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION *woops* http://www.basis.uklinux.net/ursala/seminar111207.pdf
< 1202854753 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: you're just another arc fanboy, aren't you.. < 1202854756 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: sure, tempt him even more < 1202854763 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ehird: moar evil! < 1202854771 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you've defended it since it came out :P actually, before that you said it was crappy hype.. < 1202854784 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :me defend it?? no < 1202854816 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but then olsner is evil too. on another channel he blathers about evil secret swedish bacterial products. < 1202854891 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: also, it's not what you said < 1202854893 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's more like < 1202854907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :&:farl:thlr:iNCS:PD...:~ < 1202854914 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1202854914 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'ab' is not a . b < 1202854921 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and most of those ops are multi-char < 1202854928 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: sshh, the evil secret is supposed to be *secret* < 1202854941 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I haven't made an effort to understand squggol or whatever it is yet < 1202854950 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :of course it is. < 1202854982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: not worth it < 1202854982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1202854995 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think squiggol was just another very old language mentioned in that slide show < 1202855041 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I thought quiggol was the bananas and lenses stuff < 1202855075 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Bird-Meertens_Formalism < 1202855094 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm maybe it isn't _that_ old < 1202855116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the slide show mentioned it in the same breath as FP < 1202855130 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, so, the bananas and lenses stuff is squiggol in a new notation with funny names for things? < 1202855179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes < 1202855294 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202855401 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wtf, a 466 page manual? is this thing auto-generated? < 1202855478 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :All work and no play makes Jack a dull boy. < 1202855479 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :All work and no play makes Jack a dull boy. < 1202855479 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :All work and no play makes Jack a dull boy. < 1202855480 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :All work and no play makes Jack a dull boy. < 1202855514 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1202855514 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1202855514 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1202855514 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1202855545 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :lament is evil too. i just saw him say that kids need speed. < 1202855579 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: You're living in a bubble. But i'll sort that out. < 1202855605 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :LALALALA I CAN'T HEAR YOU < 1202855631 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my dentist is a mansion < 1202855653 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Dr. House is your dentist? < 1202855676 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes you coded my crack < 1202855703 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so Darwin was born today. < 1202855775 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1202855800 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ditto < 1202856392 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I'm starting to think haskell should grab some features from ursala < 1202856406 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hehehe < 1202856410 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :What features? < 1202856414 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :those big strings are rather like Forth stack-manipulation ops < 1202856430 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :some of them are type specifiesr < 1202856465 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :for example, deconstructors: ~(&lr,&lr) === (snd.fst) &&& (fst.snd) < 1202856497 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :don't know how deep this rabbit hole actually goes, but it seems you can use the resulting constructor as a template and fill it in with deconstructors that are applied to the argument < 1202856635 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :pointsfree haskell is too weak ;-) < 1202857005 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Connection reset by peer < 1202857037 0 :bsmntbombdood!n=gavin@75-166-178-76.hlrn.qwest.net JOIN :#esoteric < 1202857046 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1202857080 0 :bsmntbombdood!n=gavin@75-166-178-76.hlrn.qwest.net JOIN :#esoteric < 1202857222 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Connection reset by peer < 1202857256 0 :bsmntbombdood!n=gavin@75-166-178-76.hlrn.qwest.net JOIN :#esoteric < 1202857311 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1202857333 0 :danopia!unknown@unknown.invalid QUIT :Client Quit < 1202857342 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1202857467 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1202857501 0 :bsmntbombdood!n=gavin@75-166-178-76.hlrn.qwest.net JOIN :#esoteric < 1202857579 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes
< 1202857604 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: BOO < 1202857650 0 :SimonRC!unknown@unknown.invalid TOPIC #esoteric :HAT!! YOU'RE RUINING MY HAT! Also, http://www.basis.uklinux.net/ursala/manual.pdf < 1202857654 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :EEK < 1202857654 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes
< 1202857700 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :*g* < 1202857819 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION still learning ursala
< 1202857830 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION grrr..
< 1202857833 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: it suckkkksss < 1202857843 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ehird: is that an executable program? < 1202857851 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :probably.. < 1202857853 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I am halfway through this damn massive paper but I want to read the thing... < 1202857854 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION once again fails at recognizing any reference, using google
< 1202857857 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1202857862 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you might need to add some more obfuscation < 1202857983 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omg < 1202857989 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the pointer expressions are an entire embeded language < 1202857991 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and they're tc < 1202857991 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1202858058 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :heh, I was just thinking "hmm, maybe these pointer expressions could be extracted into a separate esolang" :P < 1202858143 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :(x,y,z) = (reverse,init,last) < 1202858169 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I had an epiphany. < 1202858183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: Did it hurt? < 1202858193 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :on a quantum computer, bogosort is the most efficient sorting algorithm possible < 1202858215 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ehird: epiphanies are good for you, they're a sign of the deities liking you < 1202858237 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: touched by his noodly appendage. < 1202858248 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: no -- only quantum bogosort, when following the many worlds theory < 1202858251 0 :sarehu!unknown@unknown.invalid QUIT :Remote closed the connection < 1202858253 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :olsner: if we read the bible, so are sores, poverty and the death of your entire family < 1202858257 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it destroys the current world if the list isn't sorted after the first try. < 1202858259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1202858266 0 :sarehu!n=irc@ool-44c637dc.dyn.optonline.net JOIN :#esoteric < 1202858271 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but you still have to go through the list to check for sorting < 1202858277 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so O(n) < 1202858282 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, shuffling is basically the same < 1202858309 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Hey sarehu < 1202858316 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :O(n) is by definition as efficient as any sorting algorithm could be < 1202858342 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :even with an oracle, you can't sort a list of N items without N steps- it just wouldn't make any sense < 1202858352 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: well, sure. < 1202858355 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but still < 1202858357 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :O(n) on what operation < 1202858359 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :many worlds + intelligent design sort < 1202858365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :olsner: brilliant < 1202858370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :O(5.4) sorting algorithm ;) < 1202858372 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(Yes, i know.) < 1202858373 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sorting is O(1) if sorting is a primitive operation < 1202858403 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :well it's O(0) to sort a sorted list < 1202858404 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :O(n) on reading input i guess, at least < 1202858418 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :by that logic a foreach loop is O(1). that's ridiculous. < 1202858440 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: he means 'in the universe' < 1202858446 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1202858461 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :well, in that case it makes an asymptotically tiny amount of sense. < 1202858470 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you mean i don't make sense? < 1202858488 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I mean the probability of it making sense approaches zero < 1202858511 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :" by that logic a foreach loop is O(1). that's ridiculous." <<< i meant was this for me < 1202858568 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"i meant was this for me" < This cannot be a coherent english sentence. < 1202858580 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i just meant, when you start going oracle, you might wanna rethink what it means for something to be "O(n)" < 1202858584 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: yes it can < 1202858589 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is perfectly ok english < 1202858591 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"i meant, was this for me?" < 1202858640 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :punctuation and capitalization make a difference. "I helped my uncle Jack off a horse" vs "I helped my uncle jack off a horse" < 1202858689 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in this case, was there another way to parse my sentence? < 1202858728 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, that's a bit beside the pointzility < 1202858739 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: this is irc, stop being pretentious < 1202858778 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I'm not being pretentious, I'm being pedantic, and if you're telling me I can't be pedantic in #Esoteric, you've lost your mind < 1202858786 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: you're just jealous because he corrected me and not you. < 1202858790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you can't be pedantic re: spelling and grammar over irc < 1202858791 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1202858826 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if you think you can't have lost your mind at #Esoteric, you've also lost your mind < 1202858833 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quick! codify that < 1202858892 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: where the fuck is the nomic page for #Esoteric? < 1202858933 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: that would be too confusing. it must not exist < 1202858937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, this is #esoteric < 1202858938 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :we don't have any rules, we cannot be a nomic < 1202858968 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :There's at least one rule we can all agree upon: < 1202858974 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"IRP is irritating" < 1202858997 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Please, say IRP is irritating < 1202859011 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :my topic is STILL in #irp :| < 1202859073 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :at least the rule has a catchy acronym < 1202859135 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's even a decent representation of the sound my brain makes every time someone joins for the exclusive purpose of using IRP < 1202859168 0 :ehird!unknown@unknown.invalid TOPIC #esoteric :iii < 1202859190 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :The Rule of III < 1202859236 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :iIi! < 1202859248 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :haha, that looks great in courier < 1202859319 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Rule_of_Three < 1202859321 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :the only O(n) sorting algorithm I've seen is the one that requires O(n) processors located within the array and numbers represented in unary form < 1202859328 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION didn't know there were that many of them
< 1202859360 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: the CS one is also known as "three or more, use a FOR" < 1202859376 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :in one form, at least < 1202859382 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :excuse me, I meant O(n^2) processors, and that's with small numbers < 1202859436 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err, aren't all slot-based ones O(n)? < 1202859441 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :with a single CPU you will never beat O(n log n) < 1202859450 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :O(n) processors? < 1202859451 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1202859456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: TWO or more, use a for. < 1202859461 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :O(n lg n) is for binary comparisons < 1202859472 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sez dick-stra < 1202859479 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :no, O(n log n) is for anything with a single CPU, where n = # elts in array < 1202859483 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :nah, you generally need three to make the loop overhead worthwhile < 1202859490 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :n processors. < 1202859492 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :or more specifically, O(n log k) where k is the number of distinct elements < 1202859493 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not O(n). < 1202859495 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :dijkstra--, me++; < 1202859507 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sarehu: based on what? < 1202859522 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: input size < 1202859531 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean, based on what is it O(n lg n) < 1202859542 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lezzay you have a binary string < 1202859543 0 :sarehu!unknown@unknown.invalid PRIVMSG #esoteric :the number of bits you need to look at in n-element arrays with k distinct elements to simply distinguish the elements is O(n log k) < 1202859547 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: i think dijkstra is probably better at this crap than anyone here :P < 1202859548 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well, was. < 1202859548 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just count ones and zeroes < 1202859553 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and you're ready < 1202859558 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sure, he might have been crazily elitist, but hey :D < 1202859589 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :bullshit. dijkstra made some good algorithms, but he was completely off base on a number of things < 1202859606 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've just seen the O(n lg n) proof for n-ary comparisons < 1202859608 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and some of his "inventions" (like mutexes) are a patently obvious concept < 1202859609 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Have you read, A Discipline of Programming? < 1202859612 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i like dijkstra :| < 1202859614 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :trivial proof based on the decision tree < 1202859619 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, RodgerTheGreat, nothing is obvious. < 1202859630 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :dijstra can go fuck himself < 1202859638 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :He makes imperative programs and their correctness proofs beautiful < 1202859650 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: why can he? < 1202859656 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :which is bizarre since imperative programs are generally awful < 1202859662 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and I will gladly go into a detailed discussion of his failures and personality problems at a later time, but I need to go do homework < 1202859669 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe you just don't like that most of mathematics and CS is codifying the 'obvious' < 1202859670 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but yeah, it's a great book to read < 1202859678 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and it's only obvious because they're so common today i must add. < 1202859694 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: You just like goto! < 1202859700 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and that's why you hate him < 1202859706 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ehird: one reason: Dijstra KILLED BASIC. He gave Dartmouth BASIC a bad name and ruined its reputation, along with GOTO forever, and his reasoning was flawed < 1202859712 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1202859724 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :most of his attacks on GOTO are only valid for numbered gotos, rather than labeled gotos anyway < 1202859730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :goto is pretty much awful unless you're implementing a state machine or similar < 1202859742 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, I am all for killing BASIC < 1202859742 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and now people blindly follow the "anti GOTO" idea without understanding why it even exists! < 1202859750 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :seriously though, his work is amazingt < 1202859752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's cool to play about with as a kid -- really cool < 1202859755 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but beyond that? < 1202859758 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :please, god, kill it < 1202859762 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :read A Discipline of Programming < 1202859810 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ehird: This is most likely because you're ignorant about the history of BASIC. Read up on Dartmouth BASIC, and get back to me < 1202859816 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'll return later. < 1202859885 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :btw that's complete nonsense < 1202859887 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: i'm well aware < 1202859889 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: i agree < 1202859893 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :EVERYONE uses goto ALL the time! < 1202859899 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I know because I try to stop them :P < 1202859903 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :heh. < 1202859909 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :only complete idiots.. < 1202859918 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :anyway, it's fine for compiler output ... < 1202859923 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a goto does have some kind of usecase in imperative languages though... < 1202859936 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but whatever, goto is totally irrelevant to the work Dijkstra did < 1202859952 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :that's just one contraversial thing.. < 1202859953 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you have a few nested flow structures, and a few of the branches and levels have an error case, 'goto fail' is useful < 1202859973 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION *scowl at ehird*
< 1202859985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: give a more elegant way to do that example < 1202860030 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I have no idea, I've never had the need for goto in years of C programming < 1202860096 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: well, exactly -- you havent come across one of them < 1202860101 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a pretty elegant way is to USE C++ AND THROW ;;;) < 1202860103 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sometimes, they can't be refactored nicely, either < 1202860111 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: exceptions are evil, totally evil < 1202860116 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :really? < 1202860122 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :imo yes < 1202860169 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't use 'em much < 1202860197 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ehird, other than compiler output, I conjecture that there is no use < 1202860228 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: you can do call/cc with them, if you can fuck the stack too < 1202860257 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you can definately do useful stuffzorz < 1202860264 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :uuuhsuf. i'm tired < 1202860269 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: only downwards-only call/cc. < 1202860277 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: see my example. < 1202860288 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :http://james.fabpedigree.com/lesson9.htm#p93 < 1202860389 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's a shame that all people think about when Dijkstra is mentioned is goto though.. < 1202860499 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i don't < 1202860500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but still < 1202860506 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he wasn't entirely right, but mostly < 1202860512 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :goto should be considered harmful, most of the time. < 1202860532 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: where are you from, anyway? just curious :) < 1202860536 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I like that he uses a nondeterministic languague to describe everything < 1202860556 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :because he uses a lot of ideas that are valid in Logic programming too < 1202860562 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Scotland < 1202860576 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1202860578 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :england here < 1202860739 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: I wonder if this will make any sense to you since I know nothing of Scottish TV (but i'm pretty sure you get ch4..), but I was watching Countdown one day and there was a maths board that I couldn't solve (nobody else did, either) and I decided I would write a simple program to solve them. I just remembered today. I still haven't wrote it :p < 1202860748 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1202860765 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Are you interested in program derivation at all? < 1202860767 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :intuition tells me it's probably a Really Hard problem, mathematically < 1202860790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: well, i just looked it up, and that's pretty cool :P < 1202860799 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and would also be a neat way to write that program, haha