< 1199233041 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, Slereah Overand oklopol others < 1199233042 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://trac2.assembla.com/psox/browser/trunk/ex/example_domain.py < 1199234069 0 :jix!unknown@unknown.invalid QUIT :Read error: 131 (Connection reset by peer) < 1199234274 0 :jix!n=jix@dyndsl-091-096-047-216.ewe-ip-backbone.de JOIN :#esoteric < 1199235486 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Bye all < 1199235557 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1199237508 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199237638 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199237936 0 :oklofok!n=chatzill@85-156-181-48.elisa-mobile.fi JOIN :#esoteric < 1199237945 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :mörning y'all < 1199237953 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's 2 AM here. < 1199237959 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :here too < 1199237962 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1199237964 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :4, < 1199237966 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1199237972 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :good mourning < 1199238004 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But mørning. < 1199238004 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i think it's coding time now. < 1199238023 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :lucky i found this computer < 1199238034 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :In your dreams? < 1199238046 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :...my dreams? < 1199238055 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it is 4 AM! < 1199238060 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::o < 1199238063 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh my god... < 1199238069 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :non ascii ...mileys < 1199238074 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*smileys... < 1199238076 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric ::ø < 1199238103 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i instaneously hate any client that has the option for that. < 1199238114 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :who wants to see a yellow idiot. < 1199238138 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :8--D < 1199238152 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Even if it's this little fellow? < 1199238156 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://www.encyclopediadramatica.com/%E0%B2%A0_%E0%B2%A0 < 1199238335 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :07:12:01 i wish i were as cool as you all <<< i love reading random #esoteric logs <3 < 1199238407 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it's a bit scary i usually remember every conversation < 1199238475 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :11:31:22 i guess if your head explodes from laughing that would a lollipop. < 1199238477 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :xD < 1199238496 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :waking people up here lolling. < 1199238511 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :guess i'm tired or something < 1199238514 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :OK, i'll stop now < 1199238956 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :heh, can't find a text editor in vista :) < 1199238957 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric : ) < 1199238983 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What, no Notepad? < 1199238998 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :no, just idiot user. < 1199239008 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :does someone have vista experience? < 1199239016 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1199239020 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :windows\! < 1199239026 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I didn't hear many good things from Vista. < 1199239030 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :windows, yes. < 1199239036 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So I'm not buying it. < 1199239055 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i saw this great link, think it was in the IWC forum... < 1199239079 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :found notepad < 1199239176 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :this was it: http://dotnet.org.za/codingsanity/archive/2007/12/14/review-windows-xp.aspx < 1199239265 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(+ a 0) {a} < 1199239267 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(+ a (S b)) {+ (S a) b} < 1199239268 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :[@-#2 @-#1] < 1199239293 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the syntax is mostly from graphica, which none of you know... but it's pretty intuitive ;-) < 1199239305 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the [...] is the part of interest < 1199239320 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it describes the mechanism to *reverse* addition < 1199239351 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The unholy process of substraction? < 1199239365 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :with an equation that finds the original params given the result and part of the params. < 1199239391 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: yes, but reversing subtraction is a bit more complex < 1199239399 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and real functions are *very* < 1199239464 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Very what? < 1199239510 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(- a 0) {a} < 1199239512 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(- (S a) (S b)) {- a b} < 1199239514 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :[@+#2 #1-@] < 1199239527 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :lol, was soooo hard to solve a-b=c for b xD < 1199239539 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :@ is the result. < 1199239550 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is this Oklotalk or something? < 1199239554 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :no < 1199239564 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :this is something we discussed earlier with hiato < 1199239564 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Reminds me of recursive functions. < 1199239573 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well, sure < 1199239581 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :With the silly f(a,b) notation for operatos < 1199239583 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the interesting part is the pattern matching thingie. < 1199239610 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm not reinventing the whole way we think about computation when i make a language... < 1199239678 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :numbers can be described with anything that can be inc'd, dec'd and checked for null, tuples offer a trivial way < 1199239688 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, multiplication and division < 1199239700 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or at least multiplication :-) < 1199239711 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :go forth and multiply! < 1199239724 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Even adders? < 1199239732 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I heard they need logs to multiply. < 1199239734 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :use a log table, silly! < 1199239763 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: much easier with peano arithmetic! thanks, why didn't i think of that... < 1199239786 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm... even divisors might be interesting when it comes to pattern matching... < 1199239802 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wlel, it is quite easy with Peano! < 1199239804 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Russell/Calc9.txt < 1199239821 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the pattern n@(_%3) would only pmatch numbers divisible by 3 < 1199239824 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I should finish that Peano calculator someday. < 1199239831 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :@ is what it is in haskell < 1199239854 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if division is only defined when numbers actually are divisible, that is. < 1199239909 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it'd be nice if that actually arose naturally from what i'm currently doing here... but i don't think it's possible to get even trivial stuff like that to work... < 1199239912 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :we'll see i guess < 1199239965 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(- 0 b) :( < 1199239970 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :nice syntax for failing? :P < 1199240486 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(/ a 0) (/ a@(a < 1199240487 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(/ 0 b) {0} (/ (a+b) b@(S bt)) {S a*bt} < 1199240489 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :{- a/b=c <=> a=bc <=> b=a/c -} < 1199240491 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :[@*b @/a] < 1199240499 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :shall i explain? < 1199240511 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i shall. < 1199240545 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :a function consists basically of patterns < 1199240553 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(...) is a pattern < 1199240576 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if a pattern matches the argument, the vars are set and the next {...} after that is evaluated < 1199240596 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :unless before that, a <> is found < 1199240603 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in which case the whole function fails. < 1199240617 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so, if it was used in a pattern match or something, that would fail. < 1199240632 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :now, division fails when a number is divided by another number bigger than it < 1199240640 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and, if you divide by zero < 1199240654 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :also, it's wrong... whoops < 1199240714 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :second line should be (/ 0 b) {0} (/ a (S 0)) {a} (/ (a+b) b@(S bt)) {S a/bt} < 1199240760 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so, zero divided by something is 0, something divided by one is something, and the last is the general case < 1199240771 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :notice the (a+b) pattern there < 1199240823 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it would first find b, which gets the value of the second arg, while bt get's that-1, after that, the a pattern (a+b) gets the value of b < 1199240834 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :now, we defined the inverse of addition earlier < 1199240842 0 :jix!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1199240843 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :that will be used to find the value of a for a given b < 1199240849 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :anyone at all interested? < 1199240884 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(a (Cons 1 (Cons 2 (Cons 3 Nil))) < 1199241223 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :basically just a way to use tuples for lists. < 1199241248 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :although in list cons is lowercase, but i guess not important < 1199241404 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*lisp < 1199242181 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(Qsort list@(Scramble (++ (lpart@(PivotBy <=! list pivot) < 1199242183 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric : pivot:rpart@@(PivotBy >! list pivot)))) {(Qsort lpart)++pivot:(Qsort rpart)} < 1199242184 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(PivotBy Test (Scramble list)@(Reduce (Test pivot) list) pivot) {list} < 1199242197 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :xD < 1199242211 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i have to rethink a bit ;) < 1199242235 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but, i think it's entirely possible to do quicksort by pattern matching, guess i should see how prolog does it < 1199242271 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the part to notice there is lpart++pivot:rpart, letting the interps choose how to cut it :D < 1199242289 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :could be random by default, when ambiguous match. < 1199242309 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :also, @@->@ < 1199242369 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the function that scrambles a list in random order, Scramble, can be used to signify there is no information about the list's structure, and it can be bruteforced to fit the rest of the pattern < 1199242471 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :where the actual quicksort algo comes in, is that the brute force will instantly find the solution for a single step, since it knows the whole list needs to be cut in to rpart, pivot and lpart (defined in ++...) and the rules do not overlap < 1199242554 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but, requires a lot of increase in sophistication of course. < 1199242668 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, i could call Scramble Perm like prolog... would sound a bit less hacky :) < 1199242673 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hacky as in hack'y < 1199243211 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay, some operations are used for their failure detection, like < and == sometimes < 1199243217 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and others just for their result. < 1199243226 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :some operators, however, need both < 1199243246 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i was thinking n 3) < 1199243430 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :to get anything bigger than 3 in, and failing otherwise < 1199243824 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1199243891 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(Tobin 0) {0} (Tobin 1) {1} < 1199243893 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(ToBin n*!2) {0:(ToBin n)} < 1199243895 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(ToBin n*2) {1:(ToBin n)} < 1199243941 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :actually... < 1199243961 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i have no idea what it means for multiplication to be strict... :) < 1199244044 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, right... < 1199244067 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :non strict multiplication can produce either 4 or 5 when 2 is multiplied by 2 :) < 1199244692 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What's the difference between [a,b] and (a,b) on the snake? < 1199244708 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I suddenly get parenthesis when I was expecting some list brackets. < 1199244721 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :list, tuple < 1199244727 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in that order < 1199244763 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Why do I suddenly get tuples? < 1199244789 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i have no idea. < 1199244807 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :you obviously have () where you should have [] somewhere? < 1199244894 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I don't use use [] or (). < 1199244903 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Just sequence functions. < 1199244910 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1199244916 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But well, let's just cheat. < 1199244937 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1199244940 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :let's < 1199245032 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Poifect. < 1199245303 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[[['plus', ['n1', '0']], ['p', ['1', '1'], 'n1']], [['plus', ['n1', ['s', 'n2']]], ['s', [['p', ['3', '3'], ['n1', 'n2', ['plus', ['n1', 'n2']]]]]]]] < 1199245306 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thar. < 1199245311 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That should do it. < 1199245320 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Now, to make stuff with that. < 1199245343 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :p [1 1] n1? < 1199245356 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's from this : < 1199245357 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :plus(n1,0()) = p(1,1)(n1) < 1199245357 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :plus(n1,s(n2)) = s(p(3,3)(n1,n2,plus(n1,n2))) < 1199245393 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, aren't those trivial recursive functinos? < 1199245396 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :functions < 1199245449 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Primitive, even. < 1199245455 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :errr, right < 1199245465 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sounded a bit weird < 1199245485 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but all i could think was partial or trivial < 1199245949 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay, my second idea for the night < 1199245963 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :this is for Cise, my conciseness oriented lang < 1199245967 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Afl*2+ < 1199245969 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :1,0,0,1,1 -> 19 < 1199245970 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(((((1*2 + 1)*2 + 0)*2 + 0)*2 + 0)*2 + 1) < 1199245981 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Afl takes two functions, and a list < 1199246044 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it then makes the list's head "result", then continuously applies the first function to the list and combines it with the next element of the list with the second function < 1199246050 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :now, the beauty lies in parsing. < 1199246133 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so... < 1199246170 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Afl needs two functions as params. if it should parse what follows it as (Afl * 2), it would only get one function < 1199246177 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so it gathers 2 muct belong to * < 1199246191 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so, this becomes (Afl (* 2) +) < 1199246194 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :which is correct. < 1199246211 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :currying + prefix - spaces == rox < 1199246221 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :rox as in cool, i guess < 1199246241 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :also type inference to determine parsing :) < 1199246264 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :blah < 1199246301 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :you're not getting at al excited :-) < 1199246305 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*all < 1199246313 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :gonna do another invention -> < 1199246321 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :this time something totally awesome. < 1199247014 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, think i got it < 1199248736 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :10:33:34 people put in in the url in programming-related channels because of flooding < 1199248737 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :10:33:38 i don't think we ever had that problem < 1199249558 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Man. That primitive function idea is harder than originally thougt! < 1199249676 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1199249681 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i think i need to sleep a while. < 1199249684 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :cya -> < 1199249706 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Bye. < 1199249715 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Welcome to 2008. I will be your tour guide." < 1199250181 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1199255966 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199256722 0 :slereah_!n=Test4@82.126.90.152 JOIN :#esoteric < 1199256733 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1199256735 0 :Slereah!unknown@unknown.invalid NICK :slereah_ < 1199256756 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1199257826 0 :slereah_!n=Test4@82.126.90.152 JOIN :#esoteric < 1199258397 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :"It is not immediate that the predecessor function can be reduced to an iteration, and hence is representable in the ?-Calculus. It was Kleene [1935] who saw how to do this, apparently during a visit to the dentist." < 1199258399 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1199258892 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199260799 0 :clog!unknown@unknown.invalid QUIT :ended < 1199260800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1199263477 0 :faxathisia!n=more@amcant.demon.co.uk JOIN :#esoteric < 1199267000 0 :Hiato!n=Administ@dsl-245-15-242.telkomadsl.co.za JOIN :#esoteric < 1199267411 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Wassabi < 1199267784 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Oklopol, did you get time yesterday to start on the spec? Or were you too busy ;) (heh) < 1199268916 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1199275905 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1199275928 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think I dreamed about PSOX last night :/ < 1199276017 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1199276159 0 :jix!n=jix@dyndsl-091-096-047-216.ewe-ip-backbone.de JOIN :#esoteric < 1199276242 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi [PSOX] jix [MUST.. WORK.. ON.. PSOX!!!] < 1199276502 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I considered taking a hiatus from PSOX, but can't help thinking that I shouldn't do that until PSOX 1.0 < 1199276515 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1199276517 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :brb < 1199276518 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1199276546 0 :jix!n=jix@dyndsl-091-096-047-216.ewe-ip-backbone.de JOIN :#esoteric < 1199276621 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :wb < 1199276657 0 :helios_24c3!n=helios@p5489E956.dip.t-dialin.net JOIN :#esoteric < 1199276668 0 :helios_24c3!unknown@unknown.invalid QUIT :Connection reset by peer < 1199278463 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1199279795 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1199279812 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if he can finish the core of PSOX.py today
< 1199279822 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Then all that would be left is speccing and implementing the builtin domains < 1199280061 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1199280492 0 :pikhq_!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199280539 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199280592 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: kleene's dentist had this weird habit of removing all his teeth and then reinserting those that were healthy. < 1199283355 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1199283603 0 :RedDak!n=dak@host9-86-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1199283948 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi RedDak < 1199283956 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION makes healthy progress on PSOX
< 1199283968 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Although I'm starting to think that PSOX may be bad for my health < 1199284048 0 :mwizard!n=mwizard@dfs.mksat.net JOIN :#esoteric < 1199284074 0 :mwizard!unknown@unknown.invalid PART #esoteric :? < 1199289065 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :PSOX.py is for Python 2.5 now < 1199289361 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199289368 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199289965 0 :puzzlet!unknown@unknown.invalid QUIT :"Lost terminal" < 1199289985 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199290892 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1199291128 0 :pikhq_!unknown@unknown.invalid NICK :pikhq < 1199291196 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199291203 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199292060 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION just received this book : http://www.amazon.com/Undecidable-Propositions-Unsolvable-Computable-Functions/dp/0486432289/ref=pd_bbs_sr_1/002-0209491-2396801?ie=UTF8&s=books&qid=1191580925&sr=8-1
< 1199292122 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oh that looks well good < 1199292125 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I want that < 1199292199 0 :faxathisia!unknown@unknown.invalid QUIT :"Leaving" < 1199292290 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :The cover seems to be made of those m-functions of Turing < 1199292349 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199292604 0 :tesseracter!unknown@unknown.invalid QUIT :Remote closed the connection < 1199292624 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199292946 0 :oerjan!unknown@unknown.invalid QUIT :"Fnord, er Food" < 1199292985 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1199293129 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi pikhq < 1199293140 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Is it ok if PSOX.py requires Python 2.5? < 1199293218 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"No, start over!" < 1199293319 0 :pikhq_!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199293330 0 :pikhq!unknown@unknown.invalid QUIT :Nick collision from services. < 1199293335 0 :pikhq_!unknown@unknown.invalid NICK :pikhq < 1199293575 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199293579 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199293608 0 :wooby!n=wooby@62.192.133.146 JOIN :#esoteric < 1199293852 0 :wooby!unknown@unknown.invalid QUIT :Client Quit < 1199293890 0 :tesseracter!n=tesserac@pool-72-70-237-75.spfdma.east.verizon.net JOIN :#esoteric < 1199294582 0 :RedDak!n=dak@host9-86-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1199294910 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199294917 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199296553 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199296561 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199297273 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://trac2.assembla.com/psox/browser/trunk/impl/psox/psoxtypes.py < 1199297347 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Anyone awake? < 1199297384 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm typing in my sleep. < 1199299220 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1199299257 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if LL actually have enough cash to handle everyone withdrawing their L$ at once...
< 1199299345 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199299350 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199300980 0 :jix!n=jix@brmn-4d0ab08a.pool.mediaWays.net JOIN :#esoteric < 1199301904 0 :ihope!n=c748b94c@tapthru/resident/ihope JOIN :#esoteric < 1199301915 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Ello. < 1199301925 0 :ihope!unknown@unknown.invalid QUIT :Client Quit < 1199302011 0 :ihope!n=ihope@199.72.185.76 JOIN :#esoteric < 1199302017 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, that was interesting. < 1199302042 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess freenode and ircatwork don't like each other right now. < 1199302062 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, is there any hope of me being able to make an esolang based on knot theory? < 1199302267 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I'm considering tossing out the knots and making it links of unknots. < 1199302564 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or have a tape of "strings" forming an infinite braid. < 1199302568 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :re ihope < 1199302577 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is working on PSOX
< 1199302589 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I got psoxtypes.py down < 1199302599 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :First part of the implementation that's FINISHED < 1199302610 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://trac2.assembla.com/psox/browser/trunk/impl/psox/psoxtypes.py < 1199302611 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yay :-) < 1199302630 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Also, is http://trac2.assembla.com/psox/browser/trunk/impl/psox/fd.py sane? < 1199303276 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Oh, if you orient each unknot and span them with surfaces, you can count the number of times each unknot goes through each other unknot's surface and in which direction, and say that opposite directions cancel each other out... < 1199303378 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :There is a definate lack of ihope in Sine < 1199303438 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1199303503 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What was that CGI:IRC one? < 1199303857 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199303862 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199304266 0 :pikhq_!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199304279 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199304282 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199304348 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199304436 0 :pikhq_!unknown@unknown.invalid NICK :pikhq < 1199304760 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199304764 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199305026 0 :Jontte!n=joonas@88.195.10.216 JOIN :#esoteric < 1199307508 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199307715 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199307931 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1199307941 0 :jix!n=jix@brmn-4d0a888b.pool.mediaWays.net JOIN :#esoteric < 1199308279 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199308284 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199309279 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1199309289 0 :jix!n=jix@brmn-4d0abf3e.pool.mediaWays.net JOIN :#esoteric < 1199310287 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1199310397 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1199310907 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1199310917 0 :jix!n=jix@brmn-4d0ab0ff.pool.mediaWays.net JOIN :#esoteric < 1199312660 0 :GreaseMonkey!n=saru@122-57-229-12.jetstream.xtra.co.nz JOIN :#esoteric < 1199312933 0 :oklofok!unknown@unknown.invalid PART #esoteric :? < 1199313212 0 :Jontte!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1199313378 0 :Jontte!n=joonas@88.195.10.216 JOIN :#esoteric < 1199314038 0 :Jontte!unknown@unknown.invalid QUIT :Remote closed the connection < 1199314193 0 :Jontte!n=joonas@88.195.10.216 JOIN :#esoteric < 1199318112 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1199318311 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection