< 1194825662 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1194825692 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hmm < 1194825693 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I fixed that. < 1194826067 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :my feets < 1194826070 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :they have pain < 1194826157 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1194826411 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Te duelen los pies. < 1194826420 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :You hurt the feet. < 1194826541 0 :meowfish!i=9a14851e@gateway/web/cgi-irc/ircatwork.com/x-90318af187196a1d JOIN :#esoteric < 1194826628 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi meowfish < 1194826676 0 :meowfish!unknown@unknown.invalid PRIVMSG #esoteric :Hello < 1194826706 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Ello. < 1194827453 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1194827560 0 :Tritonio_!unknown@unknown.invalid NICK :Tritonio < 1194828016 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ircatwork.com has to be the lamest dmoain ever < 1194828652 0 :ehird`!unknown@unknown.invalid QUIT :"... and now I'm gone" < 1194828666 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :meowfish < 1194828670 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :is that like twofish? < 1194829194 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Is it IRC at work or IR cat work? < 1194829212 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :(One fish, two fish, meowfish, moo fish?) < 1194829232 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :IRCAT work. < 1194829242 0 :ihope__!i=47cd643b@gateway/web/cgi-irc/ircatwork.com/x-9e4da9b078715438 JOIN :#esoteric < 1194829251 0 :ihope__!unknown@unknown.invalid QUIT :Client Quit < 1194829258 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :What's an IRCAT, I wonder... < 1194829272 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Is it an infrared cable-Atlantic trans? < 1194829290 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Which, I suppose, is a weird way of saying "infrared trans-Atlantic cable"? < 1194829308 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Infrared Red Cable Automatically Terminated < 1194829320 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1194829327 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Even less sense. :) < 1194829405 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :It's clearly an Irradiated Residue Connector/Auxiliary Transmitter. < 1194829590 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :It functions as an auxiliary transmitter when placed in proximity to an irradiated residue receiver. < 1194831266 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :IRCAT, CueCat's succesor < 1194832112 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :df -h < 1194832114 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1194833136 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1194833754 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194834925 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Who would be kind enough to join me in proving that 1+1=3? < 1194835234 0 :ihope__!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1194835272 0 :ihope_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194835418 0 :Tritonio!unknown@unknown.invalid QUIT :Remote closed the connection < 1194837374 0 :immilinux!n=alex@125-238-252-205.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1194837403 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: easy to d < 1194837447 0 :ihope__!unknown@unknown.invalid QUIT :"http://tunes.org/~nef/logs/esoteric/06.08.09" < 1194837512 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194837600 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :First, we assume e*e=e^3. :p < 1194838279 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :excuse me? < 1194838286 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :e*e*e=e^3 < 1194838306 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :immilinux: If e*e=e^3, 1+1 must =3. ;p < 1194838402 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :oh and in case nobody worked it out, i am immibis, using linux. < 1194838414 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :not 1+1 < 1194838497 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :if = = == then !(e&(~1)) < 1194838510 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :1+1 is irrelevant to exponents. < 1194838515 0 :immilinux!unknown@unknown.invalid QUIT :"Lost terminal" < 1194838536 0 :immilinux!n=alex@125-238-252-205.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1194838558 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hit alt-f4 as he was playing around with hotkeys in irssi. D'oh!
< 1194838576 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :oh and does anyone know of a way to make an Xboo GBA multiboot cable out of paperclips? < 1194839005 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I'm certain it's possible < 1194839046 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :e*e=e^3 < 1194839053 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ln(e*e)=ln(e^3) < 1194839055 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :1+1=3 < 1194839057 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :QED. < 1194839057 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1194839119 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :e*e = e^3? wtf? < 1194839131 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: It obviously doesn't. < 1194839149 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I was making the point that if you assume e*e=e^3, then 1+1=3. < 1194839154 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :reductio ad absurdum? < 1194839193 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, I got started on this train of thought by asking for proofs that 1+1=3. :p < 1194839207 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1194839247 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric : "Reductio ad absurdum, which Euclid loved so much, is one of a mathematician's finest weapons. It is a far finer gambit than any chess gambit: a chess player may offer the sacrifice of a pawn or even a piece, but a mathematician offers the game." < 1194839400 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Of course, if you assume 1+1=3, then 1+1=3. :p < 1194840176 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: it certainly is if 1 == 1.5. < 1194840786 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :but how do i make a gba Xboo multiboot cable out of paperclips? < 1194840812 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :i also have some wires, resistors and capacitors of various sizes, and a few other bits and pieces if they're needed. < 1194841010 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :my main problem is how to keep the paperclips/wires/whatever stuck to the pins. < 1194841030 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :and i DO NOT have a gba multiplayer cable. < 1194841976 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :hello? < 1194842120 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Got solder? < 1194842662 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :no < 1194842674 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :just paperclips, wires, and some other bits and pieces. < 1194842838 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :would tape work? < 1194843186 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :"immilinux" "hit's alt-f4" and closes? < 1194843227 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :hits < 1194843240 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1194843310 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :well i guess some lesser window managers immitate windows keybindings < 1194843346 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1194843709 0 :bsmntbombdood!i=gavin@rrcs-67-52-47-67.west.biz.rr.com JOIN :#esoteric < 1194843872 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :gnome is a lesser window manager < 1194843910 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Not-ratpoison is a lesser window manager. < 1194843937 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i haven't used ratpoison < 1194843946 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :anyway, i'm completely happy with my current one < 1194844391 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :which is? < 1194844416 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: kde does the same. < 1194844491 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :and its the most active - and therefore most likely one of the most popular - window managers/desktop environments around. < 1194844595 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :also does anyone know how to make cpuspeed slow down my cpu when the computer gets really hot? < 1194844678 0 :meowfish!unknown@unknown.invalid QUIT :"CGI:IRC (Session timeout)" < 1194844725 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION turns down the cpu to 1.06 ghz and the temperature drops 20 degrees almost instantly.
< 1194845345 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1194847289 0 :bsmntbombdood!i=gavin@rrcs-67-52-47-67.west.biz.rr.com JOIN :#esoteric < 1194847319 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :immilinux: ion3 < 1194847392 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :and why is ircbrowse down < 1194847513 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1194847548 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ircbrowse.com < 1194847583 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :what is ion3? < 1194847618 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :a window manager < 1194847762 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :the window manager i use < 1194847801 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :and you mention it here in response to what? < 1194847865 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :uuuuh < 1194847880 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric : anyway, i'm completely happy with my current [window manager] one < 1194847883 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric : which is? < 1194848865 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1194848911 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :i ran several commands in the interval between when i said that and when you responded, and it scrolled off the top of the terminal emulator. < 1194848947 0 :immilinux!unknown@unknown.invalid PRIVMSG #esoteric :and i didn't work out how to scroll the message list until just after i wrote the previous message < 1194849128 0 :immibis!n=immibis@125-238-252-205.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1194849145 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1194849146 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1194852187 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1194852742 0 :oklofok!i=c0676204@gateway/web/cgi-irc/ircatwork.com/x-70ffb49d5a8d4b18 JOIN :#esoteric < 1194852759 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :mwahahaha < 1194852775 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :TODE has been bloatified! < 1194852776 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :http://vjn.fi/mb/?p=TODEx < 1194852818 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure this can be implemented without an AI, but... it's pretty great anyway < 1194853066 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :typed in apt-get install intercal for fun, there was one :O < 1194853091 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, also unlambda < 1194853137 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :and on fedora? < 1194853354 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :on fedora? < 1194853379 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, how do i list downloaded packages? < 1194853488 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :immibis: what happened to toBogE? i miss it < 1194853586 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, class is over, cya -> < 1194853604 0 :oklofok!unknown@unknown.invalid QUIT :"CGI:IRC 0.5.9 (2006/06/06)" < 1194853932 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :MMIX's register pushing and popping is SO EFFING COMPLICATED < 1194853995 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Try 1: Failure. Try 2: Failure. Try 3: Failure. WTF, am I incapable of reading pseudocode? < 1194854222 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: remind me tomorrow < 1194854224 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :oops he left < 1194854258 0 :immibis!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. If you can't laugh at yourself, mak < 1194854399 0 :clog!unknown@unknown.invalid QUIT :ended < 1194854400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1194855579 0 :bsmntbombdood!i=gavin@rrcs-67-52-47-67.west.biz.rr.com JOIN :#esoteric < 1194855595 0 :immilinux!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194861470 0 :Tritonio!n=Tritonio@150.140.226.157 JOIN :#esoteric < 1194861499 0 :Tritonio!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1194867392 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Hello. < 1194872526 0 :ehird`!n=elliott@user-544158a3.l5.c5.dsl.pol.co.uk JOIN :#esoteric < 1194872544 0 :ehird`!unknown@unknown.invalid QUIT :Remote closed the connection < 1194872592 0 :ehird`!n=elliott@user-544158a3.l5.c5.dsl.pol.co.uk JOIN :#esoteric < 1194873356 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1194873361 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1194874124 0 :faxathisia!n=more@137.195.250.2 JOIN :#esoteric < 1194874134 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I found a subleq self interpreter < 1194874136 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :http://eigenratios.blogspot.com/2006_08_31_archive.html < 1194874171 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oops it even on esolang wiki as well < 1194874443 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1194874446 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1194874564 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :did you read this eigenratios site? < 1194874584 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's amusing :"p < 1194875027 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :indeed it is < 1194875702 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1194875706 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what the world needs < 1194875712 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is a monospace font good for reading text < 1194875715 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :like on irc, you need a monospaced font < 1194875721 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but a terminal/code one is just yuck < 1194875726 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I quite like Luxi Mono < 1194875735 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :for editing code though < 1194875740 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm yes luxi mono is quite non-monospaced like while still being monospaced < 1194875796 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I guess what I'm saying is that most monospaced fonts are just typewriter-esque < 1194875807 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and I want a monospaced font for *reading text* < 1194876296 0 :faxathisia!unknown@unknown.invalid QUIT : < 1194877342 0 :Slereah-!n=Slereah@ANantes-252-1-12-111.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1194877394 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://www.radicaleye.com/lifepage/patterns/unitcell/ucdesc.html recursive life < 1194877412 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1194877654 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1194877678 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what is the simplest language that 1. is not TC 2. can be self-interpreted (eval doesn't count) < 1194877684 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :does one even exist? i think so < 1194878025 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194878139 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194878433 0 :jix!n=jix@dyndsl-080-228-187-203.ewe-ip-backbone.de JOIN :#esoteric < 1194881092 0 :faxathisia!n=more@137.195.250.2 JOIN :#esoteric < 1194882193 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :sick how things are named the same < 1194882197 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :like PsiLisp :/ < 1194882223 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's meant to be a reversible language but it's also some database thing\ < 1194882273 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird`, what is TC? < 1194882281 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Turing Complete. < 1194882286 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1194882296 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :thought it was some language that was called TC < 1194882375 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird`, well while malbolge is turing complete, why not write a malbolge interpreter in malbolge? < 1194882435 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if there is any sub-turing language capable of 'interesting' calculation within which a self interpreter can be written
< 1194882469 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1194883699 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Yes, there is. < 1194883721 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: Mind you, I have no proof or evidence, but I'm confident that there is ;) < 1194883962 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Re monospace: OS? < 1194883965 0 :faxathisia_!n=more@137.195.250.2 JOIN :#esoteric < 1194884014 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Simplest language that is not TC and can be self-interpreted: The operation 'x' outputs the character 'x' < 1194884051 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :No wait, better: < 1194884063 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :The operation 'x' is cat. < 1194884088 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :So stupidlang x.sl < x.sl > x2.sl ; cmp x.sl x2.sl ; $? == 0 < 1194884106 0 :faxathisia_!unknown@unknown.invalid PRIVMSG #esoteric :damn.. ircbrowse is down < 1194884136 0 :faxathisia!unknown@unknown.invalid QUIT :Nick collision from services. < 1194884212 0 :faxathisia_!unknown@unknown.invalid NICK :faxathisia < 1194884658 0 :sebbu!n=sebbu@ADijon-152-1-70-233.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1194884758 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :GregorR, is that a language? < 1194884771 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, broad definition then IMO ;) < 1194884822 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :First you'll need to make a definition for "language" < 1194885091 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1194885095 0 :jix!n=jix@dyndsl-091-096-034-245.ewe-ip-backbone.de JOIN :#esoteric < 1194885148 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: OK, let's say that doesn't count :P < 1194885181 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :[14:27] what is the simplest language that 1. is not TC 2. can be self-interpreted (eval doesn't count) < 1194885181 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :[14:28] does one even exist? i think so < 1194885190 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :without counting cat and similar. < 1194885196 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :"similar" < 1194885411 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ehird` is so vague < 1194885525 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Maybe he refered to the "The operation 'x' outputs the character 'x'" < 1194885735 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :The operation "RUN" reads a single 'x' outputs the character 'x' < 1194885752 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :emm.. it does have to be called 'x' doesn't it < 1194885805 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I seem to have a proclivity for writing scripts that cause Firefox to freeze. < 1194886022 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1194886138 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :at any rate GregorR proved it's possible < 1194886153 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but is there a more interesting or capable language with the property? < 1194886181 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: sheesh < 1194886185 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1194886713 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :firefox freezes when you're out of disk space < 1194887091 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well, as far as i understand the impossibility of interpreting many non-turing complete languages in themselves follows from what happens when you translate the proof of the halting problem to them < 1194887229 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :'many' or all < 1194887419 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :basically if the programs in the language always halt, and there is an interpreter which can run any program (still halting), and you have enough ways of composing programs to do the diagonalization the proof needs, then you end up with a contradiction < 1194887436 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :always halt != non-tc < 1194887440 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so there would be several ways out < 1194887459 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Um, always halt == non-TC < 1194887460 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :subset-of(non-tc, always halt) < 1194887461 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it could have non-halting programs without being tc < 1194887468 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Oh < 1194887472 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :there are non-TC languages with programs that do not halt < 1194887490 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: I thought you were being colloquial with your "!=" :P < 1194887495 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: 0x29A on the wiki is one, i proved < 1194887496 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :"composing programs to do the diagonalization the proof needs" - Which proof? < 1194887520 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and Subtle Cough too, sort of < 1194887520 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I never saw a diagonalization argument in anything relating to halting < 1194887542 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :subtle cough is, rather useless ;P < 1194887558 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: the proof of the halting problem is a diagonalization proof, indeed < 1194887562 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I've always wondered if there's a variation on subtle cough with one more func (That isn't the iota combinator ;)) that is TC < 1194887588 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm, oerjan is 0x29a not TC? < 1194887591 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :there's a bf->it translation < 1194887593 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: well I isn't that function, i recall :) < 1194887601 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: oh, i meant the functional subset < 1194887606 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1194887617 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Well, i is turing complete by itself < 1194887620 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(Iota, not identity) < 1194887627 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i meant identity < 1194887649 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's easy to add to Subtle Cough but gives nothing else, iirc < 1194887684 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :of coursen ot < 1194887687 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*ci is useless < 1194887691 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and *iX is also useless < 1194887735 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :back to the ways out: (2) a language could be too simple to allow composition of programs for diagonalization < 1194887774 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm, i guess that's about it < 1194887807 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i suppose GregorR's example is (2) < 1194887877 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what about regular expression languages? < 1194887928 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :without perly extensions, they would probably be too simple too, by the chomsky hierarchy < 1194887967 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :you would try to match against "a+b:aaaaaaaaab" or something? < 1194887982 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1194887999 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it probably won't have an interpreter < 1194888030 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :maybe there are some new operators to add which make it possible < 1194888036 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :although I have no idea what.. < 1194888069 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :regexps can't match regexps < 1194888076 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :case in point: balanced things of any sort. < 1194888078 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :QED < 1194888088 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and if you can't PARSE regexps, you can't RUN them < 1194888465 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194888983 0 :ehird`!unknown@unknown.invalid QUIT :Excess Flood < 1194888998 0 :ehird`!n=elliott@user-544158a3.l5.c5.dsl.pol.co.uk JOIN :#esoteric < 1194891103 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but repeated application of regexps could interpret regexps < 1194891142 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :do you have any example of it? < 1194891294 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :no but repeated string serach replacement is turing complete < 1194891308 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :so repeated regexp application is a superset of that and thus turing complete too < 1194891759 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :my regexp language supports this < 1194891781 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :syntax: either a\nb\nc or anything (including a\nb) < 1194891784 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if the first, < 1194891791 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :then run the regexp a with replacement b on c < 1194891794 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and evaluate that as code < 1194891809 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if the latter, well i don't know, but the first spec said if last-char == "." output the rest < 1194891810 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :otherwise error < 1194891824 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I conjecture that it is turing complete. < 1194891838 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Certainly, a BCT conversion would be tivial < 1194891848 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*trivial < 1194892359 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1194892378 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :first person to write BCT->thatlang converter wins a prize of ... something < 1194892382 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :probably useless ePoints < 1194892491 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :*wins internets < 1194893753 0 :cpressey!n=catseye@nsit-s227-147.uchicago.edu JOIN :#esoteric < 1194894730 0 :sebbu2!n=sebbu@ADijon-152-1-70-3.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1194895860 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194898157 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1194898157 0 :clog!n=nef@bespin.org JOIN :#esoteric < 1194898802 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194899389 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the game of life unit cell is that big... i thought it was like 10x10 :D < 1194899769 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: gregorr said cat a while back < 1194899771 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :not funny < 1194899771 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1194899797 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i read that, yeah, wasn't supposed to be funny though < 1194900875 0 :faxathisia!unknown@unknown.invalid QUIT : < 1194900949 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1194901399 0 :oerjan!unknown@unknown.invalid QUIT :"Gooed knight" < 1194902543 0 :SEO_DUDE!i=Deee@gateway/tor/x-5c0769dc9ed209b4 JOIN :#esoteric < 1194902631 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric < 1194904396 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric : >>>>++++++++++>>+>+>+[[->[-]++++++[<++++++++>-]>>>>]<<<<<[<[>+>+<<-]>.<<<< < 1194904396 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :<]>.>>+[-[<<<<<[+<<<<<]>>>>>>>[[-]>[<<+>+>-]<[>+<-]<[>+<-[>+<-[>+<-[>+<-[>+ < 1194904396 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :<-[>+<-[>+<-[>+<-[>+<-[>[-]>>>>+>+<<<<<<-[>+<-]]]]]]]]]]]>[<+>-]+>>>>>]<<<< < 1194904396 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :<[<<<<<]>>[>>>>>]++[-<<<<<]>>>>>>-]+>>>>>]<[>++<-]<<<<[<[>+<-]<<<<]>>>>>>>] < 1194904417 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :(factorials) < 1194904529 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :nice < 1194904544 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :now make it 3 lines so I can include "(factorials)" at the end of my sig ;) < 1194905562 0 :dbc!unknown@unknown.invalid PRIVMSG #esoteric :Feel free :P < 1194905625 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :3 72-char lines < 1194905802 0 :GregorR!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194905942 0 :EgoBot!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194906271 0 :cpressey!n=catseye@nsit-s227-32.uchicago.edu JOIN :#esoteric < 1194906589 0 :Tritonio!unknown@unknown.invalid QUIT :Remote closed the connection < 1194906783 0 :Tritonio!n=Tritonio@150.140.226.157 JOIN :#esoteric < 1194907821 0 :cpressey!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194907985 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :mega-someone-ping < 1194908037 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :wut < 1194908983 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1194909433 0 :Kahdloc!n=Crystals@c-75-66-221-181.hsd1.tn.comcast.net JOIN :#esoteric < 1194909464 0 :Kahdloc!unknown@unknown.invalid PRIVMSG #esoteric :say hello < 1194909534 0 :Kahdloc!unknown@unknown.invalid PART #esoteric :? < 1194909569 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hello bsmntbombdood. < 1194909574 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :meta ping #2 < 1194909576 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what < 1194909577 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*mega < 1194909583 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you pong'd, bsmntbombdood. < 1194909918 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :.... < 1194910098 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :jihad 4ever!! < 1194910245 0 :sebbu2!unknown@unknown.invalid QUIT :"@+" < 1194910727 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i got bored so i tried to write a ridiculously minimal yet usable chat protocol < 1194910737 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the spec is 117 lines in total, including whitespace etc < 1194910743 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and most of it is basically trivial < 1194910749 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1194910766 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so? < 1194910776 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :simplified-irc is trivial... < 1194910812 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sure, sure, but it's not anything like irc < 1194910828 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and barring a few things is pretty much usable < 1194910835 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(as a replcaement to irc) < 1194910840 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so? < 1194910844 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i dunno < 1194910849 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :no me importa < 1194910888 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :aaaw assballs i've got homework < 1194911199 0 :pikhq!n=pikhq@209.248.125.179 JOIN :#esoteric