< 1392681651 911975 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :`run echo '/quit' < 1392681652 557614 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/quit < 1392681657 104215 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :`run echo '/part' < 1392681657 700193 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/part < 1392681805 478780 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It doesn't work like that < 1392681839 188641 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :so i see < 1392681849 150511 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :it was worth a shot < 1392681865 965328 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`run printf '\r\nQUIT :a\r\n' # would do better, but won't work anyway < 1392681866 505423 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ < 1392681900 161945 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :obviously it wont be a raw irc message < 1392681914 110719 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net PRIVMSG #esoteric :otherwise plain echos wouldnt work < 1392682018 741012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* boily chokes on trying to say “brzrocoin” <-- you're just not czech enough hth < 1392682072 868100 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I am Canadian. I am also sane. those are two qualities that prevent me of pronouncing exotic consonant clusters. < 1392682109 119427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still with the delusions < 1392682176 516768 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the delusions, they are delicious. < 1392682201 670480 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(or is that the meal I'm currently eating? I can't make the distinction.) < 1392682681 743633 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 272 seconds < 1392683048 399164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my current meal is so cheesy < 1392683070 293481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also bready and liver patéy < 1392683221 833648 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://yle.fi/uutiset/poroille_tarkoitetun_heijastinsprayn_tehtavana_estaa_liikenneonnettomuuksia/7093117 < 1392683520 118901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Well, the easiest way I've seen is by simulation of B,C,K,W with fix to get round Hindley-Milner <-- come to think of it, i don't actually have a citation that that is enough. i'm suddenly worried by the fact you cannot make polymorphic functions this way. < 1392683605 233372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure that it's actually a problem, though. < 1392683648 593133 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :pâté de foie is a good thing. < 1392683667 401299 :boily!~boily@96.127.201.149 QUIT :Quit: CHICKEN OF DOUBT < 1392683670 585563 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1392683680 200799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i think lens probably has enough stuff that you could make arithmetic directly as well, which would surely clinch it. < 1392683746 352469 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :If you write "echo KCUF | rev", then the respose is supposed to be "FUCK" it isn't a misbehaviour. If you don't like it, give different input please! < 1392683760 118220 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :boily: Being Canadian and sane prevent you from pronouncing some things? Are you sure? < 1392683799 187403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view curried (view (sumOf both)) < 1392683800 426849 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `((a0, b0) -> Accessor a1 (a0, b0), < 1392683800 615765 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (a0, b0) -> Accessor a1 (a0, b0))' < 1392683800 615954 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `a1 -> Accessor a1 a1' < 1392683805 106153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm not quite < 1392683831 242752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view curried (sumOf both) < 1392683832 354203 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => a -> a -> a < 1392683846 663983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view curried (productOf both) < 1392683847 744804 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => a -> a -> a < 1392683857 252343 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I think it is allowed to be both sane and insane simultaneously. < 1392683894 826167 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :There is an area of the mind that could be called unsane, beyond sanity, and yet not insane. Think of a circle with a fine split in it. At one end there's insanity. You go around the circle to sanity, and on the other end of the circle, close to insanity, but not insanity, is unsanity. < 1392683904 859824 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote I think it is allowed to be both sane and insane simultaneously. < 1392683906 369877 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1170) I think it is allowed to be both sane and insane simultaneously. < 1392683959 250142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (^-) < 1392683960 229308 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `^-' < 1392683960 418203 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1392683960 418357 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `-' (imported from Prelude), `^' (imported from Prelude), < 1392683964 107850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1392683968 728217 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :When the object enters the timestream, time begins to correct itself. Let me use this example: Imagine four balls on the edge of a cliff. Say a direct copy of the ball nearest the cliff is sent to the back of the line of balls and takes the place of the first ball. The formerly first ball becomes the second, the second becomes the third, and the fourth falls off the cliff. Time works the same way. < 1392683971 845264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (~-) < 1392683972 887083 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `~-' < 1392683973 76143 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1392683973 76323 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `-' (imported from Prelude), `-~' (imported from Control.Lens) < 1392683978 853156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (-~) < 1392683979 897845 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => ASetter s t a a -> a -> s -> t < 1392683986 187083 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :kmc: O, that's how it works. < 1392683994 31780 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK, now I know < 1392684016 570308 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: that's what Terence McKenna says, anyway < 1392684028 351832 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :dude probably smoked his own weight in DMT < 1392684039 694397 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric ::O < 1392684041 438331 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :depending on your perspective that might make him either more or less reliable on these matters < 1392684046 568172 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK, now I can know who such a quotation is from. < 1392684071 775849 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wait is DMT something you smoke < 1392684072 18920 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :naturally, I know that quote not from reading his writing directly but from hearing it in a psychedelic trance song < 1392684077 244570 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: can be < 1392684083 577504 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :drat < 1392684116 947724 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"When smoked, DMT generally reaches full effects within 10-60 seconds of inhalation." it's one of these < 1392684118 408010 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I don't know what "DMT" stands for. < 1392684124 535803 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :dimethyltryptamine. < 1392684140 120235 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :N,N-dimethyltryptamine yeah < 1392684160 623754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I,I N,N-dimethyltryptamine < 1392684163 86332 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION has smoked 5-MeO-DMT but not DMT
< 1392684196 453761 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I tried ayahuasca once < 1392684196 643121 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i,i 2-(1H-indol-3-yl)-N,N-dimethylethanamine ¬_¬ < 1392684226 605618 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: you can also trip from eating DMT-containing plants but you need to take them with a MAOI; there are traditional preparations for this < 1392684231 123768 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :copumpkin: oh, how was it? < 1392684236 617050 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :weird as hell < 1392684242 135002 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :but I haven't tried regular DMT < 1392684244 420348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (-~) (over simple) < 1392684244 979819 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I threw up a bunch :P < 1392684245 695776 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t0 = Mutator t0 < 1392684245 884743 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: ASetter (Mutator t0) t0 (Mutator t0) (Mutator t0) < 1392684245 884878 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (Mutator t0 -> Mutator t0) < 1392684251 140891 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :https://24.media.tumblr.com/901826dd6f13abf694cac1fb0442643d/tumblr_n09sqfia1j1qetjcco3_250.jpg < 1392684251 329695 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :did you see the machine elves < 1392684252 404478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn what was it again < 1392684257 909737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (-~) id < 1392684258 968842 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num t => t -> t -> t < 1392684272 59311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t over simple < 1392684273 60590 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(b -> b) -> b -> b < 1392684274 92453 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :nope, but I saw lots of weird things getting drawn in green tendrils < 1392684278 448544 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1392684286 204148 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :it was really weird, part of a ritual in the dark < 1392684288 556641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view simple < 1392684289 552796 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadReader a m => m a < 1392684301 524594 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t view simple id < 1392684303 174338 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> a < 1392684303 463449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (-~) (view simple) < 1392684304 830347 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => a -> a -> a < 1392684306 867107 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :the room was completely dark but if my eyes were open, I'd feel super lucid < 1392684321 718342 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :but since it was dark and I was seeing shit regardless, my eyes would creep shut without me noticing, but when they were shut I'd feel super mentally congested < 1392684325 302565 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t view simple id 3 < 1392684326 310314 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => a < 1392684327 47837 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :then I'd open them up and feel relieved again < 1392684333 899780 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :woah < 1392684336 241560 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's interesting < 1392684347 663087 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yeah < 1392684353 946961 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I'd do it again, but didn't much enjoy the throwing up :) < 1392684382 465134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf < 1392684383 319610 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Getting (Endo (Endo Int)) s a -> s -> Int < 1392684385 859927 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1392684387 181117 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :it was the sketchiest thing I've ever done, too. I was in a big city in the peruvian amazon, super poor, driven away into the slums of the poor city < 1392684404 70558 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :then walked into a house where the shaman lived < 1392684414 862359 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :probably not the wisest thing to do, but it worked out < 1392684420 132991 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm glad it worked out :) < 1392684422 628097 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :eating a large qty of plant stuff is a good way to throw up, yeah < 1392684428 910244 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :though i have puked from pure synthetic psychedelics too < 1392684432 85314 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :this was a weird liquid concoction < 1392684433 777114 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(well, purity unknown but probably high) < 1392684435 351969 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ah < 1392684457 797909 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I'd still like to try pure DMT < 1392684491 366863 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :pity they took SR down :P < 1392684493 601917 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :>_< < 1392684506 914688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: view simple _is_ id < 1392684511 744014 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: I know < 1392684535 908714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: the game here is to use no identifiers or constructors defined outside lens < 1392684545 622908 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I know < 1392684586 565803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t aside < 1392684587 714347 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Applicative f, Choice p) => APrism s t a b -> p (e, a) (f (e, b)) -> p (e, s) (f (e, t)) < 1392684594 755759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t beside < 1392684595 820066 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Applicative (Data.Profunctor.Rep.Rep q), Applicative f, Data.Profunctor.Rep.Representable q) => Overloading p q f s t a b -> Overloading p q f s' t' a b -> Overloading p q f (s, s') (t, t') a b < 1392684602 909301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1392684606 323131 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t side < 1392684607 390938 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `side' < 1392684607 614378 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1392684607 803582 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `aside' (imported from Control.Lens), < 1392684856 463824 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392684985 836612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t re _Just < 1392684987 32370 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Functor f, Contravariant f) => (Maybe b -> f (Maybe b)) -> b -> f b < 1392685037 760642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t review _Just < 1392685038 843983 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadReader b m => m (Maybe b) < 1392685104 569160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf (review _Just) _Just < 1392685105 722556 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `Maybe (a0 -> Accessor (Endo (Endo Int)) a0)' < 1392685105 911526 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `(p0 a1 (f0 b0) -> p0 (Maybe a1) (f0 (Maybe b0))) < 1392685105 911699 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> Accessor < 1392685114 786162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf < 1392685115 769023 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Getting (Endo (Endo Int)) s a -> s -> Int < 1392685177 496365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf folded ((review _Just) _Just) < 1392685178 592480 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Choice p0) arising from a use of `_Just' < 1392685178 781284 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable `p0' is ambiguous < 1392685178 781450 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1392685182 512445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1392685189 27871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf folded < 1392685190 31818 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Foldable f => f a -> Int < 1392685240 672866 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :can't you just use djinn somehow < 1392685249 410991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf folded ((review _Just) (view simple)) < 1392685250 771410 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (MonadReader a0 m0) arising from a use of `view' < 1392685250 960305 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variables `m0', `a0' are ambiguous < 1392685250 960444 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Possible fix: add a type signature that fixes these type variable(s) < 1392685303 603943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t lengthOf folded ((review _Just) (over simple)) < 1392685304 617924 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Int < 1392685307 750355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whew < 1392685312 871018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> lengthOf folded ((review _Just) (over simple)) < 1392685316 280651 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1392685320 781258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1392685344 777526 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t review < 1392685346 71216 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadReader b m => AReview s t a b -> m t < 1392685356 677018 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well i'm satisfied < 1392685447 546268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: just ponder http://cokmett.github.io/cokmett/ (you need to click on the picture) < 1392685476 339731 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :incredible < 1392685493 769433 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :bimonocycleoid < 1392685563 359947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i recall a question whether it was statistically guaranteed to halt, don't think it got a proper answer < 1392685628 761304 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Highlighting the picture seems to reveal something, although clicking on it doesn't work. < 1392685682 841790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> view curried (productOf both) (lengthOf folded ((review _Just) (over simple))) (lengthOf folded ((review _Just) (over simple))) < 1392685686 589851 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1392685691 394155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1392685697 526850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> view curried (sumOf both) (lengthOf folded ((review _Just) (over simple))) (lengthOf folded ((review _Just) (over simple))) < 1392685699 68588 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2 < 1392685707 395623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Taneb view curried (sumOf both) (lengthOf folded ((review _Just) (over simple))) (lengthOf folded ((review _Just) (over simple))) < 1392685707 852696 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1392685734 895200 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 252 seconds < 1392685794 981459 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :now do fib < 1392685798 17091 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Heh, using lengthOf for getting numbers < 1392685800 607892 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t lengthOf < 1392685801 852065 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Getting (Endo (Endo Int)) s a -> s -> Int < 1392685813 843999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: oh Taneb already did < 1392685821 874961 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah but isn't _1 cheating or something < 1392685831 914746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, _1 is defined in lens < 1392685841 876989 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah but it has a 1 in it. < 1392685843 855207 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :clearly too easy. < 1392685848 183333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1392685854 428029 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let foo1 = 'a' in foo1 < 1392685855 786211 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 'a' < 1392685858 498418 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :_1 is fair < 1392685862 830633 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :otherwise why did you go through all the effort of finding another way to get 1 < 1392685904 557865 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How do you get 1 from _1? < 1392685912 152348 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hell if i know, i'm not a nerd < 1392685927 673674 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't think tuples are indexed < 1392685932 71128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: it's using javascript < 1392686075 911852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (3,4) & view (each.index 0) < 1392686077 690821 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `GHC.Types.Int' < 1392686077 879805 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `p0 b' (Control.Lens.Internal.Getter.Accessor a0 b')' < 1392686077 879990 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686077 880080 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> p0 b' (Control.Lens.Internal.Getter.Accessor a0 b') < 1392686077 880173 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686095 95633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [3,4] & view (each.index 0) < 1392686096 634542 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `GHC.Types.Int' < 1392686096 823348 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `p0 t0 (Control.Lens.Internal.Getter.Accessor a0 t0)' < 1392686096 823516 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686096 823610 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> p0 t0 (Control.Lens.Internal.Getter.Accessor a0 t0) < 1392686096 823700 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686100 8619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oop < 1392686101 244506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s < 1392686133 291722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [3,4] & view (traversed.index 0) < 1392686134 820446 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `GHC.Types.Int' < 1392686135 9622 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `p0 t0 (Control.Lens.Internal.Getter.Accessor a0 t0)' < 1392686135 9772 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686135 9862 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> p0 t0 (Control.Lens.Internal.Getter.Accessor a0 t0) < 1392686135 9955 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686217 725683 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392686223 565036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (3,4) ^. each.index 0 < 1392686225 1876 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `GHC.Types.Int' < 1392686225 190743 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with `p0 b' (Control.Lens.Internal.Getter.Accessor a0 b')' < 1392686225 190892 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686225 190985 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> p0 b' (Control.Lens.Internal.Getter.Accessor a0 b') < 1392686225 191111 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (a0 -> Control.Lens.Internal.Getter.Accessor a0 a0) < 1392686309 102607 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What is your opinion of procedural SQL? I do not find procedural SQL extensions useful; the features provided by SQLite (now that recursive WITH clauses are supported) is good enough. Wikipedia does say, SQL is influenced by Datalog, so there is some relation to logic programming. < 1392686339 473536 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :procedural sql is the false helix < 1392686413 132390 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :However, two missing features from SQLite which would help would be CREATE FUNCTION (not in the way PL/SQL does it, though), and ALTER ... RENAME TO ... for objects other than tables. < 1392686463 711603 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Better way of CREATE FUNCTION should be one similar to views, so it is like: CREATE FUNCTION name(args) AS expression; < 1392686524 889750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Taneb hm i briefly forgot you'd already done fibonacci. < 1392686525 499788 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1392686573 979561 :nooodl_!~nooodl@91.177.110.60 QUIT :Quit: Ik ga weg < 1392686704 427765 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :To do aggregate functions you should have, before AS, put ACCUMULATING and a list of variables, each one has "name = initial_value UPDATE TO new_value". Do you think that would be better way? < 1392686788 645719 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :For example: CREATE FUNCTION TOTAL(X) ACCUMULATING (T = 0 UPDATE TO T+X) AS T; < 1392686935 30019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : no pasting allowed? <-- pasting is allowed. you're just not allowed to look at the result. < 1392687298 709670 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392687954 460501 :zzo38!~zzo38@24-207-57-25.eastlink.ca QUIT :Remote host closed the connection < 1392688523 28409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the last paragraph of this blog post is on topic here http://terrytao.wordpress.com/2014/02/04/finite-time-blowup-for-an-averaged-three-dimensional-navier-stokes-equation/#respond < 1392688542 666181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops i forgot to take off that #respond < 1392688554 702820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(as did the reddit poster) < 1392688612 823433 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it is my dream to some day understand something tao says < 1392688629 685184 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 265 seconds < 1392688652 418765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically terry tao is suggesting that it _could_ in principle be possible to disprove the navier-stokes conjecture by embedding a computer into ideal fluid mechanics < 1392688672 56447 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :O_o < 1392688707 810114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or something equivalent to a cellular automaton replicator < 1392688714 438845 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :«To visualise the dynamics of such a system, I found it useful to describe this system graphically by a “circuit diagram” that is analogous (but not identical) to the circuit diagrams arising in electrical engineering» damn < 1392688733 12550 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :not that this looks anything like a circuit diagram but < 1392688760 735479 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 252 seconds < 1392688830 252702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also he refers to the lord of the rings movies < 1392688870 64096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(don't worry Bike, i don't really understand any of this either) < 1392688889 688701 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i've yet to meet anyone that can understand tao < 1392688948 583660 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :of course, i probably couldn't understand anyone who could understand tao < 1392689014 552333 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392690015 745910 :heroux!~heroux@50708181.static.ziggozakelijk.nl QUIT :Ping timeout: 272 seconds < 1392690032 968022 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1392690566 769560 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1392690590 320952 :CADD!~CADD@12.227.104.109 NICK :Guest76828 < 1392690821 719401 :Guest76828!~CADD@12.227.104.109 QUIT :Ping timeout: 248 seconds < 1392691016 928040 :yorick!~yorick@oftn/member/yorick QUIT :Ping timeout: 245 seconds < 1392691312 525957 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Read error: Connection reset by peer < 1392691388 498217 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1392693017 759588 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 252 seconds < 1392693292 826134 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392693583 644378 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1392693808 556511 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1392693841 807575 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392694091 786555 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1392694439 726376 :zzo38!~zzo38@24-207-57-25.eastlink.ca JOIN :#esoteric < 1392695617 766521 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392696180 747452 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What d'you call the idea that if you choose something randomly it tends to be one of the more common ones? < 1392696225 727656 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :bias? < 1392696235 540639 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Perhaps! < 1392696311 491800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :distribution? < 1392696984 575705 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Taneb: It isn't precisely clear what you mean. < 1392697001 436626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm with zzo38 < 1392697003 561829 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think it really matters < 1392697028 430301 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like, I'm trying to compute an estimate of the mode. Enumerating the possibilities is expensive. < 1392697060 510272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: a poll? < 1392697092 301584 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think it really matters what I call it < 1392697162 172699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think the mode may be one of the hardest parameters to estimate if you don't have some other knowledge about the distribution < 1392697221 159176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because you might miss it completely if it's a narrow spike < 1392697289 297949 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, here it's the case that any of the population is sort of good enough < 1392697292 723351 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Just the mode is the best < 1392697324 157169 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :O, yes, that is what it is called; it is called the mode. < 1392697338 542006 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :At first I didn't understand, but of course, that is what it is. < 1392697358 868107 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 265 seconds < 1392697529 408128 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1392697762 851387 :password2!~password@197.78.179.33 JOIN :#esoteric < 1392698386 743633 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392698447 688551 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I thought of idea to connect I/O devices to computer and to each other using ethernet, that peer-to-peer is possible, no special drivers are need to write implementations or proxies, and several other things. < 1392698596 442707 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1392698899 661073 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :just hook up keyboard to ethernet broadcast < 1392698904 867190 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :everyone gets every keystroke..p2p! < 1392698926 934656 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in uni we made a Linux kernel driver which let you share a page of memory with every host on your LAN < 1392698938 289823 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes, that is the other thing; to allow multiple devices to be having multiple devices. < 1392698962 103904 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it was p. cool, you could just write into memory and the other nodes would see it by magic < 1392698968 818407 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :DSM! < 1392698970 237790 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :For example to allow one keyboard on two computers, or multiple computers to share access to a single disk. < 1392698971 53775 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :of course doing this with good performance is Very Hard < 1392698982 446008 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but it's also a problem that multi-core systems have to solve < 1392698986 389018 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :A file system could be supported using FTP and Plan 9 protocols. < 1392699015 822145 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :EPARSE "ftp and plan9 protocols" < 1392699037 298853 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it would have been fun to extend that project by implementing real cache coherence protocols < 1392699065 230998 :pikhq_!~pikhq@2602:100:18b2:f790:a60:6eff:fece:493 PRIVMSG #esoteric :newsham: Plan9 is a network protocol. To be specific it is the network protocol used for all RPC on Plan 9. :) < 1392699083 403000 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Or to have two devices connected to each other without necessarily needing the host computer (other than a router or something like that). < 1392699148 385490 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :http://www.thenewsh.com/~newsham/plan9/ < 1392699353 746217 :zzo38!~zzo38@24-207-57-25.eastlink.ca QUIT :Ping timeout: 252 seconds < 1392699408 841999 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1392699433 321754 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Did somebody say Plan9? < 1392699444 794591 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Longtime fan, never used it. < 1392699460 127990 :zzo38!~zzo38@24-207-57-25.eastlink.ca JOIN :#esoteric < 1392699463 184174 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I think it would be a good idea to make each process in a Linux (or similar) system to have a filesystem associated which is under its directory in /proc/ and if the program doesn't provide a filesystem, then you should get a "disk is not inserted" error when you try to access it. < 1392699515 618512 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :luserdroog: you should use it. you can get a vm imgae setup really quickly. < 1392699553 558617 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Hmm. I do have some free disk space after offloading some porn.... < 1392700040 631984 :atriq!~Nathan@5.151.64.74 JOIN :#esoteric < 1392700047 95280 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :My desktop decided to stop working < 1392700060 466953 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :First time I've used my laptop in aaaages < 1392700118 13421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is it pining for the fjords < 1392700137 477617 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :It's pining for a hard drive that hasn't fallen out, I think < 1392700143 643494 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1392700155 904399 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :plan9 ran on big machines in 2002. so pretty much takes up no disk space today ;-) < 1392700169 94002 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :also the core system is itself pretty small < 1392700198 89126 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :you can find some demo videos on youtubes, too < 1392700213 820439 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :You know, it's 5 am < 1392700217 146990 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :I really should sleep < 1392700242 452097 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Didn't people used to complain about how much resources a Smalltalk VM took up? < 1392700272 658280 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :How much resources to they compare to how much DOS takes up? < 1392700280 740773 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :also easy to get and use -- plan9 ports, which give syou much of the plan9 env/tools in unix. http://swtch.com/plan9port/ < 1392700461 319033 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: it sounds like you were describing the idea of statistical sampling < 1392700464 57253 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :@localtime atriq < 1392700464 442325 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :people will complain about anything < 1392700465 61099 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :sgeo: now its just a small vm for toys on olpcs. :) < 1392700491 256742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@time < 1392700494 521467 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for oerjan is Tue Feb 18 06:14:51 2014 < 1392700520 562898 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for atriq is Tue Feb 18 05:15:25 < 1392700525 688250 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is it possible to obtain OLPCs these days? < 1392700543 793774 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i imagine people are throwing them away by now < 1392700562 823147 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: ask Blaketh < 1392700573 112981 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :he's in #trains < 1392700573 947410 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com NICK :SirCmpwn_ < 1392700576 421434 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :google says ebay has some for sale in the $100-$150 range < 1392700586 414710 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :at one point he had like 30 of them plus the box that lets you charge 30 batteries at once :) < 1392700624 873089 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :walmart has new olpc tablets < 1392700630 590229 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :My laptop has connectivity problems < 1392700635 570879 :SirCmpwn_!~SirCmpwn@irc.sircmpwn.com NICK :SirCmpwn < 1392700645 582159 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one laptop per connection < 1392700705 239013 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i've got an xo. the clock battery is out, so i have to manually fix the date to use it properly, but other than that in working order < 1392700825 41021 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i installed debian on mine but it kept hard-freezing < 1392700841 814171 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 245 seconds < 1392700963 845045 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :@ping < 1392700964 238669 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :pong < 1392701015 204775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks fast enough from here < 1392701021 524687 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :oerjan, it keeps dropping < 1392701040 563482 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :It's fast but unstable < 1392701049 203215 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i should install the cray emulator on my xo < 1392701175 820708 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Have "process custom file systems" been implemented at all? I think I have seen some, but they require the program to terminate and retain some directory elsewhere, which doesn't seem very sensible to me. < 1392701465 448092 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com NICK :SirAway < 1392701522 317759 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Do you know of any graphics libraries for SQL? < 1392701545 408823 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Read error: Operation timed out < 1392701551 838220 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :dont know what you mean by 'process custom filesystems' < 1392701576 489813 :atriq!~Nathan@5.151.64.74 PRIVMSG #esoteric :My live esolang creation is in 3 days < 1392701649 646955 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :newsham: I mean that in the process directory under /proc/ there would be another directory which represents a filesystem implemented by the program, and is available while it is running. If no filesystem is implemented by the program, then you could get a "disk not inserted" error or something like that, when trying to access it. < 1392701704 831465 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :there are programs which implement synthetic filesystems from usre programs, usually using the fuse library and driver. < 1392701716 968820 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :plan9ports (plan 9 from user space) has some in its dist < 1392701732 560733 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :ie. when you run acme you get /mnt/acme/* directories for your acme windows. < 1392701742 109903 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :see http://www.youtube.com/watch?v=dP1xVpMPn8M for a demo < 1392701751 39367 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK, but that isn't quite what I meant. < 1392701764 396638 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I meant you would get it in /proc/1928/fs/ or whatever. < 1392701779 550658 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :its a filesystem implemented by a program which is available while its running.. although its not (normally) mounted under /proc < 1392701780 79185 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :(And if you wanted it elsewhere, you would create a link to it.) < 1392701784 384884 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :it could be, if you wanted it to < 1392701801 640961 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :you can mount it anywhere you feel like, of course < 1392701851 521647 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I mean the system should be designed to automatically mount it in /proc whether or not the program even provides a filesystem. If more than one instance is then running, you can access each one by their process ID. < 1392701901 212004 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :whats the advantage? seems like you'd force each proc to implement at most one fs < 1392701914 2450 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i guess to answer your question, no, i have not heard of such a thing < 1392701959 116010 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :If it implements more than one, they can be implemented in subdirectories, so you don't need more than one. < 1392701980 45881 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :unless you didnt want them to have a parent/child relation to each other < 1392702014 228739 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :you should implement it for the linux kernel and give it a try < 1392702041 782264 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :They don't need to; for example you can implement one as /proc/444/fs/A/ and one as /proc/444/fs/B/ but they would generally be the same filesystem actually; if separate implementations exist the program would just proxy them through the A and B directories. < 1392702098 851562 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Or else the process could fork additional processes, if that would help at all. < 1392702136 841678 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net JOIN :#esoteric < 1392702158 166573 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think I'll just have all (most) lenses be merely traversals.... a wrong type would get reported as being 0 targets < 1392702214 454969 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :zzo38 : the Aditi project was a really interesting idea < 1392702241 497701 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :For example if the program implements FTP access as a local file system, then you might use a command like "ftpfs example.org &" and then you get its process ID; afterward you can close the connection by sending SIGTERM to the process, or perhaps to reset the connection by sending SIGUSR1. < 1392702289 552359 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :ski: What is that? < 1392702302 857670 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :a deductive database system < 1392702306 456651 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :or rather, it was < 1392702371 166110 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :it had integration with Prolog, and later with Mercury < 1392702392 88368 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :How does it work? Do you have an example? < 1392702407 346746 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :http://man.cat-v.org/plan_9/4/ftpfs < 1392702442 568901 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the project page is < 1392702523 122386 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :"it" being the deductive database parts ? or the integration with Prolog or Mercury ? < 1392702550 18930 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :ski: I mean the deductive database. < 1392702576 781625 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :do you know any logic programming (like Prolog) ? < 1392702624 797487 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :No, I don't know much about it. Wikipedia says SQL is influenced by Datalog, but I don't know much about how Prolog or Datalog works. < 1392702637 841105 :SirAway!~SirCmpwn@irc.sircmpwn.com NICK :SirCmpmn < 1392702645 234773 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I know SQL though. I also know some about some kinds of synbolic logic. < 1392702658 556252 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :well, then you imo should sooner or later learn some Logic Programming. it's quite interesting < 1392702672 420911 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :preferably sooner :) < 1392702673 501867 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What relation does it have with SQL? < 1392702682 895436 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Maybe then I can understand. < 1392702692 532775 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Since, I do know how to write programs in SQL. < 1392702717 728788 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :unfortunately, SQL has a very ugly syntax < 1392702743 905560 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :Logic Programming languages typically borrow their syntax much more directly from first-order predicate logic < 1392702767 245449 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I do not think the syntax of SQL is so bad. < 1392702874 847600 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the main thing that should have to be changed in a Prolog-like syntax, to make it better applicable to databases, it adding support for records / named arguments, so that you don't have to remember the order of arguments for a thirteen-arity relation < 1392702878 727657 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :newsham: I can see from that, its implementation has to add various things such as using unmount command, trying to access the user's home directory, etc, even though with my suggestion it is a bit more simpler since you can just use SIGTERM to get rid of the connection and that would automatically do everything for you; the directory is automatically gone since it is in /proc instead. < 1392702917 297860 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :SQL is partly built as a pointful layer over relational algebra, which is more or less pointless < 1392702954 498410 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i would say sql is totally pointless ;-) < 1392702972 554317 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :hehe (i meant "pointless" in the technical sense :) < 1392702976 211890 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :newsham: Why? < 1392702989 238095 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is prolog/datalog syntax actually compilable to something more efficient than brute-force? < 1392702990 170111 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :zzo38: mostly for comedic effect. < 1392703007 65648 :SirCmpmn!~SirCmpwn@irc.sircmpwn.com NICK :SirCmpwn < 1392703020 639203 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :well, not totally. but unfortunately SQL deviates on several points from the relational model < 1392703035 628930 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :ski: What kind of points do you mean? < 1392703051 776785 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(and then in addition many DBMSs deviate from the SQL standard) < 1392703082 430687 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( Datomic is still proprietary, right? < 1392703102 276961 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Well, I use SQLite, and think many of the extensions that other systems add are mostly worthless. < 1392703187 730299 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :[19:59] < zzo38> ski: What kind of points do you mean? < 1392703204 906915 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :giving parameters names < 1392703231 197318 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :http://www.haskell.org/haskellwiki/Pointfree < 1392703273 538357 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :SQL programming does give everything names, such as tables, fields, and even loops are given names (unlike most programming languages). < 1392703297 698311 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Factor counts as almost fully pointfree, even though you do need to name parameters (just for the types, not for use in code), right? < 1392703338 513721 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :[19:57] < ski> SQL is partly built as a pointful layer over relational algebra, which is more or less pointless < 1392703342 459981 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :yah, he said it was pointful. < 1392703350 38882 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :A view can contain a SELECT statement that doesn't define names for the result fields, although it won't be so useful if you want to try to insert data into the views (probably to cause triggers to fire). < 1392703436 453713 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :zzo38 : some major points : order of attributes should never matter. nulls. duplicate tuples allowed in an extensional relation if it doesn't have a uniqueness constraintH < 1392703442 351840 :atriq!~Nathan@5.151.64.74 QUIT :Quit: Leaving < 1392703480 604135 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :Sgeo : what do you mean by "brute-force" ? < 1392703494 240475 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ski: enumerating through every possibility, ala the List monad < 1392703514 68308 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :Sgeo : deductive databases doesn't quite work like that < 1392703526 123532 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ski: ok. Prolog has to though, right? < 1392703533 655732 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :yes, but that's different < 1392703564 448074 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :ski: What do you mean, "order of attributes"? And, you can tell it which fields don't have null values, in SQL. < 1392703585 181957 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :Logic Programming languages, like Prolog,Mercury,Oz,lambdaProlog, will employ backward-chaining, and will reason a tuple-at-a-time. this most commonly is implemented by backtracking < 1392703650 558197 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :deductive databases otoh will employ forward-reasoning, and reason set-at-a-time, typically using variants of fixed-point-iteration for recursive intensional predicates < 1392703682 810830 :password2!~password@197.78.179.33 QUIT :Ping timeout: 264 seconds < 1392703689 598479 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Hneit < 1392703716 473949 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the latter is typically much more efficient, when you're dealing with huge upto gigantic amounts of data, and only a comparatively very meager amount of rules ("views") in addition to it < 1392703755 821163 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :in Prolog, the computation starts from the goal, and reasons backwards, trying to find ways of justifying the goal in terms of new subgoal < 1392703768 649886 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :until it comes back to the base data < 1392703812 739588 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :and tuple-at-a-time means that it follows one solution at a (conceptually) time, tracing it through the logic < 1392703839 425974 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :one can handle multiple solutions in parallel (OR-Prolog) or in sequence (backtracking) < 1392703895 759017 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :deductive databases otoh start from the base data, combines such base sets together with each other according to the rules of the intensional database, until it has finally computed the set of tuples corresponding to the query (goal) made by the user < 1392703954 130211 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :and set-at-a-time means that it reasons about the sets of tuples/solutions collectively, iterating over them by joins familiar from relational database theory < 1392704011 895657 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the extensional part of the database consists of schemata of extensional/base relations, together with the current data (tuples/facts) that are currently stored in the database for these relations < 1392704058 423957 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the facts in these relations are usually ad hoc, representing some (usually incomplete) view of how the messy world happens to look like at the moment < 1392704078 622739 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(abbreviated EDB) < 1392704132 704878 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the intensional part of the database (IDB), in the SQL case consists of views < 1392704221 590053 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :in deductive databases, the IDB *looks* more or less like a program in a Logic Programming language. it consists of mainly rules, and perhaps a few facts as well (thay generally do *not* have an "ad hoc" feel, but rather "must be" what they are, and probably won't change at all in the near future, at least not any more than the rules) < 1392704275 639382 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :however, the actual execution of the rules (and facts) here is different, because forward-chaining and set-at-a-time rather than backward-chaining and tuple-at-a-time, as mentioned above < 1392704373 158685 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(btw, one difference between Aditi and basic Datalog is that Aditi had support for handling non-atomic datums in tuples) < 1392704489 261403 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :one of the simplest examples of IDB relations is transitive closure < 1392704588 848533 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1392704639 782108 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I do not quite understand what it related to databases. < 1392704678 852120 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :we'd first declare something along the lines of < 1392704723 234216 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- type airport == string. < 1392704734 939744 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK < 1392704738 307425 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :And then what? < 1392704754 866533 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1392704769 164520 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- type distance == floating. < 1392704777 993811 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- base flight(airport,airport,distance). < 1392704789 614579 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK < 1392704793 849711 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :OLPC! I loved my olpc to death. :( < 1392704806 640995 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode flight(out,out,out) is nondet. < 1392704810 95522 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392704823 728699 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What does ":- mode flight(out,out,out) is nondet." mean? < 1392704825 539805 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(i'm deviating a bit from the actual Aditi syntax here) < 1392704833 321856 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 PRIVMSG #esoteric :Not irreparable. I broke the pin in the power jack. < 1392704876 327423 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :it's a mode declaration, and this mode declaration, with all `out's, and with `nondet' would probably be provided by default for base/extensional relations < 1392704919 44892 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I do not understand what that means. < 1392704938 700010 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :it basically says that we can generate (output) values for the three attributes of this relation, and that we may get any number of solutions ("non-deterministic", zero or more solutions/tuples) < 1392704958 541162 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Ah, OK < 1392704976 648636 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :i think for every base relation, we will have a mode with only `out's and with determinism `nondet' < 1392705009 163228 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :How is it different if you don't put "out" in there, then? < 1392705013 265024 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(maybe in some cases it would make sense to change the determinism from `nondet' here, i'm not sure) < 1392705023 695908 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :well, that's mostly interesting for IDB predicates < 1392705055 841485 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so < 1392705096 358108 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- pred trip(airport,airport,distance). < 1392705102 62913 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1392705125 724161 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode trip(in,out) is nondet. < 1392705139 5642 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :er, we should get distance as well < 1392705143 65346 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode trip(in,out,out) is nondet. < 1392705155 981026 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :And how does that mean, then? < 1392705156 678240 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode trip(out,in,out) is nondet. < 1392705248 631032 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the first of these two modes mean that we may query on the trip/3 relation (which is basically a view, in SQL terminology), providing the starting airport, and get back a set of triples with that starting airport, and all possible ending airports, and the cumulative distance travelled < 1392705269 23593 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :for the second mode, in the other direction, from ending to starting < 1392705276 52017 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK < 1392705331 239299 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(possibly there isn't much difference in this specific example, since i suppose flights between airports are usually(?) bidirectional, i.e. offered in both directions -- perhaps this isn't to be assumed in general) < 1392705374 698219 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Although SQL views don't take inputs, and may not even contain any meaningful data (when I write SQL programs at least, perhaps half of the time the views don't contain any data and are write-only). < 1392705392 292149 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :well, trip/2 itself doesn't take any inputs < 1392705404 545133 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :a specific *mode* of it can take inputs < 1392705412 435490 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :oh, i just recalled < 1392705437 844625 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :extra modes on base relations will in many cases amount to indices on the bsae relations < 1392705441 15390 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so < 1392705442 419633 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Ah, what? What is trip/2? < 1392705452 381659 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :sorry, trip/3 < 1392705455 174186 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK < 1392705478 845692 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode flight(in,out,out) is nondet. < 1392705499 354760 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :expresses that you can index on the starting airport in the flight/3 relation < 1392705505 362799 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode flight(out,in,out) is nondet. < 1392705511 842098 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :expresses that you can index on the ending airport in the flight/3 relation < 1392705548 972770 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(and yes, as i said above, it would be better to use records or named arguments, instead of relying on argument order for the roles of the arguments) < 1392705564 211047 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :anyway, trip/3 can be defined by the *clauses* < 1392705580 411243 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(Original,Destination,Distance) :- flight(Original,Destination,Distance). < 1392705594 851947 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Ah, OK, so it is like indexing, then. < 1392705620 495059 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(Original,Destination,DistanceA + DistanceB) :- < 1392705625 859799 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : flight(Original,IntermediateStop,DistanceA), < 1392705630 919685 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : flight(IntermediateStop,Destination,DistanceB). < 1392705680 963411 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :these two rules (rules and facts are collectively known as clauses) would in SQL probably be expressed as a `union' of two `select' queries < 1392705698 734358 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the `:-' means "if" (in the logical sense) < 1392705706 769518 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes, that would be UNION < 1392705723 442608 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I can see what it is meaning now < 1392705741 10447 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Although then you will have no more than two flights, it looks like < 1392705749 387263 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so the first clause says that one can make a trip from `Original' to `Destination' travelling `Distance', *if* one can take a (single) flight from `Original' to `Destination' travelling `Distance'. < 1392705754 889129 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I am involving a lot of other people's intellectual resources on this project, I better follow through on it < 1392705760 653173 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :er, sorry, mistyped < 1392705766 406402 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :second clause should be < 1392705769 952958 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(Original,Destination,DistanceA + DistanceB) :- < 1392705776 137555 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(Original,IntermediateStop,DistanceA), < 1392705781 848633 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(IntermediateStop,Destination,DistanceB). < 1392705787 913250 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes, that is better. < 1392705813 765487 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(first i was thinking of an assymetric way of expressing it, but then i changed it to symmetric. unfortunately in the wrong way :) < 1392705840 625815 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ok, so the `,' separating the two trip/3 "calls" to the right of the `:-' ("if") here means "and", logical conjunction < 1392705853 836460 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes, that is clear < 1392705897 457022 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so the second clause says that one can make a trip from `Original' to `Destination' travelling `DistanceA + DistanceB', *if* one can make a trip from `Original' to `IntermediateStop' travelling `DistanceA' *and* make a trip from `IntermediateStop' to `Destination' travelling `DistanceB'. < 1392705920 746489 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :now, for the first mode < 1392705923 466121 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : :- mode flight(in,out,out) is nondet. < 1392705928 740741 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes, I can understand that much already. < 1392705946 51746 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the engine would probably internally rewrite the second clause to instead read < 1392705948 275342 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :The mode, I don't quite understand yet < 1392705954 624889 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(Original,Destination,DistanceA + DistanceB) :- < 1392705956 184924 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : trip(Original,IntermediateStop,DistanceA), < 1392705962 902635 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : flight(IntermediateStop,Destination,DistanceB). < 1392705970 232930 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :for efficiency reasons < 1392705982 291019 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes I would think too, to do like that < 1392706013 329264 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :You can do that in SQL too by using recursive queries (something introduced this month, in fact) < 1392706024 161371 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the basic idea for computing trip/3 is to start by the empty set < 1392706032 526255 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :then initialize by filling it with all the tuples/rows/facts from flight/3 -- this corresponds to the first clause above < 1392706067 456365 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :zzo38 : yes, however, iiuc deductive databases still can make more general sorts of recursion than recursive `with' < 1392706091 80201 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the next step is to enter a fixed-point iteration loop < 1392706126 628678 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the (original) second clause for trip/3 says how we from tuples in trip/3 *and* from tuples in trip/3 can compute tuples in trip/3 < 1392706139 359407 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :this is basically a join (plus a little arithmetic and projection) < 1392706181 599382 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so, you use the recursive rule of trip/3 to add succesively more and more tuples to the (temporarily computed) intensional flight/3 relation < 1392706202 621251 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :of course, if a tuple is already in the current approximation for flight/3, you don't add it again < 1392706218 944883 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Can you give an example of such more general sorts though? < 1392706223 248455 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the iteration stops when nothing new was added in the last step < 1392706347 697226 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the obvious first optimization to this process is to only combine *new* flight tuples with all the existing flight tuples, and also all the existing flight tuples with only the *new* ones, at each step < 1392706371 858125 :blotter__!~blotter@72-161-23-153.dyn.centurytel.net QUIT :Ping timeout: 260 seconds < 1392706414 837487 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so that in each join, for each combination of two tuples combined, one from the "left" trip/3 call, and one from the "right" one, at least one of those two tuples was newly added in the last iteration step < 1392706426 452499 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :this is known as semi-naive execution < 1392706457 91705 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :there are several further optimization steps, often depending on the actual structure of the recursive rule < 1392706484 700096 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :well, several further possible optimization steps one could apply, i mean < 1392706546 318436 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :one of these is that, in the case that the original starting airport (in terms of the example above) is known, it is better to use the alternative formulation of the recursive rule, with one call to trip/2 and one to flight/3, joining these instead < 1392706583 118248 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :that way you only add one more airport to the conceptual (not stored/computed in the example) list of airports along the trip < 1392706612 388901 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the gain is that there's in general *many* ways to arrive at a string by concatenating smaller strings < 1392706646 122569 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so, the original (unoptimized) version will be inefficient in that it will recompute the same tuple very many times < 1392706654 689342 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :already with < 1392706657 577783 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : a,b,c < 1392706670 865442 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :there are two different ways to built it up from parts < 1392706673 904220 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : (a,b),c < 1392706675 536097 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :and < 1392706677 649786 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : a,(b,c) < 1392706707 231255 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :as the number of nodes rise, the number of possible ways to arrive at the list rises at a faster rate < 1392706720 401067 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(i don't recall whether it's exponential, or only polynomial rn) < 1392706729 56359 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(hm, probably exponential) < 1392706745 600722 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so, one could consider a query < 1392706777 64277 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : ?- trip(sydney,Destination,Distance). < 1392706785 488507 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(capital letter signifies a variable) < 1392706793 909859 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :this would be logically equivalent to saying < 1392706813 270995 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : ?- Origin = sydney,trip(Origin,Destination,Distance). < 1392706844 136665 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :however, it's inefficient to compute *all* the trips whatsoever, and only *then* join with the `Origin = sydney' condition < 1392706868 392861 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(yes, this is conceptually a join. though of a special sort which is a projection) < 1392706907 983917 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so, regardless of whether you write the former or the latter query (`?-' is the query prompt, btw), the system will actually compute this in a more efficient way < 1392706960 441535 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :it will note that the `Origin' will be passed along unchanged between the call to the left of `:-', and the recursive call, all the way down to the call to the base relation flight/3 < 1392706999 223840 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so, it will internally compute a specialized version of trip/3 that has propagated the information `Origin = sydney' all the way down to the fetch from the base relation < 1392707016 833911 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :and this is of course where the extra mode (the index) on the base relation comes in < 1392707035 250139 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :so, we only select flights taking off from `sydney' out of potentially very many flights < 1392707079 90344 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :the classic general transformation that can propagate "constraints" from the query down the intensional clauses is called "magic sets" < 1392707098 52369 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :there are also other transformations, sometimes better, but often only applying in special cases < 1392707180 16080 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :
ACTION dances
< 1392707275 193199 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :FreeFull: if t%(1<<15)==0: c+=2 < 1392707276 590741 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric : return (t%32)|(t*6)&(0xFF*(~t>>11&1))|(t*4)&(0xFF*(t>>12&1))|(((~t>>10)&(~t>>11)&1)*rand(256*256))|int(t*[1.25,1.25,1.5,1.5,1.66666,1.6666,1.5,1.5,2,2,1.875,1.66666,1.5,1.25,1.125,1][(t/2048+c)%16])<<3 < 1392707287 496772 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :you can also add more complex constraints, like < 1392707303 886219 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : ?- Origin = sydney,Distance < 1000.0,trip(Origin,Destination,Distance). < 1392707355 227087 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :and that inequality constraint would be used to ignore temporary flights that already have too high a distance, not bothering to involve such tuples in further joins < 1392707381 922712 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :zzo38 : i suppose this gives a starting idea of some of what deductive databases are about < 1392707390 482149 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :i have to leave presently, though .. :/ < 1392707487 684377 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :OK < 1392707746 917190 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1392707747 143540 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1392708166 572597 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1392708166 791700 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1392708813 886690 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1392708956 731083 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 252 seconds < 1392709294 247320 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392709308 162783 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1392709556 770819 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392709829 710079 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1392711269 172010 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 240 seconds < 1392712106 124985 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :most of the time i look in this channel is like "dafuq am i readin" < 1392715618 813695 :MoALTz!~no@user-5-173-248-233.play-internet.pl JOIN :#esoteric < 1392717514 820736 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392717523 747841 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1392718801 540005 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1392718801 828226 :CADD!~CADD@12.227.104.109 QUIT :Client Quit < 1392719984 134154 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1392720989 234113 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.fark.com/comments/8146474/Ship-not-allowed-to-deliver-40000-tons-of-much-needed-road-salt-to-New-Jersey-because-A-The-ship-cant-dock-because-of-weather-B-Nobody-will-unload-it-because-of-a-dock-worker-strike-C-The-ship-isnt-carrying-an-American-flag < 1392721004 144785 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I feel like an idiot, the comments are saying everyone knows what is actually meant < 1392721005 391185 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I didn't < 1392721008 74624 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :til < 1392721020 274591 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I shoudl probably be seeping < 1392721022 212606 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :slepeing < 1392723795 180681 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Do you know, if a program licensed under GPL is linked with SQLite and uses sqlite3_enable_load_extension(db,1) then what are the license requirements? SQLite itself is public domain. < 1392725064 363207 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1392725545 505513 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392725980 894680 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :https://ang.wikipedia.org/wiki/H%C4%93afodtramet < 1392726101 94811 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is there ANYONE alive today who natively speaks old English? < 1392726157 97623 :MoALTz!~no@user-5-173-248-233.play-internet.pl QUIT :Read error: Connection reset by peer < 1392726199 287260 :MoALTz!~no@5.173.248.233 JOIN :#esoteric < 1392726215 45971 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Wait, this isn't genuine Old English, is it? < 1392726221 328312 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"As a general rule for the OE wiki, try to remember the following OE guidelines to give this wiki a consistent look and feel:" < 1392726277 102181 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1392726383 704074 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :Sgeo: as fair as I understand, it is real old english with neologisms for words not in the real old english < 1392727288 827081 :zzo38!~zzo38@24-207-57-25.eastlink.ca QUIT :Remote host closed the connection < 1392727359 976811 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1392727883 388194 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :so like the scots wikipedia but even dumber < 1392727981 498433 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :yes < 1392728135 466286 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 272 seconds < 1392728168 977055 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :quintopia: Is that bytebeat? < 1392729171 854660 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds < 1392730204 88331 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://osrc.dfm.io/Sgeo flipped from me being a Haskell coder to being a Racket coder. With one push. < 1392730349 434503 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :omg < 1392730382 749909 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://osrc.dfm.io/int-e lists zeckendorf first, I need to push some more stuff to lambdabot ... < 1392730481 82818 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm also unsure what recruiters would make of making new repositories at 3am. heh. < 1392730592 491095 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1392731273 598329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh no: after having that one semi-punny alliterative homework problem title ("Conditional contradiction conundrum"), now I'm tempted to make another one. < 1392731943 440868 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1392734121 914087 :constant!root@freebsd/developer/variable NICK :function < 1392735164 733302 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392735569 736270 :nooodl!~nooodl@107.156-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1392735591 33164 :password2!~password@197.78.179.33 JOIN :#esoteric < 1392736014 882915 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392737291 509563 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1392739952 821315 :nooodl!~nooodl@107.156-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Uniform_access_principle#Problems :||| < 1392739957 98891 :ski!~ski@remote1.student.chalmers.se QUIT :Quit: Lost terminal < 1392739995 695596 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :nerds using standard references from science fiction you say < 1392740745 519194 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :So when I got out at the gas station after driving home from work today I saw smoke from the front right wheel. At the moment I hate being a car owner. -_- < 1392740777 282007 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, any new photos to cheer me up? < 1392740982 641372 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i have a driver's license < 1392740997 671626 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for almost a month now < 1392741014 347012 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :growin' up < 1392741096 346171 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392741106 912276 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :heh < 1392741266 907886 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1392741267 138360 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1392741342 444002 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i mean a temporary one, i still have one lesson this month and two next month < 1392741500 585378 :AnotherTest!~turingcom@94-224-29-155.access.telenet.be JOIN :#esoteric < 1392741566 39253 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oklopol, oh? I guess it works differently over there then, never heard of temporary licenses < 1392741610 27363 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :bbl < 1392741623 579246 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :first you drive with a piece of paper for a few weeks, then you get a temporary license in the mail, then you get a permanent one after 1-2 years. < 1392741639 538087 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oklopol, huh, okay that isn't how it works in Sweden < 1392741665 854152 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :also it costs about 2000 euros < 1392741695 374438 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :You do get a piece of paper for a couple of weeks after passing the tests (both the theoretical and the practical ones), but then you get your proper license in the mail. < 1392741728 34310 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :bbl really this time < 1392741730 896574 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :byes < 1392741972 7817 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Does dev C++ have tools to auto add classes and such? < 1392741976 712954 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Or do I have to do it manually < 1392742387 353791 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Hm < 1392742388 819584 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Let's see < 1392742397 44667 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :what should I use for a quantum computer simulation < 1392742406 435566 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :I guess I need a QUANTUM STATE thing, for a start < 1392742435 34881 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Then add some spin and momentum attribute < 1392742456 592235 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Such that they are arrays of values < 1392742459 805037 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :For the superposition < 1392742495 879774 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Then multiparticle states as arrays of one particle states, with maybe some indicator of the superselectors/commutation rules < 1392742497 618933 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :or some shit < 1392742615 686235 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :And since it's a finite discretized space, I can consider that the momentum is an int < 1392742628 123802 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :Though a big one < 1392743258 101709 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 260 seconds < 1392743397 657200 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1392743700 485015 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 252 seconds < 1392745284 554844 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1392745515 153741 :tertu!~quassel@143.44.70.43 QUIT :Quit: No Ping reply in 180 seconds. < 1392745523 298295 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392745652 565797 :zzo38!~zzo38@24-207-57-25.eastlink.ca JOIN :#esoteric < 1392745889 220696 :password2!~password@197.78.179.33 QUIT :Ping timeout: 240 seconds < 1392746637 358857 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :FreeFull: yes. in python. < 1392747124 606749 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :The thrill of the forbidden < 1392747134 315115 :Slereah!~jackal@176.222.51.233 PRIVMSG #esoteric :I'm writing in C++ and making all my shit public < 1392747867 895288 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Remote host closed the connection < 1392748100 528617 :MoALTz_!~no@5.173.248.233 JOIN :#esoteric < 1392748150 296291 :zzo38!~zzo38@24-207-57-25.eastlink.ca QUIT :Quit: zzo38 < 1392748270 119447 :MoALTz!~no@5.173.248.233 QUIT :Ping timeout: 260 seconds < 1392748288 746127 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1392748608 565773 :AnotherTest!~turingcom@94-224-29-155.access.telenet.be QUIT :Read error: Connection reset by peer < 1392748655 93649 :AnotherTest!~turingcom@94-224-29-155.access.telenet.be JOIN :#esoteric < 1392749479 882199 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1392749969 260393 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 240 seconds < 1392750178 789791 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392750488 874809 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1392750536 790854 :password2!~password@197.78.180.35 JOIN :#esoteric < 1392750745 81827 :nyuszika7h!nyuszika7h@pdpc/supporter/active/nyuszika7h PRIVMSG #esoteric :hi, I need the shortest way to set the current cell to a random value - either 0 or 1 < 1392750771 333539 :nyuszika7h!nyuszika7h@pdpc/supporter/active/nyuszika7h PRIVMSG #esoteric :in BF < 1392750798 860969 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :there's no way to do that < 1392750806 431548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nyuszika7h: BF is deterministic < 1392750806 987337 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's a deterministic language < 1392750810 968093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :best you could do would be a pseudorandom number < 1392750817 339587 :nyuszika7h!nyuszika7h@pdpc/supporter/active/nyuszika7h PRIVMSG #esoteric :pseudorandom is fine < 1392750819 571276 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in which case the better the quality of the randomness you want < 1392750821 852229 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the longer the program will be < 1392750846 960127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you'd have to maintain PRNG state somewhere you could easily access on the tape < 1392750863 240579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, simplest would be to use 1 bit of state and just alternate, but that doesn't look very random < 1392750873 793078 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what do you need the pseudorandomness for? there might be an easier solution < 1392750892 581791 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392750894 725389 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dricoin barbacoin vercoin ozdecoin trianiconcoin aeedius'scoin ()coin dupdogma-2dcoin unlcoin sumambalzbaumiccoin neocoin brocoin xlikecoin snaitcoin puzzcoin basisheadcoin alizicoin tbittcoin skucoin d16coin < 1392750905 278930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :()coin < 1392750932 273192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this `coins thing is actually really realistic < 1392750934 866954 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :much better than `words < 1392750936 272398 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`words < 1392750938 132037 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :epicch < 1392750944 255893 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :heh d16coin < 1392750947 417380 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, that's the terminal object of Crypcurren, the category of cryptocurrencies < 1392750952 685145 :nyuszika7h!nyuszika7h@pdpc/supporter/active/nyuszika7h PRIVMSG #esoteric :I just need to randomly move either left or right, but it would need to check for staying in range too, so forget it, it's probably gonna be long, not suitable for golfing :P < 1392750959 307576 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The mythical 16-sided coin < 1392750965 725996 :password2!~password@197.78.180.35 QUIT :Ping timeout: 252 seconds < 1392750966 60651 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nyuszika7h: yeah, I don't think it'd be golf-suitable < 1392751275 340964 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 JOIN :#esoteric < 1392751371 845520 :tertu!~quassel@143.44.70.43 QUIT :Remote host closed the connection < 1392751963 111316 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good PRNG for BF is an interesting question, though < 1392751966 576093 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :perhaps a LFSR < 1392752013 758133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: using one bit per cell? < 1392752018 455001 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that'd work, I think < 1392752030 148863 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it was good enough for the DVD CCA right https://www.cs.cmu.edu/~dst/DeCSS/Gallery/css-brainfuck.txt < 1392752033 223726 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :90s kids remember < 1392752034 608262 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the actual shifting would be awkward, though < 1392752044 856562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless you allowed the RNG state to move along the tape < 1392752086 41967 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mm < 1392752526 895659 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: Here's a photo: https://dl.dropboxusercontent.com/u/113389132/Misc/20140215-mystery.jpg < 1392752615 522926 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's this? < 1392752635 738196 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1392752638 721873 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Looks like a speaker or a microphone < 1392752828 1807 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a closeup of the surface of one of these reflector things, https://dl.dropboxusercontent.com/u/113389132/Misc/20140218-ref.jpg < 1392752914 520628 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Wow < 1392752929 177628 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's about 7-8 cm tall, for a size reference. < 1392752942 33452 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1392752955 606219 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is this one of those thing which reflects light especially in the direction from which it came? < 1392752978 962258 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. Here's what I get if I turn the led "flash" on in the phone the latter picture was taken with: https://dl.dropboxusercontent.com/u/113389132/Misc/20140218-ref2.jpg < 1392752980 669870 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so how big physically is one pixel in that image? < 1392753004 725906 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is it basically made of a bunch of tiny corner cubes? i never understood how those work < 1392753021 97229 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a handy diagram, I saw it. < 1392753036 985239 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://en.wikipedia.org/wiki/File:Comparison_of_retroreflectors.svg < 1392753043 325931 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it's more like type 1. < 1392753049 282075 :function!root@freebsd/developer/variable NICK :trout < 1392753081 463265 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Except you need a corner of a cube in three dimensions, of course. < 1392753124 366784 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But it's easy to figure out since if you take the incident ray in the coordinate axis set up by the edges of the cube, then one wall will do x = -x, second one will do y = -y and third one will do z = -z. < 1392753305 582366 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As for pixel size, in other photos the width of the entire image (at the distance that's in focus) has generally been somewhere around 5 mm. < 1392753428 922381 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So given the original 5472x3648 resolution, one pixel would correspond (very approximately) to 1 µm. Though that's been scaled to 25% (so 4 µm?), I haven't really been getting pixel-sharp images out of that setup. < 1392753504 990354 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Like they say: when you all you have is a cobbled-together macro thing, everything looks like it's in need of magnification. < 1392753695 618016 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1392753748 957676 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you want to guesstimate distances, the diameter of the inner thread in https://dl.dropboxusercontent.com/u/113389132/Misc/20140203-ding.jpg is (like it says) 52 mm and if you look at the dent, you get (scaled to 50% because there really isn't any detail above that) https://dl.dropboxusercontent.com/u/113389132/Misc/20140218-ding.jpg < 1392753770 723124 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you should photograph some mushroom gills!!! < 1392753805 343327 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you're getting 4μm resolution you might be able to identify general spore shape and size < 1392753951 664524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I probably should look at something natural, yes. Not that I think I have any mushrooms handy right now. < 1392754040 98192 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apropos nothing, today when getting home from the city the bus in front had a license plate reading "KMC-NNN", where NNN stands for three decimal digits I no longer remember. < 1392754044 928243 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::) < 1392754122 284775 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :TIL you can declare uninhabited types in Rust. also that you can crash the compiler if you use unsafe hax to create values of that type anyway < 1392754516 833188 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :sounds p. useful < 1392754537 234269 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1392754779 866780 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :you know how some degenerate code ends up being primarily layers and wrappers around other stuff with almost nothing doing anything real? < 1392754842 290303 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in my experience basically all software is like that < 1392754866 275689 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I wonder if you could make an esolang around that, where each method/function/unit can do extremely little by itself < 1392754875 76205 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's called Java *rimshot* < 1392754909 58018 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :well, no, Java allows methods to do a lot if you just write them like that :) < 1392754935 27174 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :had a Java project where one method tended to break JVMs because it was too big < 1392754962 3122 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1392755046 473870 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1392755191 843822 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(meanwhile, on another floor of the same building, a C++ project came up against VS6's limit of 65536 lines in one source file) < 1392755306 413459 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :16 bits ought to be enough for everybody! < 1392755392 915929 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's a pretty annoying limit < 1392755449 501053 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I think it was lines in the file itself, not counting include files etc < 1392755465 482762 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :still, 65k lines isn't that implausible, especially if it's generated < 1392755508 72217 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :if its generated you can make lines very short < 1392755523 907337 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :amalgamated sqlite is longer than 64k lines I think < 1392755532 556255 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :oh this is line count, not line length. ooops < 1392755801 479989 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the longest source file in Linux 3.14-rc3 is 28,729 lines and has four comments (not counting "Copyright (c) 2010 Broadcom Corporation" at the top) < 1392755804 282245 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://github.com/torvalds/linux/blob/master/drivers/net/wireless/brcm80211/brcmsmac/phy/phy_n.c < 1392755833 642929 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it has huge tables but it's at least 50% actual code < 1392755936 809814 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :vim's sourcefiles are all like 10k < 1392755955 603349 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :lines each.. and that's how they are "maintained" < 1392755981 998251 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :They also use this horrible indentation alternating between four spaces and a single tab, for who knows what reason < 1392756086 97378 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :gross < 1392756110 744204 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :nice how the comments in that broadcom thing are all useless < 1392756128 550593 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: that indentation's pretty common in older sources < 1392756157 531246 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ais523: is there any sensical reason behind it? < 1392756160 314902 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's a "correct" way to mix tabs and spaces but almost nobody can do it consistently < 1392756164 515185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: yeah, saves bandwidth < 1392756172 631716 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I suppose < 1392756177 461241 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because the standard is that tabs are 8 characters < 1392756186 949703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at the start of a line < 1392756201 123896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it's a compressed form of 4-space indentation that looks right on anything but a badly misconfigured editor < 1392756201 930660 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yes, sure. But still, the indentation is somewhat negligible compared to the actual code, isn't it? < 1392756214 956124 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Welp, I took a picture of the screen of my (2012) Nexus 7, and one Nexus-pixel is approximately 140 image pixels wide. The screen is nominally 216 ppi, so... 140*216 = 30240 image pixels/inch -> 0.84 µm/pixel. Though it's really impossible to judge how much actual detail I could get, since all that light is just blobs. < 1392756226 248500 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: I'm not so sure < 1392756226 832047 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1392756238 5118 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the average length of a line of code isn't that long, especially if in deeply nested indentation < 1392756241 633354 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the indentation precedes every line < 1392756270 759374 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Btw, I've seen that abused in python golfing < 1392756289 976419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought Python refused to compile code that mixes tabs and spaces? < 1392756291 480127 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps not < 1392756292 772718 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :i.e., use spaces for the first level of indentation and tabs for the next < 1392756308 767965 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think it either sees tabs as a hard eight spaces, or applies the regular expansion rule < 1392756850 735811 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/113389132/Misc/20140218-art.jpg < 1392756866 711206 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :vt100 lets you place the tab stops freely < 1392756976 27471 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :not sure if it has a maximum number of tabs though or if you could place one in every column if you wanted to < 1392758088 782896 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: That's so meta < 1392758116 699448 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :At least, if displayed on a TV < 1392758848 967358 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :tabs(1) allows you to configure tabstops too < 1392758917 806809 :AnotherTest!~turingcom@94-224-29-155.access.telenet.be QUIT :Ping timeout: 248 seconds < 1392758998 608829 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :[10:46] < ais523> I thought Python refused to compile code that mixes tabs and spaces? < 1392759009 745622 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :there's a -t option to warn and a -tt option to error on mixed tabs. < 1392759024 310501 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :but otherwise it has a rule to treat tabs like a seq of spaces < 1392759105 594313 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :(it uses tab stops of 8 spaces) < 1392760272 772480 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1392761349 101239 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1392761462 868456 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1392761856 42526 :MoALTz_!~no@5.173.248.233 QUIT :Ping timeout: 252 seconds < 1392761894 725994 :Toade!~Banana@client-86-29-156-104.glfd-bam-2.adsl.virginm.net JOIN :#esoteric < 1392761966 803761 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 264 seconds < 1392761996 723176 :Toade!~Banana@client-86-29-156-104.glfd-bam-2.adsl.virginm.net QUIT :Client Quit < 1392762011 746001 :Toade!~Banana@client-86-29-156-104.glfd-bam-2.adsl.virginm.net JOIN :#esoteric < 1392762629 455746 :Tritonio!~Thunderbi@athedsl-17170.home.otenet.gr JOIN :#esoteric < 1392762705 582353 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392762853 776850 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 248 seconds < 1392762855 759729 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1392763118 711134 :thrasos!~thrasos@80.244.17.19 JOIN :#esoteric < 1392763416 369044 :thrasos!~thrasos@80.244.17.19 PRIVMSG #esoteric :hi < 1392763462 152281 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1392763607 828451 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1392763612 156663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`relcome thrasos < 1392763613 243220 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13thrasos: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1392763668 761387 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392763803 527737 :Tritonio!~Thunderbi@athedsl-17170.home.otenet.gr QUIT :Ping timeout: 252 seconds < 1392763894 913142 :Tritonio!~Thunderbi@athedsl-17170.home.otenet.gr JOIN :#esoteric < 1392764272 877620 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1392764698 782215 :nooodl_!~nooodl@107.156-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1392764720 236607 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1392764858 788023 :nooodl!~nooodl@107.156-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1392765002 662455 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1392765004 451954 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1392765406 794220 :Tritonio!~Thunderbi@athedsl-17170.home.otenet.gr QUIT :*.net *.split < 1392765408 22194 :fungot!fis@eos.zem.fi QUIT :*.net *.split < 1392765516 486338 :Tritonio!~Thunderbi@athedsl-17170.home.otenet.gr JOIN :#esoteric < 1392765516 675062 :fungot!fis@eos.zem.fi JOIN :#esoteric > 1392765735 143334 JOIN :#esoteric > 1392765739 266953 JOIN :#esoteric > 1392765739 782622 JOIN :#esoteric > 1392765788 747985 JOIN :#esoteric > 1392765792 869497 JOIN :#esoteric > 1392765793 384371 JOIN :#esoteric > 1392765821 743053 JOIN :#esoteric > 1392765825 861867 JOIN :#esoteric > 1392765826 376628 JOIN :#esoteric > 1392765854 743327 JOIN :#esoteric > 1392765858 864600 JOIN :#esoteric > 1392765859 379462 JOIN :#esoteric > 1392765887 745078 JOIN :#esoteric > 1392765891 865812 JOIN :#esoteric > 1392765892 380883 JOIN :#esoteric > 1392765920 741048 JOIN :#esoteric < 1392765921 95297 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1392765924 860147 JOIN :#esoteric > 1392765925 375836 JOIN :#esoteric < 1392766301 239434 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1392766424 180665 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1392766610 764811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1392766638 487325 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`ello spiette < 1392766639 291646 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :spiettello < 1392766640 822704 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1392766653 657881 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quinthellopia! < 1392766659 531216 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Tanelle. < 1392766774 839992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if only elly came back < 1392766782 360471 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :elly? < 1392766785 996203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elly is the hanks of `ello < 1392766799 911530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ello elly < 1392766800 810669 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ello < 1392766810 919637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1392766823 299800 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hellœrjan. < 1392766824 168087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ello cinderella < 1392766825 128405 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cinderello < 1392766834 36178 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~duck cinderello < 1392766834 506007 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :--- No relevant information < 1392766837 15261 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :meh. < 1392766837 197460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ello pachebel < 1392766838 83323 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pachebelello < 1392766856 504075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ello swell < 1392766857 432006 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :swellello < 1392766872 443504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wello < 1392766914 952064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops, *+ l < 1392766961 371265 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION sings “Still alone in o-hell-o // See the deadly nightshade grow ♪”
< 1392767135 228038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is that like o-hi-o but with more sulphur < 1392767334 413097 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Ohio doesn't seem to be particularly sulphurous ← http://www2.ohiodnr.gov/Portals/oilgas/_MSDS/baker-hughes/CD-32.pdf < 1392767361 279516 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392767382 751022 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :except probably in http://en.wikipedia.org/wiki/Sulphur_Springs,_Ohio < 1392767954 127258 :itsy!~digital_w@87.114.114.212 QUIT :Ping timeout: 260 seconds