< 1431389037 503691 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 265 seconds < 1431389488 721054 :zzo38!~zzo38@24-207-56-9.eastlink.ca QUIT :Remote host closed the connection < 1431389926 532035 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ais523: Well, I can now answer "it's non-zero". < 1431389970 455353 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, I didn't realise C99 allowed non-prototype declarations < 1431390003 743484 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :As does C11. < 1431390032 72468 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :C11 didn't change syntax much < 1431390035 75754 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1431390036 982736 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :*nod* < 1431390052 848226 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :C11 was *mostly* an addition to the libraries. < 1431390425 795170 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Which interestingly means that it's not especially hard to port at least *some* old K&R C to C11. < 1431390733 890891 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I was not actually expecting it to be as easy to write moderately universal C as it is. < 1431390746 498957 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Ends up being a bit weird, but still. < 1431390781 82494 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :(and limited in functionality if you want to support certain spectacularly low-quality environments. :)) < 1431391190 484861 :daniel_13!~canaima@190.77.52.142 JOIN :#esoteric < 1431391194 309145 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :K&R function declarations are mentioned an "obsolescent feature" both in C99 and C11. < 1431391202 132114 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe next century they'll actually drop the support. < 1431391212 825270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does K&R C have function declarations? < 1431391221 537874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is the syntax? < 1431391264 370543 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :return_type function(); for a non-definition declaration, and return_type function(a, b, c) type a; type c; { ... } for a declaration that is also a definition. < 1431391276 266792 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With implicit ints allowed for the return type and the parameter types. < 1431391280 646219 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :K&R C has function *declarations*, but not prototypes. < 1431391282 48401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. So there's no way to specify anything other than the return type. < 1431391287 815130 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yep. < 1431391304 6754 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :And in ISO C you're permitted to use such a declaration, but not required. < 1431391305 180925 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they should change that twh < 1431391325 339315 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :C99 does not allow implicit int. < 1431391350 346882 :daniel_13!~canaima@190.77.52.142 PART :#esoteric < 1431391528 935839 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least it still lets you do int f(x, y, z, w, a, b, c) int x, y, z, w, a, b, c; { ... } saving you from repeatedly typing the 'int'. < 1431391535 505941 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Clearly the K&R style is superior. < 1431391556 473958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The K&R style makes a lot of sense. < 1431391599 871118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int (*f)(); means that (*f)() is an int. So it makes sense that "int f(x)" means that f(x) is an int. < 1431391631 552224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then you specify "int f(x) char x; { ... }" -- f(x) is an int only for char x. < 1431391650 552033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int f(char x) makes no sense, though. char x isn't even an expression. < 1431391852 715419 :a2!~CADD@12.227.104.109 JOIN :#esoteric < 1431391865 180323 :a2!~CADD@12.227.104.109 NICK :CADD < 1431391894 817018 :CADD!~CADD@12.227.104.109 NICK :Guest89181 < 1431392135 710283 :Guest89181!~CADD@12.227.104.109 QUIT :Ping timeout: 264 seconds < 1431393985 136876 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1431394108 134921 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1431394518 698795 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 240 seconds < 1431394941 622470 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431394964 573222 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1431394966 122717 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1431395540 420129 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1431395545 679288 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431395562 288646 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1431396837 530591 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1431396852 289333 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431396882 595360 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :int f((char)x)? < 1431396902 577623 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1431397916 848549 :teakey!~teakey@23.27.206.118 JOIN :#esoteric < 1431397991 594849 :Left_Hand_6969!~roark@173-31-68-167.client.mchsi.com JOIN :#esoteric < 1431398081 711732 :Left_Hand_6969!~roark@173-31-68-167.client.mchsi.com NICK :Theophrastus_Bom < 1431398147 464548 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1431398155 269697 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431398180 433386 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 272 seconds < 1431398187 708590 :Theophrastus_Bom!~roark@173-31-68-167.client.mchsi.com NICK :Empedoclean < 1431398218 648285 :Empedoclean!~roark@173-31-68-167.client.mchsi.com PART :#esoteric < 1431398287 456401 :heroux!sandroco@gateway/shell/insomnia247/x-vcjvtsmjiobpbcjg QUIT :Ping timeout: 256 seconds < 1431398545 122233 :teakey_!~teakey@23.27.206.118 JOIN :#esoteric < 1431398676 756156 :teakey!~teakey@23.27.206.118 QUIT :Ping timeout: 245 seconds < 1431398683 862029 :teakey_!~teakey@23.27.206.118 NICK :teakey < 1431398975 687501 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net QUIT :Ping timeout: 255 seconds < 1431399152 533490 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1431399162 416205 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431399263 567182 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1431399270 875949 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431399471 510976 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net JOIN :#esoteric < 1431400633 472147 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1431400667 629011 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 264 seconds < 1431400680 854267 :FreeFull!~freefull@97e179d4.skybroadband.com JOIN :#esoteric < 1431400681 139361 :FreeFull!~freefull@97e179d4.skybroadband.com QUIT :Changing host < 1431400681 285731 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1431400757 955696 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1431400850 326490 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1431402014 600746 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1431402017 803825 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431402023 865709 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1431402367 684813 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1431402375 380544 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431402551 689450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t forever < 1431402552 752784 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => m a -> m b < 1431402663 723416 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloefjan < 1431402667 925729 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :meh < 1431402750 364923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hijan < 1431402770 595295 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shichif < 1431403001 144406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: forever is the monad version of an infinite loop? < 1431403008 922295 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I figured that out based on the type) < 1431403037 542961 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and the name) < 1431403184 387165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1431403204 618514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was checking if they'd updated it to Applicative instead of Monad < 1431403280 652517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wouldn't being a monoid be sufficient (or, well, you don't even need an identity, just associativity)? or is that a different operatoin? < 1431403283 170856 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*operation < 1431403330 627338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you could make a monoid forever, but it wouldn't have a compatible type < 1431403391 389945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and for those monadic values that are also monoids, it's not necessary the same operation < 1431403399 338300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ily < 1431403408 780504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. it's not the same for list < 1431403412 81579 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*lists < 1431403494 285334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you see the thing where Applicatives are monoids in the category of endofunctors < 1431403527 282058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i haven't looked at that yet, although edwardk keeps throwing the word day convolution around < 1431403536 125325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(with Day convolution as your monoidal product hth) < 1431403548 976221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :day convolution is great < 1431403561 164955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's p. much like regular convolution < 1431403611 520522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1431403635 807375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Day f g a = exists x y. (f x, g y, x -> y -> a) hth < 1431403638 294441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so what product do you use to make Functors monoids in the category of endofunctors < 1431403656 53764 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? monad < 1431403657 830828 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1431403676 936123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can get Alternative in two different ways < 1431403682 940889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem here is that the category of endofunctors is really general < 1431403694 786214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, "the category of endofunctors" is underspecified. < 1431403702 156708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since it's a monoidal category. < 1431403724 859597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"monoidal category" normally implies it has some /specific/ monoid < 1431403771 855121 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it? < 1431403782 921773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a useful concept independently of talking about monoid objects, I think. < 1431403785 416360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: so can you get every subtype of optics this way < 1431403807 668617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: can you get any subtype of optics this way twh < 1431403831 291678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i mean, Applicative <-> Traversal. < 1431403865 575484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Functor <-> Lens < 1431403872 248975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh darn, profunctors < 1431403903 592686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :please note that i'm not actually engaging my brain here < 1431403925 561665 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: oh, the definition I know is that a monoidal category has some operation \otimes on both objects and arrows that is associative, and has an identity object I (and identity arrow id_I), and some coherence rules < 1431403941 522974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, that's the one. < 1431403953 439643 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, sometimes we come across categories that are monoidal two different ways < 1431403967 183170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but normally you assume there's a specific \otimes that you can talk about < 1431403977 14736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The category of endofunctors is monoidal in at least five different ways. < 1431403987 71229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously there is a category of ways a category is monoidal hth < 1431404023 329808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, when people say "monoid" in this context they usually mean a monoid object in a monoidal category. < 1431404070 251877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I.e. some specific object X along with arrows : X ⊗ X -> X and : I -> X < 1431404097 197017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, the concept of monoid objects sort-of passed me by because it isn't something I'm used to having in my categories < 1431404101 165296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(In Set, when you make it a monoidal category using cartesian product, you get the usual notion of a monoid.) < 1431404167 748501 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Set has an arrow X → X × X, doesn't it? (where × is cartesian product) < 1431404181 808876 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or have I got that backwards? < 1431404189 873611 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm trying to remember what a cartesian category is < 1431404209 996858 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the main theme in my research being categories where you can't do that) < 1431404220 627532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you thinking of comonoids here? < 1431404240 185025 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no < 1431404243 97415 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well, possibly < 1431404255 926555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm thinking of the normal model for contraction < 1431404269 858184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in programming languages < 1431404283 655823 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(where contraction is something like \x -> x + x, i.e. a lambda that uses its argument twice or more) < 1431404308 490666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. Set isn't a good category to talk about those things in. < 1431404336 395634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A comonoid is an object X along with arrows : X -> X ⊗ X and X -> I satisfying the dual laws to the monoid laws. < 1431404356 796743 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In Set (or Hask) every object is a comonoid in exactly one boring way. < 1431404370 553400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But e.g. in linear logic it corresponds to objects that you can duplicate and delete. < 1431404405 849432 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right, yes < 1431404412 216944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm thinking of substructural categories < 1431404419 480552 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where you might or might not have each of those two rules independently < 1431404436 474353 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in particular, I normally use affine categories, where you can delete but not duplicate < 1431404452 596291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, you can talk about cosemigroups and -- copointed sets, I guess? < 1431404486 27186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you want a puzzle about comonoids, you can solve http://thue.stanford.edu/puzzle.html < 1431404490 10641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a pointed set is a set that has one specific element that you can identify < 1431404508 63332 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so what's a copointed set? a set that has an element from which you can identify any of the others? < 1431404509 563003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think "copointed set" is probably a bad name. < 1431404533 156934 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was just dualizing "point : I -> X" < 1431404604 904302 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do you know about the concept of initial and terminal objects? < 1431404630 269449 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in my case, there isn't just a copoint operator, I is actually terminal < 1431404636 363903 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. there's exactly one way to delete each object < 1431404651 312816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds reasonable. < 1431404664 132230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The trouble with "pointed set" is that it's so lawless. < 1431404675 714033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can do better here. < 1431404696 286371 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway these are some of the most basic concepts in category theory, they come up all the time < 1431404715 108634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1431404717 972034 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(a category has at most one of each, incidentally, that's pretty easy to prove) < 1431404742 871553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, I've come across initial and terminal objects before. :-) < 1431404763 312681 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, I see < 1431404767 396694 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pointing a set is different from this < 1431404779 849979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because we're picking out one particular arrow and saying "you can use this to find one particular object" < 1431404790 79684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which… from a category-theoretic point of view, doesn't gain you anything < 1431404802 9368 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because now you have to identify one arrow rather than one object < 1431404816 626576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and a copointed set would be one in which you can delete one particular object, which doesn't seem so useful) < 1431404842 681781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By object do you mean element here? < 1431404885 64371 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, sorry, was mixing sets and categories < 1431404895 691423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why would a copointed set be one in which you can delete one particular element? It gives you an arrow : X -> I < 1431404911 34726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway I don't think "copointed" is the right notion, it's just the first thing that came to mind. < 1431404926 549300 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm trying to figure out what X → I is, categorically < 1431404942 390318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in Set, it's a function which takes elements of a particular type and discards them < 1431404994 25526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, ignoring the return value of a function is very hard in Verity if you still want its side effects < 1431405011 142573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you have to assign it to a variable in order to force it, otherwise it doesn't get evaluated at all because call-by-name < 1431405018 431486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If your arrows have side effects you're getting pretty far from any of this. < 1431405030 212571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway I don't quite know what the question is, but I'm sure Chu spaces are the answer. < 1431405069 647175 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :our arrows contain information about their side effects < 1431405102 229132 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or basically, we're creating an Algol variant with a somewhat ML-like attitude < 1431405115 1020 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you can think of everything as being in the same big monad < 1431405211 557409 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The other day someone was talking about how instead of talking about "network partitions", people should talk about delayed, dropped, and duplicated packets. < 1431405219 859998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It reminded me of substructural logic. < 1431405270 543314 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"delayed" isn't one of the normal substructural logic operations < 1431405280 952189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, reordered. < 1431405319 696181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Substructural_type_system talks about affine, relevant, and ordered type systems. < 1431405469 372599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, discarding /exchange/? < 1431405486 991976 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah, this is going to make my future discussions with nominal set theorists awkward < 1431405566 610708 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Brain saving mode engaged < 1431405633 883484 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1431405636 458420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, it doesn't interfere with the part of the Campaign for Strict Associators that I didn't remove from the manifesto as being too controversial < 1431405744 733269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the Campaign, stated succintly: I believe that the categories that people use to model programming languages should be those in which (A⊗B)⊗C and A⊗(B⊗C) are not merely isomorphic, but equal) < 1431405947 877715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i a strict 2-category with one object < 1431405961 987273 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which categories, for instance? < 1431406006 991777 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :denotational semantics; for example, I use game semantics a bunch, and one thing you have to do there is implement a disjoint union on move names so that you can tell moves apart < 1431406014 189175 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you use inl/inr, then your associators aren't strict < 1431406024 562679 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but if you number the moves and adjust numbers to keep sequence, then they are < 1431406061 6629 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(e.g. (q+q)+q can become q_ll, q_lr, q_r with the first method, or q_1, q_2, q_3 with the second) < 1431406097 45057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then you have this global numbering. < 1431406138 73581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not global < 1431406150 209757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose that instead of numbering you could use a different sort of normalization. < 1431406151 599873 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :+ basically takes the largest number on the LHS, and adds it to every number on the RHS < 1431406177 83680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. q_1,q_2 + q_1 gives you q_1,q_2,q_3; so does q_1 + q_1,q_2 < 1431406188 987877 :bb010g!uid21050@gateway/web/irccloud.com/x-fgivkjpvhuvhymzm QUIT :Quit: Connection closed for inactivity < 1431406275 765821 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this actually extends all the way into the variable names we use in our output code, it's not just a theoretical point < 1431407460 602380 :password2!~password@197.77.55.209 JOIN :#esoteric < 1431407537 518465 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431407593 810160 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431407641 773194 :Froo!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431407777 415917 :bb010g!uid21050@gateway/web/irccloud.com/x-dddacnfazxmrmque JOIN :#esoteric < 1431407807 256332 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 256 seconds < 1431407875 696078 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 256 seconds < 1431408252 396742 :heroux!sandroco@gateway/shell/insomnia247/x-nqpfciabveqtmxqj JOIN :#esoteric < 1431408715 622847 :impomatic!~impomatic@31.185.153.201 QUIT :Ping timeout: 240 seconds < 1431409969 200396 :password2!~password@197.77.55.209 QUIT :Remote host closed the connection < 1431410829 174181 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1431410957 712161 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1431411314 243927 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Max SendQ exceeded < 1431411495 805730 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1431412893 835279 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1431413765 348245 :iamevn_!~evn@c-67-201-217-24.reshall.wwu.edu QUIT :Quit: Leaving < 1431415482 802365 :AnotherTest!~turingcom@d51A4C65E.access.telenet.be JOIN :#esoteric < 1431416084 815789 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: fnord < 1431416085 738670 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: madam president, i would like to voice my criticism of the united kingdom, is that, if it arose, to be placed on lightening administrative burdens and costs in these member states so there is the need to legislate in this area near naples? there you are, you say you prefer natural families to homosexual partnerships, you risk being condemned once again, taking a snapshot of reality. the testimony of those north koreans < 1431416107 346483 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: what north koreans? < 1431416107 581668 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: fnord president, amending budget 4, the commission has followed up investigations launched by the institutions. all the same, undoubtedly lose some of their employment policies. < 1431416686 644475 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You know, translating code from Haskell to C++ makes me really miss the list monad < 1431416714 497502 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I keep going if {for {if {for {if {for {if... < 1431416723 249399 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(with actual conditions and stuff) < 1431417175 396531 :zadock!~zadock@cthulhu.tuiasi.ro JOIN :#esoteric < 1431418031 175103 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :surely the if () is a Maybe, not a List? < 1431418068 595190 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, the fors make it a list with guards < 1431418083 384949 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm translating code that used the list monad quite heavily < 1431418141 703514 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm going to write ugly code. < 1431418188 665750 :bb010g!uid21050@gateway/web/irccloud.com/x-dddacnfazxmrmque QUIT :Quit: Connection closed for inactivity < 1431418204 210932 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431418254 380626 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nvd: hmm, why isn't there a "mixed Maybe and List" monad-like thing < 1431418265 735667 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a polymorphic >>= that lets you connect a List with a Maybe to get a List < 1431418279 554883 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t maybeToList < 1431418280 759364 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe a -> [a] < 1431418300 38800 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think you can use that < 1431418324 557711 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431418415 459549 :Froo!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 256 seconds < 1431418416 395871 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, I assumed it'd be something like that < 1431418433 988737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the type theorist in me is disappointed that the resulting [a] can only have 0 or 1 elements < 1431418439 242127 :Froo!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431418446 323579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but at this rate I'll end up inventing Agda :-( < 1431418449 742218 :AnotherTest!~turingcom@d51A4C65E.access.telenet.be QUIT :Ping timeout: 276 seconds < 1431418480 197237 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 264 seconds < 1431418588 508427 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 252 seconds < 1431418955 527228 :teakey!~teakey@23.27.206.118 QUIT :Quit: Leaving < 1431419021 733366 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431419162 44916 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nvd: you could do if (...) break; instead < 1431419169 192963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for guard (not ...) < 1431419190 366119 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott, it'd have to be continue rather than break, I think < 1431419201 590637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er, yes < 1431419215 590087 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But yes, I could < 1431419545 863433 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431419558 438612 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm not personally a huge fan of that pattern < 1431419666 853956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I tend to use continue for guards < 1431419675 158766 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :especially in Perl, where it's called "next" instead < 1431419718 474379 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I use next for those in perl, but I almost never use continue in C or C++ < 1431419732 924705 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and very rarely use break in loops (but use it in switches of course) < 1431419748 495758 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :apparently I have very difficult programming style in C++ and perl < 1431419772 371600 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :same for most people < 1431419780 720920 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, who know both C and Perl < 1431419790 534278 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes... most people here don't do perl < 1431419806 920416 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here, let me find an example < 1431419859 354985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :https://gitorious.org/intercal/intercal/source/ef74805b817199fefde98ed61bb024683b4fbae0:src/clc-cset.c#L245 < 1431420529 934467 :mhi^!~mhi@unaffiliated/mhi/x-9993184 PRIVMSG #esoteric :Pretty. < 1431420600 610252 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: oh, but that uses return, not continue or goto < 1431420604 150424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I decided to sprinkle Perl idioms throughout that code because CLC-INTERCAL is written in IACC which is written in itself, but its bytecode interpreter is written in Perl < 1431420614 58845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it looks a lot uglier in C, though < 1431421018 530490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nvd: if you don't like that pattern, why did you use it in the haskell? < 1431421032 537077 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott, it looks nicer in Haskell < 1431421037 471574 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fair enough :p < 1431421055 462219 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: i'm so glad gitorious is shutting down < 1431421091 460312 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the alternatives are even worse :-( < 1431421125 212477 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's not true, none of the alternatives give up on displaying medium-sized commits and say they're too big to display < 1431421140 314027 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :even traditional gitweb is like ten billion times better < 1431422196 447787 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 252 seconds < 1431422357 814128 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1431424716 202050 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1431424732 619154 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431424982 798899 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nvd: Did you know that translating from Haskell to C++ is a sin? < 1431424998 416125 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, yes < 1431425020 669992 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's like taking a picture of a good old oil painting < 1431425026 373861 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then apply some instagram filters to it < 1431425087 213188 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then make a screenshot of it < 1431425090 475434 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :put it into a word < 1431425093 515300 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :open explorer < 1431425099 182688 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :use the word-doc preview < 1431425102 67473 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :take a screenshot of it < 1431425109 363527 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and upload it on imgur for likes < 1431425119 579475 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh, I am fully in agreement < 1431425140 397327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: this is missing a wooden table < 1431425151 444800 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: no, you have to photograph the screen showing the word document with a mobile phone too, and maybe add a black and white printer to it < 1431425400 118983 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What programming languages can be transmitted with international morse code < 1431425448 158988 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Piet < 1431425465 241455 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that is not what I'd have said < 1431425475 794759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :C probably can be, given trigraphs/digraphs < 1431425493 468374 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's no {} or [] < 1431425502 266618 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but there are parantheses < 1431425526 482388 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :s/ant/ent/ < 1431425536 812175 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :{} and [] are trigraphable I think < 1431425540 397665 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, C can accept ??< and ??> for {} and ??( and ??) for [] < 1431425569 240906 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's no <> in ITU morsecode < 1431425625 437427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, so C would need symbol substitutions < 1431425633 241888 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could likewise do substituted INTERCAL < 1431425638 193258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or probably nonsubstituted COBOL < 1431425644 327793 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :substitution is cheating < 1431425645 136170 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1431425677 309830 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :BASIC dialects probably work < 1431425682 279212 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :LISP dialects too < 1431425683 875064 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :qbasic < 1431425708 320362 :solid_whiskey!~teakey@23.27.206.118 QUIT :Remote host closed the connection < 1431425708 540121 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Translating Haskell programs to C++ is like replacing a crystal chandelier with a kerosene heater, it does the job ten times faster except it will sometimes explode. < 1431425732 934085 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :letters have no case < 1431425738 834861 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Jafet, the explosions give me something fun to do < 1431425742 741095 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, FORTRAN, maybe? < 1431425742 887621 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :if haskell is correct, then the translated C++ program should also be correct, no? < 1431425743 896215 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a kerosene heater seems like it has a rather different job from a crystal chandelier < 1431425745 220059 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so case-insensitive languages are probably more suited for transmission through morse code < 1431425747 911296 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you wouldn't hang it from a ceiling < 1431425759 425508 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :scoofy, not if the translation is manual and imperfect < 1431425760 651096 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :scoofy: only if the translation is correct < 1431425792 225521 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :ais523: yes < 1431425807 842248 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :so if you have a good translator, it won't blow up < 1431425852 997604 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :scoofy, unfortunately, the translator is me < 1431425861 824739 :solid_whiskey!~teakey@118.187.21.55 JOIN :#esoteric < 1431425878 739880 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, if it's being translated by a translator of doom < 1431425883 149958 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :explosions seemed likely < 1431425890 101502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I wanted to allcaps it but that would throw off the keming) < 1431425898 502547 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::P < 1431425898 902592 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :then it will blow up < 1431425912 172486 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :scoofy, I'm dealing with the blowing up now < 1431425942 507274 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :why not C ? < 1431425978 15410 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :scoofy, I wanted to use certain features of the C++ standard library < 1431425983 570251 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Such as bitsets and vectors < 1431425987 60979 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which would be harder in C < 1431426590 835074 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1431426879 674673 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :C's most prominent feature is the lack of features. < 1431426900 142374 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :that's an important feature. < 1431426947 102652 :solid_whiskey!~teakey@118.187.21.55 QUIT :Quit: Leaving < 1431427036 62727 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It certainly can be. < 1431427146 227978 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431427791 271797 :AnotherTest!~turingcom@d51A4C65E.access.telenet.be JOIN :#esoteric < 1431429665 368409 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :C is lacking in features compared to languages implemented in C < 1431429760 311434 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1431429802 55537 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :C is taoist. it has all the features by not having them. < 1431429814 254427 :boily!~alexandre@96.127.201.149 QUIT :Quit: RESOLUTIVE CHICKEN < 1431429855 940149 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :C is just a syntactic extension of B < 1431430021 127724 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :speaking of B < 1431430046 296466 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I should find a language reference for B < 1431430057 608003 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :seeing as links to bell-labs all result in "Object Not Found" < 1431430108 331840 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431430110 939248 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : mroman: the book I learned compilers from has examples in BCPL < 1431430114 871642 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1431430116 618167 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1431430134 852287 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the main interesting features of BCPL is that everything is a pointer-sized int, types don't exist < 1431430142 96448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this probably explains implicit int in C < 1431430334 210260 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's astonishing how fnord many programming languages are out there < 1431430373 260748 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(BCPL is the direct ancestor of B) < 1431430380 114697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :parent, I guess < 1431430384 280450 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Mesa, Euclid, Turing, Sp/K, CMS-2, JOVIAL .... < 1431430396 617974 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :SYMPL < 1431430404 262404 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: anyway, just look at all the BF derivatives we have < 1431430414 231654 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://99-bottles-of-beer.net/language-sympl-1167.html < 1431430415 286012 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then think how much real language designers must outnumber esolang designers < 1431430533 83914 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Don't forget the languages that evolve by themselves < 1431430539 514090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Snowflake? < 1431430539 962309 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1431430549 716154 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think pretty much every other language requires at least some human input < 1431430555 943147 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and even Snowflake has to observe the programs it's running < 1431430840 82792 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric : Most of the newest featurs of C came from compiler-specific extensions and such, I think that's what he meant < 1431430943 438273 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :like for example, the inline keyword < 1431430952 230685 :AnotherTest!~turingcom@d51A4C65E.access.telenet.be QUIT :Ping timeout: 252 seconds < 1431431040 657872 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :inline wasn't really compiler-speciifc < 1431431040 985688 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :and people using C++ compilers on C code led to introducing // as a standard comment type < 1431431043 411283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most of them supported it < 1431431057 590261 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/BS1nkUTx < 1431431062 473556 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :luckily I have a BF derivative generator < 1431431069 947023 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :true, in slightly different ways < 1431431092 546191 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which produces prefix-free strings of course < 1431431094 565382 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: oh no... < 1431431101 353235 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: that's a kitty-killer < 1431431131 384579 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh argh < 1431431188 84249 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in the morning, I was thinking on the bus about whether there's a cpu architecture where the instruction pointer normally goes backwards, that is, after executing an instruction, the next instruction is usually the one adjacent to it on a lower address. < 1431431202 492136 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now I realized this is also a kitty-killer because you can get a bf-derivative from it. < 1431431229 421416 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/jLZdvBSv < 1431431241 494081 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :now all I need to do is add a wiki bot to create wiki pages < 1431431260 699640 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though the esolang wiki doesn't seem to list a kcufniarb language < 1431431270 886231 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm... would the meaning of brakcets be reversed in that? < 1431431293 417851 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :ACTION wats mroman ーー蟲蟲 < 1431431301 124777 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and how about the meaning of less than and greater than? < 1431431402 918505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it's been done, probably multiple times < 1431431405 871570 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: change it so it also generates a page title you can use on the wiki when the name of the language isn't valid as a page title < 1431431408 9960 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just different names < 1431431428 510419 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: in particular, that one you pasted has a # sign, which is invalid in a page title < 1431431474 899409 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: make sure the title doesn't have any of # < > [ ] | { } < 1431431484 259513 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So C11 can be said to be the result of agglomerating the changes made in differnet dialects of C < 1431431496 400761 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait there's more < 1431431515 615805 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I could just use a-zA-Z obviously < 1431431517 246137 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1431431525 571113 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431431544 684174 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: make sure the title doesn't have any ascii control character nor any of # & : / < > [ ] | { } < 1431431558 950117 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, still no good < 1431431567 82433 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: make sure the title doesn't have any ascii control character nor any of # & : % ~ / < > [ ] | { } < 1431431571 530516 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and is at most 255 byte long < 1431431581 256716 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, < 1431431581 918045 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1431431584 444402 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh < 1431431592 232881 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, a-zA-Z is safe < 1431431601 813566 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :https://www.mediawiki.org/wiki/Manual:Page_title tells the details, it's complicated < 1431431602 348689 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/HVZEzvVI < 1431431604 935633 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- there you go < 1431431624 913824 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: um, you can still use those in instructions, just not the page title < 1431431667 620402 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah but this way it's morse friendlier < 1431431670 540215 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :let me just use a-z < 1431431671 919193 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1431431781 657601 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Btjzxgquartfrqifjlv14]]4 N10 02http://esolangs.org/w/index.php?oldid=42832 5* 03160.85.232.227 5* (+366) 10Created page with "'''btjzxgquartfrqifjlv''' is a brainfuck derivative. It has the same instructions but...
   Replace [ with btj   Replace ] with zxg   Replace + with qua   Replace - with ..."
< 1431431796 218050 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Oops.
< 1431431845 670705 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: needs a category
< 1431431854 880061 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan will fix that
< 1431431864 506193 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :he likes to do these kind of things.
< 1431431877 755483 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Btjzxgquartfrqifjlv14]]4 10 02http://esolangs.org/w/index.php?diff=42833&oldid=42832 5* 03B jonas 5* (+36) 10
< 1431431879 293873 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :actually
< 1431431881 15365 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I will
< 1431431920 415893 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Incidentally, there is a subset of brainfuck that is valid morse code
< 1431431940 998330 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :without []?
< 1431431945 13644 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and <>?
< 1431431961 487862 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: no, just . and -
< 1431431977 980512 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh
< 1431431992 342414 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :right
< 1431432008 676658 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: if it's a modulo 256 bf interpreter, you can even output anything with it
< 1431432015 779620 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah
< 1431432060 760433 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it seems the api is enabled on the esowiki, good: http://esolangs.org/w/api.php?action=query&prop=info&meta=siteinfo&format=xmlfm&siprop=general|namespaces|namespacealiases|interwikimap|specialpagealiases|magicwords
< 1431432067 95814 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :makes it easy to do automatic queries and edits
< 1431432079 207350 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like that one
< 1431432326 798863 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: modulo 256 where the sign is equal to that of the modulus
< 1431432332 940898 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which
< 1431432341 452679 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :unlike Java :D
< 1431432377 170993 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: yeah yeah, mathematician's remainder, not C/C++/cpu modulo
< 1431432402 555832 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(nor any of the two crazy variants scheme r5rs includes INSTEAD OF any of these two sane ones)
< 1431432423 438099 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(that always bugs me... how did they come up with that?)
< 1431432481 372709 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric
< 1431432763 802150 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why?
< 1431432767 793205 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what variants does r5rs have?
< 1431432830 860063 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: one that gives the remainder with the lowest absolute value, and one that behaves different from one of the two sane variants for negative divisors
< 1431432844 688381 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't quite recall the exact details
< 1431433137 121237 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 256 seconds
< 1431433447 416661 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Beside zsh, this is the only golfed program. Burlesque is quite awesome, it has a very large range of different functions, like ro. Sadly there's nothing like the Python [::a] slicing operator. "
< 1431433451 910641 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what
< 1431433459 269259 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'd be damned if Burlesque wouldn't have that
< 1431433467 981377 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm pretty certain there's an EveryNth built-in
< 1431433599 815925 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric
< 1431433739 499231 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds
< 1431433809 494378 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`quote Burlesque
< 1431433810 45957 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1221)  piece of cake doing this stuff in Burlesque :P [19 lines later]  I hate Burlesque :(
< 1431433881 584284 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric
< 1431434264 924376 :bunbunbot!~bunny@160.85.232.227 JOIN :#esoteric
< 1431434270 770642 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^\blsq 7mo10.+
< 1431434270 917302 :bunbunbot!~bunny@160.85.232.227 PRIVMSG #esoteric : {7 14 21 28 35 42 49 56 63 70}
< 1431434275 35263 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^\blsq 7mo10.+?iBS
< 1431434275 182154 :bunbunbot!~bunny@160.85.232.227 PRIVMSG #esoteric : 8 15 22 29 36 43 50 57 64 71
< 1431434281 631055 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1431434309 306980 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services
< 1431434316 440740 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523
< 1431434534 32198 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :There should be a version of morse code for vikings.
< 1431434542 878679 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :A norse morse code.
< 1431434720 890077 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You mean norse code?
< 1431435475 156046 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric
< 1431435662 367542 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@def type a $ b = a b
< 1431435663 774227 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined.
< 1431435683 853689 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> Nothing :: Maybe $ Int -> Int
< 1431435685 545897 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     Couldn't match expected type ‘Maybe $ Int -> Int’
< 1431435685 692524 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :                 with actual type ‘Maybe a0’
< 1431435685 692604 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     In the expression: Nothing :: Maybe $ Int -> Int
< 1431435732 339371 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> const Nothing :: Int -> Maybe $ Int
< 1431435734 27571 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :  Maybe Int>
< 1431435794 506329 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Looks like (->) has a lower precedence than ($)?
< 1431436490 290670 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :haskell has precedence?
< 1431436571 247563 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@info (+)
< 1431436571 431070 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(+)
< 1431436589 242324 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Hm.
< 1431436702 882557 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :orin: In case that was an honest question, yes, it does. One assigns it with fixity declarations.
< 1431436723 96525 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :@ 2 + 3 * 5
< 1431436738 172595 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 2 + 3 * 5
< 1431436739 772236 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 17
< 1431436781 634742 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :if internet memes are accurate, most people would actually expect 25
< 1431437389 574333 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 1 | 3
< 1431437391 269012 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:3: parse error on input ‘|’
< 1431437397 853543 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 1 ^ 3
< 1431437399 735321 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1
< 1431437406 751748 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 3 ^ 5
< 1431437408 727977 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 243
< 1431437418 829954 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :????
< 1431437440 498388 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 0x10
< 1431437442 139277 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 16
< 1431437442 648667 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1431437447 361501 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :orin: probably because for humans it's actually more convenient to do arithmetic "in-order"
< 1431437449 81279 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot: ????
< 1431437450 717779 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: i will vote or i will come to the conclusion that parliament and the commission is entitled to safe products and sound information. clear danger maps, which identify the special risks to residents, constitute a negative factor on economic growth in europe, therefore to have more time to apply the parliamentary method, which dates back to the beginning of a gradual abolition of overtime, on the eve of the introduction of 
< 1431437463 104857 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :rather than perform a look-ahead for operators with higher precedence
< 1431437469 887097 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 0xf7 & 0x7f 
< 1431437471 390661 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     Could not deduce (Num a0)
< 1431437471 537193 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     from the context (Num a, Num (a -> b))
< 1431437471 537289 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       bound by the inferred type for ‘e_10707’:
< 1431437476 420119 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :ARGH
< 1431437503 683547 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 5 ^ 2 
< 1431437505 381021 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 25
< 1431437508 46161 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :OH
< 1431437534 595205 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 25 ^ 0.5
< 1431437536 432023 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     Could not deduce (Integral b0) arising from a use of ‘^’
< 1431437536 578742 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     from the context (Num a)
< 1431437536 578841 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       bound by the inferred type of it :: Num a => a at Top level
< 1431437541 998596 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :QWHAT
< 1431437576 207364 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 0x7f & (.&.) 0xf7 & (`showHex` "")
< 1431437578 138630 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "77"
< 1431437624 241943 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :25.0 ^ 0.5
< 1431437634 810573 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 25.0 ^ 0.5
< 1431437636 188116 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     Could not deduce (Integral b0) arising from a use of ‘^’
< 1431437636 334723 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     from the context (Fractional a)
< 1431437636 334786 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       bound by the inferred type of it :: Fractional a => a at Top level
< 1431437653 315541 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :But. But it worked for 2
< 1431437710 259295 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :mroman: one language natural they use how wonders then
< 1431437733 896880 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Read error: No route to host
< 1431437740 843633 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1431437754 254406 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 276 seconds
< 1431437807 791727 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Ok srsly
< 1431437809 108301 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net QUIT :Quit: Leaving...
< 1431437816 55260 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 5 ^ 2
< 1431437817 830389 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 25
< 1431437828 950243 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 5 * 3.0
< 1431437830 652555 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 15.0
< 1431437835 829098 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 5 ^ 2.0
< 1431437837 122113 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     Could not deduce (Integral b0) arising from a use of ‘^’
< 1431437837 268638 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     from the context (Num a)
< 1431437837 268726 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       bound by the inferred type of it :: Num a => a at Top level
< 1431437844 656090 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> 25 ** (1/2)
< 1431437846 499835 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 5.0
< 1431437865 240959 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :There are two different exponent operators?
< 1431437872 309886 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds
< 1431437875 752438 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Whyyyyy
< 1431437893 533737 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :thye could have iuse ^ for xor then
< 1431437908 733404 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: three
< 1431437910 395507 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric
< 1431437917 79847 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :b_jonas: wut
< 1431437917 430202 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: (^) and (**) and (^^)
< 1431437926 555609 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :dude what
< 1431437930 500199 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@type (^)
< 1431437931 679146 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Integral b, Num a) => a -> b -> a
< 1431437932 827166 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@type (^^)
< 1431437933 795020 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Fractional a, Integral b) => a -> b -> a
< 1431437934 949987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@type (**)
< 1431437936 215456 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Floating a => a -> a -> a
< 1431437948 631936 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :xor is just zipWith (/=), what's the problem?
< 1431438026 201395 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :^ why do they need three
< 1431438030 84882 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zipWith works on ints?
< 1431438045 557105 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :the last one covers all reals anyay
< 1431438046 462772 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: different types
< 1431438054 100584 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: no way
< 1431438057 341165 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> xor []
< 1431438058 632733 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     No instance for (Typeable t0)
< 1431438058 779286 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       arising from a use of ‘show_M374984897116395339918141’
< 1431438058 779444 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     In the expression:
< 1431438068 597464 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> xor ([]::[Bool])
< 1431438070 24408 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     No instance for (Bits [Bool]) arising from a use of ‘xor’
< 1431438070 171175 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     In the expression: xor ([] :: [Bool])
< 1431438084 530608 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> xor True True
< 1431438086 145485 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False
< 1431438092 873052 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: no it's not
< 1431438121 639566 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :xor 3 1
< 1431438126 989290 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> xor 3 1
< 1431438128 718547 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2
< 1431438138 438467 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hey that works
< 1431438138 585251 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@instances Bits
< 1431438141 337976 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Bool, Int, Int16, Int32, Int64, Int8, Integer, Word, Word16, Word32, Word64, Word8
< 1431438164 73497 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Huh, where does that instance come from
< 1431438205 779276 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v
< 1431438250 162620 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> xor 2.0 -1
< 1431438251 911089 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     No instance for (Typeable a0)
< 1431438252 58427 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       arising from a use of ‘show_M465181737757271416918296’
< 1431438252 58491 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     In the expression:
< 1431438266 241702 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net JOIN :#esoteric
< 1431438345 388425 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 272 seconds
< 1431438346 237861 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> xor 3.4 0x8000000000000000
< 1431438347 952684 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     No instance for (Show a0)
< 1431438348 99430 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :       arising from a use of ‘show_M788904274569950582318343’
< 1431438348 99519 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     The type variable ‘a0’ is ambiguous
< 1431438371 421360 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :whaaat so I can't flip the sign bit? boooo
< 1431438392 276454 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric :orin: thats definitely not what it says
< 1431438402 440881 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric ::t xor
< 1431438403 507176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Bits a => a -> a -> a
< 1431438411 559733 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> negate 3.4
< 1431438413 277692 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -3.4
< 1431438433 601507 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> shl 3.4 24
< 1431438434 816019 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘shl’
< 1431438441 769624 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric ::t xor 2 3 :: Int
< 1431438442 868205 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Int
< 1431438447 958008 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric :> xor 2 3
< 1431438449 597703 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1
< 1431438474 139827 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 246 seconds
< 1431438485 113499 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type shr
< 1431438486 339264 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    Not in scope: ‘shr’
< 1431438486 486156 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    Perhaps you meant one of these:
< 1431438486 486243 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :      data constructor ‘Chr’ (imported from Text.PrettyPrint.HughesPJ),
< 1431438490 714690 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type shiftRight
< 1431438491 976819 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: ‘shiftRight’
< 1431438494 216292 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric ::t 3.4 80 :: CFloat
< 1431438495 412539 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    Not in scope: type constructor or class ‘CFloat’
< 1431438495 559246 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    Perhaps you meant ‘Float’ (imported from Prelude)
< 1431438495 706018 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type rightShift
< 1431438497 14735 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: ‘rightShift’
< 1431438498 888329 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu
< 1431438499 134569 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric ::t 3.4 80 :: Float
< 1431438500 353129 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    No instance for (Fractional (a0 -> Float))
< 1431438500 499844 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :      (maybe you haven't applied enough arguments to a function?)
< 1431438500 499921 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :      arising from the literal ‘3.4’
< 1431438505 747105 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric :whoops
< 1431438508 635389 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric ::t xor 3.4 80 :: Float
< 1431438509 647021 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    No instance for (Bits Float) arising from a use of ‘xor’
< 1431438509 793725 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :    In the expression: (xor 3.4 80 :: Float)
< 1431438513 214451 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type shiftL
< 1431438514 362329 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Bits a => a -> Int -> a
< 1431438515 816543 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah
< 1431438566 165857 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> shiftL 255 4
< 1431438568 106828 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4080
< 1431438575 496530 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> shiftR 255 4
< 1431438577 118150 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 15
< 1431438583 214399 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :yup
< 1431438616 103467 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric ::t rotL
< 1431438617 347194 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: ‘rotL’
< 1431438620 222222 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric ::t rotateL
< 1431438621 469260 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Bits a => a -> Int -> a
< 1431438626 269865 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :cool
< 1431438657 38504 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> rotateR 1 1 
< 1431438658 403959 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0
< 1431438658 573094 :idris-bot!~ircslave@dslb-092-072-191-081.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds
< 1431438675 253079 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :aha. infinite-bit
< 1431438707 471552 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric
< 1431438731 36672 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> rotateR (Int16 1) 1 
< 1431438732 398775 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Int16’
< 1431438752 889164 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> rotateR (Word16 1) 1 
< 1431438754 358343 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Word16’
< 1431438765 131307 :augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net PRIVMSG #esoteric ::t 1 :: Int16
< 1431438766 196362 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Int16
< 1431438783 2232 :bunbunbot!~bunny@160.85.232.227 QUIT :Remote host closed the connection
< 1431438788 429749 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> rotateR (1 :: Int16) 1 
< 1431438789 816378 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -32768
< 1431438794 937935 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :aesome
< 1431438829 260681 :Melvar!~melvar@dslb-092-072-191-081.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds
< 1431438840 382940 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so I can get all the types from C in Haskell, it just has its own default types. 
< 1431438893 88791 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> rotateR (0.5 :: Double) 1 
< 1431438894 613648 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     No instance for (Bits Double) arising from a use of ‘rotateR’
< 1431438894 760259 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     In the expression: rotateR (0.5 :: Double) 1
< 1431438904 30241 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :boooo
< 1431438984 424033 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 256 seconds
< 1431438997 390922 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :well that wouldn't work in C either
< 1431439038 590238 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :actually C doesn't even have a rotate operator, unless one was added in C11
< 1431439163 994891 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Major flaw for implementing certain cryptographies
< 1431439266 225524 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :#define rot64(x,n) ((x>>n)|(x<<(64-n)))
< 1431439269 407472 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, compilers recognize things like uint32_t x; x = (x << 29) | (x >> 3);
< 1431439289 556069 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :One should hope so!
< 1431439294 757587 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric
< 1431439358 537045 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Probably it's a throw back to the PDP-11. Maybe it didn't have a rotate instruction
< 1431439376 727370 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric
< 1431439493 646052 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :It had an arithmentic shift,but could only rotate by one bit at a time
< 1431439713 298351 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :woah. it had a separate add carry operation instead of an add-with-carry? that seems very inconvenient.
< 1431439770 903131 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :wow
< 1431440044 907657 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated
< 1431440062 495125 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric
< 1431440090 622391 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's technically more flexible, though I can't think of an application
< 1431440127 43998 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I guess you can implement addc using adc if you have a zero register
< 1431440458 118072 :atriq!9020b28b@gateway/web/freenode/ip.144.32.178.139 JOIN :#esoteric
< 1431441052 28710 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I need some volunteers
< 1431441070 827671 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You need to compare the pain of having a matchstick buring on your skin against being stung be a regular bee
< 1431441074 929462 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*burning
< 1431441077 601340 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*by
< 1431441096 217937 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also the matchstick burning is more likely to leave a scar so do it somewhere where it won't really matter
< 1431441112 981192 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what if you're allergic to bee stings? how are you comparing the bees for regularity?
< 1431441119 208517 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well
< 1431441120 889181 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :honey bees
< 1431441122 972591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and have you had this study ethically reviewed? I can imagine running into some problems
< 1431441137 75110 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I give a shit about ethics I guess
< 1431441138 900690 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::)
< 1431441143 377455 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(also, do you know how hard it is to find a honeybee nowadays?)
< 1431441157 753891 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can also use a wasp
< 1431441162 892171 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving.
< 1431441174 945404 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they both have a pain index of 2
< 1431441194 34242 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :unless you take the wrong kind of wasps
< 1431441196 81693 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: it's not. the point of add-with-carry is that it can use the old carry flag and update it as well
< 1431441201 375477 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there are wasps with an index of 3
< 1431441242 129723 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: so you can use it for implementing a very cheap arbitrary precision addition. I wonder how the PDP people would do that.
< 1431441347 397996 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: As long as participants volunteer I see no reason to consult an ethics commission.
< 1431441367 172247 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ok... the bee might not volunteer
< 1431441373 799794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :especially because it dies in the process
< 1431441378 380690 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is why you can use wasps. Wasps keep on living after stinging you
< 1431441413 544173 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when starting my research at the CS department
< 1431441419 283146 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I had to fill out an ethics questionnaire
< 1431441443 639345 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :were you involved in killing machines?
< 1431441446 871677 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there was a fast-track questionnaire to identify which projects were obviously safe and didn't need further scrutiny
< 1431441448 138527 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :such as killer roboters?
< 1431441474 377226 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it had three questions; I forget one, but the other two were along the lines of "are you going to do any experiments on human subjects?" and "is your research likely to lead to the collapse of society?"
< 1431441475 561456 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm
< 1431441483 817054 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :4 is considered to be "traumatically painful"
< 1431441523 154500 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1431441537 724148 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :3 is "seriously painful"
< 1431441579 243761 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That is, not humourously painful?
< 1431441610 512054 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I log website traffic does that count as experiments on human subjects?
< 1431441672 991629 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I wouldn't say that a stapler is less painful than a bee sting
< 1431441679 78958 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I have stapled a finger once
< 1431441683 677075 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it was pretty painful
< 1431441727 818693 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's not an experiment, because you don't have control logs of people who don't visit the website
< 1431441729 656207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: almost any interaction with humans counts as experimenting on them, but you can normally get those trials approved too
< 1431441739 57036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it just takes more than a three-question questionnaire
< 1431441744 447504 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Okay, looking at a PDP11 handbook, ADC and SBC seem to be designed to enable 32 bit operations on a 16 bit machine, which barely works (3 instructions each, but resulting carries are wrong).
< 1431441753 828776 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If my research wouldn't lead to the collapse of society I wouldn't be interested in researching it.
< 1431441773 660718 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if your proposed study is "I want to ask humans to pick out faces in images and compare it to the performance of a computer", and the images are relatively innocuous, that'd probably get approved pretty quickly
< 1431441794 944604 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Society may not like to give you funding for that sort of research, though
< 1431441807 45450 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: Surely the department of defense will.
< 1431441830 888515 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Only the american one, which should tell you something about that society
< 1431441860 121788 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(each ==> addition and subtraction)
< 1431441863 538910 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My research is going to destroy facebook. That might lead to a collapse of society.
< 1431441873 11646 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Good point
< 1431441892 898517 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"collapse of society" is very much under-defined.
< 1431441900 660957 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Altohugh if it does, I would say society needed to be burnt to the ground
< 1431441916 849021 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: Do they give you a "survival rate"?
< 1431441918 159852 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e.
< 1431441936 197333 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the questions were very generic
< 1431441937 312558 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If n-% of the human population would survive does it count as a collapse?
< 1431441950 156730 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess if there's the slightest chance we might bring about something that potentially qualifies as an apocalypse
< 1431441960 232312 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we're meant to send the research proposal in for further scrutiny
< 1431442015 806580 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well... research requires sacrifices.
< 1431442047 15320 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Most notably in medicine.
< 1431442068 193451 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hmm... I would say no-one actually needs to (immediately) die or suffer for a study to be problematic.
< 1431442087 240623 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Sure. Long term suffering is also an issue.
< 1431442125 474533 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Consider if I proved that people of a particular ethnic group are significantly more intelligent, and isolated the genetic factors causing it.  
< 1431442137 39851 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'm pretty certain nobody did long term studies about cell phone "radiation" before bringing them to the market
< 1431442141 976192 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :these studies are only done now.
< 1431442168 190226 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :That would not cause any suffering or death , but it could lead to massive societal issues
< 1431442187 269688 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :orin: we already know what happens, given the publication of a book that contained one graph that appeared to indicate that
< 1431442218 126755 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that by itself was sufficient to cause problems
< 1431442228 306099 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :We haven't even discussed what to do with unborn babies.
< 1431442238 570171 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :There's a lot to discuss about genetics/genetic modification etc.
< 1431442266 325663 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :In the absence of conclusive results, I would recommend not providing unborn babies with cellphones
< 1431442291 841113 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That was aimed at testing babies for things like a third chromosome
< 1431442308 833247 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or other conditions such as having only one of a certain kind of chromosome
< 1431442329 263245 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*fetus
< 1431442334 621721 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :let's not call them babies just yet.
< 1431442372 387451 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, they're like pseudocode programs. Or esowiki language specifications.
< 1431442411 73919 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but... I'm pretty certain if we decide to allow certain research in genetics it will still take 100 years before we are actually capable of doing really crazy stuff with it
< 1431442427 261856 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't think anybody will be able to produce humans with wings that can fly within the next 15 years
< 1431442434 319481 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :My point is virtually any 'hard' results in anything near to eugenics would cause immediate political shitstorms
< 1431442449 917534 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :orin: Agreed
< 1431442451 17284 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: there's certainly a lot of opposition to germline changes
< 1431442460 726231 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(i.e. any genetic changes that can be inherited)
< 1431442465 19567 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's merely because it's physically impossible for human-sized mammals to fly
< 1431442473 407678 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well
< 1431442477 603343 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can make them sub-human size !
< 1431442491 628476 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(which is also a generically inheritable condition)
< 1431442494 422140 :atriq!9020b28b@gateway/web/freenode/ip.144.32.178.139 PART :#esoteric
< 1431442495 996338 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(sometimes)
< 1431442507 228662 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn
< 1431442509 531648 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*genetically
< 1431442515 254588 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: even that's too large
< 1431442525 326958 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :You would need giant muscles as well,but it is doable
< 1431442535 919930 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hobbits are still too heavy to fly with wings non-magically
< 1431442536 860201 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well
< 1431442542 573265 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :pterodactlys were bigger than huamns
< 1431442543 498565 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Maybe we have cyborgs!
< 1431442572 826259 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :we already have exo-skeletons
< 1431442579 953402 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure, and airplanes too
< 1431442582 472330 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It may be more efficient to work in the other direction and make sapient flying squirrels.
< 1431442583 497461 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah
< 1431442586 945775 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but airplanes aren't cool
< 1431442594 187219 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: there are cool airplanes
< 1431442611 344984 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :insect sized airplanes are cool
< 1431442614 17530 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Like the SU-47 Berkut
< 1431442630 453239 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Murder by microdrone
< 1431442658 272970 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Obama should use microdrones that can inject deadly poison
< 1431442669 703716 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :instead of regular old-school drones that just bomb the whole freaking place
< 1431442725 454643 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :thinking of that
< 1431442742 240214 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they could just use gas that temporarily paralyzes people
< 1431442748 426901 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then go in, shoot the real guy
< 1431442796 844438 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(Assuming such a gas exists. Which it probably does)
< 1431442813 796802 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? learn
< 1431442814 369552 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :learn? ¯\(°​_o)/¯
< 1431442818 524784 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? mroman
< 1431442819 481688 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mroman is a leading artist in password security (SFW). He also likes black madness. He can design password hashes that are worse than the identity function. He invented the identity function.
< 1431442830 51352 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: well, there was the Russian theatre siege a few years ago
< 1431442838 702055 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`learn_append mroman He's also an artist in unconventional warfare.
< 1431442840 530311 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'mroman': mroman is a leading artist in password security (SFW). He also likes black madness. He can design password hashes that are worse than the identity function. He invented the identity function. He's also an artist in unconventional warfare.
< 1431442864 909777 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's basically what the Russian military did, but many of the hostages died because they didn't admit to /which/ gas they used until some of them had already died fro mside effects
< 1431442878 751865 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Airplanes work differently at insect size, due to viscosity effects at that scale
< 1431442968 548043 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :`? oren
< 1431442969 223778 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house.
< 1431442974 112289 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :`? orin
< 1431442974 687583 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :orin? ¯\(°​_o)/¯
< 1431443048 425222 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :`learn orin Orin is known as oren. Orin was called Warren by half his teachers.
< 1431443050 120602 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'orin': orin Orin is known as oren. Orin was called Warren by half his teachers.
< 1431443098 940638 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`learn orin is oren's evil twin, stalking him from the other side of the international date line.
< 1431443100 503533 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'orin': orin is oren's evil twin, stalking him from the other side of the international date line.
< 1431443131 690199 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :lol
< 1431443163 435733 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're always on the same side of the date line
< 1431443166 207668 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just possibly 24 hours out
< 1431443183 266092 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :eaxtly
< 1431443310 635384 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :It would be so much  easier if /É™/ had only one spelling 
< 1431443342 694800 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :or maybe a sylabic n? 
< 1431443383 398625 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :it's the same ending as steven or karen
< 1431443434 638402 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :screw it I'm a touhou character
< 1431443452 921921 :orin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca NICK :ORen
< 1431443466 82047 :ORen!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca NICK :ORin
< 1431443951 470971 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lowi
< 1431443951 816709 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LOWI 121450Z VRB03KT CAVOK 30/03 Q1018 NOSIG
< 1431443980 548591 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :close to melting... but quite dry, at least.
< 1431444000 76429 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lovi
< 1431444000 354938 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No result.
< 1431444011 619759 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lowv
< 1431444012 29089 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No result.
< 1431444025 11182 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar loww
< 1431444025 314482 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LOWW 121450Z 14013KT CAVOK 23/08 Q1020 NOSIG
< 1431444065 442156 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar eddb
< 1431444065 935392 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :EDDB 121450Z 20013KT CAVOK 27/09 Q1010 TEMPO 20015G25KT
< 1431444130 264494 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :@metar CYYZ
< 1431444130 489394 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYYZ 121500Z 27023G31KT 15SM BKN048 14/05 A2985 RMK SC7 SLP110 DENSITY ALT 600FT
< 1431444156 624945 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Blah, a little cold
< 1431444187 75337 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :and windy
< 1431444225 725889 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :not cold.
< 1431444269 351518 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric
< 1431444270 81168 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :isn't 14 C cold?
< 1431444317 937491 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no
< 1431444369 918394 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :slightly chilly, maybe.
< 1431444404 933718 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(meaning it's uncomfortable in a T-shirt)
< 1431444887 9715 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Btjzxgquartfrqifjlv14]]4 10 02http://esolangs.org/w/index.php?diff=42834&oldid=42833 5* 03Esowiki201529A 5* (+3) 10
< 1431445258 337904 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Wepmlrio14]]4 N10 02http://esolangs.org/w/index.php?oldid=42835 5* 03Esowiki201529A 5* (+397) 10Created page with "{{lowercase}} '''wepmlrio''' is a brainfuck derivative. It has the same instructions but... 
   Replace [ with w   Replace ] with e   Replace + with p   Replace - with m  ..."
