< 1452816051 61688 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :they left. < 1452816056 669901 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 246 seconds < 1452816062 281927 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :They certainly did. < 1452816076 556017 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :someone should fix canaima. < 1452816092 153429 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1452816093 415262 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(their channel list, that is) < 1452816237 543184 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I like the random randomperson visiting our channel from time to time :) < 1452816274 206479 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :guten nachos < 1452816300 319688 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bons\oiren\. < 1452816300 499464 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :s/nachos/noches/ < 1452816314 327247 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :s/oche/ochelloe/ < 1452816322 766516 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1452816424 928864 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :If we define a Kleene Algebra with an additional - operation (pun intended, but not initially), have we just defined some (non-strict, to cover all my bases) subset of the Hyperoperations for strings? < 1452816467 660030 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :- is, likely, relative complement; "x"+"y"+"z" = {"x", "y", "z"}, "x"+"y"+"z"-"y" = {"x", "z"} < 1452816537 893785 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Specifically, talking about the Kleene Algebras that deal with strings of characters from some alphabet < 1452816601 165338 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well regular languages are closed under set difference. < 1452816624 764703 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*the set of < 1452816655 294926 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Yes, of course. < 1452816661 665796 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Well, I didn't actually know that, but OK < 1452816677 209329 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: So does that mean that I have just invented Regex Hyperoperations? xD < 1452816721 433782 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, but these hyperoperations are indexed by naturals < 1452816726 851480 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(including 0, as always) < 1452816755 805599 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, + as set union doesn't have cancellation < 1452816767 331780 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh yeah :/ < 1452816777 416119 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, why not? < 1452816805 974063 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because {x} + {x} = {x} + {} but {x} != {} < 1452816830 473721 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes < 1452816833 494057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this channel has been unionized < 1452816841 440000 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I had to look up cancellation because I confused it with something else < 1452816853 592754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but he's still in #haskell and some other places < 1452816870 100981 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: now let's ruin it by demanding a pension fund backed by a company that will go bankrupt in ten years < 1452816884 126873 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I don't want to be part of no union. < 1452816901 567964 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: i guess you don't believen in the nordic model, then. < 1452816904 461610 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you're clearly not a chemist hth < 1452816905 455758 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*-n < 1452816936 546370 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: So is kleene hyperoperations completely broken? < 1452816955 12434 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: unless pension is a pun i missed somehow < 1452816958 876185 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it's rather early to say when you've barely defined the first step, isn't it < 1452816989 802449 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you can't even not acknowledge a pun < 1452817014 15941 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: No, it's not too early for it to be completely broken < 1452817024 226181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean even not < 1452817025 961410 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It is too early for it to be completely /working/ though < 1452817126 348837 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: well my hunch is it's meaningless < 1452817153 679175 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Not "meaningless" < 1452817162 787350 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :More "new and eso, but not particularly interesting" < 1452817165 160158 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but only because i see no obvious reason why it should have good properties or an intuitive meaning < 1452817238 699761 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: well the obvious brokenness is that x + x = x so multiplication defined similarly to hyperoperations is likely trivial < 1452817271 739887 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :for that reason, and because wtf are you even recursing over when defining it... < 1452817272 479884 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: No, it's not quite the hyperoperations < 1452817291 459639 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: The index is the naturals < 1452817300 150443 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: So it's [n] < 1452817317 350666 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :+ and * are both the traditional Kleeney goodness < 1452817347 780507 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: So it isn't /quite/ the hyperoperations, but it's close < 1452817355 258110 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fine, now define the next step in such a way that it's connection to + and * does not feel completely ad hoc hth < 1452817358 966795 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*twh < 1452817364 829559 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*its < 1452817402 58961 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :basically i cannot judge your idea yet because you haven't defined anything but the base step of the induction, which says _nothing_. < 1452817448 61915 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh i didn't notice your "but he's still in #haskell and some other places" line until now. < 1452817476 796289 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :don't assume i manage to read this channel in order twh hth < 1452817488 98959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"twh hth" dnh hth < 1452817564 672434 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"dnhwpbiq hth" dnhwpbiq hth < 1452817566 221639 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I don't think there /is/ a way to non-ad hoc it xD < 1452817599 558990 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: THEN IT'S COMPLETELY BROKEN HTH < 1452817615 944782 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: *fine* < 1452817648 198360 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Perhaps "ab"[3]"cd" = {"abcd", "cdab"} < 1452817664 755636 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And I can work towards generalizing better now that I have additional operations? < 1452817699 479814 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Perhaps the kleeney hyperoperations are an alternator, then a concatenator, then an alternator, then a concatenator < 1452817706 849369 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :etc. < 1452817711 996898 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Then again, that makes no sense, because the third one is both < 1452817721 780495 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: wd"dnhwpbiq"mtwh < 1452817744 880684 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Of course, S(re) is re+1, where 1 is "" < 1452817758 704293 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :So the successor of a regex is either that regex OR nothing < 1452817777 543279 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Of course, that only works for some regexes < 1452817788 535233 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I really have no clue what I'm doing, cyt? < 1452817795 447635 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :additional operators may not help because that also gives more opportunities for rules to be broken < 1452817810 3025 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i ... figured. < 1452817821 805902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote name for a band < 1452817823 383511 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1005) "would be a good name for a band when preceded by its quotation" would be a good name for a band when preceded by its quotation < 1452817833 911117 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Idea. Instead of one set of hyperoperations, why not two? One spawning from +, the other from * < 1452817835 899955 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wooooooooow < 1452817849 813152 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: There's no reason * need be the next after + < 1452817858 102331 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(here, * is multiplication, not iteration) < 1452817879 944307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hth hand < 1452817897 315783 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the thing about your ideas is that they look like brainstorming with absolutely no intuition why there is a reason that they _should_ work < 1452817931 774344 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and so vaguely stated that i cannot even see how to repair it < 1452817939 186900 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(if it's possible) < 1452817949 656942 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: What do /you/ propose happens after *? xD < 1452817952 431900 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so basically, work on getting a bit more rigor into the presentation. < 1452817983 269689 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i don't know. i don't expect there to be an operation that naturally follows. < 1452817998 203573 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I agree. + and * seem to have no relationship < 1452818001 537737 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :naturality, yes, that would also be good. < 1452818012 167739 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I just noticed a possibility in the way Kleene Algebra works. I didn't think "I wonder what the use would be" because I didn't have all the data (I couldn't remember the hyperoperation definition) < 1452818015 276347 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Naturality? < 1452818031 78671 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Also, because I'm lazy xD < 1452818049 652823 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I do need more mathematical rigor, though < 1452818095 999507 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, do you mean naturality would be an alternative to rigor in my presentation? < 1452818099 863335 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Just in case you do < 1452818107 49793 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :BURN THE HERETIC! < 1452818116 341468 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :naturality is an intuitive concept, mostly, here. < 1452818122 35278 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and ideally you need both. < 1452818126 864826 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION mapoles hppavilion[1]!
< 1452818135 977129 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :no burning people here. think of the noxious fumes. < 1452818144 719750 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :boily: Oh right < 1452818150 399664 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :This channel is pretty small < 1452818184 383707 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh, naturality as in "it makes sense that this could happen" < 1452818193 222303 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? #esoteric < 1452818194 555241 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Not as in "your presentation sounds nice". < 1452818195 532524 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#esoteric is the only channel that exists. monqy is its centroïd. < 1452818199 103685 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :That was pretty confusing. < 1452818208 102782 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :All other channels are refractions of #esoteric < 1452818217 510048 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append #esoteric It's about 100 m (30 ft) across. < 1452818221 809134 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned '#esoteric': #esoteric is the only channel that exists. monqy is its centroïd. It's about 100 m (30 ft) across. < 1452818244 981755 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :we established that the other day hth < 1452818256 392575 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :How wide is it? < 1452818274 596269 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Or long, if you measured width the other day. < 1452818283 545320 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait < 1452818286 729245 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :silly me < 1452818292 822137 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1452818303 668846 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1452818305 651115 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append #esoteric It's about 30 m (100 ft) across. < 1452818308 162364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned '#esoteric': #esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. < 1452818325 5598 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :zgrep: It's 257 dimensions, and thus it's two dimensional. No concept of width. < 1452818335 839268 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i remember the conversion approximation, but not which is which... < 1452818345 230665 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :hppavilion[1]: So what's the height, then? < 1452818348 233695 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: That sounds about right < 1452818366 93252 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :zgrep: 12 metres. < 1452818377 439321 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(You were expecting a joke, weren't you?) < 1452818378 71786 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Seems kind-of cramped. How do we all fit? < 1452818388 733366 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: also naturality as in "fits well together". and if you're lucky, naturality in the rigorous, category theory sense, which somehow tends to imply the others. < 1452818493 693439 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :although they are part of an extremely confusing system of units, fluid ounces are strangely convenient. < 1452818567 742155 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zgrep: 30 m each way gives 900 m^2, about 9-10 m^2 per nick, not that cramped... < 1452818595 583084 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :It's each way? < 1452818606 588079 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess that's about 3m x 3m cubicles < 1452818629 742400 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zgrep: it's circular. oh hm < 1452818643 403924 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> pi * 30^2 < 1452818645 655382 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2827.4333882308138 < 1452818662 446649 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> sqrt (pi * 30^2 / 95) < 1452818664 344287 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5.45549784329708 < 1452818683 481468 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1452818689 343623 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> sqrt (pi * 15^2 / 95) < 1452818692 179240 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2.72774892164854 < 1452818692 358850 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Yeah. < 1452818697 324379 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :2.7 m < 1452818707 325189 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Hm... I guess we all fit... < 1452818724 759938 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :...what's the largest amount of people there have been in this channel... < 1452818832 855203 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dunno but it's surely been above 100 < 1452818854 668031 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm time to do a bot counting again < 1452818888 823082 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :oerjan: Bots need their own space too. < 1452818928 768929 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungot glogbot HackEgo clog idris-bot j-bot EgoBot lambdabot zemhill < 1452818929 47783 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: mmm... tuna. they've been around for that one < 1452818942 575773 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm just below 10% today < 1452818950 710779 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Hm. With 200 people it would still give each person a nice bit of area... < 1452818966 727381 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :300 is starting to get cramped... < 1452818992 844688 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :600, and we're down to one square meter (approximately) < 1452819017 45717 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> (pi * 15^2) < 1452819018 826852 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 706.8583470577034 < 1452819081 863089 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :2827 people, and everybody has half a meter to themselves. < 1452819092 750465 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Well, half a meter by half a meter. < 1452819194 410711 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :The question is, how will we split up a circle nicely so that everybody gets their amount of space... < 1452819309 284461 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :my cubicle at work is like 2 m across < 1452819411 690941 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey everyone, tell me if my templating is off. < 1452819413 428804 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"The Doctor enters the battlefield with 13 regeneration counters on it. Whenever The Doctor dies, if it had at least one regeneration counter on it, return it to the battlefield under its owner's control with one fewer regeneration counter on it." < 1452819940 23581 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not timey-wimey enough hth < 1452820100 869773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: I think it would usually be "When", not "Whenever". < 1452820317 78632 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :"When the Doctor enters the battlefield, put 13 regeneration counters on it. Regeneration counter: regenerate the Doctor." < 1452820588 35048 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I chose this ability as a more fun version of an activated regeneration ability. < 1452820691 573775 :tjt263!~RAPSCA77I@unaffiliated/tjt263 PART #esoteric :"part" < 1452820778 146164 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bots up to 10% < 1452820861 114822 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://whymtgcardsmith.tumblr.com/post/130362573178/the-name-and-flavor-text-are-lies - I kind of want to just read through here and try to reword all the cards. < 1452820905 577829 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Exile all lands your opponents control. The owner of a land exiled this way may play that land." < 1452821035 63982 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1452821247 830261 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Do you agree that we should have a detailed reference about the Curry-Howard Correspondence on the wiki so that people can see new and eso ideas for computation? < 1452821262 145338 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: well, what's wrong with the Wikipedia article? < 1452821281 40170 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: It isn't extensive an extensive reference < 1452821311 155603 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: The idea is this would be a long, long list of CSy things based on FL < 1452821325 149722 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah. Sounds neat. < 1452821341 798522 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :http://www.escapistmagazine.com/articles/view/scienceandtech/14276-Magic-The-Gathering-Cards-Made-by-Artificial-Intelligence ← always droll and entertaining. < 1452821359 397336 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Regardless as to whether what they correspond to is something well-known in CS < 1452821482 251812 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Meaning that, for example, you could have a programming language based on De Morgan's Laws when C-H isomorphized < 1452821489 400372 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :or something. < 1452821519 733011 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@djinn Either p (p -> Void) < 1452821519 935130 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452821529 247686 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@djinn q -> p < 1452821529 527076 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452821545 954104 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@djinn (p -> q, q -> Void) -> (p -> Void) < 1452821546 231702 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f (a, b) c = b (a c) < 1452821595 920215 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@djinn (q -> Void) -> Void < 1452821596 198934 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452821710 680186 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@djinn [Int] < 1452821710 942927 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Error: Undefined type [] < 1452821717 124586 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@djinn [a] < 1452821717 407565 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Error: Undefined type [] < 1452821726 957441 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :hppavilion[1]: the logic being modeled here is "intuitionistic logic", which is a lot like classical logic, but lacks the familiar "law of excluded middle" and "double negation elimination" axioms < 1452821740 296100 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Oh right < 1452821746 159802 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: I just found that out < 1452821766 439602 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Wait, then how can you do Law of Excluded Middle Continuation? < 1452821782 492043 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also @djinn doesn't support recursive types. < 1452821787 498649 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(like []) < 1452821789 508309 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh < 1452821802 104163 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :What /does/ [] correspond to? < 1452821803 995815 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :mauris, LEM and double negation elimination are equivalent aren't they... < 1452821824 215050 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: you have to model continuations somehow, usually with the Cont monad < 1452821856 915591 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :are they? < 1452821860 796378 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@djinn ((Either x (x -> Void) -> Void) -> Void < 1452821861 74697 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Cannot parse command < 1452821863 726336 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :maybe not < 1452821866 190990 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1452821871 371574 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@djinn (Either x (x -> Void) -> Void) -> Void < 1452821871 806960 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a = void (a (Right (\ b -> a (Left b)))) < 1452821879 399200 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :LEM implies DNE but maybe not the converse < 1452821881 353729 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or double negation < 1452821923 150644 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: see above < 1452821943 216506 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :in 1/2 an hour the donald trump and co. show is on < 1452821979 413590 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :putting an intuitionistic proposition inside ( -> Void) -> Void makes it equivalent to the classical one < 1452822017 861670 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn (((q -> Void) -> Void) -> Void) -> Void < 1452822018 180248 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452822023 487128 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@djinn ((x -> Void) -> Void) -> Either x (x -> Void) < 1452822023 910668 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452822080 206918 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: you're asking what [] corresponds to under the CHI? < 1452822091 344685 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :oh, wait, oops, nevermind me < 1452822101 409436 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Basically < 1452822109 455728 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Wait < 1452822113 118671 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: I guess it essentially means "there exist 0 or more proofs that (...)". < 1452822124 599290 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: [a] is syntactic sugar for List a, isn't it? < 1452822133 75581 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's syntactic sugar for [] a. < 1452822151 504350 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Which basically means List a, where List is a functor? < 1452822160 778238 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. < 1452822163 162567 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :basically, yeah < 1452822167 644292 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Indeed, it means List a, where List is []. < 1452822168 516781 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Ah, then I don't understand it < 1452822202 133249 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait. Does negation introduction isomorph to snd? < 1452822214 38748 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :well, if a value of type `p` corresponds to a constructive proof of `p` < 1452822249 935202 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :then a `[p]` just contains a bunch of proofs? i suppose < 1452822275 750948 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Is my deduction correct? < 1452822283 42879 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or partially correct (I am partway there)? < 1452822287 63182 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or just wrong? < 1452822319 958401 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :((P -> Q), (P -> Void)) -> (P -> Void) is negation introduction the CSy way, AFAICT < 1452822352 542238 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :that should be ((P -> Q), (P -> (Q -> Void))) < 1452822361 998058 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Oh :/ < 1452822363 111334 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :so it isn't snd, i'm afraid < 1452822394 707756 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: How so? What does & do exactly? < 1452822402 606244 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn ((P -> Q), (P -> (Q -> Void))) -> (P -> Void) < 1452822402 785934 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Error: Undefined type P < 1452822409 990191 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Based on what I read, I've been treating p & q as (p, q) < 1452822411 163349 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn ((p -> q), (p -> (q -> Void))) -> (p -> Void) < 1452822411 442842 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f (a, b) c = b c (a c) < 1452822424 728414 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :My god < 1452822426 442359 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Is that... < 1452822429 385816 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Is that S? < 1452822442 345968 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, not quite < 1452822443 744808 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :that is correct! compare though https://en.wikipedia.org/wiki/Negation_introduction < 1452822456 555989 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :it's S flipped around a bit! < 1452822476 875443 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Oh! < 1452822480 546169 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I see what I did wrong! < 1452822487 459761 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :(wow look, it's a J fork, or hook, or whatever.) < 1452822488 891431 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I treated negation introduction as (P -> Q) & (P -> ~Q) -> ~P < 1452822506 911295 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :When Wiki says it's (P -> Q) & (P -> ~Q) <-> ~P < 1452822519 687340 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Well, that /might/ be what I did wrong < 1452822546 630233 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :you did (P -> Q) & ~P -> ... < 1452822555 359287 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :~P instead of (P -> ~Q) < 1452822599 181262 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Wait, what? < 1452822615 538988 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric : ((P -> Q), (P -> Void)) -> (P -> Void) is negation introduction the CSy way, AFAICT < 1452822621 196933 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Are you correcting me relizing my mistake? < 1452822626 374382 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1452822630 55172 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh! < 1452822635 895605 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Right, right < 1452822666 116673 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: What does ~P translate to then? I was told it was Void, but I just remembered I was confused because ~Void should be Unit < 1452822670 569784 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Or something < 1452822699 137142 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :~P translates to P -> Void < 1452822713 992350 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: So... that's what I did < 1452822718 138859 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, I see now < 1452822724 361537 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or... yeah < 1452822726 252202 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :(and Void -> Void is isomorphic to Unit! so it checks out) < 1452822727 826732 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Now I get it < 1452822731 21392 :ProofTechnique!~Ptech@c-73-16-58-126.hsd1.vt.comcast.net JOIN :#esoteric < 1452822752 911330 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: So ((P -> Q), (P -> (Q -> Void)) -> (P -> Void)? < 1452822767 600442 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Yep, looks like that's right < 1452822769 705533 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :yep! and the flippy S combinator is your proof < 1452822791 947740 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Right, right < 1452822891 413464 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This One. U. Enchantment. When This One enters the battlefield, put an Aura enchantment with "Enchant This One" named That One onto the battlefield. This One gains "Enchant That One". Attach This One to That One. Attach That One to This One. < 1452823150 859548 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: So is it equal to void? < 1452823163 282058 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Its output type, that is < 1452823175 697492 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :oh god the singer is flubbing every line in the US anthem < 1452823179 130403 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :yeah < 1452823180 712322 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :That's what fanagling with the function you @djinned does < 1452823189 236699 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mauris: Yay! I got something right! < 1452823220 677613 :AlexR42!~textual@94.41.132.66 JOIN :#esoteric < 1452823226 391869 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :so you can never actually call it! or get a result from it. (but you can pretend you can, in weird ways.) < 1452823240 630250 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i need sleep, sadly :( < 1452823288 739640 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Is there somewhere online I can find what logical propositions are called? < 1452823313 105546 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :e.g. I figured out using my infinite wisdom that the I combinator has the type p -> p () < 1452823337 998868 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And since that obviously corresponds to some proposition, is there somewhere I can find what it's called? < 1452823353 627445 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1452823363 803312 :mauris!~mauris@unaffiliated/nooodl QUIT :Quit: Leaving < 1452823408 13814 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Hadu < 1452823499 616881 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Client Quit < 1452823616 739771 :MDream!~fyrc@pa-67-235-1-122.dhcp.embarqhsd.net JOIN :#esoteric < 1452823766 365477 :MDude!~fyrc@pa-67-235-1-122.dhcp.embarqhsd.net QUIT :Ping timeout: 240 seconds < 1452823790 962726 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: ooh, lemme find something. < 1452823806 267744 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: https://en.wikipedia.org/wiki/List_of_rules_of_inference < 1452823865 388379 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION is being seduced by the Sleeping Side of the Night
< 1452823869 876611 :boily!~alexandre@96.127.201.149 QUIT :Quit: CORK CHICKEN < 1452824049 157377 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That doesn't actually mention any rule corresponding to p -> p. < 1452824075 135141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wikipedia calls it "reflexivity of implication" hth < 1452824100 171841 :AlexR42!~textual@94.41.132.66 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1452824153 123189 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :tht < 1452824295 809858 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1452825172 991081 :andrew!~andrew@116.25.144.78 JOIN :#esoteric < 1452825497 706704 :J_Arcane_!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi JOIN :#esoteric < 1452825529 815890 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Read error: Connection reset by peer < 1452825537 515640 :J_Arcane_!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi NICK :J_Arcane < 1452825824 103807 :bb010g!uid21050@gateway/web/irccloud.com/x-dcakiqmunyhvoypb JOIN :#esoteric < 1452829313 446159 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :Condensed C. C, but many common keywords and functions are given two-character or one-character equivalents < 1452829360 836727 :MDream!~fyrc@pa-67-235-1-122.dhcp.embarqhsd.net QUIT :Ping timeout: 260 seconds < 1452829942 199848 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :\oren\: You mean like this? http://code.jsoftware.com/wiki/Essays/Incunabulum < 1452829943 175367 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric ::P < 1452830118 352610 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Taneb: I just stumbled across ESOSC < 1452830163 310019 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :nortti: I suppose I should trigger your client too < 1452830357 645669 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :hmm that's similar < 1452830360 486393 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :#define fir(n) for(i=0;i x) then (done = true) else (i++) < 1452833746 283075 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :pseudocode < 1452833756 915410 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yeah ok <.< < 1452833786 467237 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION was hoping for something fancier
< 1452833801 761070 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Then make that fancy < 1452833819 11611 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :IMO, that's pretty fancy < 1452834020 9682 :Tod-Autojoined!~Tod@67-2-63-198.slkc.qwest.net NICK :TodPunk < 1452834303 51938 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1452836042 897037 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1452836608 812842 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 265 seconds < 1452839394 696862 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :I need to write a better set of tests of scrip7 < 1452839398 500259 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :./scrip7 -e 'i=0j>1#a#_p"x"i+1j=ij~10jI"a"' < 1452839489 398674 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :what is scrip7? < 1452839511 263435 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :a language I made, then changed, then changed again. < 1452839523 935708 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's based off of 7 strips of leather < 1452839551 961042 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :the above program (in the '') outputs 10 x's. < 1452839586 283497 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :of course you can also do _p"xxxxxxxxxx" < 1452839616 168797 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :http://www.orenwatson.be/scrip77.htm is the interpreter < 1452839754 981852 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :I'm currently refactoring it < 1452839939 842763 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :`` scrip7 -e 'i=0j>1#a#_p"x"i+1j=ij~10jI"a"' < 1452839973 536038 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1452839988 228084 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :huh < 1452840009 586279 :ProofTechnique!~Ptech@c-73-16-58-126.hsd1.vt.comcast.net QUIT :Read error: Connection reset by peer < 1452840065 659555 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ooh new xkcd what-if < 1452840136 199784 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :hmmm. it would be useful to have a scrip7 interpreter in javascript (well, not useful. uh... cool? for me?) < 1452841336 770821 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1452841524 263441 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"There's one thing that might prevent the Earth's total destruction. [...] Everyone on the surface would still be cooked, and much of the atmosphere and surface would be lost, but the bulk of the Earth's mass would probably remain as a charred husk." < 1452841574 238339 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good prevention. < 1452842128 276348 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :zeetha being subtle < 1452844865 83696 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Whoo! < 1452844869 701505 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I figured out authentication! < 1452844877 3415 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I may've done it horribly wrong, but it works! < 1452844937 986240 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I just use random.choice() on a 64-character string /n/ times to generate an n-character access token < 1452844983 126617 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :That token is generated when a client requests to LOGIN using the proper password, and is saved so it can be checked later < 1452845012 134845 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The token is saved with a timestamp, and when the list of tokens is requested from the container, it first deletes all access tokens > 24 hours old < 1452845045 276736 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The tokens used are 256 characters long. < 1452845105 162333 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Of course, this is all for an elaborate prank which is slowly evolving into a botnet < 1452845116 176152 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I'm a bad human being. < 1452845160 548505 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(If I ever offer you a program, I heartily advise you don't accept) < 1452849257 749853 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@ask mroman How would I go about joining this ESOSC? Even if I'm the only person who participates? xD < 1452849257 968910 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1452849262 804617 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :lambdabot: NO < 1452849273 237143 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I WILL NOT CONSIDER ANYTHING TO BE IN ANY STATE OF RECORDING < 1452850887 98503 :mroman!~mroman@160.85.232.167 JOIN :#esoteric < 1452850891 51136 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :fnurd < 1452850896 144006 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :@messuges-laad < 1452850896 460271 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1452850899 528488 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :@messuges-laod < 1452850899 806986 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1452850903 140735 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :@messuges-load < 1452850903 432419 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :hppavilion[1] asked 27m 25s ago: How would I go about joining this ESOSC? Even if I'm the only person who participates? xD < 1452850953 523894 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :hppavilion[1]: Three existing members must give you a vote < 1452850964 780835 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: Yes, I heard. < 1452850967 435457 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :currently that'd be nortti, Taneb and me < 1452850968 410924 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric ::) < 1452850971 588576 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric ::) < 1452850976 517317 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :so < 1452850995 993764 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I read the 2014-A1 < 1452851002 331058 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :very good :D < 1452851067 470387 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :"For a non-member to become a member he or she has to pass a vote. To pass the < 1452851067 650418 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :vote 2/3 of all existing members must vote to accept her or him as a new < 1452851067 650516 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :member. " < 1452851088 104125 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :oh < 1452851095 782877 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :I guess then you only need two votes < 1452851107 682707 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :xD < 1452851127 825854 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: I'm currently composing a Language Spec called GM < 1452851184 530285 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :At least, for now < 1452851200 504563 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It relies heavily on mathematical structures like sets and graphs and matrices < 1452851287 927662 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :I think the usual flow is probably that the ESOSC will look at specs that are ready to be used, reviews them and then publishes them. < 1452851330 744616 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :so technically for that to happen you wouldn't even need to be a member. < 1452851355 603370 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :you can also submit drafts I think < 1452851389 865327 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :have you seen the repos? < 1452851402 665843 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :oh it's not linked < 1452851405 298645 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric ::D < 1452851536 761693 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Yay! < 1452851601 163406 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :https://github.com/FMNSSun/ESOSC < 1452851618 133873 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :wtf is my esolangs org password < 1452851639 969574 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: Yes, I found that xD < 1452851644 227417 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Not your password, the page < 1452851646 85074 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Obviously < 1452851679 672955 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: Is PDF (or, if preferred, DVI) an acceptable format for a standard? Or is txt required? < 1452851730 354061 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ESOSC14]]4 10 02https://esolangs.org/w/index.php?diff=46159&oldid=42111 5* 03160.85.232.167 5* (+79) 10/* More Information */ adding a link to the repository < 1452851736 687287 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(Maybe we should offer documents in multiple formats?) < 1452851779 720152 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(Wait, I'm talking like I'm a member xD. Whoops.) < 1452851810 243119 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :do you use latex/tex? < 1452851835 553255 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i'm writing something that vaguely looks like a small hand rolled jit and i need some help < 1452851843 363465 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I do < 1452851847 773775 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :then yes, that's ok < 1452851871 809361 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: Is there any other way to make a PDF that doesn't corrupt your soul? < 1452851887 22089 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :markdown? < 1452851900 217226 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :It's just that PDF only sucks if you want to make edits to it later < 1452851900 636437 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :how do i call a c function? < 1452851902 945186 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :like revisions :) < 1452851908 393495 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1452851926 535954 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: Ah, but it doesn't mess up if you use LaTeX of course? < 1452851929 680319 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :izabera: By following the C calling convention of your platform. < 1452851941 476209 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :so ideally the source is in markdown, latex, html or plain text < 1452851967 851302 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :and then we keep the source in the repos, generate a PDF and link to the PDF from the website < 1452852017 999803 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :hppavilion[1]: You can fork the repository and create a folder ESOSC-2016-D9 < 1452852022 524811 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :and then put your stuff there < 1452852053 583842 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1452852079 663744 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :(or if it's just a single tex, txt file then you can also just create a file ESOSC-2016-D9.tex, but if you use multiple files please use a directory) < 1452852414 434045 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :izabera: emit push instructions for the arguments, then followedy by a call? Depends on the calling convention used of course. < 1452852458 99158 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :and don't forget to clean up the stack if you're using cdecl :) < 1452852500 123236 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :On x86-64, you don't see that many pushes around, for example. < 1452852521 629391 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :that's because compilers allocate enough stack space for the arguments as well < 1452852524 739313 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :and then use mov instructions < 1452852534 29865 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, it's because the calling convention doesn't use the stack for passing arguments. < 1452852539 589332 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Until it runs out of registers. < 1452852542 899172 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :oh, 64bit < 1452852550 835375 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's what the -64 part was for. < 1452852553 874000 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric ::D < 1452852556 773906 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :I hate x86-64 < 1452852561 360462 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :they should've called it x64 < 1452852570 780977 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The SysV ABI also gets pretty complicated on the topic of how things go into which registers. < 1452852636 378803 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And of course Windows has its own variant, which uses a different set of registers and different logic for putting the parameters in them. < 1452853155 337550 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman: Just so you know, your domain's mail server didn't like the esolangs.org one when it tried to send you a password recovery email. (The system seems to be missing a FQDN in the hostname it advertises in HELO, which your side didn't appreciate. Will have to fix that.) < 1452853212 63322 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1452853231 342160 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"550 HELO argument [codu] is malformed. See http://www.linuxmagic.com/best_practices/valid_helo_domain.html for more information. Protection provided by MagicSpam 1.0.8-4 http://www.magicspam.com" < 1452853272 21340 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :a lot of mail servers require a fqdn < 1452853272 198992 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know where it gets that from, /etc/mailname is a FQDN. I only really know Postfix, and this thing is running exim. < 1452853279 99973 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :and they will check if your domain has an mx record < 1452853309 117568 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :which must match (obviously) < 1452853357 728374 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :but I've managed to crack my password < 1452853364 277852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The word "codu" doesn't appear in any file in /etc/exim4/ at all. Hmm. < 1452853378 988404 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :You probably need to recompile exim :D < 1452853388 784612 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :exim is that weird program that requires lots of compile time configuration . < 1452853405 403842 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :for example if you want to change the name of the user it runs under < 1452853405 864925 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"hostname -f" does result in codu, so it probably gets it from there. < 1452853416 265896 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :hm < 1452853430 357460 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :what's cat /etc/hostname? < 1452853442 450213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's just codu as well. < 1452853457 719663 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 265 seconds < 1452853482 958007 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As does the 127.0.0.1 entry of /etc/hosts. It's all very domainless. < 1452853566 829514 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, maybe it's closer to okay now. Hopefully I didn't break anything else. < 1452853719 238150 :bb010g!uid21050@gateway/web/irccloud.com/x-dcakiqmunyhvoypb QUIT :Quit: Connection closed for inactivity < 1452854633 821564 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 246 seconds < 1452854868 653819 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1452854905 169070 :J_Arcane_!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi JOIN :#esoteric < 1452854994 718378 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1452855004 243498 :J_Arcane_!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi NICK :J_Arcane < 1452857599 460152 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :maintaing mail servers stopped being fun when ssl was mandatory :D < 1452857653 833982 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1452857661 910312 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :also isps hook port 25 < 1452857662 328783 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :so < 1452857670 258614 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :you can't have anything run on port 25 anymore < 1452857702 173344 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :switzerland's swisscom intercepts any traffic tcp:25 < 1452857746 509460 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :if somebody connects to mroman:25 they will end up connecting to a swisscom server :) < 1452857792 164086 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :I don't know. Port blocking seems inherently stupid < 1452857823 268160 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :like back when everything except outgoing tcp 80, 25 and some other ports were allowed < 1452857834 2534 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :now production sites even use 8080 and ports like those < 1452858063 148304 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Our ISP in Finland used to block incoming :25. < 1452858099 685916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I had my VPS configured to use :2525 instead, because I didn't feel like keeping my emails on the VPS for some reason. < 1452858109 337079 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Don't remember why. Nowadays I just keep them there. < 1452858775 743575 :J_Arcane__!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi JOIN :#esoteric < 1452858954 633058 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Ping timeout: 250 seconds < 1452859112 728471 :J_Arcane__!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1452859465 603160 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi JOIN :#esoteric < 1452860165 16577 :andrew!~andrew@116.25.144.78 QUIT :Remote host closed the connection < 1452860235 652424 :boily!~alexandre@96.127.201.149 QUIT :Quit: OPALESCENT CHICKEN < 1452860317 397911 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1452860615 481094 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i came in here to see if boily was around and didnt notice he was here the whole time. so quiet! < 1452860680 947770 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Quiescent chicken. < 1452860838 174394 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`? boily < 1452860862 468548 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. < 1452860870 644941 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`? chicken < 1452860873 472099 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :chicken? ¯\(°​_o)/¯ < 1452860879 293732 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`? learn chicken is boily af < 1452860880 206154 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :learn chicken is boily af? ¯\(°​_o)/¯ < 1452860885 895524 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`learn chicken is boily af < 1452860892 361929 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'chicken': chicken is boily af < 1452860896 906567 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`? af < 1452860898 412794 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :af? ¯\(°​_o)/¯ < 1452860995 213364 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :well fuck it i'll design my own text format < 1452861068 22052 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :with figures and references and hookers < 1452862826 692493 :int-e!~noone@static.88-198-179-137.clients.your-server.de PART #esoteric :"REPETETIVE CHICKEN" < 1452862826 906634 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1452862830 218018 :int-e!~noone@static.88-198-179-137.clients.your-server.de PART #esoteric :"REPETETIVE CHICKEN" < 1452862832 666694 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1452862886 284026 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(that's one of my favorite typos) < 1452863055 864834 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? drone sex < 1452863057 612900 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Drone sex has never been observed in the wild; in fact it's rare to see drones in their natural habitat because they are extremely shy. Experiments with drones in captivity have only resulted in broken drones, and a rotor stuck in the ceiling. We are still looking for a biological explanation for the ever increasing drone population. < 1452863071 367339 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(today's xkcd seems relevant) < 1452863212 262851 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? drone < 1452863213 509111 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :drones are tools used to perform certain criminal actions that were not possible in ancient times. < 1452865977 521822 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1452866076 17693 :TieSoul!~TieSoul@86.89.119.147 QUIT :Remote host closed the connection < 1452866202 22619 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1452866260 803361 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Max SendQ exceeded < 1452866294 564950 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1452867413 833982 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1452867916 134686 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`grep drone < 1452867922 638870 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :`log drone < 1452867925 647317 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :hm < 1452867926 502089 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/log: 2: cd: can't cd to /var/irclogs/_esoteric \ grep: ????-??-??.txt: No such file or directory < 1452867940 458059 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :oh < 1452867941 472522 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :ok < 1452867944 394805 :mroman!~mroman@160.85.232.167 PRIVMSG #esoteric :it's log but broken... < 1452867950 913862 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1452868239 792605 :idris-bot!~idris-bot@dslb-188-109-004-099.188.109.pools.vodafone-ip.de QUIT :Quit: Terminated < 1452868255 281328 :idris-bot!~idris-bot@dslb-188-109-004-099.188.109.pools.vodafone-ip.de JOIN :#esoteric < 1452868421 185428 :spiette!~spiette@mtl.savoirfairelinux.net JOIN :#esoteric < 1452868446 6745 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1452868449 942380 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :diarrhea/Diarrhea is the most sickening accent, although some others are more grave. < 1452868464 890411 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? map < 1452868465 789800 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :map? ¯\(°​_o)/¯ < 1452868469 541047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? select < 1452868470 693760 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :select? ¯\(°​_o)/¯ < 1452868548 604783 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Ping timeout: 256 seconds < 1452868875 927686 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn select/select waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, or sets the default output handle. < 1452868876 935797 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/learn: line 3: wisdom/select/select: No such file or directory \ Learned 'select/select': select/select waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional betwee < 1452868882 354571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`le/rn select/select waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, or sets the default output handle. < 1452868885 802896 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «select» < 1452868889 277385 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? select < 1452868891 95981 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :select waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, or sets the default output handle. < 1452868941 764797 :Elronnd!elronnd@znc.dank.ninja QUIT :Read error: Connection reset by peer < 1452868960 843533 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, or sets the default output handle. < 1452868964 309608 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'select': select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, < 1452868967 37153 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? select < 1452868968 152782 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, or sets the defau < 1452868970 600579 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :too long < 1452868976 758854 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more. < 1452868979 404931 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'select': select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, < 1452868983 370640 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? select < 1452868984 625395 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more. < 1452869142 745611 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi JOIN :#esoteric < 1452869394 228035 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1452871010 600099 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I am in the lovely situation of using an experimental research language whose compiler segfaults on my (valid) program < 1452871052 925973 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Actually, that happens with my Haskell sometimes, too < 1452871057 43828 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think I may be cursed < 1452871112 667583 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :At least this time I'm in the same room as the creator of the language and one of the authors of the compiler < 1452871245 799708 :AlexR42!~textual@94.41.132.66 JOIN :#esoteric < 1452871616 656667 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nah, it's just buggy < 1452871661 143529 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :The Authorities seem to think my program is not at fault < 1452871697 781782 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: I mean, the compiler is buggy < 1452871719 915551 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Yes < 1452871725 161171 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Yes it is < 1452871734 436376 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :So's the graphical front-end < 1452871804 387746 :mroman!~mroman@160.85.232.167 QUIT :Quit: Lost terminal < 1452872527 242778 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1452873839 345166 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :`? torus < 1452873840 798507 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Topologically, a torus is just a torus. Taneb invented it. < 1452874237 598197 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-aybnsnnuqelkavdh QUIT :Excess Flood < 1452874386 811950 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xnostivewiyrwobi JOIN :#esoteric < 1452874482 734089 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1452875153 86306 :bb010g!uid21050@gateway/web/irccloud.com/x-garnftzprghjrjsh JOIN :#esoteric < 1452876011 749690 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1452878109 929768 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Lazy evaluation14]]4 10 02https://esolangs.org/w/index.php?diff=46160&oldid=42987 5* 0350.161.94.113 5* (+63) 10why not < 1452878158 669925 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07BitShift14]]4 10 02https://esolangs.org/w/index.php?diff=46161&oldid=45559 5* 03Quintopia 5* (+128) 10Categories < 1452878307 685341 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Minebit14]]4 10 02https://esolangs.org/w/index.php?diff=46162&oldid=21369 5* 0350.161.94.113 5* (-26) 10Turing completeness doesn't require halting..? < 1452878723 448728 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xnostivewiyrwobi QUIT :Changing host < 1452878723 662994 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1452878723 663065 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 QUIT :Changing host < 1452878723 663086 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xnostivewiyrwobi JOIN :#esoteric < 1452880768 34376 :atslash!~atslash@mu31-krylatskoe.ch.govorit.ru JOIN :#esoteric < 1452881909 964269 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1452881979 198969 :AlexR42!~textual@94.41.132.66 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1452881991 566770 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://www.youtube.com/watch?v=0-UWJqt95gk 73.8% sfw < 1452882014 951164 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but very fun :P < 1452882573 177281 :atslash!~atslash@mu31-krylatskoe.ch.govorit.ru QUIT :Quit: This computer has gone to sleep < 1452882676 628911 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1452883109 872388 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 245 seconds < 1452883448 987830 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1452883734 5905 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1452884021 908314 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds < 1452884173 710229 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1452884319 233847 :bb010g!uid21050@gateway/web/irccloud.com/x-garnftzprghjrjsh QUIT :Quit: Connection closed for inactivity < 1452885045 917087 :singingboyo!~brandonso@thetis.ugrad.cs.ubc.ca JOIN :#esoteric < 1452885059 694901 :singingboyo!~brandonso@thetis.ugrad.cs.ubc.ca QUIT :Client Quit < 1452885083 32287 :singingboyo!~brandonso@thetis.ugrad.cs.ubc.ca JOIN :#esoteric < 1452885960 423141 :bb010g!uid21050@gateway/web/irccloud.com/x-zaftewabykefftgv JOIN :#esoteric < 1452886053 717926 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1452886140 753711 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1452887749 362340 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org QUIT :Read error: Connection reset by peer < 1452887802 350924 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1452888597 27764 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 JOIN :#esoteric < 1452888903 685950 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1452889516 10864 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1452889931 704537 :zadock!~outsider@81.180.208.246 JOIN :#esoteric < 1452892027 741962 :hppavilion[1]!~Devourero@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1452892410 621246 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 QUIT :*.net *.split < 1452895001 378974 :TieSoul!~TieSoul@86.89.119.147 QUIT :Read error: Connection reset by peer < 1452895119 2627 :bb010g!uid21050@gateway/web/irccloud.com/x-zaftewabykefftgv QUIT :Quit: Connection closed for inactivity < 1452897266 46885 :bb010g!uid21050@gateway/web/irccloud.com/x-pqkpjpdirxycolsj JOIN :#esoteric < 1452897952 219258 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1452897979 34671 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1452898608 139698 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1452898799 753856 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1452898945 203792 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I know that the internet service that I have does not block any incoming or outgoing port numbers; I have successfully accepted incoming connections on port 25, 70, 80, 194, and others. < 1452898995 266640 :spiette!~spiette@mtl.savoirfairelinux.net QUIT :Ping timeout: 260 seconds < 1452899019 247355 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: sneaky question: have you successfully accepted incoming connections on tcp port 0? (port 0 is the one the TCP spec allows, but the unix tcp sockets api makes almost impossible to use) < 1452899034 267542 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have not tried < 1452899118 881241 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :?messages-loud < 1452899119 160125 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :myname said 3d 14h 3m 49s ago: please specify the starting point of memfractal < 1452899128 753933 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1452899131 567390 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom wisdom < 1452899135 868901 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? wisdom < 1452899140 637004 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? lolcat < 1452899163 413339 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdome/The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. < 1452899173 394353 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :the u/The U are a very mad people. < 1452899177 421074 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lolcat? ¯\(°​_o)/¯ < 1452899178 906193 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? < 1452899231 732654 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`wisdom < 1452899233 979107 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hyperbolic geometry/Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity. < 1452899235 454361 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, are you wise? < 1452899235 632256 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: too bad i'll probably be working on fnord < 1452899820 700009 :zadock!~outsider@81.180.208.246 QUIT :Quit: Leaving < 1452901066 712789 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1452902021 519597 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :fungot: why would you be working on fnord? < 1452902022 77453 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: you're working with heaps while in fact my test platform. the gui stuff is done using the native gui without the smalltalk window < 1452902049 259509 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :fungot: the "smalltalk window", is that where you do IRC? < 1452902049 851953 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :olsner: thanks alot riastradh, you have 1 message. riastradh says: ...damn question mark key. < 1452902270 936089 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric