< 1212624341 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1212625027 0 :Slereah!n=hax@ANantes-252-1-28-197.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212625438 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Can a function name in Scheme be anything? < 1212626018 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212626084 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212626431 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212626481 0 :Slereah!n=hax@ANantes-252-1-28-197.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212626497 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So, can you name Scheme functions to anything? < 1212626524 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: what < 1212626536 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :you can name them valid symbol names < 1212626538 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :which are .. pretty lenient < 1212626549 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :+--++++++*%%3434 is a valid symbol, for instance < 1212626556 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Even with already defined functions? < 1212626559 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or numbers? < 1212626567 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: 34 is not a valid symbol, no. < 1212626571 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212626575 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And yes, already defined functions, it just overrides them. < 1212626586 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :34a is not a valid symbol either (starts with a number) but a lot of implementations accept it < 1212626600 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I was hoping of doing a small library of numbers for conveniance purpose. < 1212626609 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like 4 = s(s(s(s(0)))) < 1212626613 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Stuff like that < 1212626622 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well ... You could use '4' < 1212626634 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but I assume SICP is maeking you do the church? < 1212626637 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :How about N4? < 1212626638 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Or.. < 1212626644 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :No, it's not for SICP < 1212626647 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(N 4) -> (S (S (S (S N0)))) < 1212626651 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's for der le Limp < 1212626660 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: how about: < 1212626678 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I was hoping of doing a pretty much straightforward translation for the function definition part < 1212626684 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (N n) (if (zero? n) N0 (S (N (- 1 n))))) < 1212626693 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: with S=succ and N0=duh < 1212626707 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I guess i could just check if something starts with a number and add some symbol to make it acceptable. < 1212626718 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Eww. < 1212626719 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :No! < 1212626725 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I dunno what you're doing but it sounds bad < 1212626741 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Have you read SICP, Slereah? < 1212626748 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I suggest reading it all the way through. It has tons of interpreters and compilers. < 1212626750 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Of scheme itself! < 1212626754 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :They will help you a lot. < 1212626765 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, problem is, it dwells a lot on stuff i already know. < 1212626778 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, fine. But it pays to read through. < 1212626781 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It has lots of helpful scheme things < 1212626792 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I don't need that much scheme. < 1212626799 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Just enough for mah esolang. < 1212626812 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although I'm not sure how much the pi part would require. < 1212626822 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I still have no idea how to exactly implement it < 1212626831 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Read through SICP. Srsly. < 1212626865 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. I usually prefer to poke around a language and read up when something doesn't feel right. < 1212626954 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fuck is my internet shitty nowadays. < 1212627054 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: yah, well, that's exactly what'll get you writing shitty scheme < 1212627118 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Would I really need that much for an esolang? < 1212627141 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I mean, the Lazy K interpreter is less than ten lines long. < 1212627194 0 :uvanta!unknown@unknown.invalid QUIT :"P" < 1212627236 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Maybe not but you'll be much happier if you write nicer code. < 1212627242 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Scheme is quite a paradigm shift. < 1212627248 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: What scheme are you using? < 1212627254 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I suggest PLT Scheme most heartily. < 1212627258 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And the DrScheme editor it comes with. < 1212627264 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It does all that naffy indentation for you. < 1212627285 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't use any scheme right now. < 1212627285 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I am conceptualizing! < 1212627311 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212627334 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Mostly conceptualizing something on Python to compile it to Scheme < 1212627340 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: No! < 1212627347 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Scheme is a functional language (mostly) unlike Python < 1212627356 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :translating python->scheme is pointless, and you might as well not use scheme < 1212627361 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It's a totally different paradigm < 1212627362 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm not < 1212627369 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :i'm translating Limp to Scheme < 1212627374 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Using python. < 1212627375 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ah, I see < 1212627377 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: that's a bit silly < 1212627381 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :why not limp->scheme using scheme? < 1212627386 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :sicp contains compilers in scheme < 1212627386 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Python is the only language I sort of know how to parse with < 1212627396 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Sick pee! Sick pee! Sick pee! < 1212627402 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Ew. < 1212627434 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Can you feed a function as an argument, outside of lambdas? < 1212627443 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: of course < 1212627447 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Code is data. Data is code. < 1212627453 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Want a sekrit? < 1212627458 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (foo bar baz) quux) < 1212627459 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :is < 1212627463 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is it "read SICP"? < 1212627463 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define foo (lambda (bar baz) quux)) < 1212627478 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: no, it's ^^that^^ < 1212627510 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :('cause I'm trying to write in the µ function) < 1212627523 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Though I'm not too sure how to do the µy thing though. < 1212627539 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :How do I... exctract the arguments of a function? < 1212627570 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: explain? < 1212627572 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You mean like < 1212627573 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(a b c d e) < 1212627575 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and a gets < 1212627578 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(b c d e)? < 1212627585 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, µ works like this : < 1212627618 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :µy ( f (x, y, z, ...)) gives you back the least value of y such that f = 0 < 1212627643 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Oh. Wait, is the 'y' in the function's arglist the 'y' in the u thing? < 1212627656 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1212627667 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :µ has two arguments : the function, and one of its argument < 1212627679 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: So wait < 1212627679 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :in < 1212627683 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :mu_y(f(x,y,z,...)) < 1212627687 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it extracts the arglists y? < 1212627726 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It will use the function f over all values of y. < 1212627733 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Until it finds a 0. < 1212627741 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: What. < 1212627747 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So like < 1212627749 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :mu(f) < 1212627751 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :-> f(ANYTHING) < 1212627754 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :until f(THING) = 0 < 1212627755 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and it returns THING? < 1212627769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Technically, I think that most of the time, there will only be one argument for it to be valid. < 1212627780 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But I can see scenarios where more than one would happen. < 1212627794 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, first, how are you going to generate ANYTHING? < 1212627797 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Do you want every integer? < 1212627802 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You can't just scheme to give you 'something'. < 1212627807 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :That would be pretty vague < 1212627808 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What? < 1212627816 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : mu(f) < 1212627816 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : -> f(ANYTHING) < 1212627820 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :you can't pluck ANYTHING out of thing air < 1212627825 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :you can feed it f(0),f(1) etc < 1212627829 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :or f(a),f(ab),f(abc) < 1212627835 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but you can't just generate stuff the function wants < 1212627850 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure I follow your example. < 1212627884 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: What does mu(f) do. < 1212627896 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It would work like this : µ (y f) would feed 0 as y to f. < 1212627906 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :If f(0) = 0, it returns 0. < 1212627911 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Else, it feeds it 1. < 1212627915 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And so on. < 1212627946 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: OK. So integers. < 1212627950 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1212627952 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Something like: < 1212627956 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1212627959 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: What is 'y' in that case < 1212627962 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Since it's µ recursive, there's only integers. < 1212627970 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, f is a function of n variables < 1212627975 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And y is one of them. < 1212627994 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Lol wut < 1212627998 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Can't it just be < 1212628003 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :u(f) = if f(0) = 0, 0 < 1212628005 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :otherwise 1 < 1212628005 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1212628017 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it could have more than one argument. < 1212628036 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: How about ignoring the more-than-one argument aspect for now? < 1212628037 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't see that happening often, but there's easy scenarios for it. < 1212628074 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (mu' f n) (if (zero? (f n)) 0 (+ 1 (mu f (+ n 1))))) < 1212628078 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (mu f) (mu' f 0)) < 1212628083 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Pretty trivial to understand, right? < 1212628084 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For instance, µy (p(1,2)(y,z)) < 1212628093 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, the function itself isn't the hard part < 1212628109 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's how to implement the multiple argument par < 1212628109 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :t < 1212628150 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Ok. < 1212628157 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Protip. < 1212628166 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (f . args) args is a list of my argumenst!! omg!!) < 1212628174 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (f a . args) args is a list of my argumenst, less the first one!! omg!!) < 1212628181 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Protip 2. < 1212628186 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(apply f '(1 2 3)) => (f 1 2 3) < 1212628203 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I believe you can do what you want with my mu and that. < 1212628251 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I am not too sure about this. < 1212628273 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Since the defition of µ doesn't contain the definition of f. < 1212628284 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Shall I show you it? < 1212628287 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Wait, so: < 1212628291 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(mu f a b) < 1212628292 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1212628294 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(f a b 0) < 1212628295 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(f a b 1) < 1212628296 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(f a b 2) < 1212628297 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :etc? < 1212628348 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What are a and b? < 1212628358 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And that third variable over integers. < 1212628398 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: a and b are anything < 1212628415 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(mu f 1 2) < 1212628417 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :-> (f 1 2 0) < 1212628418 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :-> (f 1 2 1) < 1212628419 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :-> (f 1 2 2) < 1212628420 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1212628429 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But... mu f returns an integer, not a function < 1212628444 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Scheme is not curries < 1212628445 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :*curried < 1212628449 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :... < 1212628453 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What does it mean then? < 1212628464 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh yes, multiple variables < 1212628474 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :REVOLUTIONARY < 1212628492 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1212628519 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I'm going now, have fun < 1212628521 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :read my above stuff < 1212628524 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it tells you all you need < 1212628527 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :bye for today :) < 1212628528 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :i hope so. < 1212628529 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Bye < 1212628549 0 :tusho!unknown@unknown.invalid QUIT :Remote closed the connection < 1212628926 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212628932 0 :Slereah!n=hax@ANantes-252-1-28-197.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212630567 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ya hello < 1212630826 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Porque ya se había hecho tan rico. < 1212630894 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212631069 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :spanish is an esolang :( < 1212631131 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :You mean it's difficult, or you just don't know it? < 1212631159 0 :bsmntbombdood_!n=gavin@97-118-115-170.hlrn.qwest.net JOIN :#esoteric < 1212631183 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Nick collision from services. < 1212631187 0 :bsmntbombdood_!unknown@unknown.invalid NICK :bsmntbombdood < 1212631952 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i mean its ugly and horrible and evil ;) < 1212632019 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :pero entiende un poco porque trabajo a el apple store en miami y tengo muchos colombian customers < 1212632021 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :or something. lol < 1212632194 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well, worked, not work, but i dont know spanish well enough to be able to conjugate :D < 1212632202 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its just an ugly language i thing. < 1212633886 0 :Slereah!n=hax@ANantes-252-1-28-197.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212633949 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1212634161 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1212634620 0 :Nocta!n=nocta@kobz-590f3452.pool.einsundeins.de JOIN :#esoteric < 1212635018 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212635040 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1212635193 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212635214 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1212635444 0 :fizzie2!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net < 1212635444 0 :Slereah!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net < 1212635444 0 :ihope!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net < 1212635445 0 :Nocta^!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net < 1212635457 0 :fizzie2!n=fis@sesefras.zem.fi JOIN :#esoteric < 1212635494 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212635499 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212635535 0 :Asztal!n=asztal@cpc1-stkn2-0-0-cust786.midd.cable.ntl.com JOIN :#esoteric < 1212635549 0 :cmeme!unknown@unknown.invalid QUIT :Client Quit < 1212635560 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212635870 0 :cmeme!unknown@unknown.invalid QUIT : < 1212635881 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212636191 0 :cmeme!unknown@unknown.invalid QUIT : < 1212636202 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212636513 0 :cmeme!unknown@unknown.invalid QUIT : < 1212636523 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212636834 0 :cmeme!unknown@unknown.invalid QUIT : < 1212636845 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212636864 0 :cherez!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212637155 0 :cmeme!unknown@unknown.invalid QUIT : < 1212637166 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212637476 0 :cmeme!unknown@unknown.invalid QUIT : < 1212637487 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212637499 0 :cherez!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212637797 0 :cmeme!unknown@unknown.invalid QUIT : < 1212637808 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212638119 0 :cmeme!unknown@unknown.invalid QUIT : < 1212638129 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212638440 0 :cmeme!unknown@unknown.invalid QUIT : < 1212638451 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212638761 0 :cmeme!unknown@unknown.invalid QUIT : < 1212638772 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212639082 0 :cmeme!unknown@unknown.invalid QUIT : < 1212639093 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212639403 0 :cmeme!unknown@unknown.invalid QUIT : < 1212639415 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212639725 0 :cmeme!unknown@unknown.invalid QUIT : < 1212639735 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212640046 0 :cmeme!unknown@unknown.invalid QUIT : < 1212640057 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212640367 0 :cmeme!unknown@unknown.invalid QUIT : < 1212640378 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212640688 0 :cmeme!unknown@unknown.invalid QUIT : < 1212640699 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212641010 0 :cmeme!unknown@unknown.invalid QUIT : < 1212641020 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212641331 0 :cmeme!unknown@unknown.invalid QUIT : < 1212641342 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212641449 0 :cherez!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212641652 0 :cmeme!unknown@unknown.invalid QUIT : < 1212641663 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212641721 0 :cherez!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212641974 0 :cmeme!unknown@unknown.invalid QUIT : < 1212641984 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212642294 0 :cmeme!unknown@unknown.invalid QUIT : < 1212642305 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212642616 0 :cmeme!unknown@unknown.invalid QUIT : < 1212642626 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212642937 0 :cmeme!unknown@unknown.invalid QUIT : < 1212642949 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212643258 0 :cmeme!unknown@unknown.invalid QUIT : < 1212643269 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212643539 0 :sekhmet!unknown@unknown.invalid NICK :sekhmet_ < 1212643551 0 :sekhmet_!unknown@unknown.invalid NICK :sekhmet < 1212643580 0 :cmeme!unknown@unknown.invalid QUIT : < 1212643590 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212643901 0 :cmeme!unknown@unknown.invalid QUIT : < 1212643911 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212644222 0 :cmeme!unknown@unknown.invalid QUIT : < 1212644232 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212644543 0 :cmeme!unknown@unknown.invalid QUIT : < 1212644554 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212644864 0 :cmeme!unknown@unknown.invalid QUIT : < 1212644875 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212645185 0 :cmeme!unknown@unknown.invalid QUIT : < 1212645196 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212645311 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :cmeme < 1212645314 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :you are not cool < 1212645329 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i like you no more! < 1212645355 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :augur: you're in miami and you haven't learned spanish yet? < 1212645358 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :There was some guy on openbsd-misc who was asking about mp3 concatenation programs because he liked to run a cronjob to change IPs every single minute, yet he wanted to listen to web radio < 1212645366 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no no < 1212645370 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i live in fort lauderdale < 1212645370 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :sekhmet: LOL < 1212645372 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :So that THEY couldn't track him < 1212645375 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i worked in Aventura < 1212645379 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps cmeme is related < 1212645381 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which is in north miami-dade county < 1212645384 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :Sec, I'll try to dig up the link < 1212645389 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :It was... bizarre. < 1212645467 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :Ah yes, there it is! < 1212645467 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :http://marc.info/?l=openbsd-misc&m=115298981814514&w=2 < 1212645472 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :I recommend the whole thread < 1212645506 0 :cmeme!unknown@unknown.invalid QUIT : < 1212645517 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212645654 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so < 1212645655 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :like < 1212645659 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :do we kick cmeme? < 1212645673 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i actually have no idea whom to ask when cmeme misbehaves < 1212645679 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i don't know if nef is still in charge < 1212645738 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :on which note < 1212645761 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :once again i ask if there's any objection to having the irseek bot log this place too < 1212645775 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and if there is < 1212645780 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'll ban whoever objects :P < 1212645828 0 :cmeme!unknown@unknown.invalid QUIT : < 1212645838 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212646019 0 :GreaseMonkey!n=gm|--0@219-88-194-55.jetstream.xtra.co.nz JOIN :#esoteric < 1212646149 0 :cmeme!unknown@unknown.invalid QUIT : < 1212646159 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212646470 0 :cmeme!unknown@unknown.invalid QUIT : < 1212646481 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212646791 0 :cmeme!unknown@unknown.invalid QUIT : < 1212646802 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212647112 0 :cmeme!unknown@unknown.invalid QUIT : < 1212647123 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212647433 0 :cmeme!unknown@unknown.invalid QUIT : < 1212647444 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212647754 0 :cmeme!unknown@unknown.invalid QUIT : < 1212647765 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212648076 0 :cmeme!unknown@unknown.invalid QUIT : < 1212648086 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212648397 0 :cmeme!unknown@unknown.invalid QUIT : < 1212648407 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212648718 0 :cmeme!unknown@unknown.invalid QUIT :Connection reset by peer < 1212648729 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1212649011 0 :ChanServ!unknown@unknown.invalid MODE #esoteric :+o lament < 1212649024 0 :lament!unknown@unknown.invalid MODE #esoteric :+b *!*n=cmeme@*.b9.com < 1212649039 0 :cmeme!unknown@unknown.invalid QUIT :Client Quit < 1212649066 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :now the question is, how do we get it back < 1212649107 0 :lament!unknown@unknown.invalid MODE #esoteric :-o lament < 1212652799 0 :clog!unknown@unknown.invalid QUIT :ended < 1212652800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1212658814 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212658838 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1212659653 0 :Hiato!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212661806 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Unisex." < 1212663602 0 :Slereah-!n=hax@ANantes-252-1-28-197.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212666136 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1212666577 0 :Slereah2!n=hax@ANantes-252-1-82-137.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1212667022 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212667727 0 :Judofyr_!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1212667729 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212668021 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212668174 0 :Judofyr_!unknown@unknown.invalid NICK :Judofyr < 1212670662 0 :Slereah3!n=hax@ANantes-252-1-82-137.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1212670662 0 :Slereah2!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212670668 0 :Slereah3!unknown@unknown.invalid PRIVMSG #esoteric :Fuuuuuuck < 1212670747 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1212671098 0 :Slereah3!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION buys "Communicating and Mobile Systems: the Pi-Calculus"
< 1212671331 0 :Slereah3!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212674468 0 :Slereah4!n=hax@ANantes-252-1-82-137.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1212674474 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :KHAAAAAAAAAAAAAAAAAAAAN! < 1212676157 0 :cherez1!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212676170 0 :cherez!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212677565 0 :Hiato!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212678485 0 :pikhq!n=Pikhq@asst01.asunix.tufts.edu JOIN :#esoteric < 1212678531 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :'Lo, *. < 1212678586 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Hai < 1212678631 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION waves at everyone. . . But this time from Boston, rather than from Colorado Springs.
< 1212678635 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(wheee!) < 1212678949 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah4: that's also on my list of books to buy < 1212679040 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :It will arrive here in a week or so. < 1212679498 0 :cherez1!unknown@unknown.invalid NICK :cherez < 1212679597 0 :Corun!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212679667 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1212680066 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :"He emphasizes that interactive behavior is best represented by a non-deterministic automaton which cannot be equated (behaviourally) with a deterministic automaton." < 1212680073 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :That doesn't sound good. < 1212680155 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1212680165 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Is that *supposed* to be meaningful? < 1212680202 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :I'll have to wait for the book to find out! < 1212680215 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Fuck, the science forum of Amazon is lame < 1212680222 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :It's 99% creationism threads. < 1212680262 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212680671 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212681333 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :... < 1212681343 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :I ordered it from some store named "Quartermelon". < 1212681345 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1212681661 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :It seems that all reviews think that this book is awesome < 1212681673 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :All four of them. < 1212682092 0 :tusho!n=ehird@91.105.68.111 JOIN :#esoteric < 1212682105 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I am trying the console first. :P < 1212682126 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :The PLAYSTATION? < 1212682222 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :No, the non-X11. < 1212682281 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :also < 1212682282 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :cmeme is a logbot. < 1212682284 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the ircbrowse.com one < 1212682317 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212682347 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and < 1212682354 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: OBJECT to irseek < 1212682413 0 :tusho!unknown@unknown.invalid QUIT :"X11?!" < 1212683277 0 :tusho!n=tusho@91.105.68.111 JOIN :#esoteric < 1212683313 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Hello, TUSHY < 1212683320 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hello, SLERRY < 1212683337 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Meh. It doesn't mean butt. < 1212683345 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :~xXx luv tushykins xXx~ < 1212683365 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :hmm, that is one downside to this nick Slereah4 < 1212683386 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Well, the previous Slereah are still on this server. < 1212683397 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :Why doesn't this server have ghost-handling? < 1212683403 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah4: It does. < 1212683408 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :/ns ghost FOO password < 1212683444 0 :Slereah4!unknown@unknown.invalid NICK :Slereah < 1212683453 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :My name is not FOO >:| < 1212683480 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :WRONG < 1212684338 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1212684372 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :After the one hour of back story in the first movie, I hope the new Batman will be two hours of pure Batman. < 1212685213 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1212685554 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :. < 1212685610 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The first part of Batman Begin is so full of leather noise. < 1212685617 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It sounds like a BDSM porno. < 1212686120 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well. < 1212686404 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212686440 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1212686803 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1212687327 0 :jix!n=jix@dyndsl-091-096-045-037.ewe-ip-backbone.de JOIN :#esoteric < 1212688840 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1212688980 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1212689151 0 :augur!n=augur@c-71-57-164-119.hsd1.fl.comcast.net JOIN :#esoteric < 1212689162 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oklopollll < 1212689187 0 :ihope_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212689416 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1212689559 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1212689586 0 :jix!n=jix@dyndsl-091-096-045-037.ewe-ip-backbone.de JOIN :#esoteric < 1212689607 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1212689619 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1212689630 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :no < 1212689644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1212689712 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :maybe# < 1212689723 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, wanna help design the language? :B < 1212689750 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i want to design everything. < 1212689760 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :...what language? < 1212689760 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hahahahaha < 1212689782 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the language im hypothesizing in proglangdesign which rhamphoryncus completely misses the point of < 1212689804 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What would that language be? < 1212689826 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well its nothing amazing right now just a few ideas that i'd like to toy with < 1212689840 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(which x) had a nice declarative feel to it < 1212689845 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :namely quantification, maybe wh-phrase things, and such < 1212689847 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have a similar construct in muture < 1212689855 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :\x < 1212689862 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :really? i figured (which x) was rather functional < 1212689867 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"the element of x that fits here" < 1212689897 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(which x is y) is practically (filter fn xs) < 1212689899 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well it's not really functional iiuc < 1212689909 0 :kar8nga!n=kar8nga@AMarseille-151-1-68-250.w83-205.abo.wanadoo.fr JOIN :#esoteric < 1212689944 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(cond (which x)) < 1212689945 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :where cond can be anything < 1212689951 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that returns a bool < 1212689973 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :shouldn't this return true if for some element in x (cond lement)? < 1212689976 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*element < 1212689988 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or was that just a syntactic thing? < 1212689999 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: muture?! < 1212689999 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :eh? < 1212690018 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you're right, that's a better example < 1212690020 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :this kind of semantics for where isn't really functional, because it isn't "context-sensitive"... semantically < 1212690036 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tusho: muture is one of my declarative langs < 1212690057 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: how many langs do you have again < 1212690071 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well 5 in active processing < 1212690071 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :even? (which Integers) => [...,-4,-2,0,2,4,...] < 1212690081 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but i suppose thats just the same as (even Integers) < 1212690087 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but as i rarely finish my languages, i have lots. < 1212690099 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for instance cise was never finished < 1212690111 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but will prolly continue once i get my codes from my old machine < 1212690112 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the idea of which i guess was more to allow it to stand in for a single item in non-predicative places < 1212690141 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, but it's clearly of declarative nature < 1212690150 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because you cannot evaluate it without knowing where it is < 1212690158 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1212690166 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well < 1212690173 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its not declarative at all. < 1212690176 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(which List) doesn't yield a result as such < 1212690187 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(which foo).bar == 0 < 1212690189 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :is equivalent to < 1212690202 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1212690208 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :first foo (\x -> x.bar == 0) < 1212690234 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :thats another notation i've been considering < 1212690236 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :something like < 1212690250 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :foo[i] | foo[i].bar == 0 < 1212690266 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(which (range 0 1000)) * (which (range 0 1000)) == 90 < 1212690269 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :declarative prime check < 1212690282 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yeah that could be declarative. < 1212690296 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :a lot of this stuff is vaguely constraint-like < 1212690302 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :like list comprehensions < 1212690314 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's a declarative construct. you can limit it to cases where you can optimize it to direct functional stuff, though, which you did earlier. < 1212690328 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but the construct itself is inherently declarative < 1212690341 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :[(x,y) | x <- [0...1000], y <- [0...1000], x*y == 90] < 1212690344 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in haskell talk < 1212690384 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yeah i guess it is declarative, ok. < 1212690410 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :regardless < 1212690471 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the idea is more that the (which ...) constructor would be interpreted as a search on the argument < 1212690486 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so that < 1212690495 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(which foo).bar == 1 < 1212690498 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :would be equivalent to < 1212690526 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :if( foo[0].bar == 1 ){ foo[0].bar; } else if( foo[1].bar == 1 ){ foo[1].bar' } ... < 1212690574 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212690662 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :tho i think i'd expand it to include more than one container < 1212690673 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which foo, bar, baz: ... < 1212690697 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which would be akin to list comprehensions i guess. < 1212690701 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: we should collaborate on a language < 1212690702 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the world would explode < 1212690711 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i would love to see the result :) < 1212690722 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :it better be interesting, not another boring clone of existing languages < 1212690735 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :of course < 1212690738 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I think of impossible things < 1212690742 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh? < 1212690745 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :do tel < 1212690797 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and oklopol thinks of impossible things that turn out to be possibe < 1212690797 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :*possible < 1212690799 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: idea - how about every expression returns infinite results < 1212690827 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :might be interesting to make a language where all computation is directed towards checking whether the program will halt < 1212690837 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: yes! < 1212690851 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and that the actual halting function, since its a tc language, returns infinite {T,F,T,F,T,...} < 1212690927 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh god... :P < 1212690976 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1212691053 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: i think we're onto something < 1212691054 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: hmm < 1212691056 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :every expression is a filter over the set of everything < 1212691060 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: yes? < 1212691081 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1212691083 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes! < 1212691092 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :not what's the language where you loop by quinin? < 1212691094 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :g < 1212691099 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*noq < 1212691102 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*now < 1212691108 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a* < 1212691285 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :back < 1212691292 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: not sure what it's called < 1212691301 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :however... our ideas combined ... are PAPTAIN CLAMET < 1212691406 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I officially hate IRAF. < 1212691478 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah it was muriel. < 1212691527 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I hate iraq too! Dems enemies of our FREEDOM! < 1212691559 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :tusho: IRAF is a scientific program with a painful, *painful* install process. < 1212691569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's *installation manual* has 18 pages. < 1212691580 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yeah, installing our troops was painful. But it was for FREEDOM! < 1212691590 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And, no, they don't use autotools. < 1212691605 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Autotools? Is that some terrorist weppon? < 1212691615 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, it's a hippy thing. < 1212691633 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Why can't we just nuke those darn hippie commies? < 1212691651 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :let's kill them < 1212691655 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :all. < 1212691661 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You know, "Hey, man! Could you run 'cd weed&&./configure&&make&&make install'? I need some, man..." < 1212691713 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1212691739 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What's "True" in Scheme? < 1212691742 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :T or 1? < 1212691748 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or something else? < 1212691749 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: #t < 1212691752 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :#t, #f < 1212691753 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :'kay < 1212691759 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: And, well, anything that isn't #f is true. < 1212691761 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And #f is not '(). < 1212691765 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And 'NIL is not '() or #f. < 1212691772 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Lisp unifies those, for some reason < 1212691942 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212691951 0 :Slereah4!n=hax@ANantes-252-1-82-137.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1212691951 0 :Slereah4!unknown@unknown.invalid NICK :Slereah < 1212691969 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[19:51:17] Would µ with one variable be (define (µ f y) (cond ((= (f y) 0) y) ( #t ( µ f (+ y 1))))) ? < 1212691969 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[19:51:55] * Disconnected < 1212692010 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Used in the context of (µ f 0). < 1212692058 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Fyi, you could just use (if cond then else). < 1212692113 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: but ys < 1212692114 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :*yes < 1212692504 0 :Hiato!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212692640 0 :Slereah4!n=hax@ANantes-252-1-82-137.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1212692653 0 :Slereah4!unknown@unknown.invalid PRIVMSG #esoteric :>:| < 1212692661 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212692673 0 :Slereah4!unknown@unknown.invalid NICK :Slereah < 1212692762 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1212692782 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thinking about it, there's actually very simple scenarios for the µ on many variables < 1212692791 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And that might be used. < 1212692796 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like x * y < 1212692834 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I do need that shit. < 1212692860 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : Slereah: Fyi, you could just use (if cond then else). < 1212692861 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : Slereah: but ys < 1212692861 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : *yes < 1212692869 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: get this right first < 1212692875 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Show me an if-using version. < 1212692875 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[19:54:35] That's so not cool. < 1212692891 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Um, using a two-clause-with-one=#f-cond is incredibly bad style. < 1212692916 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Isn't "if then" just a shortcut for the actual cond behind? < 1212692926 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Why does this bother you? < 1212692929 0 :Phenax!n=Phenax@67.15.72.46 JOIN :#esoteric < 1212692932 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You're meant to think in as high-level terms as possible. < 1212692939 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :If you don't want to, then you don't understand Scheme. < 1212692943 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Or at least you are willingly ignoring it. < 1212692948 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fine. < 1212693007 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: So what does your mu look like with if? :P < 1212693022 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(Also, I'd rename it 'mu'. 'µ' is not a valid symbol, even if your implementation accepts it.) < 1212693034 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(define (µ f y) (if (= (f y) 0) y ( µ f (+ y 1))) < 1212693043 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thusly? < 1212693053 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Yes, but what's with the paren before µ? < 1212693054 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :err < 1212693055 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the space < 1212693056 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :( µ < 1212693059 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :should be (µ < 1212693064 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(And 'µ', 'mu'.) < 1212693072 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Are the whitespace significant? < 1212693086 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: No but it looks ugly. < 1212693099 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(define (mu f y) (if (= (f y) 0) y (mu f (+ y 1)))) < 1212693120 0 :cherez!unknown@unknown.invalid QUIT :"Leaving." < 1212693133 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Yep. < 1212693143 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: OK, am I right in that the 'y' can be in any hole? < 1212693144 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :e.g. < 1212693151 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :mu_y(f(x,y,z)) < 1212693154 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the 'y' is the mu-fed one < 1212693161 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's a version for only one variable. < 1212693194 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I mean, in the real mu < 1212693215 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The real mu can be applied to any variable, yeah. < 1212693222 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Hokay. < 1212693232 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Remember my trick about apply? < 1212693239 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(apply func '(1 2 3)) -> (func 1 2 3) < 1212693256 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1212693300 0 :cherez!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212693355 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Hm. < 1212693358 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Does mu allow this: < 1212693361 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :mu_y(f(y,y)) < 1212693366 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Heyyy, wait. < 1212693369 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Your current mu is fine! < 1212693375 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(mu (lambda (x) (f x x)) 0) < 1212693388 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(mu (lambda (x) (f x y z)) 0) < 1212693391 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: See? < 1212693439 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: .. < 1212693464 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Oi. < 1212693489 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Hm, do you want to remove the 0 parameter? < 1212693535 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Dr Scheme installed. < 1212693558 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Can you answer me now. < 1212693563 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(Speficially, 'see' and 'do you want to remove') < 1212693564 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :wotwot < 1212693580 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Look abov. < 1212693582 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :e < 1212693587 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wall of text :o < 1212693609 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : Slereah: Heyyy, wait. < 1212693609 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : Your current mu is fine! < 1212693609 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : (mu (lambda (x) (f x x)) 0) < 1212693609 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : (mu (lambda (x) (f x y z)) 0) < 1212693609 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : Slereah: See? < 1212693612 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I'm okay with removing the zero. < 1212693615 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: that's the interseting bit < 1212693620 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: i.e. you only need a one-variable mu < 1212693626 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :because you can use a lambda to call the function with moar < 1212693672 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I suppose it would be a nice solution. < 1212693692 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Yeah, it's elegant. < 1212693696 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Now, removing the 0... < 1212693704 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Well, you just need (define (real-mu f) (mu f 0)). < 1212693713 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Except, rename mu to mu-internal < 1212693718 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So you can define (mu f) < 1212693724 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Hmm. < 1212693727 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :How about a nested define? < 1212693740 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (mu f) (define (inner f n) ... MU CODE HERE ...) (inner f 0)) < 1212693745 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Seems like the most elegant to me. < 1212693753 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(Oh, and start typing this into dr scheme. It'll do that indentation stuff.) < 1212693756 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :'kay. < 1212693769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm poking around a little first. < 1212693776 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :> cons(1 2) < 1212693776 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :# < 1212693776 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :. procedure application: expected procedure, given: 1; arguments were: 2 < 1212693778 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wot < 1212693792 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Uh, you evaluated 'cons', then you evaluated (1 2). < 1212693796 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You tried to call 1 as a function. < 1212693800 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :On what universe does that make sense? < 1212693812 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You don't even know the basic syntax of scheme. SICP, srsly. < 1212693816 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh yes. < 1212693824 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(cons 1 2) < 1212693825 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thar. < 1212693838 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It makes sense in the Lisp paper :( < 1212693859 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: No. < 1212693861 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :cons[1,2] does. < 1212693869 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Nobody used M-Expressions, because: < 1212693872 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :eval[[cons,1,2]] < 1212693876 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Is not elegant. < 1212693880 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Same syntax for code&data=win. < 1212693895 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :your m-expression is also wrong :) < 1212693899 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :eval[cons[1,2]] < 1212693924 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: You fail! < 1212693930 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I was doing (eval '(cons 1 2)). < 1212693933 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :That is eval[[cons,1,2]]. < 1212693938 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :afaik its not < 1212693939 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :eval[cons[1,2]] is (eval (cons 1 2)) < 1212693939 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you need a quote < 1212693946 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: M-Expressions do not have quotes. < 1212693948 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :eval[quote[cons,1,2]] < 1212693949 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :[a,b,c] is '(a b c) < 1212693951 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh? i see. < 1212693953 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :a[b,c] is (a b c) < 1212693954 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :nevermind then :) < 1212693960 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i dont use m expressions, you see ^^ < 1212693961 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Ergo, code is different from data, and it was hideously ugly. < 1212693967 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So they got rid of it < 1212693975 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :except in C :X < 1212693982 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and c-likes < 1212693988 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :eval("cons(1,2)") < 1212693994 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :> (display "butt") < 1212693995 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :butt < 1212693998 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm all set! < 1212694008 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: that is not a direct equiv. < 1212694011 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :strings are unstructured. < 1212694013 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but the problem THERE is that code and data are so very painful in structure < 1212694017 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1212694023 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in lisp its blindingly simple < 1212694028 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(procname arg arg arg) < 1212694031 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :just build a list < 1212694043 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but to eval a string in, say, javascript < 1212694060 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :procname + "(" + arg1 + "," + ... + ")" < 1212694071 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which is not as intuitive < 1212694094 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lisp is sexy in regards to reflectivity and such, i agree < 1212694127 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: on another note, )I()£UI)(!U()U¬)(U¬()U)(U¬)¬()¬U)¬ < 1212694142 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Neu language syntax: (, ), U, I, ¬ and £ < 1212694155 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :btw, in his SICP class brian harvey mentioned some sort of book that he read when he was younger which solved the Pilgrims and Cannibals problem in a number of different ways < 1212694168 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What is this problem? < 1212694187 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and the end of the problem involved constructing a data structure so finely tuned to the problem that you didnt have to do any computation you just read the solution off the structure < 1212694190 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :slereah: huh? < 1212694208 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The cannibal problem < 1212694209 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :or maybe it was missionaries and cannibals < 1212694215 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the idea is something like this: < 1212694222 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you have a number of missionaries, say < 1212694230 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and they're venturing through cannibal territory < 1212694234 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :they have to cross a river < 1212694263 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and if there are ever a small enough group of missionaries, the cannibals will eat them < 1212694295 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so you have to figure out how to transport people across the river in such a way that at no time are N or fewer people alone on either side of the river < 1212694301 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. It's like the river crossing problem, except with more cannibals < 1212694314 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and without the fox travelling with you < 1212694322 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the cannibals are on both sides at all times < 1212694337 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1212694340 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Can't you offer them the goat? < 1212694358 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :supposedly theres a DATA STRUCTURE thats so tuned to the problem that you dont need to do any computation < 1212694408 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: the CannibalDataStructureDeluxe < 1212694413 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212694423 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :This sounds terrifying < 1212694431 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is it written in Malbolge? < 1212694452 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1212694461 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I wonder, are there trivial programs to write in Malbolge? < 1212694472 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sure, ones that dont work :) < 1212694490 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For instance, yes. < 1212694506 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: You can write a generator pretty easily. < 1212694518 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :In lisp! (hi andrew cooke, writer of the malbolge hello-world) < 1212694524 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1212694551 0 :jix!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212694594 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :a what? < 1212694634 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I wonder: is he in here? < 1212694637 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: a code generator for malbolge < 1212694637 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: no < 1212694643 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh ok < 1212694645 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :he's around though < 1212694648 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Shameful. < 1212694648 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :http://www.acooke.org/ < 1212694662 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We need every major esoteric developer in here. < 1212694674 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :warning: tiny font < 1212694682 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(I'm sure I've said that in here once before. . . Need to grep the logs) < 1212694751 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Let's bring Urban here. < 1212694755 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: let's emulate andrew's style < 1212694764 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(all lowercase, minimalist, brief) < 1212694764 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And let him see what his language has wrought upon this earth < 1212694773 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i believe he knows < 1212694777 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :how could he not? < 1212694783 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Let's bring Sukoshi back here kicking and screaming. < 1212694791 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(oh, and dense on the information-character ratio) < 1212694801 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Who? < 1212694810 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... You don't know Sukoshi? < 1212694814 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1212694818 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :n00b. < 1212694821 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :he's relatively new pikhq < 1212694829 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :tusho: Argh. You're right. < 1212694839 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hey, I'm a physicist. < 1212694843 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't do CS. < 1212694844 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Speaking of which. . . tusho, I've never seen you around here. < 1212694845 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i hve a better idea < 1212694845 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :why dont we help one another BECOME major esodevers < 1212694845 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :surely with our combined efforts we can out esolang the other guys! < 1212694858 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i may or may not be the one known as ehird, pikhq < 1212694861 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1212694867 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and you are not emulating andrew's style, heretic! < 1212694878 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :augur: Some of us *are*. < 1212694888 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :are? what? < 1212694890 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like Ais < 1212694894 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Ais is totally awesome < 1212694895 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :another heretical statement! < 1212694897 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Are major esolang developers. < 1212694906 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :bah :p < 1212694907 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well then why did you say we needed some? :P < 1212694911 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*cough*Gregor*cough* < 1212694913 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :whats ais' language? < 1212694913 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We need more! < 1212694923 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: ais won the wolfram prize < 1212694925 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I dunno of his langs < 1212694930 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But yes, that < 1212694932 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and maintains c-intercal < 1212694934 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And it is totally awesome < 1212694944 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and invented: < 1212694960 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :minimax, backflip, abcdxyz < 1212694964 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::≠, black < 1212694966 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So... Who's Sukoshi? < 1212694967 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :wiki cyclic tag, formula, forte < 1212694970 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :underload, thutu, 1cnis < 1212694979 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: someone pikhq knows i think < 1212694982 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Underload is quite nice, too. < 1212695014 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh, so he must've done a cellular automata-like language. < 1212695060 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: why? < 1212695070 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi *was* quite frequent in this channel a couple years ago. < 1212695075 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :he did originally but gave it up. he uses perl code in his proof. < 1212695086 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: she(?) came in recently, no? < 1212695093 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :She did? < 1212695098 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION spit-takes
< 1212695106 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Dammit; I missed it. :( < 1212695107 0 :Hiato1!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212695113 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: you were here! < 1212695115 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What language did she do? < 1212695118 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Dammit. < 1212695127 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: none, i think < 1212695158 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I can't remember which ones she had done ATM, sadly. < 1212695176 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Then she's no big time esolanger :o < 1212695186 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: she's not, no < 1212695189 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :at least, not afaik < 1212695198 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :She is. < 1212695222 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Among other things, she has designed a Brainfuck CPU in Verilog. < 1212695231 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oh, that was her? < 1212695246 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I don't think she got *hers* out on the web, though. < 1212695246 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That one? http://www.clifford.at/bfcpu/bfcpu.html < 1212695252 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212695269 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so, who here is excited about eso-std.org's future riches? like: pastebin with ais523-coded intercal highlighting, an online code-tester and REPL for the langs, integrated into the pastebin (for when you don't have an interpreter lying around), etc. < 1212695277 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and, future=soon. < 1212695283 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :because, I actually have a server up. < 1212695298 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Will we have an eso police to enforce the ESO standard? < 1212695300 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that does sound pretty great < 1212695333 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sukoshi was also somewhat influential on the design of PEBBLE. < 1212695360 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(although oerjan takes the prize for 'most help'. . .) < 1212695360 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also prolly pretty hot < 1212695363 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: yes! < 1212695382 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but I'm currently hanging on a pun of 'Esoteric Standards' < 1212695384 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Shoot to kill if you see another Brainfuck clone! < 1212695395 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Even if it's creative? < 1212695399 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(see: Dimensifuck) < 1212695402 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :standards in the sinatra sense: that way we can include 'the best' of esolang tools. < 1212695404 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is there such a thing? < 1212695410 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :as well as well, actual standards < 1212695412 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(see: Dimensifuck) < 1212695425 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :dimensifuck, You Are Reading The Name Of This Esolang, ... < 1212695440 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, those already exist. < 1212695467 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :But they *are* creative Brainfuck clones. < 1212695499 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :0+^+v for all! < 1212695520 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: it will be awesome yes < 1212695618 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1212695628 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my hot comment was about sukoshi :) < 1212695634 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but why not the pb too < 1212695636 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i wonder what sort of data structure solves the missionaries problem < 1212695650 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you know, i think i know < 1212695683 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Many little huts, I suppose < 1212695701 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i think it'd be the set of partitions < 1212695716 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :tho that would still require some computation.. hm. < 1212695733 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Just do motherfucking brute force! < 1212695734 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you'd need to read through and look for partition diffs which fit the constraints imposed by the problem < 1212695804 0 :jix!n=jix@dyndsl-091-096-045-037.ewe-ip-backbone.de JOIN :#esoteric < 1212695812 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :there are only 2^N possible partitions, where N is the number of cannibals and missionaries together < 1212695821 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tusho: why do you object? < 1212695830 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: irseek sucks < 1212695834 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tusho: explain. < 1212695842 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's commercialised, the site interface is tacky, and the current way works fine < 1212695852 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :The current way doesn't work fine. I banned cmeme. < 1212695860 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: cmeme does ircbrowse.com. < 1212695862 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :clog does nef's < 1212695864 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :clog works fine < 1212695881 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: Anyway, eso-std.org is up and ready to host a logbot with full searching and a 'pretty' interface if ever needs be < 1212695888 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tusho: how is irseek commercialized? < 1212695891 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and ais523 has root to that as well as me, and I can give you it if you like < 1212695909 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: it's a company and they're primarily out to make money. < 1212695913 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :what other definition is there? < 1212695925 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tusho: do you think that can negatively affect the channel in any way? < 1212695934 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :They won't spam us. < 1212695934 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: i dislike the service because of it < 1212695941 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so I would not wish for it to be the logger of this channel < 1212695950 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm not saying they should be the logger. < 1212695956 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :"_the_ logger" < 1212695962 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: I would not wish for them to log it. < 1212695967 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :why not? < 1212695972 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I have already explained why. < 1212695976 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :I don't understand. < 1212695982 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Out of spite? < 1212695986 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: no. < 1212695997 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :The presence of irseekbot in here won't cause you any harm. < 1212696003 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :out of the interests of keeping a company's hands off of this channel, and because it's not a very good service in my mind anyway. < 1212696034 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: looking at what it _would_ offer us, positively, is a nice search function and a pretty log view. < 1212696044 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :eso-std can start logging today and have an interface that nice by tomorrow, most likely. < 1212696057 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tusho: and some free publicity. People use irseek. < 1212696058 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212696066 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :When they search irseek for things like brainfuck, they will not find us. < 1212696077 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: good: we'd end up banning them for being annoying spammers, mostly. < 1212696079 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :People who search eso-std already fonud us. < 1212696088 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Have you seen some people who have just found brainfuck? < 1212696089 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Ugh. < 1212696093 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :tusho: So you object to this channel being more widely known? < 1212696100 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :You want to keep it a secret? < 1212696112 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: because of its subject matter and what i've seen... I don't think advertising via irseek is a good idea. < 1212696121 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's not advertising, it's logging < 1212696132 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what i really don't get is freenode policy < 1212696133 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: but you just gave it advertising us indirectly as a good point < 1212696135 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :this is a public channel < 1212696141 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :anyone can join it < 1212696145 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's not secret < 1212696155 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :without freenode's silly policy, any logger could join it anyway < 1212696159 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :indeed. < 1212696166 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: Anti-case: #wikipedia < 1212696169 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i don't understand why that should not be allowed, provided the bot doesn't disturb anyone < 1212696175 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what happened in #wikipedia? < 1212696182 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Daniel Brandt of wikipedia-review constantly scours logs for personal information and anything he can use against them, < 1212696188 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1212696190 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :quotes it out of context, and puts it on his wikipedia-watch site. < 1212696193 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well, we're already logged < 1212696196 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :He puts secret loggers in there. < 1212696206 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the freenode policy is useful to them because they can stop him < 1212696207 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :being logged in a different place won't change the fact that all our logs are already online < 1212696208 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i think i know what the data structure is :o < 1212696214 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :furthermore < 1212696228 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :you can ask the irseek people to get rid of the bot at any time < 1212696243 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i just don't see any benefit to _not_ having it here < 1212696247 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: I would but I doubt they'd listen. < 1212696253 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :they seem very polite < 1212696262 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Meh, anyway that log interface sounds like a fun project anyway. I'll probably start working on it. < 1212696263 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :after the bad PR they got initially, they're really trying to be nice < 1212696267 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(Regardless) < 1212696463 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well, i won't invite them if you object to it < 1212696478 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but i still don't understand your reasoning < 1212696503 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :"they're commercial therefore it's somehow bad in principle" < 1212696767 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :... < 1212696771 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's a google code? < 1212696775 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What the fuck is google code < 1212696864 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :a google code search < 1212697074 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sure about that? < 1212697081 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ya < 1212697127 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i thought it was something a bit more extensive than the codesearch < 1212697132 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :not that i actually know / care < 1212697151 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lament: just ban tusho and let them put the bot here, tusho's new, who cares ;) < 1212697180 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1212697184 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Come on, tusho is awesome! < 1212697191 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :yeah I only came in here a few days ago! < 1212697205 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But already, he's taking the channel by storm! < 1212697292 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i think that's not fair < 1212697300 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i think we should invite irseekbot into the channel, and let them duel < 1212697304 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: (i'm ehird.) < 1212697313 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :OH SHIT, now you have reason to ban me! < 1212697328 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :DUEL TO THE DEATH < 1212697346 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :man against the machine! < 1212697349 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION kills irseekbot
< 1212697352 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION looks
< 1212697355 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It's not here! < 1212697359 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :That musta been a good kill. < 1212697361 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Battle over. < 1212697377 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Bottle over. < 1212697398 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1212697444 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :99 bottles over the wall. < 1212697521 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what digital camera should i buy? < 1212697675 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i think ive found all solutions for the 3x3 missionary problem :o < 1212697746 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :3x3? < 1212697775 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :3 missionaries, 3 cannibals. < 1212697805 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well, there are infinitely many solutions, but only a finite number without repetition < 1212697859 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :and I assume that the goal is to make it short < 1212697878 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yeah, shorts path < 1212697883 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :through the solution space < 1212698279 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :is graue ever around? < 1212698361 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Who? < 1212698367 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :GRAWP? < 1212698503 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :No. graue < 1212698891 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :lament: WHAT < 1212699252 0 :pikhq!unknown@unknown.invalid PART #esoteric :? < 1212700047 0 :Deformati!n=joe@c-71-238-106-175.hsd1.mi.comcast.net JOIN :#esoteric < 1212700225 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What is the purpose of "let"? < 1212700260 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :variable binding < 1212700263 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in a functional way < 1212700276 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in lisp, for instance < 1212700277 0 :Hiato1!unknown@unknown.invalid QUIT :"Leaving." < 1212700282 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(let ((x 5)) ...) < 1212700284 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :is equivalent to < 1212700294 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :((lambda (x) ...) 5) < 1212700311 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212700345 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :(let ((x 5) (y 10)) ...) -> ((lambda (x y) ...) 5 10) < 1212700346 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1212700510 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in some languages let is just the var decl keyword < 1212700515 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZzzzzzzzzzzzzzzZZZZZZZZZZZZZZZZZZZZzzzzzzzzzzzzzzzzzzZZZZZZZZZZZzzzzzzzzzzzZZZZZZZzzzzzZZZZZZZZZZZZZzzzzzzzZZZZZZZZZZZZzzzzzzzzZZZZZZZZZzzzzzzzzZZZZZZZZZZzzzzzzzZZZZZZZZzzzzzzzzZZZZZZZzzzzzzzzzZZZZZZZzzzzzzzzzZZZZZZZzzzzzzzzzzzzZZZZZZZZzzzzzzzzZZZZZZZZZZZzzzzzzzzZZZZZZZZZzzzzzzzzzzzzZZZZZZZZZZZZZZZZZZzzzzzzzzzzzzZZZZZZZZZzzzzzzzzZZZZZZZZZZZzzzzzzzZZZZZZZZZZZZZZZzzzzzzzzzzzzZZZZZZZZZZZzzzzzzzzzzzzzZZZ < 1212700515 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ZZZzzzzzzzzzzzzzZZZZZZZZZZZZZzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz < 1212700539 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is that your new lang? < 1212700547 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Snorefuck < 1212700550 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its called syzygy < 1212700671 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ZZZzzzZZZZZZZZZZZZZZZZzzzzzzzzzzzZZZZZZZZzzzzzzzzZZZZZZzzzzzZZZZzzzzZZZZzzzZZzzzZZZzzzzzZZZzzzZZZzzzzZZzzzzZZzzzZZZzzzZZZz < 1212700684 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hello world program? < 1212700697 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :is there an esolang with unary numbers? < 1212700699 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :More like goodnight world < 1212700700 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Amirite? < 1212700702 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :thats like brainfuck or something right? < 1212700705 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1212700709 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's called "unary". < 1212700713 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok. < 1212700718 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Programs in it are impossibly long. < 1212700721 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but like languages without number prims < 1212700726 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :where you have to increment a counter < 1212700735 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :is effectively unary < 1212700744 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :is brainfuck/befunge/etc like that? < 1212700745 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :malbolge? < 1212700759 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Unary uses Brainfuck with three bits per instruction < 1212700762 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :and then adds 1 in front. < 1212700774 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And then converts it to unary, with "0" as a symbol. < 1212700786 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And it's terribly long. < 1212700836 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :http://www.reddit.com/r/programming/info/6m5el/comments/c048udz MESSAGE OF THE DAY. < 1212700882 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: simplest way to do unary BF: < 1212700890 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :treat it as a string of ascii characters < 1212700891 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :TADA < 1212700895 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Imperative languages generally rely on a concept of linear time, while aliens, as we know, are fully 4-dimensional beings, able to move back on forth in time freely." < 1212700915 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :tusho : Wot? < 1212700925 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1212700928 0 :Deformative!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212700938 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :aliens program functionally :) < 1212700954 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: well, imagine this < 1212700959 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :34 EF 32 04 < 1212700962 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has "this" in his mind
< 1212700967 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that's 4 ascii characters (err, whatever) < 1212700971 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's 4 bytes, regardless. < 1212700973 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So: < 1212700977 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :34EF3204 < 1212700982 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Just convert that hex number into unary < 1212700987 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Fucking huge, yes. But tada. < 1212700987 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212700996 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Could be worse. < 1212700997 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Then just do it in reverse and feed it into an interp < 1212701003 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You could Gödel it out :o < 1212701069 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, hello world - ,[.,] - is insanely large in it. < 1212701073 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :As in, OH MY GOD < 1212701166 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So... 1f5b2e1f5d < 1212701177 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :134673735517 < 1212701200 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :134,673,735,517 bits. < 1212701201 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1212701203 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :apparently < 1212701214 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :functional reactive programming has temporal entities as first class values < 1212701234 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: I am going to write a C->Lisp compiler in Lisp.y/n < 1212701252 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: your second deduction is wrong < 1212701258 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :c->lisp? < 1212701261 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :why? < 1212701273 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: because the other way is more common < 1212701277 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and I like c compilers < 1212701278 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1212701286 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :slereah < 1212701302 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Roughly 16 Go :o < 1212701311 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :1f5b2e1f5d in binary wouldnt be billions of bits < 1212701324 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :it would be 40 bits. < 1212701328 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :No, but 1f5b2e1f5d in unary would be. < 1212701333 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh, in unary < 1212701341 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :then dont use the term bits :p < 1212701343 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :use uh.. < 1212701350 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :uits < 1212701351 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But you could encode them with bits < 1212701355 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :1 for 1 < 1212701356 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :0 for eof < 1212701362 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :still < 1212701365 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(Because well, you do need eof) < 1212701424 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Uits, ha < 1212701434 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: no < 1212701434 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I prefer tits. < 1212701435 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :cycle the program! < 1212701443 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wot? < 1212701445 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Wait, no. < 1212701449 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :If you cycle the program it's just 1=1+x < 1212701473 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :now, who wants to hear my cool anti-spam idea. < 1212701495 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It would probably better to change hex to something lighter. < 1212701498 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :thats a useless program. < 1212701498 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so < 1212701498 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :reactive programming < 1212701498 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :whathink? < 1212701504 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For instance, code with 1-2-3-4-5-6-7-8 < 1212701516 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :In like, base 9. < 1212701533 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Well yeah. but still < 1212701541 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: want to hear my anti-spam idya? < 1212701599 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: it's very awesome < 1212701703 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :maybe < 1212701705 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you know < 1212701709 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :john c dvorak gets no spam < 1212701730 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: dvorak is a self-aware idiot < 1212701744 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :a self-aware idiot that gets no spam! < 1212701748 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that is, he's aware he's an idiot and does it for the money and fame < 1212701753 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and he's also a total fuckwit < 1212701890 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: so < 1212701893 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :here's my idea < 1212701898 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's similar to spampoison but cleverer. < 1212701917 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :basically, on every page on your site link to this page (just put it as 'Anti-spam' or something) < 1212701918 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and < 1212701924 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :on every page with an email address < 1212701928 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :put it a few times at the top < 1212701929 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :now < 1212701934 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :this page < 1212701942 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :has the regular loads-of-fake-random-email-addrs < 1212701945 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but < 1212701954 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :they're @male.yourdomain (yes, male :P) < 1212701958 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :now < 1212701961 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hawt < 1212701962 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :occasionally < 1212701965 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :there's a link to < 1212701967 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :?moar=D8as9$u < 1212701970 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that is < 1212701972 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :?moar=random_id < 1212701978 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :which is a seed to generate more emails < 1212701980 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and < 1212701988 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :whenever anyone emails to @male.yourdomain < 1212701993 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it logs their email and info < 1212701998 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and BANS THEM from emailing anything @yourdomain < 1212702014 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(at the top of the page is a note telling you that in big bold letters so real users don't do it) < 1212702047 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :now you not only block spammers before they get to harvesting your addr [because the link is first] but you have a list of spammers! < 1212702116 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: ooh, another idea < 1212702121 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :when you DO email @male.yourdomain < 1212702124 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the first time, < 1212702136 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Do you even need to have the email adresses on the site? < 1212702136 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it bounces back an email saying 'You have been automatically banned by this anti-spam blah blah blah' < 1212702139 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and < 1212702141 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :then it says < 1212702148 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :'To unban yourself, reply to this email (quoting it)' < 1212702149 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or is there a way to put it in the sourcecode < 1212702155 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and it has a thing like < 1212702156 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So that only spambots will see it < 1212702159 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :'98e79d87a98479374923487f98d948yr943uf8r34' < 1212702173 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and < 1212702182 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :when it receives that to, like, @male-unblock.yourdomain < 1212702183 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it unblocks the email < 1212702194 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(since only a human would be able to reply to that correctly) < 1212702196 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: For a start it must be a seperate pgae for the 'moar' trick < 1212702200 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and a lot of spammers e.g. automate IE < 1212702206 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so only _viewable_ stuff is counted < 1212702210 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212702217 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Too bad. < 1212702230 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: still < 1212702233 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's just a discreet link < 1212702235 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :at the bottom of your page < 1212702238 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :in small font if you like < 1212702248 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Make it black on a black background! < 1212702250 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or something < 1212702257 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(and at the top of pages that have emails, in a small font: '(If you're a spammer, you might like [this], [this], or maybe [even this])') < 1212702266 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Only viewable links are 100% guaranteed to work < 1212702273 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Why? < 1212702280 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Because a lot of them automate IE. < 1212702289 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :to avoid traps like this < 1212702295 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But isn't black on a black background still visible for a robot? < 1212702295 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :if they don't they will in the future < 1212702297 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1212702303 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Not if it automates IE. < 1212702310 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Anyway. < 1212702312 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :This is what it does: < 1212702326 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :- their email database becomes commercially useless < 1212702334 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :- they cannot email you spam < 1212702340 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :- you have a list of all spammers < 1212702359 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You could report the list to the police, for instance. Or give it to an anti-spam project. < 1212702370 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or trolls. < 1212702385 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(To avoid lawsuits, put at the top of the page something like 'By sending messages to this address, you hereby agree to have your details recorded and sent off and blah blah asshole') < 1212702398 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But they're robots < 1212702404 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What if they call robo-lawyer? < 1212702427 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: well, 'or use a program on behalf of yourself' < 1212702444 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but, robo-lawyers are PURELY LOGICAL BEINGS and therefore can't use the chewbacca defense < 1212702446 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I think we're safe < 1212702455 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :besides, a spammer prosecuting someone for fighting spam? That'll never fly. < 1212702461 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You can use the old logic bomb. < 1212702467 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :THIS SENTENCE IS FALSE! < 1212702472 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :DOES NOT COMPUTE < 1212702473 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :DOES NOT COMPUTE < 1212702475 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :KA BOOOM < 1212702480 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has quit (Read error from host)
< 1212702484 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Holy shit < 1212702489 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Tusho was a robot all along! < 1212702497 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has joined #esoteric
< 1212702498 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1212702500 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has left #esoteric
< 1212702558 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :wait why am i still here < 1212702578 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Magic? < 1212702598 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :o.o < 1212702598 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :DOES NOT COMPUTE < 1212702602 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has quit (Read error from host)
< 1212702625 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :it doesnt help that you can tell the difference between server messages and /me messages < 1212702625 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212702641 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: I'll just hack the server than < 1212702655 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has quit (Killed: K-Line by lilo: OVER MY DEAD BO- wait)
< 1212702657 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :o noes! < 1212702672 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :why didn't I make a dead lilo joke earlier, I wonder < 1212702674 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's been years < 1212702680 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i am normally master of the Too Soon < 1212702728 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lilo? < 1212702748 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :OF LILO AND STITCH? < 1212702758 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I only ever saw porn of it, so I don't know much! < 1212702768 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1212702805 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The translation from limp to scheme isn't that hard for the functional part < 1212702809 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's mostly already there! < 1212702813 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or easy to build. < 1212702815 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: lilo - founder of freenode < 1212702824 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oic < 1212702826 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :car hit bike splat lol coma (time passes) oh he died < 1212702830 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that was in 2006 < 1212702840 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Was he in the car or on the bike < 1212702843 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :bike < 1212702875 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Problem is, I'm not too sure how to do a conditional in pi calculus < 1212702887 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Without adding some operator to it < 1212702896 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Make it lambdalicious < 1212702937 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, the thing is, the only thing I have no idea how to do is how to do input on a conditional. < 1212702970 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For the output, since it will depend on the functions, I can just output 0. < 1212702979 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :If I don't want nufin. < 1212702986 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :dude i love SICP < 1212702987 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1212702997 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Why don't you marry it then. < 1212703005 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::o < 1212703008 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :::marries SICP:: < 1212703013 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :e's taken < 1212703013 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :sorry < 1212703015 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I'm already mar- < 1212703022 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :SICP IS A POLYGAMISRT < 1212703023 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::((sd*asd(asd*( < 1212703025 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION kills self
< 1212703033 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :dont kill self < 1212703036 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its a neat language < 1212703040 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :leave ungers language alone! < 1212703044 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1212703067 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :BEST LANGUAGE: N+1Q < 1212703073 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wot < 1212703181 0 :Nocta!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1212703205 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1212703209 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking < 1212703218 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :NO DONT < 1212703225 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :since there's no difference between a channel and an object in pi. < 1212703238 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: channel=object=LAMBDA < 1212703240 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The input or not could be decided by a function too. < 1212703261 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Instead of doing a(x), I could do f(stuff)(x) < 1212703280 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. I sort of wanted to keep the two separated. < 1212703297 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'd better wait for the book t get a better feel of pi. < 1212703299 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm, pie. < 1212703327 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For I made it my life mission to bring to life the neglected computational models in esoteria. < 1212703330 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :.3 < 1212703345 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: idea < 1212703350 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :NOP-CALCULUS < 1212703373 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric ::sb end < 1212703379 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1212703381 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :wrong window < 1212703386 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1212703412 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :tusho : Neglected, not non-existent < 1212703418 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Invent it! < 1212703436 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It isn't my life mission < 1212703441 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Do it yourself. < 1212703444 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :is there any programming language thats not piet-like which requires the you program visually in order to actually achieve anything quickly? < 1212703448 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: But ... you're Slereah < 1212703455 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: yes < 1212703456 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :subtext < 1212703457 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I believe < 1212703459 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :non-eso, well. eso. < 1212703476 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm Slereah, not ais :o < 1212703514 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: :| < 1212703545 0 :Deformati!unknown@unknown.invalid NICK :Deformative < 1212704047 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :im looking at subtext < 1212704054 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and i dont know < 1212704059 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its so.. bulky < 1212704173 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hi. < 1212704180 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Subtext sucks yeah < 1212704188 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1212704207 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Oh, and. < 1212704209 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i can easily imagine a text based language that achieves similar results < 1212704214 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I'm workign on a fun dependently-typed language < 1212704223 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Basic syntax, basically like haskell. < 1212704237 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :id : forall \a. a -> a; id a = a; < 1212704276 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :forall \a??? < 1212704310 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: forall is a function < 1212704313 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :right < 1212704314 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but < 1212704315 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall : (Type -> a) -> a < 1212704315 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :\a? < 1212704320 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(\a. b) is a lambda < 1212704327 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :like Haskell's (\a -> b) < 1212704332 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :because: forall : (Type -> a) -> a < 1212704342 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh i see what you're doing < 1212704357 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no i dont :D < 1212704369 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: types are just code < 1212704372 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i know that < 1212704380 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but i dont see how your forall is working < 1212704387 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: well, the function itself is magical < 1212704387 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but < 1212704391 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall (\a. a -> a) < 1212704396 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's just calling forall with a function < 1212704399 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that takes a type and returns a type < 1212704403 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but whats the functon? < 1212704406 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: a primitive < 1212704413 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's just Haskell's 'forall' < 1212704420 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no i mean what is (\a. a -> a) < 1212704452 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: uh, a function < 1212704456 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it takes an argument a, and returns (a -> a) < 1212704462 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(->) : Type -> Type -> Type; < 1212704463 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1212704466 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok. < 1212704466 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's the function type < 1212704473 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so < 1212704478 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :thats weird to me < 1212704480 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall \a. a -> a : Type < 1212704482 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :haskell doesnt do it that way < 1212704489 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: haskell has a seperate type and value language < 1212704498 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :in this, the type system language is the value language < 1212704501 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in haskell the id function would be of type < 1212704506 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: I know haskell, kthx. < 1212704509 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok. < 1212704518 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :But apparently you were not telling the truth when you said you understood types as values.. < 1212704527 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no, i didnt understand your notation < 1212704529 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :kthxbai < 1212704554 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: can you understand this < 1212704557 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :func (\a. a + 1) < 1212704586 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What's a kitty program in Scheme? < 1212704593 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yes, its a function func applied to a lambda \a.a+1 < 1212704596 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Googling cat and scheme did not fare too well. < 1212704607 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: what about this < 1212704610 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall (\a. a + 1) < 1212704615 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212704616 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's a function forall applied to a lambda \a.a+1 < 1212704620 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :right? < 1212704622 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yes. < 1212704630 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: now < 1212704631 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :imagine this < 1212704635 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(->) : Type -> Type -> Type; < 1212704644 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that is, (a -> b) where a and b are types, is a type < 1212704649 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: (->) is just a regular function < 1212704653 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :takes two types, returns a type. < 1212704654 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Denotes a function. < 1212704657 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: Understand so far? < 1212704660 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yes :P < 1212704669 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: ok < 1212704674 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall (\a. a -> a) < 1212704698 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall : forall \a. (Type -> a) -> a; (Yes obviously we get into recursion here.) < 1212704708 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So, {{forall (\a. a -> a)}} is a Type. < 1212704715 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It happens to be the type of id. < 1212704729 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok now i think you're over my head but whatever :P < 1212704733 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: what < 1212704742 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :you understand forall (\a. b) < 1212704745 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and a -> b < 1212704749 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but not forall (\a. a -> b)? < 1212704750 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :nevermind tusho < 1212704751 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that makes no sense < 1212704769 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: ok, do _you_ grok dependent types < 1212704785 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1212704848 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Ok, who does. < 1212704862 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You? < 1212704901 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :augur: is there an esolang with unary numbers? <<< in many languages you have to build numbers from zero and succ, and in many languages you just have increment, decrement and zero-check, but "having unary numbers" doesn't really mean anything :) < 1212704915 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: do you understand dependent types < 1212704952 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :tusho doesnt like that i didnt understand him so now hes determined to find someone who does understand him so he wont feel alone < 1212704973 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :tusho: my problem is more with your use of forall on a LAMBDA not on a TYPE < 1212704976 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :thats what i dont get < 1212704991 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Don't worry tusho, we still love you < 1212704997 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: forall gives its lambda a forall'd type. < 1212704999 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Even if you love dependant types < 1212705009 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall (\a. In here, 'a' is a 'forall'd type) < 1212705010 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1212705019 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: one line up. < 1212705021 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall (\a. In here, 'a' is a 'forall'd type) < 1212705027 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1212705034 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: what? what? what? what? what? < 1212705037 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :forall (\a. In here, 'a' is a 'forall'd type) < 1212705046 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i can keep typing what all night long < 1212705068 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: maybe you would get further if you explained which part doesn't make sense. < 1212705080 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i did: foralling a lambda. < 1212705089 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: how about this < 1212705098 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :giveMeAForalldTypePlease (\a. In here, 'a' is a 'forall'd type) < 1212705109 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :nope, that makes no sense. < 1212705116 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: why the hell not < 1212705123 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :because you're confusing. < 1212705144 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: 'forall a. b' in haskell < 1212705147 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :is: < 1212705154 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :'give me a forall'd type - call it a - and then, b' < 1212705169 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :my 'forall' just makes that explicit: the 'giving' is where it gives it to the function it's passed. < 1212705203 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well your forall is confusing to me. < 1212705216 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't see why people are so obsessed with preventing spam, i never get any, and i always boldly give out my villsalo@tkukoulu.fi email address without encryption < 1212705220 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: wow really. < 1212705230 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :haskells is clearer to me, yes. < 1212705244 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: yes, but haskell is two languages < 1212705249 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :'haskell', and 'haskell's types' < 1212705251 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well whatever < 1212705252 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :mine is just one unified language. < 1212705256 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :good for you < 1212705259 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it is its own type system < 1212705268 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: sure - but this way lets you report spammers < 1212705270 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :which is phun < 1212705399 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is there a list of cat programs somewhere? < 1212705488 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :nopol is based on nop-calculus ofc < 1212705513 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :tusho did you just confuse the haskellians as well? lol < 1212705519 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: no. < 1212705526 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i think you did < 1212705540 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: most of them actually understand dependent types, types-as-values, values-as-types, and type systems < 1212705543 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :far more than me, too < 1212705551 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so, no, you're the only confused one < 1212705564 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and yet they're not assholes when someone doesnt understand it like you are < 1212705584 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :augur: I haven't been an asshole. < 1212705584 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :they're kind and gentle and loving < 1212705587 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1212705592 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :If you'd kindly point out where I have been... < 1212705654 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION points to tusho's ass
< 1212705675 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :*tusho's tushy < 1212705692 0 :jfredett!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212705719 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :suck it up < 1212705721 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :wait, no, I'm not into that < 1212705770 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :This will be archived and held against you. < 1212705805 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I've said far worse < 1212705822 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tusho: i admit reporting spammers is fun, but i don't actually have anything against them < 1212705878 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: why not? < 1212705904 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :should i ? < 1212705954 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1212705974 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok so tell me what you think of this model for a reactive language's implementation: you'd set up your definitions, like x^2 + y -> z, which would get transformed into a dependency table like x: (z,x^2 + y), y: (z,x^2+y) < 1212706035 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :when x or y is changed, the interpreter looks up the variable in the dependency table, and for all pairs, it goes through and updates the values in each of those variables useing the stored function < 1212706045 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's "->" < 1212706056 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is it "?=" < 1212706058 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :the arrow showing dependencies < 1212706060 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*"="? < 1212706064 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1212706069 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what does that mean? < 1212706074 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :x -> y means "the value of x gets pushed into y" < 1212706081 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so whenever you change x, you also force a change in y < 1212706101 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its sort of the reverse of a function i guess you could say < 1212706120 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess you could say it's "=" < 1212706139 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :if you had a function like z = x^2 + y, whenever you ask for z, it goes out and finds x and y and performs the function and returns the value < 1212706144 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :whereas reactively the reverse happens < 1212706166 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :whenever you change x or y, the change cascades to everything thats defined in terms of it < 1212706236 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its just functions from the other direction < 1212706249 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :functions get called, which pulls values int < 1212706259 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in* < 1212706261 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :reactions get triggered, which pushes values out < 1212706287 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :functions get values when values are requested, reactions push values when values change < 1212706341 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :dataflow programming, i get it < 1212706352 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well, reactive programming, but sure. < 1212706362 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yarrrrrrrrrrrr < 1212706420 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :anyway, so thats my idea of interpreting it: when you set up a reaction like x^2 + y -> z < 1212706447 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what the interpreter does is set up an entry in the dependency table for x and for y, each saying that z gets the value x^2+y < 1212706489 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so when you say 5 -> y, or something, the interpreter looks up y and says, aha, z depends on y, let me set the new value of z. < 1212706544 0 :Judofyr!unknown@unknown.invalid QUIT : < 1212706599 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :AND FIXED-POINTS FOR CIRCULAR DEPENDENCY!! < 1212706608 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :YES < 1212706608 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :EF, HAVE I MENTIONED EF TODAY??!?!? < 1212706619 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :...that was fast. < 1212706645 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: now what I said about all expressions returning infinite values, your directed-to-halting-problem-computation idea, where the halting function returns the infinite cyclic list of {T,F,T,F,T,F,...}, and how every expression filters over the infinite set of everything < 1212706646 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :DISCUSS < 1212706673 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1212706766 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. I should start writing up the specs for Limp while waiting for the pi.0 < 1212706960 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tusho: coooool < 1212706971 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I know < 1212706971 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was thinking, quining + H() < 1212706982 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: ok, now we have to munge that into my infinite-list-of-values thing < 1212706987 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I already mugned H() into it as you can see < 1212706991 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so we need to munge the quining into this paradigm < 1212707001 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and then make it into the exprs-filter-everything paradigm < 1212707002 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :H() needs to be the only way to loop < 1212707003 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :once we've done that < 1212707006 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :WE GET THE LANGUAGE! < 1212707030 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1212707034 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :THE LANGUAGE < 1212707036 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :written in all caps < 1212707051 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ALSO ALL SENTENCES CONTAINING THE NAME THE LANGUAGE SHOULD BE IN CAPS. < 1212707061 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's part of the name. < 1212707079 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: yes < 1212707083 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :THE LANGUAGE WILL BE AWESOME < 1212707089 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: wow, it's like those right-to-left unicode characters < 1212707093 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :they affect everything around them < 1212707099 0 :timotiis!n=timotiis@cpc4-brig12-0-0-cust582.brig.cable.ntl.com JOIN :#esoteric < 1212707187 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes! < 1212707194 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :exactly what i was thingering < 1212707197 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*thinking < 1212707334 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: this is great < 1212707340 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: and this language is even implementable < 1212707345 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :because H doesnt' actually caclulate it < 1212707346 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :well it does < 1212707357 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it just gives a cyclic list of both possibilities (T and F) < 1212707361 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so it's not very useful < 1212707362 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but, it will be < 1212707364 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :just not directly < 1212707365 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1212707841 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm not in a very intelligent mood atm, so i can only humor you with random comments < 1212707850 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Ah shit < 1212707857 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I almost made a cat program < 1212707864 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but i do think H might own in an esolang, as a looping construct < 1212707865 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But it only worked once. < 1212707870 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Bloody Scheme. < 1212707929 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What does not compute in ((u) (u) (display (read))? < 1212707935 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Where u is the Turing combinator. < 1212707956 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It asks for input, output it, and then asks for input but never output it anymore. < 1212708013 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Define u. < 1212708037 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: (And why not just use a regular loop? Scheme isn't combinator-land.) < 1212708039 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(define (u) (lambda (x y) (y (x x y)) < 1212708060 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I made the same program in Lazy Bird. < 1212708066 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you're using it funnily < 1212708071 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So I thought I might as well get my money's worth < 1212708075 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :define that is < 1212708097 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Plus I'm not sure how to loop in scheme. < 1212708125 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1212708131 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: (u) is returning a lambda < 1212708132 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :why not < 1212708138 0 :revcompgeek!i=42ec44fd@gateway/web/ajax/mibbit.com/x-58832e643cd66485 JOIN :#esoteric < 1212708139 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define (u x y) (y (x x y))) < 1212708140 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :used as < 1212708141 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I could use recursion to get in the functional mood, but well. < 1212708142 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(u x y) < 1212708159 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Does it matter that it's a lambda? < 1212708212 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: (define (u) (lambda < 1212708213 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Nop, same problem < 1212708214 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :bzzt! stupid. < 1212708223 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Why is 'u' a function that does nothing but return another function? < 1212708230 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Why not just define u to be the function: < 1212708232 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Also, segfault error butt < 1212708233 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(define u (lambda (x y) ... < 1212708245 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Which then, optionally, reduces to (define (u x y) ... < 1212708259 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's all fine and dandy < 1212708263 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Slereah is treating scheme like a cross of Python and the lambda calculus, which is resulting in MUCH FUN for me.. < 1212708266 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: No, no it's not. < 1212708275 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But it works exactly the same way as the lambda :o < 1212708287 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That is, not very well. < 1212708310 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Why does it no work? < 1212708400 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Because you're not learning scheme, you're just inputting crap into the interp. < 1212708407 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric ::o < 1212708410 0 :oklofok!n=nnscript@a91-152-137-110.elisa-laajakaista.fi JOIN :#esoteric < 1212708411 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1212708412 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wait < 1212708420 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The first y could probably go away < 1212708462 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It works no better :o < 1212709161 0 :Slereah5!n=hax@ANantes-252-1-5-151.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212709162 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :Oh shitcock. < 1212709179 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :I need moar niggabits < 1212709201 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :[00:26:52] The first y could probably go away < 1212709201 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :[00:27:33] It works no better :o < 1212709201 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :[00:28:14] * Disconnected < 1212709208 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :Was I saying < 1212709209 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : It works no better :o < 1212709209 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :* Slereah5 (n=hax@ANantes-252-1-5-151.w82-126.abo.wanadoo.fr) has joined #esoteric < 1212709214 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :But at least, no segfault! < 1212709225 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I hope you're using the Dr Scheme IDE? < 1212709234 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And not, like, editing with notepad and running it from the commandline. < 1212709235 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :Yes, yes I am. < 1212709244 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: And actually running the scheme inside it? < 1212709246 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :With the Run button? < 1212709263 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :Not the run button, no. < 1212709291 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: What, then? < 1212709598 0 :oklopol!unknown@unknown.invalid QUIT :Connection timed out < 1212709740 0 :Slereah5!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212709749 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1212709752 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :missoklopol < 1212709755 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212709779 0 :Slereah5!n=hax@ANantes-252-1-5-151.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212709781 0 :Slereah5!unknown@unknown.invalid PRIVMSG #esoteric :>:| < 1212709788 0 :Slereah5!unknown@unknown.invalid NICK :Slereah < 1212710049 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Seems to be stable now. < 1212710061 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although still low < 1212710082 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :awwkage < 1212710209 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Them Scheme input is no fun. < 1212710219 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or output, I'm not too sure < 1212710325 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it works perfectly with input alone < 1212710330 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But not output alone