< 1431445304 388217 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :welmprio already sucks from reading that part
< 1431445321 594226 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :while end plus minus left right input output
< 1431445372 479118 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah
< 1431445376 57592 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :boring
< 1431445511 468645 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42836&oldid=42813 5* 03Esowiki201529A 5* (+91) 10
< 1431446413 238341 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1431446493 675916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eep, web is down
< 1431446549 219981 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You're just too far up.
< 1431446614 627780 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but somehow irc is working
< 1431446621 512112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and putty)
< 1431446656 398738 :aloril_!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi QUIT :Ping timeout: 255 seconds
< 1431446785 668372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :restarting router changed nothing
< 1431446945 982647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm some norwegian sites load
< 1431446993 239240 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Did norway recently make a Great Firewall of Norway
< 1431447015 284784 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :To prevent scurrilous foreign influence?
< 1431447030 595962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :PROBABLY
< 1431447069 748515 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Oh oerjan!
< 1431447094 244962 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: Is it true that (->) has a lower precedence than ($)?
< 1431447098 120153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :helvar
< 1431447143 108705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: you know, would you mind asking that at a time i've actually got web access to check it?
< 1431447154 386776 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> Nothing :: Maybe $ Int -> Int
< 1431447155 647925 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     Couldn't match expected type ‘Maybe $ Int -> Int’
< 1431447155 794709 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :                 with actual type ‘Maybe a0’
< 1431447155 794788 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :     In the expression: Nothing :: Maybe $ Int -> Int
< 1431447161 737897 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> const Nothing :: Int -> Maybe $ Int
< 1431447163 345050 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :  Maybe Int>
< 1431447185 216993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: normally $ isn't a type, this must be something lambdabot has defined
< 1431447195 769457 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I did. type a $ b = a b
< 1431447217 839572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it has no fixity defined, it will be infixl 9, very high
< 1431447232 561819 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Are there type fixities separate from value fixities?
< 1431447250 943836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: why don't you install ghc twh
< 1431447275 929820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: fixities go with a scope.  if the type is defined in a different scope from the value, it may.
< 1431447311 325674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i _have_ ghc.  but i don't have the version that fixed my documentation request to give the fixity of -> hth
< 1431447472 217134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: or to be precise, fixity goes with a binding.  for technical reasons if you define a type and a value with the same name at the top level of a module, a fixity declaration will encompass both.
< 1431447503 528968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but if they're in different modules there should be no reason why they need to have the same fixity.
< 1431447532 538909 :bb010g!uid21050@gateway/web/irccloud.com/x-zdemmxumxkkgcpdb JOIN :#esoteric
< 1431447547 917154 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: I see, thank you.
< 1431447611 296982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"technical reasons"
< 1431447620 241601 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 256 seconds
< 1431447642 143854 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@def infixr 0 $
< 1431447643 295681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined.
< 1431447658 15938 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> Nothing :: Maybe $ Int -> Int
< 1431447659 610099 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Nothing
< 1431447678 538683 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Huh. Indeed.
< 1431447761 434056 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> Nothing :: Maybe $ Maybe $ Int
< 1431447763 218734 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Nothing
< 1431447812 537842 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t Just (+) :: Maybe $ (->) Int $ Int -> Int
< 1431447813 755454 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe $ ((->) Int $ (Int -> Int))
< 1431447881 129456 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@def type a + b = Either a b; type a * b = (a, b); infixl 6 +; infixl 7 *
< 1431447881 276369 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: Parse error: *
< 1431447919 249603 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@def type a + b = Either a b; type a × b = (a, b); infixl 6 +; infixl 7 ×
< 1431447920 671285 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined.
< 1431447927 298921 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1431447951 488793 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> Right (1, 2) :: Int + Int × Int
< 1431447953 154370 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Right (1,2)
< 1431447961 847179 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> Left (1, 2) :: Int × Int + Int
< 1431447963 532673 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Left (1,2)
< 1431448181 287415 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric ::t undefined :: Int × Int + Int
< 1431448182 595159 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Int × Int) + Int
< 1431448494 211090 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds
< 1431449023 723960 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later
< 1431449046 863353 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Read error: Connection reset by peer
< 1431449251 618233 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1431449518 327078 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 255 seconds
< 1431449636 616858 :aloril!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi JOIN :#esoteric
< 1431449653 840084 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Btjzxgquartfrqifjlv14]]4 10 02http://esolangs.org/w/index.php?diff=42837&oldid=42834 5* 03168.99.197.17 5* (+94) 10added morse code versions (and removed random s at end)
< 1431450086 600156 :TieSoul_!~quassel@86.89.119.147 JOIN :#esoteric
< 1431450101 381236 :TieSoul!~quassel@86.89.119.147 QUIT :*.net *.split
< 1431450101 668394 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :*.net *.split
< 1431450101 874535 :rodgort!~rodgort@105.ip-167-114-152.net QUIT :*.net *.split
< 1431450102 21036 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :*.net *.split
< 1431450102 267401 :trn!jhj@trnsz.com QUIT :*.net *.split
< 1431450102 480571 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :*.net *.split
< 1431450102 480648 :olsner!~salparot@c83-252-198-142.bredband.comhem.se QUIT :*.net *.split
< 1431450102 921011 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric
< 1431450115 855800 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric
< 1431450157 911715 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric
< 1431450178 780621 :trn!~trn@trnsz.com JOIN :#esoteric
< 1431450323 90289 :rodgort!~rodgort@105.ip-167-114-152.net JOIN :#esoteric
< 1431450501 184728 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric
< 1431451182 102790 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :need to open file in ed just to use the N,Ms/name/newname/g command
< 1431451208 460060 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :rename a varable without reanming same variable in another function
< 1431453092 796400 :olsner!~salparot@c83-252-198-142.bredband.comhem.se JOIN :#esoteric
< 1431453686 366290 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Scrip714]]4 10 02http://esolangs.org/w/index.php?diff=42838&oldid=41512 5* 03Orenwatson 5* (+261) 10
< 1431453718 198702 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :there we go, updated
< 1431453899 867663 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds
< 1431453968 455901 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I used alpha and beta as metasyntactic variables, because all the latin letters are taken
< 1431454342 281402 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Scrip714]]4 10 02http://esolangs.org/w/index.php?diff=42839&oldid=42838 5* 0374.15.57.253 5* (+10) 10html problems
< 1431454618 14028 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :@metar CYYZ
< 1431454618 372498 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYYZ 121808Z 26020G25KT 15SM -SHRA FEW041 OVC052 13/06 A2987 RMK CU2SC6 SLP116
< 1431454673 731484 :password2!~password@197.77.5.86 JOIN :#esoteric
< 1431456543 622503 :zadock!~zadock@cthulhu.tuiasi.ro QUIT :Quit: Leaving
< 1431458585 429722 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :munich have no chance npw
< 1431458765 412796 :Somelauw!~Somelauw@unaffiliated/somelauw JOIN :#esoteric
< 1431459105 900197 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1431459111 734779 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Read error: Connection reset by peer
< 1431459166 525879 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net JOIN :#esoteric
< 1431459179 566311 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net QUIT :Changing host
< 1431459179 713099 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric
< 1431459243 202795 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :just because the Illuminati is the Illuminati doesn't mean they can't raise the roof c:
< 1431460337 386009 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I should make a playlist of all these memetic songs
< 1431460574 864579 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds
< 1431461396 852422 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl JOIN :#esoteric
< 1431461815 402251 :password2!~password@197.77.5.86 QUIT :Remote host closed the connection
< 1431462092 182522 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1431462576 351914 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ORin, what's your stance on the matrix of solidity?
< 1431462816 707051 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :never heard of it
< 1431462823 431466 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :Do people still program esoteric nowadays?
< 1431462898 967699 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :yeah
< 1431463115 201418 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :I managed to program rot13 in brainfuck, but it's 622 chars long.
< 1431463922 108111 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1431464081 795511 :zadock!~zadock@81.180.210.87 JOIN :#esoteric
< 1431464138 147893 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl QUIT :Quit: My Mac has gone to sleep. ZZZzzz…
< 1431464903 170561 :Somelauw!~Somelauw@unaffiliated/somelauw QUIT :Quit: WeeChat 0.4.2
< 1431465462 508886 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: [
< 1431465587 685782 :bb010g!uid21050@gateway/web/irccloud.com/x-zdemmxumxkkgcpdb QUIT :Quit: Connection closed for inactivity
< 1431465825 178478 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds
< 1431466413 794702 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl JOIN :#esoteric
< 1431466554 787801 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds
< 1431466581 975111 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving
< 1431466837 418257 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric
< 1431467824 57243 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl QUIT :Quit: Textual IRC Client: www.textualapp.com
< 1431468216 685005 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1431468385 855363 :notfowl-!Elite14005@gateway/shell/elitebnc/x-gvmaljspqakicnai JOIN :#esoteric
< 1431468529 657105 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm copying files to a directory accessible by another user with rsync -tvz -e "sudo -u" again
< 1431468620 145913 :notfowl!Elite14005@gateway/shell/elitebnc/x-yqmcqkfxgallotgd QUIT :Excess Flood
< 1431470654 777980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i "5invd" bin/slist
< 1431470656 301839 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1431470763 866760 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :why did skype send me this email?
< 1431470767 378174 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Aktiveeri krediit uuesti
< 1431470834 552145 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :And why did they think I can understand esonian?
< 1431470839 390252 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :*estonian
< 1431470855 623906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hint: they probably didn't hth
< 1431470862 49171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION gets finnish spam all the time
< 1431470909 874981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i wish i got finnish spam twh
< 1431470936 541446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yesterday I walked by a group of students and one of them was talking about how they took a class on Finland.
< 1431470961 249167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finland, finland, finland.
< 1431470967 311902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Turns out you can major in Scandinavian Studies here.
< 1431470993 119766 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :My friend is going to finland this summer on some sort of physics... thing
< 1431471007 757405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i bet you wish you could study scandinavia
< 1431471055 312587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"The 46th IPhO will be held at Mumbai, India from 5 to 12 July 2015." ok not that then
< 1431471098 348570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i Initial Phở Offering
< 1431471116 190231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i could have gone to the ipho once, i think it was in poland
< 1431471129 966329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i went to the imo in germany instead
< 1431471162 833305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, physics olympiad.
< 1431471191 680208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can't trust physicists hth
< 1431471202 415470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :especially when tensors are involved
< 1431471218 332286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY
< 1431471227 696225 :SirCmpwn!~sircmpwn@irc.sircmpwn.com QUIT :Remote host closed the connection
< 1431471264 736036 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I don't know anything about it exacpt he's going, to finland, with a physics professor
< 1431471295 755176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to finland to get physical with a professor, check
< 1431471328 974515 :SirCmpwn!~sircmpwn@irc.sircmpwn.com JOIN :#esoteric
< 1431471340 507084 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I haven't been to the IPHO but I have been to the IHOP
< 1431471419 201032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just barely failed to visit the IHOP the half-year i stayed in seattle
< 1431471494 464705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall being scared away by the fact they had a dress code.  although it was probably really lenient i practice...
< 1431471502 979924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in
< 1431471532 347884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa
< 1431471538 698471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you were in seattle for a half-year?
< 1431471549 750589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, spring 1996
< 1431471646 628559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ihop spring's eternal
< 1431473375 312391 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric
< 1431473388 601222 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Is there a bot that deciphers short to text
< 1431473634 584297 :bb010g!uid21050@gateway/web/irccloud.com/x-uvxqoaulsxqyxkiz JOIN :#esoteric
< 1431474004 329318 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Sigh
< 1431474021 742676 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Once I get a new laptop
< 1431474031 24004 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ill finally be my old self again
< 1431474201 707260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: I get Norwegian spam hardly ever. In fact, I don't recall any specific examples at all.
< 1431474284 955032 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also I don't know what "Scandinavian Studies" can be.
< 1431474316 902400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a course where you dissect swedish meatballs and the like
< 1431474326 668690 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hm, you can do Scandinavian Studies in London, too.
< 1431474334 134967 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Welcome to UCL Scandinavian Studies! We teach and research the language, literature, history, linguistics and visual culture of Denmark, the Faroe Islands, Iceland, Norway and Sweden from medieval times to the present day. Our department is also home to Norvik Press, the UK's only press specialising in Nordic literature and culture."
< 1431474354 435193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :University of California, London?
< 1431474400 175369 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Their web page is so confusing, I can't find out what it's short for.
< 1431474406 875914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :University College London.
< 1431474422 893102 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's, like, just a collection of words.
< 1431474442 479566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Universities that offer education and perform research in Scandinavian studies are typically found in North America and Europe. In North America, many activities are coordinated through the Society for the Advancement of Scandinavian Study and its journal, the quarterly Scandinavian Studies."
< 1431474452 286176 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's a little unsettling
< 1431474541 315319 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not a conspiracy that aims for global domination, if that's what you are thinking.
< 1431474544 800227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just wanted to make that clear.
< 1431474625 160653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, very important not to leave any misunderstandings.
< 1431474644 60318 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION . o O ( http://tvtropes.org/pmwiki/pmwiki.php/Main/SuspiciouslySpecificDenial )
< 1431474679 693113 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Where did that thought bubble thing come from
< 1431474698 419898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i somehow connect it with int-e 
< 1431474705 22676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nvd: i think it means "i,i" hth
< 1431474705 922428 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, int-e seems to do it a lot
< 1431474725 326362 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski does it a lot. But his thought bubbles are very well formatted.
< 1431474727 559465 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I mostly associate it with ski
< 1431474748 369600 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think the name of UCL predates the "college = university" thing
< 1431474784 788961 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh maybe not
< 1431474833 713714 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It was originally London University
< 1431474862 60813 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Then, with King's College, became one of the colleges of the larger University of London
< 1431474933 994047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: are you trying to make me believe there's a channel where ski actually talks.  admittedly he's on a lot...
< 1431474957 491646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: not lately that i've seen
< 1431474974 274120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe #haskell but i'm not in there
< 1431474982 960450 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :. 。 ∘ ° ◦ o ο ○ ◯ O Ο 〇 and so on.
< 1431475019 341893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: he doesn't seem to be in #haskell, only every subchannel in existence
< 1431475030 880991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: good point
< 1431475040 401382 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :He used to be in #haskell
< 1431475047 584573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so did oerjan
< 1431475061 668700 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :He's also occasionally around in #haskell.se, but then again that place is mostly dead
< 1431475080 8803 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is the channel about the set of all channels included in the set of all channels? I guess it must be.
< 1431475111 222658 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Have you proven the existence of such a set?