< 1259800181 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1259801125 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: Good :P < 1259801159 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :'SUP DAWG I HEARD YOU LIKE UPGRADES SO WE PUT AN UPGRADE IN YOUR X SO NOW YOU HAVE TO REBOOT BECAUSE THE PROTOCOL CHANGED BACKWARD-INCOMPATIBLY. < 1259801167 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :( a few weeks back) < 1259801193 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :my boss made a reference to Brainfuck a few days back < 1259801208 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :he is kinda a techy type so it's not that ridiculous < 1259801224 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh so he wasn't talking about the sex act < 1259801342 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hasn't heard of that one being done.
< 1259801526 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh it's very common < 1259801530 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :skullfuck is the more popular term < 1259801647 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I meant, being done, rather than being talked about < 1259801664 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i imagine it's difficult to find a willing partner < 1259801694 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :zzzzzzzzzzzzzzzzzzzzzzzzz < 1259803056 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :lament: who said they had to be willing? < 1259803075 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I think that the concept pretty much precludes willingness. < 1259803113 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :Maybe the people who let themselves be eaten would allow it < 1259806311 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259808616 0 :madbrain!n=madbrain@modemcable175.136-81-70.mc.videotron.ca JOIN :#esoteric < 1259808671 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :just read about the halting problem... the proof of impossibility is so nasty :D < 1259809098 0 :augur!n=augur@c-68-34-16-49.hsd1.md.comcast.net JOIN :#esoteric < 1259809262 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :nasty ? < 1259809265 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean < 1259809323 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :well, basically they proved you can't solve the halting problem by writing a program that generates a paradox if you try to do that < 1259809339 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :specifically something like: < 1259809383 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :if you can solve the halting problem, then you have a function solve_halting_problem(program) < 1259809400 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :but then you can write a program like this: < 1259809480 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :program p = { if solve_halting_program(p) true then loop_indefinitely(), else stop} < 1259809532 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :so in other words it uses the potential solution on itself, determines if it's halting, if it's halting then don't halt, if it's not halting then halt < 1259809604 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :but than that means your solve_halting_program() function cannot return either true or false for that particular program because then the program uses the solution to prove it false < 1259809869 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :I don't get it < 1259809924 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :program := if halts(program) then loop else return < 1259809983 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1259809985 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :you have < 1259809993 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :program(p) := if halts(p) then loop else return < 1259809998 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :and then you ask if halts(program(program)) < 1259810079 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :hmmm not sure I beleive this < 1259810190 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :if my language was just if/then/else, return, CAR, CDR, etc.. then every program terminates -- now if you add the loop keyword, you can define 'program' but you should be able to define halts quite easily too < 1259810227 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :(suppose the language only allowed well founded recursion) < 1259810313 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: ... "Well-founded recursion"? < 1259810329 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :you are allowed to loop on smaller inputs than what you were given only < 1259810349 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :so that every function (that's execution doesn't reach any "loop") terminates < 1259810368 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And how do you intend to enforce such a restriction? < 1259810398 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :doesn't matter really, you could do it syntactially or give the programmer the benefit of the doubt < 1259810435 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... And for that matter, what does "smaller inputs" mean? < 1259810460 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :if the inpute was the program "if halts(program) then loop else return" then "loop" is smaller (because it is a subterm) < 1259810498 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... I'm more confused than I was previously. < 1259810598 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And I also wonder what about that restricts the following: S(x,y,z) := z(y,z(y)); K(x,y) := x < 1259810733 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :you mean S(x,y,z) := x(z)(y(z)) < 1259810753 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... Yes, yes I do. < 1259810827 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :well that program passes the recursion scheme (since it doesn't use recursion) but it is an error because it's not well typed < 1259810885 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Why isn't it well-typed? < 1259810916 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :I think the point is that you're basically imposing limitations that make the resulting language not turing complete < 1259810939 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :yes it is not turing complete because of (1) the types (2) the allowed recursion scheme < 1259810993 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: What sort of ridiculous restriction on the type system *could you do* to make that not well-typed? < 1259811010 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :madbrain: My point is that that's bloody hard without making something that's completely and utterly useless. < 1259811020 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :true! < 1259811023 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :oh you are one of these pragmatists < 1259811056 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :I'm writing up my idea now to see if I am right < 1259811094 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :the best languages are the ones that are turing complete with the least number of instructions/operators/etc... :D < 1259811094 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: By "useful", I mean "capable of non-trivial calculation". < 1259811113 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :what sort of non trivial calculuation? < 1259811129 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :(I'll try and work it in if possible) < 1259811158 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :emulate brainfuck? :D < 1259811177 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Say, functions that do more than mere arithmetic? < 1259811179 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :no it can't be turing complete :P < 1259811201 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps... Hmm. Matrix multiplication? < 1259811213 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Nah, that's even a bit trivial. < 1259812015 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259812482 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :it's really hard to make this language ...ars < 1259812492 0 :quantumEd!unknown@unknown.invalid QUIT :"Leaving" < 1259814488 0 :Slereah_!n=Slereah@ANantes-259-1-144-54.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1259815075 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259815829 0 :augur_!n=augur@c-68-34-16-49.hsd1.md.comcast.net JOIN :#esoteric < 1259815862 0 :augur!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1259816304 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1259816947 0 :augur_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1259817159 0 :augur!n=augur@c-68-34-16-49.hsd1.md.comcast.net JOIN :#esoteric < 1259817375 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259819070 0 :augur!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1259819588 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1259821676 0 :augur!n=augur@216-164-33-76.c3-0.slvr-ubr2.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1259822192 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Remote closed the connection < 1259823376 0 :lifthrasiir!i=pxdwlfdb@haje12.kaist.ac.kr JOIN :#esoteric < 1259823410 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1259823445 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :madbrain, < 1259823447 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric : program p = { if solve_halting_program(p) true then loop_indefinitely(), else stop} < 1259823451 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :this should be: < 1259823459 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric : program p = { if solve_halting_program(p(p)) true then loop_indefinitely(), else stop} < 1259823461 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :? < 1259823660 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :also I figured out a language (that has nontermination) which has solve_halting_program as a built in, but I couldn't find a language which it's possible to implement solve_halting_program in (yet?) < 1259823697 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :I'm talking about non-trivial ones, so we can't have solve_halting_program(_) = true < 1259823940 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1259823964 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :DUNNO ??? < 1259823983 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :don't know what to think or say < 1259824007 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :;_; < 1259824512 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :madbrain, I have been thinking about this a lot < 1259824527 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :to make sense of wha tyou said < 1259824581 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :dunno, I just looked up a website about the halting problem proof and went "that is neat" < 1259824589 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :and that's it < 1259824680 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1259824697 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :so you don't really want to think about it beyond that I guess < 1259824802 0 :madbrain!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1259825662 0 :madbrain!unknown@unknown.invalid QUIT :"Radiateur" < 1259825735 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259825757 0 :MizardX!i=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1259825786 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :that sucked :/ < 1259826635 0 :bsmntbombdood!n=gavin@97-118-189-194.hlrn.qwest.net JOIN :#esoteric < 1259826705 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :hi bsmntbombdood < 1259826711 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1259826851 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :"The halting problem describes why computers can't easily avoid crashing, or rather, why they can't predict when they are about to crash and ..." BULLSHIT! < 1259826897 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :? < 1259826924 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :madbrain was talking about halting problem and got me interested but he's to busy/smart/clever to talk to me about it < 1259827199 0 :clog!unknown@unknown.invalid QUIT :ended < 1259827200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1259827604 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood I got snow crash < 1259827684 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://www.youtube.com/watch?v=w93Z1M2r7SA < 1259827711 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :quantumEd: BTW, the halting problem is actually solvable for commonly available computers. (theoretically, not practically) < 1259827715 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i would have loved to see sabbath back then < 1259827745 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :because commonly available computers have finite memory, etc < 1259827747 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(hooray, not actually having Turing machines) < 1259827874 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :it takes something like 2**n memory though on a von neumann with n bits of ram < 1259827891 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :and even more time < 1259827940 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :if you get simply typed lambda calculus and add booleans (and if) and omega (some diverging term), you can also add a halts function (but not implement it in this language, it has to be implemented in the interpreter) < 1259827972 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :iommi's a fucking beast < 1259828171 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: Sounds about right. < 1259828189 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :I thought about adding (typed) codes for terms of the language and recursion operators for them, but there's bubbles that don't go away so it doesn't seem to work. maybe something first order would work (yuo can only have base types on the left of an arrow) < 1259828237 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :you would have to end up with a language that can express its own halting predicate but not the liar program < 1259828267 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :there's nothing about the liar program afaict that actually has anything to do with turing completenss < 1259828969 0 :quantumEd!unknown@unknown.invalid PRIVMSG #esoteric :am I right ? wrong ? just totally trivial observation ?? < 1259830319 0 :jpc!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259835335 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1259836636 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1259837605 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1259838553 0 :MigoMipo!n=MigoMipo@62.119.155.253 JOIN :#esoteric < 1259840542 0 :fizzie`!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840542 0 :Ilari!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840543 0 :MigoMipo!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840543 0 :MizardX!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840543 0 :coppro!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840543 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840544 0 :sebbu!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840545 0 :AnMaster!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840545 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840545 0 :FireFly!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840546 0 :oklofok!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840547 0 :dbc!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840547 0 :puzzlet!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840547 0 :rodgort!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840547 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840547 0 :uorygl!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840548 0 :augur!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840548 0 :cal153!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840548 0 :yiyus!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840549 0 :olsner!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840549 0 :Cerise!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840549 0 :ineiros!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840550 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840550 0 :SimonRC!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840551 0 :bsmntbombdood!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840551 0 :lifthrasiir!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840551 0 :Slereah_!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840551 0 :pikhq!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840551 0 :Rembane!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840552 0 :Gregor!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840552 0 :mtve!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840640 0 :quantumEd!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840640 0 :sunrider!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840641 0 :HackEgo!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840641 0 :mycroftiv!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1259840654 0 :MigoMipo!n=MigoMipo@62.119.155.253 JOIN :#esoteric < 1259840654 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1259840654 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1259840654 0 :bsmntbombdood!n=gavin@97-118-189-194.hlrn.qwest.net JOIN :#esoteric < 1259840654 0 :MizardX!i=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1259840654 0 :lifthrasiir!i=pxdwlfdb@haje12.kaist.ac.kr JOIN :#esoteric < 1259840654 0 :augur!n=augur@216-164-33-76.c3-0.slvr-ubr2.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1259840654 0 :Slereah_!n=Slereah@ANantes-259-1-144-54.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1259840654 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1259840654 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1259840654 0 :oklofok!n=oklopol@a91-153-117-63.elisa-laajakaista.fi JOIN :#esoteric < 1259840654 0 :pikhq!n=pikhq@r02jjw8v9.device.mst.edu JOIN :#esoteric < 1259840654 0 :Deewiant!n=deewiant@kosh.hut.fi JOIN :#esoteric < 1259840654 0 :Rembane!i=rembane@83.168.206.7 JOIN :#esoteric < 1259840654 0 :fizzie`!i=fis@iris.zem.fi JOIN :#esoteric < 1259840654 0 :cal153!n=cal@c-69-181-46-213.hsd1.ca.comcast.net JOIN :#esoteric < 1259840654 0 :yiyus!i=12427124@je.je.je JOIN :#esoteric < 1259840654 0 :sebbu!n=sebbu@ADijon-152-1-42-206.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1259840654 0 :dbc!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1259840654 0 :olsner!n=salparot@h-60-96.A163.priv.bahnhof.se JOIN :#esoteric < 1259840654 0 :Gregor!n=gregor@65.183.185.22 JOIN :#esoteric < 1259840654 0 :SimonRC!n=sc@fof.durge.org JOIN :#esoteric < 1259840654 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1259840654 0 :Cerise!i=jerry@unaffiliated/cerise JOIN :#esoteric < 1259840654 0 :rodgort!n=rodgort@li14-39.members.linode.com JOIN :#esoteric < 1259840654 0 :lament!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1259840654 0 :Ilari!n=user@a88-113-39-59.elisa-laajakaista.fi JOIN :#esoteric < 1259840654 0 :ineiros!n=itniemin@james.ics.hut.fi JOIN :#esoteric < 1259840654 0 :mtve!n=nnnnnmtv@65.98.99.53 JOIN :#esoteric < 1259840654 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1259840654 0 :uorygl!n=warrie@lunch.normish.org JOIN :#esoteric < 1259840679 0 :HackEgo!n=HackEgo@codu.xen.prgmr.com JOIN :#esoteric < 1259840697 0 :mycrofti1!n=infernus@h69-128-47-243.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1259840702 0 :MizardX-!i=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1259840749 0 :MizardX!unknown@unknown.invalid QUIT :Success < 1259840760 0 :MizardX-!unknown@unknown.invalid NICK :MizardX < 1259840805 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1259840930 0 :quantumEd!unknown@unknown.invalid QUIT :Remote closed the connection < 1259840947 0 :quantumEd!n=somebody@unaffiliated/fax JOIN :#esoteric < 1259841126 0 :sunrider!n=kosmic@unaffiliated/spice JOIN :#esoteric < 1259841567 0 :ais523!i=93bcc029@gateway/web/freenode/x-qbvdfjifjkeimpjl JOIN :#esoteric < 1259842751 0 :sebbu2!n=sebbu@ADijon-152-1-4-250.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1259843502 0 :MigoMipo!unknown@unknown.invalid QUIT :"When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net" < 1259843628 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259844349 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Thought for the day: Oh, definitely. C++ may not be the worst programming language ever created, but without a doubt it's the worst ever to be taken seriously. < 1259844699 0 :ais523!unknown@unknown.invalid QUIT :"Page closed" < 1259846337 0 :sebbu!n=sebbu@ADijon-152-1-40-239.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1259847015 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259848407 0 :MigoMipo!n=MigoMipo@62.119.155.253 JOIN :#esoteric < 1259850892 0 :adu!n=ajr@pool-71-241-254-143.washdc.fios.verizon.net JOIN :#esoteric < 1259851317 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1259851827 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1259852733 0 :quantumEd!unknown@unknown.invalid QUIT :"Leaving" < 1259853069 0 :Leonidas!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259853269 0 :Leonidas!n=Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1259853371 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259853876 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1259854011 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : it takes something like 2**n memory though on a von neumann with n bits of ram < 1259854046 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, you only need a slight amount of extra memory. what you need is 2**n _time_ however < 1259854142 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(double memory or so to do a step count, i think) < 1259854164 0 :adu!unknown@unknown.invalid QUIT : < 1259854338 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, iwc < 1259854403 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, what is this operation that takes 2**n timer? < 1259854406 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :time* < 1259854422 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :halting check for a finite machine < 1259854443 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(by some other machine) < 1259854474 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1259854494 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :2**n is the maximum amount of steps before it starts repeating itself < 1259854582 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders how to get field width correct for printf() when using utf-8. Basically stuff like %10s checks bytes
< 1259854587 0 :coppro!unknown@unknown.invalid QUIT :Remote closed the connection < 1259854588 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not actual chars < 1259854758 0 :MigoMipo!unknown@unknown.invalid QUIT :"When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net" < 1259855157 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: %10R in Plan 9 C, "give up" otherwise. < 1259855180 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, wprintf() and setlocale(LC_CTYPE, "") < 1259855181 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that worked < 1259855187 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmkay. < 1259855188 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :of course now I have to deal with wchar_t instead < 1259855193 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :which is no fun < 1259855224 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, issue: this code is supposed to be portable C89 though < 1259855235 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and possibly even work on windows (ugh) < 1259855260 0 :augur!n=augur@129-2-175-79.wireless.umd.edu JOIN :#esoteric < 1259855339 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Give up. < 1259855366 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :meh < 1259855374 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Only C99 possesses functioning UTF-8 support. < 1259855385 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, maybe a C89/C99 polygot? < 1259855388 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :with preprocessor < 1259855394 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and Plan 9 C. < 1259855398 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :still it breaks char constants < 1259855400 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :But, then, they invented UTF-8. < 1259855403 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :like L"åäö" < 1259855411 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yeah that is L for wchar_t < 1259855418 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION nods'
< 1259855439 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :there is no way I can use the preprocessor to add/get rid of it I think < 1259855446 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, I can't think of one at least < 1259855484 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's impossible with the C preprocessor. < 1259855533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, indeed < 1259855543 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :a macro maybe? to do L/non-L < 1259855548 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :no wouldn't work < 1259855556 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :a string is no identifier < 1259855566 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so ## is out of question < 1259856127 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: D&D expanded strip >_< < 1259856231 0 :ais523!n=ais523@147.188.254.115 JOIN :#esoteric < 1259856241 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, indeed < 1259857181 0 :Asztal!n=asztal@host86-158-81-44.range86-158.btcentralplus.com JOIN :#esoteric < 1259857557 0 :jpc!n=jw@unaffiliated/javawizard2539 JOIN :#esoteric < 1259857807 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is unable to get wide char ncurses working
< 1259857835 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it just outputs *nothing*. It blanks the screen to put it in that cursor addressing mode (as expected) but then nothing else works (not expected) < 1259859683 0 :poiuy_qwert!n=poiuy_qw@174-137-229-165.ip.tor.radiant.net JOIN :#esoteric < 1259860580 0 :MigoMipo!i=kvirc@95.209.105.159.bredband.tre.se JOIN :#esoteric < 1259860970 0 :mycrofti1!unknown@unknown.invalid NICK :mycroftiv < 1259861785 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :hey, hows everyone doing? < 1259861864 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the same thing we do every day poiuy_qwert < 1259861882 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :tring to take over the world? < 1259861889 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :trying* < 1259861899 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i can neither confirm nor deny that < 1259861956 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1259862889 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259864175 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, it must be a bit annoying to write your nick every time you login somewhere? < 1259864197 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :nope, very easy < 1259864236 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Well, I see the pattern of course, but I've never liked writing qwerty on qwerty, I think it's easier to write a word where the keys are evenly distributed between the hands and so on < 1259864303 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :well i just slide my finger along the buttons, so its almost like only pressing 3 keys, p... _ q... < 1259864321 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or you could use a 10 finger approach < 1259864324 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries that and it just feels _wrong_
< 1259864330 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1259864407 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :lrcgfZåäöpy < 1259864418 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, I forgot I'm not using Qwerty < 1259864431 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I just have the physical keys setup like that < 1259864436 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION forgets
< 1259864649 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1259866203 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh i see < 1259866211 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so you don't need to check for repeating states at all < 1259866257 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1259866297 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not directly, no < 1259867282 0 :Gracenotes!unknown@unknown.invalid QUIT :Remote closed the connection < 1259870175 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1259870849 0 :ais523!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259871511 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : well i just slide my finger along the buttons, so its almost like only pressing 3 keys, p... _ q... <-- you have a laptop or possibly a flat desktop keyboard I presume? < 1259871533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :there is no way sliding works well on anything like a classical PC keyboard < 1259871578 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :I have a MacBook pro, which is one of the less easy keyboards to slide along, but i've only seen like 1 keyboard in person that couldn't do it effectively < 1259871599 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, I was thinking along the lines of "model m" < 1259871623 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :I don't know what that is, gotta google it :P < 1259871629 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, svorak? < 1259871653 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :ah yes those ones. who has those anymore? ;P < 1259871655 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, think "clicky keyboard" < 1259871672 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, well I have something similar but not clicky. Membrane sadly < 1259871687 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :still it is impossible to slide on it < 1259871716 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :i see, well i still dont even find it bad to type my name, but thats probably because i'm more of a two finger typer < 1259871722 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well not that type of membrane < 1259871729 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :rubber caps I meant < 1259871735 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :below the real keys < 1259871756 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh yes, "dome switch" is the real name < 1259871770 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster, correct < 1259871780 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :easy to mix them up < 1259871781 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :imo < 1259871792 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, two fingers? eww < 1259871809 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION use four on each hand usually. Sometimes all
< 1259871836 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, next I guess you are going to say you aren't touch typing! < 1259871836 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Four on each hand, thumbs for space < 1259871847 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Thumbs for other stuff is impossible :P < 1259871852 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, well yes I included "thumb for space" with those four < 1259871857 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Ah < 1259871858 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :well its not really two fingers, i just use my index fingers A LOT < 1259871875 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Well, I've started to touch type since I switched over to Svorak < 1259871876 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :touch typing> < 1259871889 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I forced myself to learning it at the same time, when I was anyway relearning it from scratch < 1259871905 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :poiuy_qwert, wikipedia it, it's some "rules" for which fingers to use for which buttons < 1259871932 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :ah, thats lame ;P < 1259871943 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :It's actually just columns.. the index fingers are for six letter keys each, the rest are for three each < 1259871957 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, no it isn't < 1259871961 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :No? < 1259871964 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well those are a part of it < 1259871980 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but I meant it in the sense of not having to look at the keyboard to type < 1259871987 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Ah < 1259871988 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :which is the other part of it < 1259871995 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Well, I've done that a long time anyway < 1259871996 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :isn't it the one where they tell you to start with your fingers all position on a,s,d,f,space space,j,k,l,;? < 1259872009 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, that's the home row < 1259872013 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :don't you do that anyway? < 1259872021 0 :|MigoMipo|!i=kvirc@95.209.56.159.bredband.tre.se JOIN :#esoteric < 1259872021 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, not really, not when using emacs < 1259872027 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :yeah, i do it somewhat, but i find it easier to just go with the flow < 1259872031 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Touch_typing <-- that image there tells most of it (about the layout related stuff, that is) < 1259872059 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, they should stop using slanted rows IMO < 1259872062 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I usually stay with my fingers at aoeu htns (the dvorak home row), much more than I did when I used Qwerty < 1259872069 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :BeholdMyGlory agrees with you, AnMaster < 1259872078 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, oh? < 1259872099 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also s/rows/columns/ < 1259872100 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :of course < 1259872112 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Slanted rows would be really, really strange < 1259872125 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1259872132 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, s/strange/so ergonomic you can charge the double price/ < 1259872156 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but seriously I think a split keyboard would be really nice < 1259872160 0 :BeholdMyGlory!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: You mean something like http://www.ergoff.se/produkter/ez_reach ? < 1259872170 0 :BeholdMyGlory!unknown@unknown.invalid PRIVMSG #esoteric :With the columns that is. < 1259872190 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well maybe. I think that key placement looks strange < 1259872221 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :BeholdMyGlory, I was considering qwerty or dvorak style but not slanted columns. < 1259872232 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or if slanted, slanted symetrically < 1259872242 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :around the middle < 1259872454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wants an model m terminal keyboard
< 1259872460 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :why? Just because it looks so impressive < 1259872498 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1259872512 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :alright im gone, later! < 1259872515 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cya < 1259872521 0 :poiuy_qwert!unknown@unknown.invalid PART #esoteric :? < 1259873151 0 :MigoMipo!unknown@unknown.invalid QUIT :Connection timed out < 1259874163 0 :jpc!unknown@unknown.invalid QUIT :"Leaving." < 1259874170 0 :jpc!n=jw@c-76-23-28-244.hsd1.ut.comcast.net JOIN :#esoteric < 1259874642 0 :sebbu2!n=sebbu@ADijon-152-1-33-97.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1259874675 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1259875109 0 :BeholdMyGlory_!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1259875119 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1259875152 0 :BeholdMyGlory_!unknown@unknown.invalid NICK :BeholdMyGlory < 1259875372 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: chebyshev's inequality is actually one of my this week's homework problems :D < 1259875377 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :assuming you read logs < 1259875394 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or actually even if you don't < 1259875420 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : < 1259875513 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259875516 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :garliccccccccccc < 1259875774 0 :iamcal!n=cal@c-69-181-46-213.hsd1.ca.comcast.net JOIN :#esoteric < 1259875925 0 :MigoMipo!i=kvirc@79.138.181.102.bredband.tre.se JOIN :#esoteric < 1259876243 0 :poiuy_qwert!n=poiuy_qw@74.13.126.140 JOIN :#esoteric < 1259876288 0 :sebbu!n=sebbu@ADijon-152-1-65-196.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1259876961 0 :cal153!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1259877125 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1259877253 0 :|MigoMipo|!unknown@unknown.invalid QUIT :Connection timed out < 1259878298 0 :MigoMipo!unknown@unknown.invalid QUIT :"co'o rodo" < 1259878339 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1259879020 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, agreed < 1259879063 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :garlic is one of the most important, nay fundamental, components of a well balanced and well designed meal < 1259879201 0 :poiuy_qwert!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1259879223 0 :fizzie`!unknown@unknown.invalid PRIVMSG #esoteric :Hey, there after my nickname. < 1259879229 0 :poiuy_qwert!n=poiuy_qw@74.13.126.140 JOIN :#esoteric < 1259879233 0 :fizzie`!unknown@unknown.invalid PRIVMSG #esoteric :s/ere/ere's some fly droppings/ < 1259879238 0 :fizzie`!unknown@unknown.invalid NICK :fizzie < 1259879297 0 :fungot!n=fungot@momus.zem.fi JOIN :#esoteric < 1259879324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :argh mouse speed < 1259879325 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :is odd < 1259879338 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :when switching client/servers of synergy < 1259879362 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :laptop speed is fine, desktop speed is too fast < 1259880462 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1259880955 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :night < 1259881111 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1259881250 0 :Halph!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1259881516 0 :Halph!unknown@unknown.invalid NICK :coppro < 1259882164 0 :Tomsik_!n=Tomsik@bbs170.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1259882218 0 :Aedolon!n=jonas@82-168-4-18.ip.telfort.nl JOIN :#esoteric < 1259882651 0 :Aedolon!unknown@unknown.invalid PRIVMSG #esoteric :CAN HAZ STDIO? < 1259882846 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION gives Aedolon STDIO
< 1259883866 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ais523: also the proof is a one-liner < 1259884395 0 :Tomsik_!unknown@unknown.invalid QUIT :"Thus spoke Tomsik" < 1259884628 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :has anyone ever made an IRC bot written in an esoteric language? < 1259884647 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1259884654 0 :poiuy_qwert!unknown@unknown.invalid PRIVMSG #esoteric :which language?