< 1174435249 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is playing around with fuzzy string matching.
< 1174435258 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :to find typos. < 1174435374 0 :ShadowHntr!i=sentinel@wikipedia/Shadowhntr JOIN :#esoteric < 1174435441 0 :sebbu2!unknown@unknown.invalid QUIT :"@+" < 1174435632 0 :nazgjunk!unknown@unknown.invalid QUIT :Connection timed out < 1174435821 0 :FabioNET!unknown@unknown.invalid QUIT :Client Quit < 1174438052 0 :ShadowHntr!unknown@unknown.invalid QUIT :"End of line." < 1174440524 0 :mule|!i=mule@ppp-69-217-49-72.dsl.applwi.ameritech.net JOIN :#esoteric < 1174443837 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :odd < 1174443874 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :even < 1174443887 0 :mule|!unknown@unknown.invalid PRIVMSG #esoteric :prime < 1174443904 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :carmichael < 1174443929 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :cons M N = \a.aMN < 1174443940 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :car = \a.a(\bc.cIb) < 1174443949 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :wtf? < 1174444039 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :car (cons M N) == NIM? < 1174444054 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :eh.. < 1174444070 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think that should be car = \a.a(\bc.b) < 1174444083 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :it would seem... < 1174444092 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :this is from _the calculi of lambda conversion_, church < 1174444159 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1174444165 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :M and N are church numerals < 1174444170 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so it works < 1174444199 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, this isn't lambda_K calculus < 1174444214 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's in his lambda_I calculus perhaps? < 1174444229 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you beat me to it :) < 1174444259 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :except... < 1174444267 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :does it work if N is a cons? < 1174444316 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :no < 1174444335 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :car (cons (cons A B) M) == ABM < 1174444390 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think that is the wrong order < 1174444432 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it works if M is a cons but probably cdr would break then < 1174444573 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :anyhow pairing of church numerals can be done differently in a numerical way < 1174444592 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :say (M,N) = 2^M(2*N+1) < 1174444600 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :exponentionally? < 1174444602 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :might be harder to undo i guess < 1174444624 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it was just the simplest < 1174444633 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :2^M + 3^N < 1174444642 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you mean * < 1174444648 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1174444667 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or else you might have some hard mathematical problem < 1174444745 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or maybe not so hard < 1174444769 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hrm < 1174444797 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :I was always taught that you could only solve for one unkown per equation < 1174444822 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :but 2^M * 3^M can be solved for 2 < 1174444822 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :doesn't hold with integer equations < 1174444925 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :with reals and continuous functions you can show you cannot get more than one variable for sure, unless the function is at an extreme value < 1174445002 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because with two variables you can go between two points in two distinct paths < 1174445051 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and both paths must contain all intermediate values for the function - so the solution for an intermediate value cannot be unique < 1174445091 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but with only integers, you can jump over values < 1174445097 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1174445106 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :interesting predecessor function... < 1174445179 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :\a.3_3(a (\b.[Succ(3_1 b), 3_1 b, 3_2 b]) [1,1,1]) < 1174445206 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :3_n takes the nth element of a triple < 1174445221 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :thought so < 1174445233 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but you beat me to it again :) < 1174445419 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :he doesn't use 0 i see < 1174445440 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i suppose 0 cannot be constructed since it doesn't use its first argument < 1174445452 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :right < 1174445484 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :YOU PEOPLE AND YOUR LAMBDA CALCULI < 1174445489 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :DISGUST ME < 1174445490 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :he says positive, not not-negative < 1174445517 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :IS THAT A REQUEST? < 1174445523 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :It appears to be. < 1174445534 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :He's telling people who have lambda calculi to disgust him. < 1174445635 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1174445745 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ohh neat < 1174445765 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :par = \a.a (\b.3-b) 2 < 1174445776 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :par == 2 < 1174445781 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :par == 1 < 1174445807 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :and a-b is a (Pred) b < 1174445820 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :b (Pred) a, I mean < 1174445842 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hmph. 2+3 = 1+4 and 2+9 = 8+3 < 1174445938 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :...? < 1174445954 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and 2+15 = 16+1, 32+3 = 8+27 < 1174445964 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so 2^m + 3^n cannot work < 1174446055 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :those are all primes < 1174446069 0 :mule|!unknown@unknown.invalid PRIVMSG #esoteric :35 isn't prime? < 1174446075 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :except 35 < 1174446079 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :7 * 5 < 1174446090 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...or is this a different base? < 1174446103 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well they cannot be divisible by 2 or 3 < 1174446111 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, ordinary decimal < 1174446113 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh, i misread < 1174446120 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :* for + again < 1174446165 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and 259 has two forms too, although i haven't found both < 1174446182 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :just made Haskell list and sort < 1174446238 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :I'll try a proper program instead of a one-liner < 1174446249 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :this lambda_I calculus is too complicated < 1174446335 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah, it's even more esoteric than the usual one < 1174446879 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :whoa < 1174446948 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :it's possible to convert a combination into a number, and have a one-to-one mapping between them < 1174446961 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :certainly < 1174446987 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's just a bit more complicated < 1174447009 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well, actually, my 2^m(2n+1) does that i think < 1174447041 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :g\"odel numbers < 1174447044 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :make that 2^(m-1)(2n+1) < 1174447057 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :eh, < 1174447063 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :2^(m-1)(2n-1) < 1174447112 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but it can also be done with polynomials < 1174447136 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :(m+n)(m+n-1)-2n+2 < 1174447147 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i suppose < 1174447216 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :that's what's given here (for application) < 1174447271 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :essentially you put the (m,n)'s in a square infinite in two directions < 1174447285 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and then you count them along the diagonals < 1174447293 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :then you get something like that. < 1174447367 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's a standard way of showing that aleph_0 * aleph_0 = aleph_0 where aleph_0 is the cardinality of the natural numbers < 1174447432 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :more generally, the theorem that m*m = m for an infinite cardinality is equivalent to the axiom of choice < 1174447497 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think it was < 1174447747 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :I wonder why church even bothered with lambda_I calculus < 1174447781 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :the definition of lambda_K calculus is simpler < 1174447906 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1174447935 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :"it becomes clearly unreasonable the FN should have a normal form and N have no normal form" < 1174448104 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :he was trying to avoid lazy evaluation :D < 1174448137 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :dirty, dirty haskell < 1174448517 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :some theorems of the lambda_I calculus fail < 1174448849 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh boy, transfinite ordinals in the lambda_K calculus < 1174448873 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...I like, "procrastinated evaluation". < 1174448954 0 :ShadowHntr!i=sentinel@wikipedia/Shadowhntr JOIN :#esoteric < 1174448999 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but the lambda_I calculus is also dirty. Some theorems of linear logic fail. < 1174449010 0 :mule|!unknown@unknown.invalid PRIVMSG #esoteric :"procrastinated evaluation" : return result later; < 1174449011 0 :mule|!unknown@unknown.invalid PRIVMSG #esoteric :? < 1174449012 0 :mule|!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1174449031 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...something like that. < 1174449064 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :That was some of the point of my vaporware language Reaper. < 1174449100 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :I'd like to combine the advantages of lazy evaluation with eager evaluation. < 1174449116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :You know about lenient evaluation? < 1174449123 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...nope. < 1174449229 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :It evaluates most subexpressions in parallel. < 1174449244 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh man < 1174449250 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :there's a lambda-delta calculus too < 1174449260 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :This surprisingly gives it some of the advantages of lazy evaluation. < 1174449296 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :hmmm... you could evaluate different parts of the expression that can be evaluated... and wait for the rest to become available (in the form of unspecified arguments and stuff) < 1174449309 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...taking away the linearness of execution. < 1174449334 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :By being even _more_ eager, it doesn't give any particular subexpression the ability to cause an infinite loop for the whole program < 1174449371 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has a fetish for coroutines.
< 1174449442 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :TOO MUCH MAN TOO MUCH < 1174449478 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :THERE CAN NEVER BE TOO MUCH OF MAN < 1174449494 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AND STILL YOU HAVEN'T GOT TO SYSTEM F < 1174449509 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :delta M N is replaced be (\ab.ab) provided that M and N are in delta normal form and contain no free variables and M is not alpha convertable into N < 1174449516 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :SYSTEM F? < 1174449541 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :typed polymorphic lambda calculus < 1174449548 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :... < 1174449553 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :delta M M is replaced by (\ab.a(ab)) provided that M is in delta normal form and contains to free variables < 1174449863 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1174449882 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :seems like the lambda-delta calculus fixes some of the limitations of the lambda_K calculus < 1174449947 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :while still allowing throwing away arguments < 1174450045 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :IO has a neato macro-ish like execution. < 1174450056 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :non-strict functions < 1174450135 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :fun < 1174450155 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :the existential quantifier in the lambda-delta calculus < 1174450503 0 :_spaz!i=spaz@ppp-69-223-76-251.dsl.dytnoh.ameritech.net JOIN :#esoteric < 1174450522 0 :_spaz!unknown@unknown.invalid PART #esoteric :? < 1174450721 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://www-tech.mit.edu/V125/N65/coursevi.html < 1174451000 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh man, i hope this is a joke: http://public.research.att.com/~bs/whitespace98.pdf < 1174451295 0 :SevenInchBread!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1174451405 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :probably. it starts getting surreal from the "Previous work" section < 1174451443 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :And completely absurd in the next < 1174451561 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :And the "Overloading missing whitespace" section should leave not the slightest amount of doubt. < 1174451647 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :who knows, strousup is pretty crazy < 1174451727 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you must be heavily prejudiced to think he really means identifiers should be restricted to single UNICODE characters. < 1174452048 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact he stretches it so far i don't see why he should need the April Fool at the end. < 1174452104 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact you should already have been tipped off at the first April in the text. < 1174452203 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which i missed since i just browsed :) < 1174452235 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :me too < 1174452260 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the strange thing is that in another language the basic suggestion could have merit. < 1174460588 0 :GreaseMonkey!n=Greasemo@222-152-238-151.jetstream.xtra.co.nz JOIN :#esoteric < 1174460942 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Remote closed the connection < 1174461885 0 :Sgeo!unknown@unknown.invalid QUIT :"Leaving" < 1174461887 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i love it when someone writes a long article in a serious style as a joke :P < 1174462962 0 :GregorR!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1174462963 0 :tokigun!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1174462987 0 :GregorR!n=GregorR@c-24-22-56-63.hsd1.or.comcast.net JOIN :#esoteric < 1174462987 0 :tokigun!n=tokigun@haje8.kaist.ac.kr JOIN :#esoteric < 1174463068 0 :oerjan!unknown@unknown.invalid QUIT :"quite" < 1174463082 0 :tokigun!unknown@unknown.invalid QUIT :Connection reset by peer < 1174463087 0 :tokigun!n=tokigun@haje8.kaist.ac.kr JOIN :#esoteric < 1174463999 0 :clog!unknown@unknown.invalid QUIT :ended < 1174464000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1174464433 0 :ShadowHntr!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1174465192 0 :ShadowHntr!i=sentinel@wikipedia/Shadowhntr JOIN :#esoteric < 1174467469 0 :ShadowHntr!unknown@unknown.invalid QUIT :"End of line." < 1174467838 0 :GreaseMonkey!n=Greasemo@222-152-238-151.jetstream.xtra.co.nz JOIN :#esoteric < 1174468533 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://public.research.att.com/~bs/whitespace98.pdf < 1174468536 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :whoops < 1174471681 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :ok, gonna have to sleep now, gnight < 1174471821 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"vvgnight, and FU AUTORTB" < 1174476884 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i code xhtml in vim ;p < 1174476984 0 :jix!n=jix@dyndsl-091-096-043-233.ewe-ip-backbone.de JOIN :#esoteric < 1174477177 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174477790 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174477790 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1174479253 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1174481606 0 :helios24!i=helios@item.n1.helzilla.de JOIN :#esoteric < 1174481994 0 :nazgjunk!unknown@unknown.invalid QUIT :Connection reset by peer < 1174482024 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174483711 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1174483714 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174483748 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1174491721 0 :jix__!n=jix@dyndsl-080-228-177-138.ewe-ip-backbone.de JOIN :#esoteric < 1174492214 0 :jix!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1174493170 0 :ShadowHntr!i=sentinel@wikipedia/Shadowhntr JOIN :#esoteric < 1174496857 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174496873 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1174498637 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :nooga: funny nevertheless < 1174498806 0 :FabioNET!i=500@217.201.47.119 JOIN :#esoteric < 1174501090 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1174501102 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :it is NOT funny < 1174501193 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I was referring to the AFJ you posted, not the vim comment < 1174501232 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1174501263 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood posted it before me < 1174501557 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what < 1174501599 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :that article on whitespace < 1174501665 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1174501696 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I learnt an interesting thing in my computability class: < 1174501724 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :haha school < 1174501732 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :(no, uni) < 1174501739 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1174501759 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Any function can be computed as the minimisation of some primitive-recursive predicate. < 1174501770 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :this could lead to some interesing esolangs. < 1174501775 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :minimisation? < 1174501781 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1174501785 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what's that < 1174501804 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you have some predicate on Nat, and the minimisation is the smallest input that makes it return true < 1174501817 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :minimise :: (Nat -> Bool) -> Nat < 1174501851 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :minimise p = head $ filter p $ [0..] < 1174501902 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :And the predicate can be primitive recursive, a class that includes most useful terminating functions. < 1174501921 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :... including the bounded-time evaluator. < 1174501969 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so computation is based on the Nat -> Bool predicates? < 1174502106 0 :ShadowHntr!unknown@unknown.invalid QUIT :"End of line." < 1174502456 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :gar < 1174502468 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i want the P'' paper < 1174502583 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: yes < 1174502604 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :In computability theory, most data is Nat. < 1174502625 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :the only operations are succ, pred, and jnz < 1174502631 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hehehe < 1174502656 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :jnz? < 1174502659 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :since we only care about computability, the programs we write probably have lots of ackerman runtimes. < 1174502667 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and in ASM < 1174502674 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Jump if Non-Zero < 1174502681 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :*"as in ASM" < 1174502703 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ackermann runtime, that's pretty bad < 1174502717 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :I can't even imagine an algorithm being that slow < 1174502741 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :maybe I exaggerate < 1174502880 0 :FabioNET!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1174503091 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1174503454 0 :helios24!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1174504016 0 :helios24!i=helios@item.n1.helzilla.de JOIN :#esoteric < 1174505711 0 :sebbu!n=sebbu@ADijon-152-1-48-220.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1174507082 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174507337 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1174507482 0 :UpTheDownstair!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1174507617 0 :sebbu2!n=sebbu@ADijon-152-1-41-86.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1174507848 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174508085 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1174508800 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1174509702 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :SADOL raytracer looks cool :D < 1174509935 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.ca/405483 Kix ass < 1174510044 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i understand that completely < 1174510547 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1174510689 0 :SevenInchBread!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1174511825 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1174513916 0 :digital_me!n=digital@wikipedia/Digitalme JOIN :#esoteric < 1174514825 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1174514835 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174515133 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :What's a good HTTP server app? < 1174515594 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174516029 0 :death!n=htitan@tb-reh-1f0cf.adsl.wanadoo.nl JOIN :#esoteric < 1174516070 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :SevenInchBread: apache? < 1174516168 0 :death!unknown@unknown.invalid QUIT :Nick collision from services. < 1174516335 0 :foolzh!n=htitan@tb-reh-1f0cf.adsl.wanadoo.nl JOIN :#esoteric < 1174516349 0 :nazgjunk!unknown@unknown.invalid QUIT :Nick collision from services. < 1174516367 0 :foolzh!unknown@unknown.invalid NICK :nazgjunk < 1174516566 0 :UpTheDownstair!unknown@unknown.invalid QUIT :Connection timed out < 1174517265 0 :jix__!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1174517371 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :so... < 1174517387 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :how would you like... go about making an operating system? I'm having trouble knowing where to begin. < 1174517481 0 :Sgeo!n=sgeo@ool-18bf6ca9.dyn.optonline.net JOIN :#esoteric < 1174517542 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SevenInchBread: begin with writing some simple program that sits in the MBR, i suppose. < 1174517737 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...how would you do that? < 1174517945 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :lunix < 1174518387 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1174518664 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :http://lng.sourceforge.net/ < Lunix :P < 1174518702 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i was looking at that a while back < 1174518725 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :I really want to start work on an esoos < 1174518811 0 :nazgjunk!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1174518830 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is surprised there does not seem to be a Lunatix OS
< 1174519180 0 :sebbu!n=sebbu@ADijon-152-1-106-96.w86-218.abo.wanadoo.fr JOIN :#esoteric < 1174519338 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...I just... can't conceive of what a kernel program would look like... < 1174519468 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SevenInchBread: a big loop < 1174519483 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :or rather, not even < 1174519505 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SevenInchBread: the important kernel stuff sits on the timer interrupt < 1174519521 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SevenInchBread: and all it really has to decide is what program to switch to < 1174519559 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :add syscalls if you wish to implement any < 1174519566 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :syscalls are basically separate from the other stuff < 1174519632 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and you need some kind of memory manamegement system for your programs, that in the simplest case would just designate an area of memory for them to use when a program is ran. < 1174519641 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :that's basically it, the devil's in the details... < 1174519688 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1174519703 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1174519731 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :in its basic form it's like, fifteen lines of high-level code. < 1174519758 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I like the Synthesis kernel < 1174519776 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :It puts code together at runtime so it goes like a rocket < 1174519792 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :read up on it; the paper is very readable < 1174519830 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION finds
< 1174520022 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1174520051 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1174520768 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1174520983 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...I have found that many programs operate on the principle of a big loop < 1174521033 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :the kernel is basically a loop, but instead of an explicit loop it's a single piece of code repeatedly activated by the timer interrupt. < 1174521187 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...timer inrerruopt? < 1174521405 0 :SevenInchBread!unknown@unknown.invalid PRIVMSG #esoteric :...yeah, should read up on my hardware stuff.