< 1413763205 95249 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: well, k=1(mod k-1), so k^n = 1^n (mod k-1), done. < 1413763212 474715 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1413763214 156419 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :..... < 1413763218 328058 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I feel redundant. < 1413763219 543961 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I shall have to prove this so-called standard result myself at some point < 1413763223 757903 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Thank you all < 1413763225 101257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: is there a terrible lag between us < 1413763226 694283 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan++ < 1413763228 991456 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e++ < 1413763259 685404 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: no, I pressed the return key before reading what you wrote. < 1413763293 246965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :timestamps: 01:59:46 02:00:04 < 1413763370 495420 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Mersenne_prime#Theorems_about_Mersenne_numbers it's also #2 here < 1413763885 229955 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm... show that if 4^a + b^4 is prime then either a = b = 1 or a is even. < 1413763898 509816 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: for you ;-) < 1413763964 328998 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Awww it's quarter past one in the morning < 1413763977 256357 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I should really sleep so I can hand this assignment in before my 10:30 lecture < 1413763978 38217 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: that looks very difficult < 1413763997 874872 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: it has an elementary solution < 1413764006 907189 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(short, too) < 1413764014 768290 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"I returned the iPhone to Apple because it didn't have a "back" button." < 1413764021 5736 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Sounds like a feature, not a bug, to me < 1413764037 766456 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :(In case anyone hadn't noticed, I hate the back button) < 1413764065 437748 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: it's not at all obvious to me < 1413764067 196172 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: but yeah, it's not easy to find. < 1413764103 868792 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i mean, like it's not even obvious at first glance that 4^3+5^4=689 is composite! < 1413764130 913484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i quickly found that b had to be divisible by 5, anyhow < 1413764133 567508 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: is it based on one of those factoring tricks < 1413764150 638721 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: of course < 1413764165 25087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah i can never see those stupid things < 1413764172 176901 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :2,3,4,6,9,8,12,18,27,... < 1413764176 315072 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :QUINTHELLOPIAAAAAAAA! < 1413764186 660925 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi boily < 1413764274 152030 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :what did you today? < 1413764280 61247 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :saw a weird play < 1413764347 756294 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quite uncommon. < 1413764474 496186 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and you < 1413764531 26712 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: i think i see it. has to do with the fact you can write 4^a as 4*(2^k)^4 for a odd, where k>0? < 1413764545 895577 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: yes. < 1413764549 256017 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :chinese fooded with a friend, then we went to the other side of the city to go see an insect exhibition, then beer and snacks. < 1413764608 882170 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sounds fun < 1413764611 168283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :were the insects the snacks twh < 1413764628 270777 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: don't knock it if you haven't tried it < 1413764643 160921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, insects are not cricket around here < 1413764656 789965 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: i also "finished" my password generator prototype < 1413764695 435346 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: in fact, I tasted some grasshopers (and bough a jar of salsa) at a kiosk, but the snacks that we ordered with the beers were more conventional (chorizo, chutney and bread) < 1413764717 100063 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's not conventional around here. < 1413764719 928546 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wish it were. < 1413764721 281080 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: finishing a prototype is an oxymoron. < 1413764731 659029 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: but "finishing" is not < 1413764750 858021 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the chorizo was deliciously smokey, and the chutney mustardey. < 1413764762 968554 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :indeed, a subtle but important vocabulary difference. < 1413764793 41100 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :on friday i went with a friend to a bar and we started a game of cards against humanity with random strangers < 1413764802 705475 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oooooh :D < 1413764804 914774 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then ate indian tacos < 1413764835 671537 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i feel like i should just quit my job < 1413764842 134433 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and go visit people in places < 1413764847 23403 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hmm... iirc there's a taco-serving bar in the Mile End, but reviews agree that the place is beyond terrible. < 1413764859 63623 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: do as lexande did, and visit me ^^ < 1413764878 532587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok now i just have 2 chars more than int-e < 1413764899 156092 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i would totally visit you. i will visit everyone that wants to be visited. (sorry oerjan.) < 1413765306 826903 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :quintopia: do you yourself want to be visited, and does this mean you will visit yourself? < 1413765859 24579 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah tied with int-e < 1413765933 342728 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 260 seconds < 1413765942 352248 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: quintopia visits everyone who does not visit themself < 1413766001 782903 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1413766131 970641 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :and then shave their beards. < 1413766387 528670 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :my beard is hard to shave. it'd be the Challenge Boss Beard at the end of the Visit Quest. < 1413766409 341657 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :each man thinks that. < 1413766430 995829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd have to grow one first. < 1413766475 118815 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :will :t always show what a function does? < 1413766479 872809 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :in haskell < 1413766485 145509 :boily!~boily@96.127.201.149 PRIVMSG #esoteric ::t fmap < 1413766486 628756 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1413766487 415951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it shows its type < 1413766565 142821 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :yeah, i messed up... for stuff like :t (a,b) it coincidentally show's what it does < 1413766594 950032 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :but :t (==) just shows bool after a couple -> < 1413766596 59350 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :okay. < 1413766600 65879 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :it is pretty good for seeing what a function does. < 1413766602 328418 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric ::t (==) < 1413766603 968754 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Eq a => a -> a -> Bool < 1413766616 480800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (/=) < 1413766618 81405 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Eq a => a -> a -> Bool < 1413766620 267679 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :It takes an a, and gives you a thing that takes an a and returns a Bool, where a has to be in the "Eq" class. < 1413766625 209842 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric ::t (Eq) < 1413766626 718447 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Eq’ < 1413766626 906069 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘EQ’ (imported from Data.Ord) < 1413766630 849736 :boily!~boily@96.127.201.149 PRIVMSG #esoteric ::i Eq < 1413766632 475962 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :aww. < 1413766635 609180 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :meh. < 1413766637 517438 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :Eq is a class, not a type < 1413766641 29056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot doesn't have :i < 1413766643 989396 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :well, a "typeclass" i guess < 1413766651 643602 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION mapoles lambdabot < 1413766652 961056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AndoDaan: you can try :i Eq in GHCi < 1413766655 976747 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1413766659 746270 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :okay < 1413766671 215892 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :A typeclass is just an abstract definition, a very little bit like a virtual class definition in OOP Language Du Jou < 1413766674 211129 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :r < 1413766676 342090 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :oh wow, big definition. < 1413766695 330971 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :things in the Eq class have to have == defined, and probably some other crap < 1413766701 212991 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :ah, for all the types. < 1413766708 353241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right :i Eq will give a big list of known instances < 1413766713 458606 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :*classes < 1413766726 34064 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Bike: only (==) is necessary, because (/=) has a default implementation. that's about it for Eq. < 1413766738 964922 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :he said it was long and i'm too lazy to pull up local ghci < 1413766796 713618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the instance list that's long. < 1413766816 690436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mostly because of all the tuple lengths. < 1413766816 913630 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :oh, that makes sense. the definition is short, but lots of things have == work on them. < 1413766871 920530 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :anyway so if you have your own type you can define an == method on it, and then other functions already defined in terms of == will work with your type. < 1413766883 482244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: careful about comparing haskell typeclasses to OO classes, soon you'll be teaching AndoDaan bad habits >:) < 1413766890 826158 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :way ahead of you < 1413766916 195335 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :if you don't stop me i'll tell andodaan that haskell is a programming language and not homotopy type theory. mwa ha ha ha ha < 1413766936 885932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION doesn't know homotopy type theory anyway < 1413766944 814497 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :nor me. < 1413766955 835685 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :something to do with topological mapping> < 1413766957 494994 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :? < 1413766967 211082 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :sounds like good words to guess at. < 1413766973 555575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very vaguely < 1413767056 494749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a homotopy in "ordinary" math is a topological mapping of a sort. also a _path_ between two other topological mappings. < 1413767067 70098 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1413767103 42336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but how that's got analogized/transfered into type theory of programming languages (not really haskell, though) i'm very unsure about. < 1413767122 634347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think category theory got involved in the middle :P < 1413767139 818477 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :above my paygrade. < 1413767156 179368 :AndoDaan!~Daanando@188.189.71.206 PRIVMSG #esoteric :i mean, i kinda know what those things are. < 1413767176 86962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: just, like, ∞ groupoids, man < 1413767202 624649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1413767398 706063 :AndoDaan_!~Daanando@188.188.74.150 JOIN :#esoteric < 1413767421 335146 :AndoDaan!~Daanando@188.189.71.206 QUIT :Ping timeout: 246 seconds < 1413767797 504759 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :ah cool, just wrote a fibonacci equation, on my own. < 1413767803 941856 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :i'm advancing. < 1413767811 444071 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :learning. growing stronger. < 1413767889 5092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now make one that doesn't have exponential blowup hth (tdnh) < 1413767903 548882 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :hth? < 1413767907 422509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :` < 1413767907 895540 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1413767911 100836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1413767915 534852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? hth < 1413767916 435947 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hth is help received from a hairy toe. It is not at all hambiguitous. < 1413767927 951699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hope that clears it up < 1413767946 598326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? tdnh < 1413767946 813355 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :absolutely... < 1413767947 297863 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tdnh does not help < 1413767969 469596 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :oh wait < 1413767976 745858 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :hope that helps. < 1413767981 997338 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :i'm dense < 1413767983 882535 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :okay. < 1413768029 364291 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what'd i miss < 1413768050 959607 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :is there a way to define fib n without recursion? like using an approximation of the golden ratio? < 1413768067 21005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :AndoDaan_: there's a closed-form formula that calculates it directly < 1413768072 62760 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and exactly < 1413768072 221062 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :hmm < 1413768072 429977 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Sgeo: i visit myself whenever the urge overtakes me. and no one's looking, of course. < 1413768231 778357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mind you, that closed formula uses floating point, so you might get rounding errors. < 1413768255 179035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it has the golden ratio and its inverse in it) < 1413768277 198198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i thought phi was a real number but it turns out it was a floating point all along :'( < 1413768304 150297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :real numbers are just points in R hth < 1413768360 367461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :real numbers are, like, crazy, man < 1413768361 565409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is also a formula using matrix exponentiation, which can use exact integers. < 1413768518 980287 :boily!~boily@96.127.201.149 PRIVMSG #esoteric ::t mapM < 1413768520 446260 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (a -> m b) -> [a] -> m [b] < 1413768664 283292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let instance Num a => Num [[a]] where m*n = [[sum$zipWith(*) m' n' | n' <- tn]| m' <- m] where tn = transpose n < 1413768665 738396 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:159:10: Warning: < 1413768665 911378 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No explicit implementation for < 1413768665 911515 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘+’, ‘abs’, ‘signum’, ‘fromInteger’, and (either ‘negate’ or ‘-’) < 1413768665 911602 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the instance declaration for ‘Num [[a]]’ < 1413768665 911689 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1413768683 894718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :don't tell me that means it won't take < 1413768696 663741 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [[1]]*[[1]] < 1413768698 974177 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show t0) < 1413768699 140011 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M650974571118004358930528.show_M6509745711180043589... < 1413768699 140179 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘t0’ is ambiguous < 1413768699 140270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1413768699 140357 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance [safe] GHC.Show.Show L.Poles -- Defined at L.hs:157:1 < 1413768713 397198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [[1]]*[[1::Int]] < 1413768715 483242 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Num.Num [[GHC.Types.Int]]) < 1413768715 651019 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘GHC.Num.*’ < 1413768721 809865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1413768744 807226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, MINIMAL < 1413768786 737088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :best pragma or bester pragma? < 1413768804 116242 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413768813 934875 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413768818 365952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let ud=undefined; instance Num a => Num [[a]] where (+)=ud;(-)=ud;abs=ud;signum=ud;fromInteger=ud;m*n = [[sum$zipWith(*) m' n' | n' <- tn]| m' <- m] where tn = transpose n < 1413768821 218920 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413768826 903610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [[1]]*[[1]] < 1413768829 647749 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1]] < 1413768845 302970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [[1,0],[1,1]]^10 < 1413768847 467996 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[1,0],[10,1]] < 1413768859 638988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm not so good < 1413768862 936499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1413768881 45059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [[1,1],[1,0]]^10 < 1413768883 40292 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [[89,55],[55,34]] < 1413768886 942263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1413768930 153924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let fib n = head$head$[[1,1],[1,0]]^n < 1413768932 405842 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413768944 300095 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :i'm a way off from constructing something like that. < 1413768944 965582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [fib n | n <- [1..20]] < 1413768946 899915 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946] < 1413768980 177026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AndoDaan_: making matrix multiplication work with lists may be a _tiny_ bit non-recommended. < 1413768993 104195 :AndoDaan_!~Daanando@188.188.74.150 PRIVMSG #esoteric :although i could figure it had something to do with the sum of tails. < 1413768998 941052 :AndoDaan_!~Daanando@188.188.74.150 NICK :AndoDaan < 1413769001 643409 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hoorærjan for making fib 0 = 1 < 1413769006 733405 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :no addition... < 1413769014 238802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SORRY < 1413769014 520567 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :shachaf: æ? not even œ? < 1413769035 165319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hooræœrjan? < 1413769035 339525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: i only implemented what was needed to make ^ work < 1413769036 558697 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :still waiting on inner products btw < 1413769038 425523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Doesn't really work. < 1413769051 396493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what's an inner product < 1413769058 865959 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :like dot product, but moreso\ < 1413769066 809034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i wasn't sure which matrix element was the right one, sorry < 1413769071 984911 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1413769076 202614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like fib 0 = 1 < 1413769087 377390 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :fun fib 0 = 1 < 1413769179 686579 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: gah work is going to be a PITA this week < 1413769184 117523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that is a fun fib < 1413769191 315600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: fib 0 = 0 is prettier, you get fib (gcd m n) = gcd (fib m) (fib n) < 1413769240 479562 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then fix it? < 1413769240 854013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also abs(fib (-n)) == abs(fib n) < 1413769245 598018 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: ? < 1413769256 297519 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@undef < 1413769256 458587 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1413769267 230811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let ud=undefined; instance Num a => Num [[a]] where (+)=ud;(-)=ud;abs=ud;signum=ud;fromInteger=ud;m*n = [[sum$zipWith(*) m' n' | n' <- tn]| m' <- m] where tn = transpose n < 1413769269 851494 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413769276 850589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: but the children's book i learned about fib from started it off with 1,1 < 1413769281 203056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so that's how it is hth < 1413769284 785116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let fib n = [[1,1],[1,0]]^n!!1!!1 < 1413769287 145158 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413769291 451261 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: should i feel bad if i just leave the dog unwalked, and get up early tomorrow? < 1413769301 649709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [fib n | n <- [0..20]] < 1413769303 214144 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (GHC.Real.Integral b0) < 1413769303 368800 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘L.fib’ < 1413769303 368936 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (GHC.Num.Num t) < 1413769303 369026 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type of it :: GHC.Num.Num t => [[[t]]] < 1413769303 369110 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : at Top level < 1413769311 297334 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1413769349 493195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wrong fixities < 1413769352 39068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@undef < 1413769352 207634 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1413769358 139062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let ud=undefined; instance Num a => Num [[a]] where (+)=ud;(-)=ud;abs=ud;signum=ud;fromInteger=ud;m*n = [[sum$zipWith(*) m' n' | n' <- tn]| m' <- m] where tn = transpose n < 1413769360 334613 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413769371 664667 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: cadadr hth < 1413769394 661029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let fib n = ([[1,1],[1,0]]^n)!!1!!0 < 1413769396 891181 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413769401 34007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [fib n | n <- [0..20]] < 1413769402 792900 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [*Exception: Prelude.undefined < 1413769408 697115 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :isnt it spelled cddr < 1413769408 887078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1413769413 220924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [fib n | n <- [1..20]] < 1413769415 76961 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765] < 1413769421 636984 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1413769423 202753 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1413769424 772507 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nvm < 1413769432 906712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it won't work for 0 because i didn't define fromIntegral. < 1413769519 691955 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :quintopia: only meanies unwalk dogs. < 1413769548 655522 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(unless it's a chihuahua; then it permanently walks only by cumulative vibration.) < 1413769568 305523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@undef < 1413769568 466965 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1413769595 869767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let ud=undefined; instance Num a => Num [[a]] where (+)=ud;(-)=ud;abs=ud;signum=ud;fromInteger n=[[n,0],[0,n]];m*n = [[sum$zipWith(*) m' n' | n' <- tn]| m' <- m] where tn = transpose n < 1413769596 692051 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:159:27: < 1413769596 856976 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (a ~ Integer) < 1413769596 857129 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Num a) < 1413769596 857219 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the instance declaration at .L.hs:154:10-29 < 1413769596 857306 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘a’ is a rigid type variable bound by < 1413769601 162575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1413769618 641443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let ud=undefined; instance Num a => Num [[a]] where (+)=ud;(-)=ud;abs=ud;signum=ud;fromInteger n=[[fromInteger n,0],[0,fromInteger n]];m*n = [[sum$zipWith(*) m' n' | n' <- tn]| m' <- m] where tn = transpose n < 1413769620 520225 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413769627 870384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let fib n = ([[1,1],[1,0]]^n)!!1!!0 < 1413769630 10637 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1413769632 612652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [fib n | n <- [0..20]] < 1413769634 241235 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765] < 1413769638 799981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1413769673 101452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fib 10000 < 1413769674 742484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3364476487643178326662161200510754331030214846068006390656476997468008144216... < 1413769896 86013 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :> sqrt 5 < 1413769897 719255 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2.23606797749979 < 1413769898 917106 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :[ fib =: 3 :'{: {: (+/ .*)^:y~ 1 1,.1 0' < 1413769899 312899 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :FireFly: |ok < 1413769906 945828 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :[ fib 5 < 1413769907 464221 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :FireFly: 5 < 1413769914 925205 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :[ fib"0 i.10 < 1413769915 444239 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :FireFly: 0 1 1 2 3 5 8 13 21 34 < 1413769959 147630 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :> let phi = (1 + sqrt 5)/2 in fib 10000 - (phi ** 10000 - (1 - phi) ** 10000) / sqrt 5 < 1413769960 781769 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : NaN < 1413769965 800195 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :Noice < 1413769970 333803 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :and, i suppose, obvious < 1413770137 162679 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :> let phi = (1 + sqrt 5)/2 in fib 100 - (phi ** 100 - (1 - phi) ** 100) / sqrt 5 < 1413770138 957374 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -1179648.0 < 1413770178 331863 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :> let phi = (1 + sqrt 5)/2 in (fib 10, (phi ** 10 - (1 - phi) ** 10) / sqrt 5) < 1413770179 997983 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (55,55.000000000000014) < 1413770188 652524 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :nifty. < 1413770380 539214 :boily!~boily@96.127.201.149 QUIT :Quit: EXPRESSED CHICKEN < 1413772182 522051 :stuntaneous!~stuntaneo@2001:1af8:4700:a000:4:: JOIN :#esoteric < 1413772328 785756 :AndoDaan!~Daanando@188.188.74.150 QUIT :Ping timeout: 258 seconds < 1413772347 368623 :FreeFull!~freefull@win-160-226.readingconnect.net JOIN :#esoteric < 1413772356 620946 :FreeFull!~freefull@win-160-226.readingconnect.net QUIT :Changing host < 1413772356 786423 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1413773398 557246 :AndoDaan!~Daanando@188.188.85.71 JOIN :#esoteric < 1413774142 567767 :AndoDaan!~Daanando@188.188.85.71 QUIT :Ping timeout: 255 seconds < 1413774193 769621 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1413774342 1402 :AndoDaan!~Daanando@188.188.78.248 JOIN :#esoteric < 1413776386 419605 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDream < 1413777575 365101 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413777586 22851 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413778591 641083 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07OrthINTERCAL14]]4 10 02http://esolangs.org/w/index.php?diff=40629&oldid=25606 5* 03157.182.186.93 5* (+36) 10Changed dead link to archive.org link < 1413780477 12338 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1413780663 484295 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [ < 1413780764 715302 :AndoDaan!~Daanando@188.188.78.248 QUIT : < 1413781089 969187 :weissschloss!~viskestel@li607-220.members.linode.com QUIT :Remote host closed the connection < 1413781172 576661 :weissschloss!~viskestel@li607-220.members.linode.com JOIN :#esoteric < 1413781490 57537 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413781497 782209 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413781917 526639 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413781926 931137 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413782565 617910 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413782576 400011 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413783021 983466 :AndoDaan!~Daanando@188.188.78.248 JOIN :#esoteric < 1413783388 179799 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1413783402 296235 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1413784412 921975 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1413784418 224024 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1413785825 142994 :S1!~sheldon@p4FF92202.dip0.t-ipconnect.de JOIN :#esoteric < 1413786726 140940 :S1!~sheldon@p4FF92202.dip0.t-ipconnect.de QUIT :Ping timeout: 240 seconds < 1413787092 729119 :S1!~sheldon@pD9FCA9B0.dip0.t-ipconnect.de JOIN :#esoteric < 1413787128 785595 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :If I keep suddenly getting interest in things I hate, does this mean someday I will be interested in (and potentially attempt to defend) PHP? < 1413787157 113406 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :yes, when PHP 10 comes true. < 1413787282 815861 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo: you should do that, watching you attempting to defend PHP would be hilarious < 1413787423 46981 :MoALTz!~no@188.33.15.107 QUIT :Read error: Connection reset by peer < 1413787500 67992 :MoALTz!~no@188.33.15.107 JOIN :#esoteric < 1413788036 567024 :MoALTz!~no@188.33.15.107 QUIT :Quit: Leaving < 1413788810 745603 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"These loosely-typed variables are one of the properties that make PHP such an easy and powerful language, although they can sometimes also cause interesting problems < 1413789272 193433 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Huh. PHP variables are copy-on-write. That's actually interesting. < 1413789303 766097 :S1!~sheldon@pD9FCA9B0.dip0.t-ipconnect.de QUIT :Quit: S1 < 1413789653 423171 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :Sgeo: did you know the real reason behind PHPs odd, inconsistent function naming schemes? < 1413789703 842217 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Because different things were added by different people? Oh, wait, the whole 'we want certain number of functions with different lengths of names'/ < 1413789710 695068 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :originally, PHP's function dispatch used string length for a hash-function < 1413789733 634925 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :so it was more optimized to have a smoother distribution across < 1413789771 433571 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :of course, I haven't cleaned any gutters lately so I can't say if they've finally got a saner or a zanier naming scheme < 1413789829 593971 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Ok. If I'm understanding PHP references properly... it's hard to mix both the normal COW behavior and the reference behavior, because each zval either has references or not? < 1413789869 774405 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Yay I guessed right "Something interesting—and perhaps unexpected— happens if you mix an assign-by-value call and an assign-by-reference call. " < 1413789988 623561 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Oh, no I didn't < 1413790002 245083 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :PHP tries to keep things sane, by considering it a write, I guess? < 1413790036 123503 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Well, done reading for now < 1413790054 635035 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi QUIT :Remote host closed the connection < 1413790140 166500 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :I guess PHP isn't that bad if you code it on your time off < 1413790145 178668 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :kind of like QBasic < 1413790160 891179 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :just competing with the other kids, seeing who can make the biggest sand castle < 1413790190 802746 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1413790627 349820 :AndoDaan_!~Daanando@188.189.89.101 JOIN :#esoteric < 1413790752 982310 :AndoDaan!~Daanando@188.188.78.248 QUIT :Ping timeout: 248 seconds < 1413791385 345622 :AndoDaan_!~Daanando@188.189.89.101 QUIT :Ping timeout: 260 seconds < 1413791839 991067 :AndoDaan!~Daanando@188.188.85.61 JOIN :#esoteric < 1413792119 208237 :drdanmaku!uid17782@gateway/web/irccloud.com/x-mcnofidurlgvnpjp QUIT :Quit: Connection closed for inactivity < 1413792710 286581 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@tell oerjan I figured that already out :) < 1413792710 440149 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1413792804 45952 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1413793006 504623 :AndoDaan_!~Daanando@188.189.75.143 JOIN :#esoteric < 1413793121 105252 :AndoDaan!~Daanando@188.188.85.61 QUIT :Ping timeout: 248 seconds < 1413795641 334416 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 260 seconds < 1413796226 926791 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :InvalidCo: Re QBasic http://gamma.zem.fi/~fis/qbc.html < 1413796252 17846 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I did that HTMLization of the help file a way back, and want to get maximum use out of it.) < 1413796472 417120 :AndoDaan!~Daanando@188.188.86.172 JOIN :#esoteric < 1413796544 27355 :InvalidCo!invalidco@makkara.org PRIVMSG #esoteric :fizzie: excellent :D < 1413796611 149235 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413796627 500763 :AndoDaan_!~Daanando@188.189.75.143 QUIT :Ping timeout: 265 seconds < 1413798240 38326 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Does PHP have an @deprecated or something? < 1413798275 682380 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :people are still using mysql_* for new apps < 1413798349 357281 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also books in CS schools are still using PHP 4 < 1413798350 484860 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but < 1413798387 399398 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's not surprising :) < 1413798409 399182 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :our maps in geography in Sekundarschule still had the sowjet union on it :) < 1413801582 289578 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1413802216 44014 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi JOIN :#esoteric < 1413802400 405194 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> w < 1413802401 793117 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : w < 1413802410 4535 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :>["world",w++"!"] < 1413802417 81076 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> ["world",w++"!"] < 1413802418 261824 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘[GHC.Types.Char]’ < 1413802418 415113 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘Debug.SimpleReflect.Expr.Expr’ < 1413802441 357061 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1413802445 933178 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it defines w:l < 1413802447 349164 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i see < 1413802498 812221 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413802509 4579 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413803477 101614 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Bad news, I got a second job offer too. < 1413803687 785365 :Makadon!~stuntaneo@2001:1af8:4700:a000:4:: JOIN :#esoteric < 1413803696 784801 :Makadon!~stuntaneo@2001:1af8:4700:a000:4:: PART :#esoteric < 1413803707 538954 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413803718 643964 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1413803969 762631 :boily!~boily@96.127.201.149 QUIT :Quit: HYPERGEOMETRIC CHICKEN < 1413805394 697070 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1413805494 738277 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 258 seconds < 1413806430 657045 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You could give one of them away. < 1413806468 402957 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Of course, the difficulty is choosing which one. < 1413806558 757877 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Throw a coin, then decide whether to accept its decision or not :P < 1413806613 527025 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(It's funny. I believe this could actually help me in making decisions, simply by establishing a default option.) < 1413806679 948142 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Throw a coin, then set the upper face to represent the decision you wanted to make < 1413807321 300652 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: that would defeat the purpose. < 1413807331 276371 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I think you knew that. < 1413807357 630310 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And of course you should use whatever self-deception tricks that work for *you*. < 1413807720 178335 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :int-e: That's kinda why I have http://mroman.ch/cgi/whichlang.pl < 1413807834 579528 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Hah hah. < 1413807925 679914 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I know that self-deception doesn't really work, but believing it just makes life easier. < 1413808296 261947 :AndoDaan_!~Daanando@188.188.78.33 JOIN :#esoteric < 1413808378 407914 :AndoDaan!~Daanando@188.188.86.172 QUIT :Ping timeout: 255 seconds < 1413808542 846333 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :J_Arcane: By visiting the link above your legally bound to actually use the language it suggested . < 1413808546 552161 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*you're < 1413808554 314024 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :Heh heh. < 1413808561 966113 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :I don't even know 90% of those. < 1413808566 634872 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I hope you got COBOL!!! < 1413808616 54901 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or BANCSTAR < 1413808619 62194 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :BANCSTAR is in there too < 1413808917 95459 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :ahahahaha. http://www.i-programmer.info/news/204-challenges/6474-cobol-code-contest-challenge.html < 1413809075 333418 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PRIVMSG #esoteric :http://academic.microfocus.com/code/ < 1413809137 342500 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1413809189 633059 :polytone!~monotone@room208.org QUIT :Quit: restarting server < 1413809585 351784 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 260 seconds < 1413809612 657014 :monotone!~monotone@room208.org JOIN :#esoteric < 1413809615 594053 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1413810308 653730 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :BANCSTAR < 1413810538 998825 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Become a star programmer with BANCSTAR. < 1413810558 867750 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :BANCSTAR. Only $9.95. (+ Manual for $99) < 1413810564 432377 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Bankster? < 1413810933 335295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1413810933 526338 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :mroman said 5h 3m 43s ago: I figured that already out :) < 1413810988 186407 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's a manual? < 1413811201 186133 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :There was one at least. < 1413811254 231808 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I've never heard from jloughry again < 1413811263 999647 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I suspect he didn't find it and he also couldn't restore the floppy < 1413811649 140949 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm... < 1413811660 98002 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so people who try to figure out bancstar disappear? < 1413811679 119866 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably has something to do with the moon landing < 1413811687 985019 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: more likely with boojums < 1413811688 863428 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :People say BANCStar was involved in the hoax. < 1413811777 404346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :duh, BANCStar is the moon's _real_ name < 1413811889 139943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, today's xkcd is relevant. < 1413811914 323426 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :presidential alert? < 1413811927 139212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recommend reloading hth < 1413811997 44065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(maybe xkcd has regional obnoxious caching. _that_ would be weird.) < 1413812024 842874 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it could be a misconfigured proxy. < 1413812162 473875 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1413813001 211252 :drdanmaku!uid17782@gateway/web/irccloud.com/x-lsoxpzvcvcgqgtmr JOIN :#esoteric < 1413813737 51340 :S1!~sheldon@p4FF92F42.dip0.t-ipconnect.de JOIN :#esoteric < 1413813787 982985 :AndoDaan!~Daanando@188.189.73.225 JOIN :#esoteric < 1413813810 352905 :AndoDaan_!~Daanando@188.188.78.33 QUIT :Ping timeout: 246 seconds < 1413813817 672052 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1413814731 295584 :AndoDaan_!~Daanando@188.188.78.121 JOIN :#esoteric < 1413814784 994313 :AndoDaan!~Daanando@188.189.73.225 QUIT :Ping timeout: 248 seconds < 1413814796 402123 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :One of my lecturers has sent me a couple of esolang-like things used in PhDs < 1413814862 959129 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :http://strlen.com/aardappel-language is one < 1413814874 811312 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Concurrent tree-reduction, at a glance < 1413814889 737565 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :With... inter-tree communication? < 1413814951 591888 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :http://synrc.com/publications/cat/Category%20Theory/Type%20Theory/Hagino%20T.%20A%20Categorical%20Programming%20Language.pdf is the other, seems to have a lot of Category Theory in it < 1413814996 31053 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"Data types are declared using F,G-dialgebras and each data type is associated with its own control structure." < 1413815210 530698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION remembers hearing about aardappel here before < 1413816042 430248 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1413816900 588849 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Changing server < 1413816934 180161 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1413817007 600722 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i brought it up once < 1413817061 507128 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's by the guy who made FALSE < 1413818263 632236 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1413818270 579614 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1413818320 553759 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDude < 1413818404 910474 :AndoDaan!~Daanando@188.188.91.247 JOIN :#esoteric < 1413818472 442395 :AndoDaan_!~Daanando@188.188.78.121 QUIT :Ping timeout: 246 seconds < 1413818777 193019 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Lobster looks really neat < 1413819121 383850 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1413821026 177472 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1413821304 234975 :S1!~sheldon@p4FF92F42.dip0.t-ipconnect.de QUIT :Quit: S1 < 1413822227 516341 :AndoDaan_!~Daanando@188.188.77.133 JOIN :#esoteric < 1413822322 978867 :AndoDaan!~Daanando@188.188.91.247 QUIT :Ping timeout: 240 seconds < 1413822723 371927 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu QUIT :Quit: leaving < 1413822815 598170 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu JOIN :#esoteric < 1413826278 770611 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1413827167 645506 :TieSoul!~TieSoul@86.89.119.147 QUIT :Ping timeout: 245 seconds < 1413828547 54397 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1413830402 834633 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So is this esoteric or just plain retarded http://hal.inria.fr/hal-00762330/PDF/paper-ieee.pdf < 1413830435 811215 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Blazy and Giacobazzi, "Towards a formally verified obfuscating compiler") < 1413831229 446644 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 260 seconds < 1413831299 901784 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah. < 1413831307 503856 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :AndoDaan_: Fibonacci Numbers is hard :) < 1413831327 130455 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1413831327 811380 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no < 1413831334 675429 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Fibonacci Numbers is easy < 1413831338 396874 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Fibonacci Number is hard < 1413831343 313830 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(two different challenges) < 1413831376 372415 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://golf.shinh.org/p.rb?Fibonacci+Number <- the hard one < 1413831385 56288 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://golf.shinh.org/p.rb?Fibonacci+Numbers <- the easy one < 1413831430 561174 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, that hard one asks for the 71th fibonacci number. that's too large to compute with my regex solution < 1413831592 993391 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1413831593 351533 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1413831623 390098 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Fibonacci is just a Continuation of Addition < 1413831824 388808 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not even gs2 beats Burlesque at Fibonacci < 1413831845 22170 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I think mauris will push an update to gs2 to get <10B :( < 1413831881 804949 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :AndoDaan_: The trick is to do something like this < 1413831884 916504 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1.+ < 1413831885 283697 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 2 < 1413831894 68166 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1^^j^^.+#s < 1413831894 291939 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2 1 1} < 1413831902 409281 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1^^j^^.+^^j^^.+#s < 1413831902 594203 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {4 2 1 1} < 1413831910 410059 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm wait < 1413831930 652817 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no < 1413831930 842205 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :In a specialised stack-based language, fibbonacci would be 2]1]+d. < 1413831946 830450 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 2q.+10C!#s < 1413831947 21402 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {233 144 89 55 34 21 13 8 5 3 2 1} < 1413831972 730334 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Actually, probably 2]2]+d. < 1413832007 69343 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Based on a stack which loops around < 1413832017 835367 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :just execute addition n-times on the stack without destroying the arguments to Addition < 1413832026 19078 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's exactly what 10C! does < 1413832029 873166 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You can get rid of the d. if you make output implicit < 1413832036 632950 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it executes .+ 10 times on the stack without destroying the arguments < 1413832040 941459 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+100C! < 1413832041 125194 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 927372692193078999176 < 1413832043 333862 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+1000C! < 1413832043 515150 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832046 622184 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+2000C! < 1413832046 845399 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832048 617994 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+200C! < 1413832048 802507 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 734544867157818093234908902110449296423351 < 1413832051 715120 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+300C! < 1413832051 900904 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 581811569836004006491505558634099066259034153405766997246569401 < 1413832054 515088 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+400C! < 1413832054 700839 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 46083597875350357822621588307387224638576447208679708287320318854254461644824834 < 1413832057 816257 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+500C! < 1413832058 75282 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 36501474072363421101223707790647935599608158150145549785274782936680019936155017 < 1413832061 693884 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+600C! < 1413832061 880422 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, I forgot < 1413832061 880600 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832063 604918 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+600C!it < 1413832063 789258 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 28911753224200479465784293958052399219220608157483365108350572978936438524949474 < 1413832065 788669 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1413832069 914576 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You have to initialise everything somehow < 1413832073 821869 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :That makes things more complicated < 1413832075 367890 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it makes stuff faster < 1413832079 360868 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+900C!it < 1413832079 547585 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 14367013614608593758393119085902136148903960934548935960896147901619817146083434 < 1413832081 931063 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+1900C!it < 1413832082 116384 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 13963900747924802197891995921996856368918424126603691200660357769322735706873056 < 1413832090 120925 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+10000C!it < 1413832090 339985 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832096 932925 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+5000C!it < 1413832097 151584 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 10155271254877282719737169416675589367560656417382702545186421663823487395855700 < 1413832108 348823 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in a non-idealized stack based language, it's like this: < 1413832112 71175 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1dp[pdsd+ldrlxx]dsxx|head -20 < 1413832112 601872 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134 < 1413832122 360535 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+6000C!it < 1413832122 547033 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832129 605226 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`c -e1d[pdk+Krlxx]dsxx < 1413832130 236130 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: c: not found < 1413832134 75915 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1d[pdk+Krlxx]dsxx < 1413832134 601300 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dc: value overflows simple integer; punting... \ dc: scale must be a nonnegative number \ dc: value overflows simple integer; punting... \ dc: scale must be a nonnegative number \ dc: value overflows simple integer; punting... \ dc: scale must be a nonnegative number \ dc: value overflows simple integer; punting... \ dc: scale must be a nonnegative < 1413832143 939701 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: Can it calculate the 5000thst fibonacci number? < 1413832144 170911 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1d[pdk+Krlxx]dsxx|head -20 < 1413832144 698400 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 11349031 < 1413832151 985573 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: that first one can, yes < 1413832160 42708 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1dp[pdsd+ldrlxx]dsxx|sed 50 < 1413832160 624518 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134 < 1413832164 19242 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1dp[pdsd+ldrlxx]dsxx|sed -n 50 < 1413832164 628291 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134 < 1413832177 1223 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1dp[pdsd+ldrlxx]dsxx|sed 50\!d < 1413832177 589156 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134 < 1413832178 888489 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1413832212 445244 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dc -e1dp[pdsd+ldrlxx]dsxx|sed -n 50p < 1413832213 39464 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134 < 1413832216 961344 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what < 1413832217 845977 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1413832223 137750 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|sed -n 50p < 1413832227 453741 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` seq 10 | sed 5q < 1413832228 102469 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 2 \ 3 \ 4 \ 5 < 1413832253 876191 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1413832256 160654 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|sed -n 50p;50q < 1413832282 991253 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|head -n50|tail -n1 < 1413832283 729936 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :12586269025 < 1413832286 683458 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1413832288 453029 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|head -n500|tail -n1 < 1413832289 6520 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :388484183426537766350753518180972865642314621443875164454555847769482\ < 1413832297 894265 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, that's wrong < 1413832311 550512 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :dc breaks long numbers to multiple lines < 1413832330 651908 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|tail -N -40 < 1413832331 243713 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tail: invalid option -- 'N' \ Try `tail --help' for more information. < 1413832334 184014 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|tail -n -40 < 1413832339 864213 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+6000C!th < 1413832340 147653 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1413832340 896625 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|tail -n +40 < 1413832342 808681 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 1134903170 \ 1836311903 \ 2971215073 \ 4807526976 \ 7778742049 \ 12586269025 \ 20365011074 \ 32951280099 \ 53316291173 \ 86267571272 \ 139583862445 \ 225851433717 \ 365435296162 \ 591286729879 \ 956722026041 \ 1548008755920 \ 2504730781961 \ 4052739537881 \ 6557470319842 \ 10610209857723 \ < 1413832343 234008 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+60000000C!th < 1413832343 469026 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832347 550878 :AndoDaan_!~Daanando@188.188.77.133 PRIVMSG #esoteric :thx < 1413832348 162432 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`run dc -e1dp[pdsd+ldrlxx]dsxx|tail -n +80 < 1413832348 764915 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :23416728348467685 \ 37889062373143906 \ 61305790721611591 \ 99194853094755497 \ 160500643816367088 \ 259695496911122585 \ 420196140727489673 \ 679891637638612258 \ 1100087778366101931 \ 1779979416004714189 \ 2880067194370816120 \ 4660046610375530309 \ 7540113804746346429 \ 12200160415121876738 \ 19740274219868223167 \ 31940434634990099905 \ 5168070 < 1413832351 567181 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+6000000C!th < 1413832351 808320 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832354 554173 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :weird < 1413832365 895782 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1413832366 849137 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :anyway < 1413832371 819876 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess th isn't very lazy < 1413832386 941438 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1 1q.+6000000C!{}#S < 1413832387 159331 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1413832398 309978 :bb010g!uid21050@gateway/web/irccloud.com/x-ldrqquviitwkugem JOIN :#esoteric < 1413832436 713530 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :AndoDaan_: Fibonacci is 1 1q.+NNC! :) < 1413832455 192505 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'll tell you that because that one's an example program on the esolang page anyway < 1413832469 956105 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(so it's spoilered there anyway) < 1413832488 46379 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Fibonacci Number on the other hand requires some serious thinking to get 14B :D < 1413832519 38542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh, I can never get anagolf accept any of my solutions that are supposed to work with 1/9 probability < 1413832528 982037 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(there can't be more than 3 tests, so that's common) < 1413832541 306711 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :finally < 1413832548 548628 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :just write a script that submitts it twice a minute < 1413832557 479962 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's how the pros are doing it < 1413832730 503789 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh, the easier http://golf.shinh.org/p.rb?Fibonacci+Numbers asks for too many numbers for my regex solution to work too < 1413832741 489254 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mind you, it's too long anyway < 1413832901 556315 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me see if I can adapt my dc solution though < 1413832919 351227 :drdanmaku!uid17782@gateway/web/irccloud.com/x-lsoxpzvcvcgqgtmr QUIT :Quit: Connection closed for inactivity < 1413832920 599283 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll have to edit it to stop after 45 lines < 1413833352 790666 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :23. but there must be a way to cut a few chars < 1413833423 937990 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes! 21 < 1413833440 285539 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :only 2 worse than the record in dc < 1413833482 639824 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :YES! < 1413833483 509713 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :19 < 1413833494 47706 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :using a dirty trick < 1413833905 598237 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I only had to perturb my existing golf that prints the existing sequence: < 1413833921 755232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as in, modify it to stop after a while, then fix so it starts and stops with exactly the right line < 1413834163 517748 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1413834211 826178 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu JOIN :#esoteric < 1413835153 529573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: does that job offer come with a dangerously high risk of #esoteric meetups? < 1413835203 476833 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: I often flip a coin when I think I can't decide between options, so that when I immediately regret it landing on one side I can see that I actually have a preference. < 1413835209 139555 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, I don't actually flip a coin. < 1413835214 327216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I imagine doing it and that's good enough. < 1413835256 177964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: the cerator of aardappel (nick aardappel, in fact) is actually an op here < 1413835259 192040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*creator < 1413835321 289617 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1413835811 26907 :impomatic_!~digital_w@92.77.125.91.dyn.plus.net JOIN :#esoteric < 1413836088 295311 :AndoDaan_!~Daanando@188.188.77.133 QUIT : < 1413836162 669975 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1413836211 790183 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :are jobs supposed to cause #esoteric meetups? < 1413836640 787653 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott, oh wow < 1413836676 277552 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1413836802 942590 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1413836898 861794 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1413836971 118692 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1413837315 707926 :brandonson!~SingingBo@d50-98-172-234.bchsia.telus.net JOIN :#esoteric < 1413837852 324871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (965) < 1413837852 852962 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist (965): shachaf oerjan Sgeo FireFly boily nortti < 1413837985 664887 :AndoDaan!~Daanando@188.188.70.114 JOIN :#esoteric < 1413838251 126049 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: I don't know how many .de people there are on channel. < 1413838491 626370 :Melvar!~melvar@dslb-178-006-014-114.178.006.pools.vodafone-ip.de PRIVMSG #esoteric :ACTION raises hand. < 1413838525 46554 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu PRIVMSG #esoteric :how would you rate your ability to survive in a six cubic meter container? < 1413838582 525645 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I would like to state I am in favour of a #esoteric UK meetup although I don't think there are that many < 1413838709 101785 :AnotherTest!~turingcom@94-224-26-148.access.telenet.be JOIN :#esoteric < 1413838796 629771 :S1!~sheldon@p4FF938E4.dip0.t-ipconnect.de JOIN :#esoteric < 1413838936 826863 :Bicyclidine!~Glossina@wl-nat114.it.wsu.edu QUIT :Ping timeout: 258 seconds < 1413839038 399178 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu JOIN :#esoteric < 1413839167 260794 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: If you haven't caught the news, next year I might be one, depending. < 1413839518 379139 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: that many what? < 1413839544 689148 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :People in the UK who would be interested < 1413839553 884370 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bicyclidine: six cubic meter? that's small. survive for how long, and what's in the container? < 1413839573 433512 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fizzie, I will *probably* be in York < 1413839597 90792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: me, you, ph, ais523, cpressey, impomatic, fizzie(?) is the list I know < 1413839604 110661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's kind of a lot < 1413839609 912083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, no idea about interest < 1413839619 320052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but presence in the UK is close enough :p < 1413839626 444559 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: that would be a lot if you could get all together to a meetup, but that's unlikely < 1413839639 338417 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: just need a bit of coercion < 1413839644 903809 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey is in the UK? < 1413839650 25501 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :apparently! < 1413839653 390907 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :HuH! < 1413839671 144373 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe try to organize it some time when some other esoteric person visits the UK < 1413839685 810927 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :By what I know about locations of where we are, Birmingham is a not-terrible place to meet up < 1413839700 464108 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: good idea < 1413839701 506730 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Excluding the fact that, in general, Birmingham is a terrible place :P < 1413839723 185873 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh heh < 1413839731 579982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: I hear ais523 is still offering INTERCAL lessons to anyone who shows up < 1413839736 156474 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :b_jonas: me, ais, cpressey, and elliott are in the container. you are armed with a sharp piece of metal < 1413839753 720526 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bicyclidine, this is a really weird text adventure < 1413839784 587477 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :i only tell the truth, elliott only lies, and ais is debating whether having you eat the rings on his fingers is a good idea < 1413839832 212947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: you mean, terrible compared to England in general? < 1413839850 320407 :AnotherTest!~turingcom@94-224-26-148.access.telenet.be QUIT :Ping timeout: 246 seconds < 1413839915 526091 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, yes < 1413839938 81489 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :York is much nicer, from what I've experienced < 1413839963 126578 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1413840007 29458 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I wonder, in general, is the UK going to become a worse place in the following decade if they're trying to copy all the bad ideas from the US in a faster rate than the rest of Europe is? < 1413840017 995619 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And are they even trying that? < 1413840021 275041 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :York has a street with more letters in its name than meters in its length! < 1413840055 286887 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm... I think we might have such a short street too. I'm not sure < 1413840116 994586 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: the UK has been working hard on becoming a worse place for much longer than this decade tyvm < 1413840207 374472 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu QUIT :Ping timeout: 246 seconds < 1413840225 886733 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm no, more letters than length in meter is a strong challenge. we probably don't have such a streed < 1413840267 559955 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :we probably don't have such a street, but it's hard to be sure < 1413840291 944278 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(that was a bit of an exaggeration,upon checking the street has 16 letters (although more characters if you count hyphens) but 17 meters) < 1413840316 866910 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm < 1413840319 898451 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I fancy ice cream < 1413840324 242095 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The co-op closes in 30 minutes < 1413840329 10643 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I can make this < 1413840400 472762 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or I could stay here and continue listening to Eurovision songs < 1413840405 167357 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...when I put it like that.... < 1413840409 177750 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION --> co-op < 1413840966 611428 :Bicyclidine!~Glossina@wl-nat102.it.wsu.edu JOIN :#esoteric < 1413841366 919915 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :If I move out of the UK, where should I move to? < 1413841718 14814 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're in the UK? < 1413841937 948110 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION has ice cream < 1413841960 874144 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :FreeFull, I hear York is nice < 1413841973 599575 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(York city council does not pay me to advertise York) < 1413841985 590169 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah, I'm in Reading right now, for university < 1413841998 421277 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: That's still in the UK < 1413842012 480831 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :FreeFull, no it isn't < 1413842042 50315 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :York has done what Scotland didn't dare to? < 1413842078 135206 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1413842090 811658 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I'm being silly, but there is actually a Yorkshire independence movement) < 1413842100 857852 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(they're a bunch of loonies as far as I know) < 1413842163 903037 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :FreeFull, what do you study? < 1413842183 299400 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Computer Science < 1413842187 665940 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :BSc < 1413842190 956373 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1413842386 335760 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1413843032 455226 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :FreeFull, I'm doing a Computer Science and Maths degree with an integrated Master's < 1413843291 573928 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1413843381 410606 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1413843383 811702 :paul2520!~pi@unaffiliated/paul2520 PRIVMSG #esoteric :Taneb: hurray for master's! < 1413843415 469478 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1413843417 702963 :paul2520!~pi@unaffiliated/paul2520 PRIVMSG #esoteric :FreeFull: NYC is expensive. < 1413843453 974635 :paul2520!~pi@unaffiliated/paul2520 PRIVMSG #esoteric :...but there are a lot of great places in the States! < 1413843595 911550 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1413843603 97266 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fsrphkjigiuhhkab JOIN :#esoteric < 1413843755 525874 :Phantom_Hoover!~phantomho@80.229.49.98 JOIN :#esoteric < 1413843756 818382 :Phantom_Hoover!~phantomho@80.229.49.98 QUIT :Changing host < 1413843756 971864 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1413844017 627414 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 245 seconds < 1413844289 357953 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1413844556 230708 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fsrphkjigiuhhkab QUIT : < 1413844870 323051 :bb010g!uid21050@gateway/web/irccloud.com/x-ldrqquviitwkugem QUIT :Quit: Connection closed for inactivity < 1413845017 869380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: so Nevéthosszaméteresrövidebb Utca doesn't exist? < 1413845053 805378 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :one of these words is not like the others... < 1413845080 326726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: which word twh < 1413845168 259771 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I think I'm not a fan of Forth-like languages that try to eliminate the space after ". It means that custom string-like things look notably different from normal strings < 1413845262 901180 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: N24b. unless the conversation between you and b_jonas extends in time (meaning I'll have to peruse the logs), then the probability of unlikely words greatly increases htdh < 1413845299 821196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: it was in the log but i wasn't part of it hth < 1413845319 456639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i was just playing with google translate < 1413845360 961131 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I am déçu. long agglutinated words fascinate me. < 1413845362 790044 :drdanmaku!uid17782@gateway/web/irccloud.com/x-axcbflrojhuhrqxy JOIN :#esoteric < 1413845376 835439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: ok google translate didn't provide the agglutination part. < 1413845405 22666 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(disappointed. déçu is disappointed. my brain's been skipping word lately...) < 1413845440 463940 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :imagine: French being an agglutinative language. it would be magistral. < 1413845465 7825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are some who claim french _is_ an agglutinative language, which just has an archaic spelling system. < 1413845512 511435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as in, if you invented french spelling today, a lot of words would be fused together. < 1413845535 949249 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Huh < 1413845545 273792 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Are there any agglutinative programming languages? < 1413845575 552583 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :si tétè pour ékrir el fransè kom ke sa se pronons, le mond orè dla mizèr à lir skyé tékri. < 1413845591 83391 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :ACTION wonders if it would make sense to implement Ngaro VM in Second Life < 1413845601 402903 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: I think the Forth-family is what nears the most the concept of agglutination. < 1413845623 275386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :burlesque and underload, things that are forth-like with no spaces? < 1413845643 417391 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo, you're in #esoteric. That makes more sense than most things that are on-topic here < 1413845663 248408 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I do not knoq Burlesque < 1413845690 481622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: you really haven't been paying attention to the channel lately, have you < 1413845706 723407 :Bicyclidine!~Glossina@wl-nat102.it.wsu.edu PRIVMSG #esoteric :i've seen like fifty burlesque programs now and don't know anything about it < 1413845716 804680 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I mean, I know OF it < 1413845721 739603 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I just have no idea what is going on < 1413845725 67036 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Bicyclidine: it means you haven't inhaled enough of mroman's aura. < 1413845732 598952 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is burlesque interesting? < 1413845739 981459 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have no idea what's going on in general, though < 1413845814 421196 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I can't support most of these I/O ports < 1413845853 10968 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I have text output, but no way to output in increments less than a line. I don't have a console < 1413845864 280414 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Unless I consider 'nearby chat' a console < 1413845876 298390 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Such a bad idea < 1413845888 216909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: it's a language that's essentially underload-like but with heaps of additional commands. < 1413845906 42032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also some laziness invented from haskell which it's implemented in < 1413845921 787162 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ah, kind of like what I sort of meant Fueue to be < 1413845926 306950 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Except different < 1413845987 617690 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1413845987 822377 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 202200Z 07003KT 15SM SCT060 BKN075 OVC095 06/01 A2993 RMK SC3AC4AC1 SLP138 < 1413846045 616556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :burlesque has become somewhat popular for golfing, although it tends to lose somewhat to other golfing languages because it has very few one-char commands, defaulting to two instead. < 1413846073 646280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(this is my impression. i don't actually know burlesque although i once helped prove it TC.) < 1413846103 63905 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, you seem to be the person-to-go-for when a language needs proving TC < 1413846104 305918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although it now has so many added commands that it would be more surprising if it _weren't_ TC. < 1413846224 719799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i do seem to have got a reputation yes < 1413846294 803465 :AndoDaan!~Daanando@188.188.70.114 PRIVMSG #esoteric :is turing completeness mostly proved by mapping the language onto an already tc proven one? < 1413846304 397175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AndoDaan: the other way around < 1413846304 590479 :Bicyclidine!~Glossina@wl-nat102.it.wsu.edu QUIT :Ping timeout: 265 seconds < 1413846333 760046 :AndoDaan!~Daanando@188.188.70.114 PRIVMSG #esoteric :technicality < 1413846349 730739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :technically you need both ways, but assuming the language is implementable at all, the other way is usually somewhat trivial. < 1413846407 553826 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I thought you only need both ways for Turing-equivalence, which, if you ignore Turing-Church, is stronger? < 1413846408 648298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :since you can use as powerful an already-TC language you want for implementing you new one _in_, but for the other direction you want something simple so you don't have to work so hard < 1413846428 793655 :S1!~sheldon@p4FF938E4.dip0.t-ipconnect.de QUIT :Quit: S1 < 1413846472 840937 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I feel like I could probably make a really compact golfing language if I wanted. < 1413846482 247230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: um not if turing-complete works like NP-complete, although i'm not sure if the term is that well-defined. but if it is, the version with only one way would be "turing-hard". < 1413846518 622792 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott, if it's done by characters rather than bytes, just use Unicode :) < 1413846524 214814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is, i interpret turing-complete as the same as turing-equivalent, i guess. < 1413846525 58199 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, HMM < 1413846555 356590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*your new one < 1413846558 394884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: I mean more interestingly than that. < 1413846594 184084 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think the hard bit'd be moving data around? < 1413846600 984373 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Haven't really thought about it much < 1413846605 24045 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: and you don't have to ignore Church-Turing, it's a vague philosophical statement < 1413846611 899435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can certainly make machines with halting oracles in theory < 1413846674 147580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like on the wiki, brainhype and banana scheme are turing hard, but too strong to be turing equivalent < 1413846704 419910 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Right. < 1413846719 594914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(they are essentially just adding halting oracles to brainfuck and scheme respectively.) < 1413846907 372295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although brainhype is weaker because the recursion of halting oracles is limited by syntax rather than ordinals. < 1413846981 82870 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu JOIN :#esoteric < 1413847158 459379 :boily!~boily@96.127.201.149 QUIT :Quit: CYCLOPEAN CHICKEN < 1413847261 357657 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I think "super-TC" is evidence that people use TC to mean equivalent < 1413847340 350700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1413847411 278978 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ambiguity in language makes me sad < 1413847495 114683 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I'm going to head to bed now < 1413847496 766001 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Goodnight! < 1413847518 895674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :TC dreams < 1413848109 13465 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :goodnight < 1413849577 760079 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Can an Android fan explain this to me: I am using an app. A notification from Gmail about an email comes up. I activate it and read the email. I then press back. Instead of going back to the last app I was in, I go to my inbox.