< 1456358480 214904 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should've used FireFly
< 1456358557 654330 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Have you been stalking me recently
< 1456358684 505587 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456358726 574016 :Yurume!23f9939a@121.78.85.35 JOIN :#esoteric
< 1456358929 819294 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :complex fuzzy bag typing.
< 1456358936 764712 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :A type check returns a complex number.
< 1456358953 449827 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds
< 1456358989 955695 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric
< 1456359595 332096 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric
< 1456359745 632856 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I still want to play nomic
< 1456359811 456301 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds
< 1456359816 677379 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net NICK :hppavilion[1]
< 1456359919 50894 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Agora still exists afaik
< 1456359931 551896 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: Oh yeah, Agora
< 1456359958 941208 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :probably
< 1456359963 604461 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I unsubbed from the mailing lists last year
< 1456359965 389282 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it does.  there's even been some activity lately.
< 1456359967 798715 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :cool
< 1456359975 888495 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'll probably get back in at some point
< 1456360290 720928 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said
< 1456360385 57740 :Treio!~Treio@87.244.233.250 QUIT :Ping timeout: 250 seconds
< 1456360959 514699 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Quit: Leaving
< 1456360984 75407 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric
< 1456361143 115162 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite
< 1456361964 392675 :mad!~madbrain@69-165-212-148.cable.teksavvy.com JOIN :#esoteric
< 1456362116 111531 :mad!~madbrain@69-165-212-148.cable.teksavvy.com QUIT :Read error: Connection reset by peer
< 1456362952 280573 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1456363481 316392 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I just went to agora and looked at a random judicial case
< 1456363495 133272 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Players: A lambda-nomic has "players", individual beings or groups of beings who participate in the game
< 1456363495 371671 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Rules: A lambda-nomic has "rules", statements about what players of the game can and cannot do.
< 1456363495 530280 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :How to play: A game is played by players following the rules to arbitrary pedanticness.
< 1456363495 530360 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Rule Proposal: At any time, a player can propose a new rule, an addendum to a rule, an edit to a rule, or the deletion of a rule. Players then vote on the rule by saying "yea" or "nay", and if there are more "yea"s than "nay"s the rule, addendum, edit, or deletion is enacted. All future moves are based on this rule.
< 1456363497 528328 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Whoops
< 1456363500 843628 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That was a mistake
< 1456363510 592242 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Exhibit by ais523
< 1456363512 584983 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey there.
< 1456363517 597883 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That's the first thing I saw
< 1456364090 35064 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds
< 1456364276 151299 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456364461 46311 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net JOIN :#esoteric
< 1456364640 619704 :adu!~ajr@73.133.129.229 JOIN :#esoteric
< 1456365622 612761 :AlexR42!~textual@95.105.108.154 JOIN :#esoteric
< 1456365782 277818 :boily!~alexandre@96.127.201.149 JOIN :#esoteric
< 1456365798 890053 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL
< 1456365800 972644 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 250100Z 03022G27KT 4SM -FZRA BKN006 OVC010 M00/M01 A2963 RMK SF6SF2 PRESFR SLP036
< 1456365816 881312 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Freezing Cow Weather.
< 1456365942 408038 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection
< 1456366130 342209 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer
< 1456366446 847512 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily
< 1456366457 82282 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :aubergine is now online
< 1456366503 335456 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :quinthellopia!
< 1456366507 743210 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :aubergine? online?
< 1456366516 71939 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :http://aubergine.tryitonline.net/
< 1456366529 859388 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :holy fungot.
< 1456366530 109290 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: " tackled" in what sense? not to be a web page
< 1456366535 831359 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :purple is too, but ubergenes needs securing
< 1456366545 976473 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :that is...
< 1456366549 86319 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :wow.
< 1456366564 798928 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION sheds a tear
< 1456366665 921756 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :dennis is p cool
< 1456366690 243228 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what you up to?
< 1456366735 997080 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wanna play games friday?
< 1456366780 852061 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I'm back home after a spicy Chinese supper.
< 1456366808 225205 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :sure! I just have to be home Friday.
< 1456366819 866977 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: Do you own http://tryitonline.net/ ? Or is that a major website I haven't noticed yet?
< 1456366836 784457 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[1].
< 1456366838 182808 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hppavilion[1]: dennis owns it
< 1456366846 300459 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Who?
< 1456366857 945831 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Is that a person I should know about?
< 1456366860 397984 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: just be on steam and ill ping you
< 1456366880 349069 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hppavilion[1]: sure! everyone should know dennis!
< 1456366899 282860 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what's a dennis?
< 1456366899 878481 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: OK, help me know dennis/
< 1456366901 211461 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :*.
< 1456366910 949560 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Whot is this dennis you speak of?
< 1456366922 758299 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :he's the most golfiest of golfers on ppcg
< 1456366931 613035 :mad!~madbrain@69.165.212.148 JOIN :#esoteric
< 1456366947 639470 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah!
< 1456367021 319280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: did you `list yet hth
< 1456367032 699225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather
< 1456367034 159357 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? (?metar CYUL) \ (?metar ENVA) \ (?metar ESSB) \ (?metar KOAK)
< 1456367037 623276 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 250200Z 03021G31KT 5SM -FZRA BKN006 OVC012 M00/M01 A2957 RMK SF6SF2 PRESFR SLP016 \ ENVA 250120Z 27015KT 9999 SCT009 BKN015 02/00 Q0999 RMK WIND 670FT 28015KT \ ESSB 250150Z AUTO 23006KT 9999 NCD M03/M05 Q0998 \ KOAK 250153Z 31007KT 10SM FEW200 17/08 A3010 RMK AO2 SLP194 T01670083
< 1456367041 748604 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Nope, not even sure what that is
< 1456367043 101977 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`list
< 1456367051 908651 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname
< 1456367052 573250 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why not KATL?
< 1456367061 149089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :quintopia: feel free to add it hth
< 1456367084 190213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: It's a list of nicks.
< 1456367091 825965 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lambda would run out of space tho
< 1456367096 860064 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: OK.
< 1456367105 708424 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And now you're on the list.
< 1456367110 21784 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`list
< 1456367115 635485 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname
< 1456367123 250480 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :...
< 1456367124 820079 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :FUUUUUUUUUUUUUUUUUUUUUUUU
< 1456367138 442696 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION pat pat pat hppavilion[1]
< 1456367141 717335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? list
< 1456367142 783818 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :list is a fun program that HackEgo has! Run it with `list and join the fun!
< 1456367151 359008 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: don't worry, it only hurts once.
< 1456367175 244265 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: is there any way to make lambdie answer with multiple messages?
< 1456367181 813891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure.
< 1456367187 250908 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :that way we'd cover all the most important metars.
< 1456367199 486620 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456367224 525172 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: So I take it that tryitonline executes on the server?
< 1456367289 713351 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes
< 1456367296 395179 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah.
< 1456367357 969883 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm trying yet again to make a pan-unicode programming language
< 1456367379 690732 :mad!~madbrain@69.165.212.148 PRIVMSG #esoteric :neo-apl? :D
< 1456367415 201589 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: as long as it features ¨ on egregious glyphs, and that multiocular O.
< 1456367428 92110 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mad: o hai. are you mad, or madbr?
< 1456367443 362896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? mad
< 1456367444 158842 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :mad: Nah, it's a stacky lang for now
< 1456367444 317579 :mad!~madbrain@69.165.212.148 PRIVMSG #esoteric :mad=madbr=madbrain
< 1456367444 543890 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :This wisdom entry was censored for being too accurate.
< 1456367460 499560 :mad!~madbrain@69.165.212.148 PRIVMSG #esoteric :it's just an alt nick ;)
< 1456367520 829598 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :makes sense.
< 1456367587 908697 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`le/rn madbr/He alternates between making sense, and being logical. He doesn't monetize the brotherhood scheme.
< 1456367590 678168 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «madbr»
< 1456367695 333744 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :good night boily
< 1456367729 806332 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bonne nuitopia!
< 1456367736 190109 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hppavilion[1]: sounds pointless :p
< 1456367767 366951 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: Welcome to #esoteric. You new here?
< 1456367793 615093 :andrew!~andrew@14.154.165.139 JOIN :#esoteric
< 1456367818 129978 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? quintopia
< 1456367819 147489 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :quintopia is our resident tl;dr generator. He is flooded by thundercats and thunderdogs.
< 1456367829 117750 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? hppavilion[1]
< 1456367830 240369 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe.
< 1456367869 493201 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hppavilion[1]: are you? most folks here are a lot lazier than that
< 1456367895 828559 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: Fair point xD
< 1456367950 823697 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :time to hit the sack and understand the inherent properties of my pillow.
< 1456367967 62804 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilionne nuit[1].
< 1456367988 577810 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mad: eeeeh... bonne nuit toéssi. m'a toujours bin trouver de quoi avec ton nick demain qui fitte avec bonne nuit.
< 1456368010 68997 :boily!~alexandre@96.127.201.149 QUIT :Quit: KERNEL CHICKEN
< 1456368017 670240 :mad!~madbrain@69.165.212.148 PRIVMSG #esoteric :...oké ;)
< 1456368163 932794 :mad!~madbrain@69.165.212.148 QUIT :Read error: Connection reset by peer
< 1456368412 87126 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection
< 1456368461 183259 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :J"bo!vig!ybnswt <-- encrypted
< 1456368556 51777 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :i was pinge
< 1456368559 467930 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :i was pinged*
< 1456368565 661936 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :<b_jonas> although I'm not really sure how you'd noping "^v". maybe like "↑v" (which is two extra bytes, not only one).
< 1456368568 587729 :adu!~ajr@73.133.129.229 QUIT :Ping timeout: 255 seconds
< 1456368571 774381 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :hi
< 1456369083 942424 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds
< 1456369483 724901 :mad!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric
< 1456369532 26806 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :got a strange cpu design which seems pretty balanced on paper
< 1456369583 709786 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :instructions come in 4-instruction groups (32bits each, so each group is 128bits, always aligned)
< 1456369598 431957 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :2 go to the "front end", 2 go to the "back end"
< 1456369635 37136 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :front end is basically a classic MIPS
< 1456369661 24505 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :except one of the registers is a "queue input" ie every time an instruction writes there, the value is queued to the back-end
< 1456369709 482134 :AlexR42!~textual@95.105.108.154 QUIT :Remote host closed the connection
< 1456369734 618470 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :also one of the variants of 'store' doesn't specify the data to store and simply protects the memory address from loading/storing until the back-end queues an output value
< 1456369789 352467 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the back end is also similar to a MIPS but one of the registers is a 'queue input', which pops one value coming in from the front end
< 1456369830 778109 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and the result of an alu operation can be queued to the memory output queue
< 1456369859 43257 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :also the back end only has ALU operations, no load/store
< 1456369872 292086 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net PRIVMSG #esoteric :how is an address protected?
< 1456369889 30581 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the address is added to the write queue
< 1456369909 852697 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :every time a value is loaded/stored, it's compared to all the addresses in the write queue
< 1456369946 421984 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if any matches, it stalls until the matching write in the write queue is executed
< 1456370021 370186 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :most CPUs these days do this actually
< 1456370028 80159 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's just that they don't expose it
< 1456370422 416675 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric
< 1456370529 967422 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456370545 957113 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric
< 1456371404 291412 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric
< 1456371480 906145 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow
< 1456372040 485303 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :omg why did i put landing legs on my communication satellite?
< 1456372057 321300 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :because they're cool
< 1456372087 776367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or maybe you want to land on a death star.
< 1456372548 355798 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so that it can stand upright as ppl work on it?
< 1456372568 929324 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :though I guess you'd remove the legs before sending it to space
< 1456372578 990371 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah
< 1456372670 452034 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the reason why I chose the death star is that the satellite isn't going to change its speed much, so most of the approach navigation will have to be done by the object it's going to land on)
< 1456372725 289495 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving
< 1456372953 999037 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Ping timeout: 240 seconds
< 1456373883 290235 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :anyone feel like gaming
< 1456373947 782229 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]!
< 1456373957 304468 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :adu!
< 1456373969 159481 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait... i don't know you
< 1456373972 429509 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`? adu
< 1456373977 681809 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :adu? ¯\(°​_o)/¯
< 1456373980 316376 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu!
< 1456373987 913007 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :neither does hackego :/
< 1456373988 394406 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`? quintopia
< 1456373993 266191 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :quintopia is our resident tl;dr generator. He is flooded by thundercats and thunderdogs.
< 1456373999 246605 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`le/rn adu/Bye!
< 1456374002 414487 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «adu»
< 1456374010 421604 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :clever :P
< 1456374010 968056 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: what's happening with my nick?
< 1456374020 574031 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: ?
< 1456374025 368474 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I just had a power outage for 1 hour
< 1456374035 609080 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Is the line not highlighted all the way?
< 1456374042 97659 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, power outages suck
< 1456374051 522568 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: we lit like 50 candles, and then blew out 50 candles when the power came on again
< 1456374057 356408 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :xD
< 1456374061 405165 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :it was fun
< 1456374064 978278 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Did I tell you about thoof?
< 1456374075 843375 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: is that the proof about Peano?
< 1456374087 203751 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: or PCRE-based proofs?
< 1456374093 320425 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Yes
< 1456374097 251371 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: Yes
< 1456374098 610003 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :PCRE-based proofs
< 1456374101 246648 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK
< 1456374117 144921 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm low on battery
< 1456374127 296479 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: are you having a power outage?
< 1456374176 785646 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :and what's with the ZWSP?
< 1456374176 983241 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :No
< 1456374189 158780 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :¯\(°​_o)/¯
< 1456374215 503060 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ZWSP???
< 1456374238 296761 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zero-width-space?
< 1456374241 301333 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :in my font, looks like ¯\(°[ZWSP])/¯
< 1456374251 69742 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh'
< 1456374285 470152 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I'm trying to figure out what it's supposed to look like
< 1456374304 998834 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's not supposed to render
< 1456374327 323032 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :then what is it?
< 1456374345 50001 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: what does it look like on your screen?
< 1456374346 834564 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Zero-width spacer?
< 1456374352 903606 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Nothing
< 1456374359 81619 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(°_o)
< 1456374369 967011 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ah
< 1456374372 614727 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :eyes?
< 1456374374 250175 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: We should make one with legs xD
< 1456374383 378494 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(°_o)
< 1456374385 514256 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric : / \
< 1456374389 361685 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[1]: myndzi is awol
< 1456374389 533297 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :It's the dunno lol face
< 1456374390 332372 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :No...
< 1456374395 428541 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(°_o)
< 1456374397 615859 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :  |
< 1456374400 582884 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric : / \
< 1456374402 671732 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: That looks more like it's laughing
< 1456374404 351109 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I see the arms, I don't see the face
< 1456374422 658481 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I have a special font that renders unicode spaces
< 1456374426 117285 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Have you not seen it before?
< 1456374429 918128 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: That must be it then
< 1456374431 642977 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: seen what?
< 1456374447 926204 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I've seen butt face: (_|_)
< 1456374450 658063 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? questionable content
< 1456374451 759158 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :questionable content? ¯\(°​_o)/¯
< 1456374454 34101 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :http://idunnolol.com/
< 1456374455 425874 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I think that oerjan was doing something with ping prevention
< 1456374462 46073 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: is that a 4chan thing?
< 1456374468 526253 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :¯\_(ツ)_/¯
< 1456374470 878630 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric ::(
< 1456374479 460687 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :The middle doesn't render
< 1456374480 565796 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ACTION doesn't do 4chan
< 1456374486 622534 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :¯\(°_o)/¯
< 1456374488 447358 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :looks like katakana
< 1456374508 728271 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: that's better :)
< 1456374524 716321 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Yay!
< 1456374535 870278 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: looks like zim or grr making *whaaa* or *wheee* face
< 1456374551 457869 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That's a fair comparison :D
< 1456374562 844188 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ACTION likes zim and grr
< 1456374566 306479 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ACTION doesn't like 4chan
< 1456374607 703689 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Nobody likes 4chan. They all moved to infinitychan.
< 1456374614 317982 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`? 4chan
< 1456374615 430016 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :4chan? ¯\(°​_o)/¯
< 1456374618 671973 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :...
< 1456374622 404826 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lolol
< 1456374626 592528 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ಠ_ಠ
< 1456374637 298925 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm not angry, I'm just disappointed.
< 1456374654 544055 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :💩
< 1456374709 181342 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I can't wait until they make racist fonts
< 1456374724 46731 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: ?
< 1456374731 829466 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :http://unicode.org/reports/tr51/
< 1456374828 325558 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sorry, not "racist", I meant "FITZPATRICK TYPE"
< 1456374869 725535 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn 4chan is twice as loud as stereo.
< 1456374872 331048 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned '4chan': 4chan is twice as loud as stereo.
< 1456374888 814138 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Unicode discriminates against purple people with ultraviolent pokadots
< 1456374897 689968 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: lol
< 1456374918 682418 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Pokadots that will rip you to shreds given the chance
< 1456375017 758456 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :you know how some people want to go back in time and kill hitler?
< 1456375038 266800 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I want to go back in time and kill 4chan, and gif, and compuserve
< 1456375068 515560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gif is great
< 1456375075 577457 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :What did gif ever do to you?
< 1456375081 9871 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :shachaf: tell that to PNG, and JPEG2000
< 1456375089 433062 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: It also discriminates against black gas pumps
< 1456375091 916882 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :adu: none of which were around in 1989
< 1456375100 921400 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Choosy moms choose GIF
< 1456375112 178455 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Though I shudder to pronounce it that way
< 1456375113 542229 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :adu: gif is *old*. it was great at the time.
< 1456375118 827044 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :int-e: well, maybe I'll publish a paper on DWTs in 1972
< 1456375142 53913 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :much better than PCX, for example
< 1456375149 328452 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :http://unicode.org/reports/tr51/#Subject_Emoji_Modifiers
< 1456375166 998680 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I feel like getting a negative Erdős number would be a productive use of a time machine
< 1456375176 343061 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: that's the same link
< 1456375184 57297 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oh, you did an anchor
< 1456375186 200289 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Yes, but that section explains my joke
< 1456375187 922467 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :n/m
< 1456375248 421017 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: you can't publish -1 papers with Erdos
< 1456375265 878792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :adu: really, don't kill gif. kill the netscape navigator authors who came up with the blink tag and thought displaying animanted gives was a bright idea, if you must kill somebody.
< 1456375282 709011 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/gives/gifs/
< 1456375301 849463 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :adu: No, but you could be the primary author on his first paper
< 1456375304 585220 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It is beyond the scope of Unicode to provide an encoding-based mechanism for representing every aspect of human appearance diversity that emoji users might want to indicate.
< 1456375313 873619 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I would be willing to kill <blink>, but not netscape
< 1456375321 718420 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I think I found a new niche for character encodings
< 1456375332 125783 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I would just kill the guy who invented blink
< 1456375343 459910 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :netscape gave birth to mozilla, and mozilla gave birth to Rust, and I am madly in love with Rust
< 1456375343 697058 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :adu: whatever was wrong with mosaic ;)
< 1456375365 779794 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :we had rust before we had computers...
< 1456375375 708058 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: A character encoding with ALL the possible emoji in it
< 1456375379 122087 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :int-e: not rust, "Rust"
< 1456375380 450577 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I'd go back in time and fix the mess that is User-Agent
< 1456375390 416419 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://www.rust-lang.org/
< 1456375391 877904 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(these newfangled language names that are common words really annoy me)
< 1456375421 869631 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Go is the worst offender, but neither "rust" nor "swift" are much better)
< 1456375422 802402 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Like Ruby? And Python? And C?
< 1456375443 553352 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :at first, I thought Rust was the same as Dylan, Delphi, Julia, Nim, you know the new compiled langs
< 1456375469 288178 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but then it grew on me, and I learned about the borrow, oh, the borrow
< 1456375496 984583 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: It's funny that google named their language Go, knowing full well googling "go" will probably get the word excluded from the search
< 1456375508 410752 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Go and Swift are tinker toys, I don't really consider them compiled languages
< 1456375517 29758 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[1]: they were in the position to "fix" that
< 1456375524 555967 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I'm surprised there isn't a Rust library called Arrietty, yet
< 1456375558 550245 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Go and Swift are not really architecturally different than Cython or GCJ, just different names for stuff
< 1456375569 784528 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :adu: I think the presence and use of a compiler is what makes them compiled languages. :/
< 1456375590 74057 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: is Cython compiled? is GCJ compiled? no
< 1456375597 403754 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :adu : how do go/swift/cython/gcj work architecturally?
< 1456375610 18396 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :they're slight optimizations of a fundamentally interpreted model
< 1456375645 49244 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :So "compiled" means "compiled to machine code" for you
< 1456375658 534411 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Rather than, say, bytecode or an IR
< 1456375686 539231 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: no, compiled is a philosophy, which you can't get by optimizing the interpreted, garbage collected, extremely RTTI-dependant model
< 1456375708 641376 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hmm, perhaps I meant statically typed
< 1456375744 122319 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :my usual classification is (I)static-typed-manual-mem-alloc (C++, asm, pascal...), (II)static-type-globally-garbage-collected (Java, C#), (III) dynamic-typed-globally-garbage-collected (perl, python, lua, javascript...)
< 1456375828 563952 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I haven't touched go/swift/etc... but my really murky understanding was that they were somewhere between category (I) and (II)
< 1456375875 397928 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :one is "I am assembling an efficient binary with as few key presses as possible", and the other is "I'm playing with ideas, to see what happens without a compilation step"
< 1456375925 790489 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated
< 1456375945 530637 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :like, my classification is based on speed grades: you can get java to run pretty fast, but you can never prevent the garbage collector from stopping the world once in a while, which is why people who need speed grade (I) have never moved to java or C# (video games, pro audio)
< 1456375961 801077 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de JOIN :#esoteric
< 1456376015 903738 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :this is also why asm.js exists: javascript is in speed grade (III) and cannot be moved from there, so they had to come up with something new for a faster speed grade
< 1456376042 757830 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: Go is similar to Cython in the sense that the Go runtime is pretty much all of Plan9, but you get a binary from it so it's "compiled", Swift is Objective-C with a different syntax, Cython compiles your Python to C using libpython, so all the slowness of Python can still creep up on you, and GCJ compiles Java
< 1456376070 689833 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: sometimes speed and philosophy are incompatible
< 1456376165 377852 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well, yeah, this is why speed grades exist
< 1456376178 512731 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: for BC/IR I would use "precompiled"
< 1456376199 666325 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prooftechnique: because there's still a lot of work to do
< 1456376210 913843 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :basically this is "given a perfect compiler/interpreter what's the fastest it can go"
< 1456376263 429567 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: there are many stop-free GCs, Go just switched to one recently, iirc
< 1456376327 128454 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :adu: I'll believe that when I see it
< 1456376347 538230 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://talks.golang.org/2015/go-gc.pdf
< 1456376353 134704 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :| (• ◡•)|
< 1456376359 211804 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh, also, generally grade (III) languages can't be threaded (except for lame workarounds like worker objects)
< 1456376363 105130 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(❍ᴥ❍ʋ)
< 1456376420 936059 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://golang.org/doc/go1.5
< 1456376426 958321 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1456376436 258601 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and languages in the same speed grade can generally be linked together (like asm and c++ in the same project)
< 1456376466 662386 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :whereas c++ and java together means you get to use the horribly clunky JNI
< 1456376497 768245 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :"virtuous cycle"
< 1456376507 337982 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: well, with your speed grades, I would put Go/Swift in (II) and Rust in (I)
< 1456376529 54613 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ಠ‿ಠ
< 1456376564 46925 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Go has a clunky FFI because it uses a completely incompatible calling convention
< 1456376586 523106 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :adu: I remember reading somewhere in rust documentation about one guy proposing to literally remove garbage collected objects so I guess that works there
< 1456376591 413369 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Rust uses the clang calling convention, which iirc, is the same as gcc
< 1456376617 756964 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: there is no gc in rust
< 1456376653 516320 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: there is a library, which no one uses, which provides a Gc<T> generic type
< 1456376716 780394 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: I think rust-0.1-alpha had gc builtin, but that was way before 1.0 was released
< 1456376772 81934 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :"GC pause  [graph has points from about 0.2ms to 2.8ms]"
< 1456376833 977616 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds
< 1456376865 919525 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's probably fast enough for video games (not for pro audio tho ;) )
< 1456377001 572040 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :"[LATENCY] [50 miliseconds]: Perceptual Causality (cursor response threshold)"
< 1456377022 867806 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :not true
< 1456377046 630292 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :that's like 3 frames
< 1456377069 621515 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :people can see and feel 3 frames
< 1456377202 307657 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: source?
< 1456377203 682412 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :also it's impossible to play a synthesizer with 50ms latency
< 1456377222 28196 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :adu : add a 3 frame lag to a video game
< 1456377231 643310 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: link?
< 1456377234 609949 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :guaranteed people will see it
< 1456377241 951255 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: reference?
< 1456377280 922553 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: url?
< 1456377323 773239 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :just play minecraft and you'll see
< 1456377338 350728 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: minecraft is not written in Rust
< 1456377355 395596 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the game has small lags all the time (which is probably inevitable considering how it works)
< 1456377400 764912 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: so your claim is that a certain lag is perceptible, not that Rust has gc
< 1456377406 614014 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :yes
< 1456377409 34728 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ah ok
< 1456377411 977989 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh
< 1456377413 643224 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I was confused
< 1456377429 288190 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I thought you were saying that lag wasn't perceptible :o
< 1456377429 992985 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric ::D
< 1456377442 767699 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I thought you were saying that Rust had gc
< 1456377445 281125 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric ::P
< 1456377448 866839 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection
< 1456377450 604948 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :ha of course not
< 1456377487 564132 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :my favorite FFI is Haskell's
< 1456377513 665121 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if Rust is in speed grade (I) then it has a bright future
< 1456377555 715328 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if it was in speed grade (II) then I'd say it has to be better than C# or java... if it's in grade (I) it only has to be better than C++ :D
< 1456377564 989929 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :"foreign puts :: CString -> IO ()", almost every FFI function has "IO a" as it's return type, there's something beautiful about that
< 1456377598 781470 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :adu : considering how haskell reorders everything, it pretty much has to, no? :D
< 1456377643 604459 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: I don't think its so much about reordering as purity
< 1456377664 810909 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :both come together
< 1456377671 308483 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :C is "impure", and in order for Haskell to use it, it must be in the IO monad, which contains impurity
< 1456377681 540985 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you don't have purity then you can't reorder anything
< 1456377696 873907 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :maybe
< 1456377711 174364 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :you can only do small scale reorderings
< 1456377718 441217 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :(which is what GCC and LLVM do)
< 1456377761 795456 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I once saw a presentation about reordering in Sun's HotSpot JVM, and how it spawned a JCP community around it
< 1456377761 991128 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you increase the scale of the reordering the potential interactions grow way too quickly which is why you can only do small local reorderings
< 1456377788 460596 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh?
< 1456377792 157966 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :which then led to the official definition of "concurrent java"
< 1456377819 557331 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :java is also a fundamentally impure language
< 1456377859 589126 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and since you have referrences all over the place.. :3
< 1456377867 262598 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :yeah, and I know that java has had sync primitives from the beginning
< 1456377899 293218 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :sync is different
< 1456377904 858981 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :sync is just a mutex
< 1456377981 410903 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :basically when something is pure, that means it doesn't have referrences
< 1456378023 227433 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :it's like you can only have one of these two things in a language
< 1456378061 680492 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: if you're interesting it was something like this: http://www.slideshare.net/alexandermartens/the-java-memory-model
< 1456378065 380245 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :ACTION thinks of Rust as a mostly improved but sometimes weakened Haskell-lite
< 1456378073 252639 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but I'm pretty sure that's not the exact presentation
< 1456378184 812603 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: I wouldn't put Rust and Haskell on the same page
< 1456378195 858033 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: but their type systems are similar
< 1456378220 317629 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :adu : some of those "atomicity" rules are basically just going with what they implemented on CPUs
< 1456378222 64736 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :their stance on purity, of course, different
< 1456378264 657942 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :"Access to variables of primitive types (excluding long and double) and reference variables are atomic."
< 1456378272 779026 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :&mut is pretty much ... similar to either State or ST, not sure which
< 1456378276 51780 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :notice the (excluding long and double)
< 1456378312 168830 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :mad: or maybe it was http://www.slideshare.net/michalwarecki/java-memory-model-23207253
< 1456378352 976643 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: I never understood State or ST, my haskell programming carrer has been in the IO, List sandbox
< 1456378407 742337 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :State is take a T, give back a T
< 1456378419 703532 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :(And another value)
< 1456378442 18061 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: can I show off my haskell packages?
< 1456378460 327437 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Sure, but I'm more obsessed with Rust at the moment
< 1456378481 655186 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: :D
< 1456378496 145776 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: then can I show off my rust packages?
< 1456378502 723256 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Sure
< 1456378514 282317 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://github.com/andydude/rust-sha
< 1456378693 955293 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds
< 1456378732 954511 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric
< 1456378754 170534 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :My packages: https://github.com/Sgeo/take_mut and https://github.com/Sgeo/hlist
< 1456378766 562242 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Sgeo: I'm pretty sure it's the only SHA-3 implementation in Rust
< 1456378793 851579 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :heterogeneous list? are you insane?
< 1456378814 633809 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :With type-directed lookup reliant on type inference
< 1456378818 589366 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Here's something
< 1456378823 409726 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Antifunctions.
< 1456378827 354438 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :kinda wondering
< 1456378839 355736 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Functions are things that take [0, infinity) values and produce exactly 1 value
< 1456378844 161194 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you missed my showing off of my rust package: https://github.com/andydude/rust-sha
< 1456378859 602574 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Antifunctions take exactly one value and return [0, infinity) values
< 1456378875 915366 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: that sounds like category theory
< 1456378886 650069 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Does it?
< 1456378887 350593 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :GOod
< 1456378902 325886 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: How about Complex Fuzzy Bag typing (or just normal Fuzzy Bag typing)?
< 1456378932 843507 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :adu, I also have an anonymous sum type. It feels like playing with water, it just expands to fill its container
< 1456378938 973573 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :A type can be thought of like a set of possible values; a complex fuzzy bag type can be thought of as a set-like thing where values have a complex number representing how many times they appear in a set
< 1456378946 441117 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: That's gas.
< 1456378985 950178 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Water IS a gas *pretends that's what he had in mind*
< 1456378997 575985 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: Yeah, no
< 1456379015 55216 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Water is only water in liquid form IMHUQO
< 1456379028 222127 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you know what would sound even more category theory? co-functions
< 1456379036 350387 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :https://gist.github.com/Sgeo/ecee21895815fb2066e3
< 1456379045 740091 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: YES
< 1456379048 313025 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :co-functions
< 1456379054 883963 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: How do co-functions work
< 1456379061 805081 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: lolol
< 1456379067 677782 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: just how you described
< 1456379069 707981 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :Ping timeout: 240 seconds
< 1456379071 16245 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :What happens with the multiple values they return?
< 1456379084 824131 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Does the program fork?
< 1456379099 506555 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: "functions" are co-injective, so "co-functions" are just injective
< 1456379167 261405 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but "injective" generally implies a function, so you have to specify "injective mapping"
< 1456379221 215698 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: it probably works the same way the Haskell List monad does
< 1456379234 194190 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: The internet will not tell me anything about co-injective
< 1456379246 725847 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :if you do x <- xs; return (f x)
< 1456379257 923072 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :that's pretty much the same as a for-loop
< 1456379278 906326 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ys = []; for x in xs: xs.append(f(x))
< 1456379284 599877 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ys
< 1456379286 235004 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :damnit
< 1456379290 493063 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: What does the List Monad do?
< 1456379291 796173 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :my idea is ruined
< 1456379312 765298 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: it's kind of like a block, or { ... } thingy that runs on each element of the list
< 1456379330 987588 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah
< 1456379348 294878 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: What about semifunctions?
< 1456379348 945019 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: if you're really interested you should learn about Monads
< 1456379353 567920 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I should
< 1456379367 923202 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: there are only 2 operations defined on a monad: join and return
< 1456379383 153355 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK
< 1456379384 387906 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :adu, you need fmap too
< 1456379406 19438 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: "The Haskell Monad" f*cks it up a bit and only defined 2 methods: bind and return
< 1456379417 719911 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but other than that "The Haskell Monad" and the mathematical monad are the same
< 1456379461 849210 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: the List monad makes it easy to see, join :: [[a]] -> [a], and return :: a -> [a]
< 1456379468 31555 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So I'm trying to implement a category theory python library
< 1456379488 100297 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you can do whatever your heart desires, within reason
< 1456379489 315412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :adu: The "mathematical monad" is perfectly fine to define in terms of (>>=) and return.
< 1456379499 475282 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :shachaf: ah, my bad
< 1456379507 279129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People do it all the time.
< 1456379512 29844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With the Kleisli category or something.
< 1456379518 433880 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember what it was called.
< 1456379528 639470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Kleisli category isn't it.
< 1456379544 94130 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: oh, and bind is pronounced (>>=) in Haskell
< 1456379619 565564 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I know
< 1456379670 603506 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: YES!
< 1456379695 65807 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :THE _get_morphism_composition() METHOD FOR CATEGORY OBJECTS WORKS!
< 1456379706 338066 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Now I just hope that I actually need it
< 1456379720 868698 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lol
< 1456379776 977575 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(what it does is it looks for pairs of morphisms (f: x -> y, g: y -> z), and creates a new morphism f . g: x -> z
< 1456379778 874336 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :)
< 1456379790 773805 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :composition?
< 1456379797 280116 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(It uses the composition function the category is endowed with upon creation to compose them)
< 1456379810 778273 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :"endowed"
< 1456379818 87715 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(which is usually just composition adu, yes)
< 1456379821 668331 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I prefer "equipped"
< 1456379828 853502 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Well, that's passed to the __init__ method.
< 1456379831 645685 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I used to do math
< 1456379841 396942 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but then I got a job in I.T.
< 1456379848 912074 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Did you take a morphism to the knee?
< 1456379862 104550 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I'm not sure what that means IRL
< 1456379871 401620 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: An arrow to the knee
< 1456379876 528031 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ah
< 1456379877 996235 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :no
< 1456379885 387935 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: It's a hilarious reference to a meme
< 1456379900 820156 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you know what my favorite mem is?
< 1456379917 801423 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: SO am I doing it right so far? It also autogenerates identify morphisms for objects when added
< 1456379919 947334 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I do not
< 1456379931 961053 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Metameme
< 1456379944 833768 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Whoa
< 1456379950 165249 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :identify -> identity?
< 1456379976 13355 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: and now that I've told you about the metameme, you've just been infected with the meta-meta-meme
< 1456379998 902668 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :NOOOOOOOOOOOOOOOOO
< 1456380009 238586 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Yes, yes, identity
< 1456380114 917852 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So am I doing it right?
< 1456380129 120187 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Also, objects must all be of the same "sort"- graph, group, category, etc.
< 1456380158 954810 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Probably I should just github the code and let you go through it, but that would be too easy xD
< 1456380165 774147 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: do these identity morphisms take up lots of RAM?
< 1456380179 321355 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: If you have a big category, almost certainly.
< 1456380208 76568 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: there's something very theraputic/cathartic/Turingesque about learning things through black-box-questioning
< 1456380208 817753 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Then again, a morphism only takes up 128 bits IIANAI
< 1456380240 614420 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: OK
< 1456380305 175528 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :IIANAI = ?
< 1456380311 345424 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :If I Am Not An Idiot
< 1456380314 914522 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lolol
< 1456380321 795878 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Which I am, so that message was pointless.
< 1456380333 152397 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I think the proper term is IIRC
< 1456380341 903147 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: But I'm not remembering, I'm inferring
< 1456380365 642247 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm guessing that python only uses 64 bits to reference an already-existing object
< 1456380371 682289 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :"I don't count sheep, I lie down, and try to remember things I've never remembered before"
< 1456380384 169279 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :xD
< 1456380401 884595 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That actually sounds useful 0.0
< 1456380421 578627 :andrew!~andrew@14.154.165.139 QUIT :Ping timeout: 255 seconds
< 1456380436 327990 :andrew!~andrew@119.137.94.73 JOIN :#esoteric
< 1456380458 101735 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So, you can add objects to the category, which will add them and an identity morphism, and you can add morphisms by supplying a domain, a codomain, and a function that represents the transformation
< 1456380492 618134 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Adding new morphisms will then make the program check for nontrivial compositions and add them to the list of morphisms.
< 1456380505 655537 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :http://www.comedy.co.uk/guide/tv/qi/episodes/13/9/ --- well, um, some kind of hashtag for the part about "Tommy's father"
< 1456380537 389561 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :part -> parts
< 1456380543 601985 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :s/part/parts/
< 1456380561 645368 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :sometimes I forget I'm talking to geeks
< 1456380575 213729 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Anything else I have to add? Or mention?
< 1456380611 873501 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Or did wrong and must now change?
< 1456380638 293987 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: stacktraces
< 1456380682 359620 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: ...
< 1456380696 167470 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :what? stacktraces are important
< 1456380713 64668 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I think python will do the stacktraces for me
< 1456380722 529475 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oh, right, nm
< 1456380749 574377 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I think the most import part of any python library is 1 or 2 well-chosen decorators
< 1456380753 850650 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :xD
< 1456380764 852664 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I hate decorators and don't know why
< 1456380808 156359 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :for example, the Celery python library has @task for distinguishing between tasks and functions, and the AsyncIO python3 library has @coroutine for distinguishing between coroutines and functions
< 1456380830 682209 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: What if I want a cotask?
< 1456380845 100385 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :and, for example, my work has something called @try_requests which wraps an HTTP request with lots of status_code checking
< 1456380874 831950 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: This isn't a library for other people to use, just a thing for me to understand kittygory theory
< 1456380881 840731 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oh
< 1456380886 471410 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(I'm in close proximity to a kitty, don't blame me for my puns)
< 1456380895 317011 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(and low intelligence)
< 1456380910 578724 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: well, I'm sorry for revealing a trade secret
< 1456380937 184699 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :xD
< 1456380957 831425 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: http://docs.python-requests.org/en/master/
< 1456380979 309528 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :that's the trade secret, now you know
< 1456380997 347705 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I'm not asking what I need for the library, I'm asking what to do to have a working category theory library, which I'm making so that I can understand /what/ category theory is like. To make things clear.
< 1456381004 567655 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oh ok
< 1456381033 524197 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: so you have morphisms, identity morphisms, objects, categories, and functors?
< 1456381050 566432 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :do you have the https://en.wikipedia.org/wiki/Yoneda_lemma
< 1456381057 117867 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Functors- functors are just morphisms in a category category, right?
< 1456381077 798810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's backwards.
< 1456381085 522088 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: yes, for an object O, morphisms are (:: O -> O)
< 1456381090 22510 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's certainly not "just" true.
< 1456381104 799270 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: functors are (O, C) -> (O2, C2)
< 1456381107 808495 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: What would be more accurate
< 1456381132 564439 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :for all O in C and for all O2 in C2
< 1456381153 299474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A functor F : C -> D maps each arrow in C to an arrow in D such that F1 = 1 and Ff.Fg = F(f.g)
< 1456381155 675480 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: a functor must be structure-preserving
< 1456381174 208202 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh god...
< 1456381181 400788 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I just remembered why I don't understand category theory
< 1456381192 111311 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And I have to close down the computer and watch something soon
< 1456381195 729239 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: i.e. if O is a terminal object in C, then O2 must be a terminal object in C2
< 1456381217 34560 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So morphisms are the arrows in categories, right? Please tell me I got that right?
< 1456381222 528645 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: NOOOOOOOOOOOOO
< 1456381229 786447 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: yes
< 1456381234 462748 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, phew
< 1456381236 419103 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Scared me there
< 1456381237 938991 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: but functors are not just arrows
< 1456381256 370456 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: functors are a mapping between categories, in a way that all of the sub-arrows make sense
< 1456381261 942577 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah
< 1456381302 457533 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: my "NO" was to your leaving me alone
< 1456381340 527656 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :gtg
< 1456381344 224611 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lol
< 1456381351 180417 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :xD
< 1456381352 187248 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Bai
< 1456381472 451481 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you know I was joking, right?
< 1456381550 55225 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]?
< 1456381607 937726 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds
< 1456381648 961793 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :wow, hppavilion thought I was serious...
< 1456381964 534446 :adu_!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric
< 1456382127 277096 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Ping timeout: 276 seconds
< 1456382127 656128 :adu_!~ajr@c-73-133-129-229.hsd1.md.comcast.net NICK :adu
< 1456382938 623190 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how the heck did I end up on the one list?
< 1456383007 633989 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you searched pictures of isis
< 1456383042 724428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log share/conscripts | grep '<b_jonas>'
< 1456383043 834457 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :summary:     <b_jonas> revert
< 1456383078 741176 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh... but I thought I reverted something else
< 1456383080 54796 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :strange
< 1456383092 66331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess bin/list can restrict to culprits that actually ran `list
< 1456383104 169130 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, whatever, I'll have to dos myself out of the list with other nicks
< 1456383129 9707 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not again. :-(
< 1456383258 380813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log | grep -P 'summary:     <[^\s>]+> list$' | awk '{print substr($2,2,length($2)-2)}' | sed 's/.$/\x0F&/' | xargs
< 1456383261 622629 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] hppavilion[1] boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a lambdabot chicken_jonas myname chicken_jonas boily boily tswett metasepia Ngevd oklopol nortti Phantom_Hoover monqy Sgeo_ pikhq monqy Sgeo elliott Taneb elliott boily cuttlefish Taneb elliott boily ais52
< 1456383289 232858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log | grep -P 'summary:     <[^\s>]+> list$' | awk '{print substr($2,2,length($2)-2)}' | sed 's/.$/\x0F&/' | awk '!x[$0]++' | xargs
< 1456383292 595038 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a lambdabot chicken_jonas myname tswett metasepia Ngevd oklopol nortti Phantom_Hoover monqy Sgeo_ pikhq Sgeo elliott Taneb cuttlefish ais523
< 1456383333 541759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This one even works with the original implementation.
< 1456383423 816221 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe, grep -P instead of just putting it inside the awk statement
< 1456383459 51380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Look, I built it a piece at a time and copied from culprits.
< 1456383462 201658 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait
< 1456383467 386686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which, uh, does the same thing.
< 1456383473 412893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Look, I don't really know awk.
< 1456383477 191033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not that you need awk here.
< 1456383477 349006 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :doesn't that exclude thosee nicks where I invoked the command with an argument?
< 1456383482 673660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It does.
< 1456383490 32885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log | grep -P 'summary:     <[^\s>]+> list' | awk '{print substr($2,2,length($2)-2)}' | sed 's/.$/\x0F&/' | awk '!x[$0]++' | xargs
< 1456383492 992002 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname tswett metasepia Ngevd oklopol nortti Phantom_Hoover monqy Sgeo_ pikhq Sgeo fungot elliott Taneb cuttlefish ais523 olsner
< 1456383497 323989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log | grep -P 'summary:     <[^\s>]+> list\s?' | awk '{print substr($2,2,length($2)-2)}' | sed 's/.$/\x0F&/' | awk '!x[$0]++' | xargs
< 1456383500 379520 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname tswett metasepia Ngevd oklopol nortti Phantom_Hoover monqy Sgeo_ pikhq Sgeo fungot elliott Taneb cuttlefish ais523 olsner
< 1456383509 551517 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the \s? doesn't do anything you know
< 1456383516 839867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, right.
< 1456383530 654125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\s|$
< 1456383535 172802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something.
< 1456383536 401365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You fix it.
< 1456383857 92006 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log | awk '/summary:     <[^\s>]+> list(\s|$)/{n=substr($2,2,length($2)-2);if(!f[n]++)printf"%s ",sub(n,/.$/,"\x0F&")}' 
< 1456383868 381571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why are you substring $2?
< 1456383871 416086 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :awk: line 1: syntax error at or near &
< 1456383881 59390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can use <(^\s>]+)> or something.
< 1456383892 731479 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, it would be easier to use perl...
< 1456383896 947255 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric
< 1456383903 636729 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Back
< 1456383908 178972 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :especially since I don't speak enough awk
< 1456383911 503829 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log
< 1456383912 792159 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :changeset:   7005:3c723dce4e7b \ tag:         tip \ user:        HackBot \ date:        Thu Feb 25 04:34:31 2016 +0000 \ summary:     <int-e> learn 4chan is twice as loud as stereo. \  \ changeset:   7004:4c654b530cd9 \ user:        HackBot \ date:        Thu Feb 25 04:20:01 2016 +0000 \ summary:     <hppavilion[1]> le/rn adu/Bye! \  \ changeset:  
< 1456383917 632743 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: wut
< 1456383932 329842 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I'm back
< 1456383934 922892 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log | grep summary
< 1456383936 369798 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :summary:     <int-e> learn 4chan is twice as loud as stereo. \ summary:     <hppavilion[1]> le/rn adu/Bye! \ summary:     <boily> le/rn madbr/He alternates between making sense, and being logical. He doesn\'t monetize the brotherhood scheme. \ summary:     <hppavilion[1]> list \ summary:     <hppavilion[1]> list \ summary:     <shachaf> le/rn weath
< 1456383944 595186 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: wut
< 1456383954 877071 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: u wot m8?
< 1456383966 696013 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I don't speak LOL
< 1456383974 693843 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Good.
< 1456383997 311173 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` awk 'BEGIN{print"left\x0Fright";exit}' | cat -v
< 1456383998 103103 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :left^Oright
< 1456384003 271697 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I wanted you amuse ppl, that's all
< 1456384009 218244 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, then what was the syntax error
< 1456384016 313092 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :s/you/to
< 1456384044 339318 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think this might be simpler if I directly asked hg to put something more suitable
< 1456384048 650147 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Syntax Error: Unterminated s/// expression
< 1456384070 881149 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :/
< 1456384084 421199 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :s/// is a sed-ism
< 1456384089 674472 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :in ed it's not required
< 1456384091 894646 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: Yes, I know
< 1456384102 602746 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :although s// and s/// do something different in ed
< 1456384118 167985 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So what exactly is the mathematical definition of "making sense"?
< 1456384131 505350 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: non-contradiction
< 1456384135 256347 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I am currently laying on a blanket on top of a bare mattress pad
< 1456384143 730011 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log --template "{author} " culprits
< 1456384145 933181 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384147 143511 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: In the context of functors having to map arrows in a way that "makes sense"
< 1456384152 270823 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` type ed
< 1456384153 13421 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ed is /bin/ed
< 1456384158 723490 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log --template "{author} " bin/list
< 1456384160 114443 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBot HackBo
< 1456384161 726521 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat bin/`
< 1456384162 457580 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1"
< 1456384163 298812 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what file does list touch?
< 1456384179 655245 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log --template "{desc} " bin/list
< 1456384180 451879 :Jakeey802!af216de8@gateway/web/freenode/ip.175.33.109.232 JOIN :#esoteric
< 1456384180 815838 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​<shachaf> ` sed -i \'s/sort -u/awk \'\\\'\'!x[$0]++\'\\\'\'/\' bin/list <ais523> ` sed -i \'s!$! | xargs -n 1 | sort -u | xargs!\' bin/list <oerjan> ` sed -i \'s!conscripts!share/conscripts!g\' bin/list <shachaf> mkx bin/list//date > conscripts; culprits conscripts <shachaf> mkx bin/list//echo $(($(cat conscripts)+1)) > conscripts; culprits cons
< 1456384191 722516 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log --template "{desc}\n" bin/list
< 1456384192 125086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what!
< 1456384192 830189 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​<shachaf> ` sed -i \'s/sort -u/awk \'\\\'\'!x[$0]++\'\\\'\'/\' bin/list \ <ais523> ` sed -i \'s!$! | xargs -n 1 | sort -u | xargs!\' bin/list \ <oerjan> ` sed -i \'s!conscripts!share/conscripts!g\' bin/list \ <shachaf> mkx bin/list//date > conscripts; culprits conscripts \ <shachaf> mkx bin/list//echo $(($(cat conscripts)+1)) > conscripts; culpr
< 1456384196 842797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TG
< 1456384219 584608 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :conscripts!
< 1456384221 350185 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: if O, Q in C, and M(O) == Q, and O2, Q2 in C2, then M2(O2) must be Q2
< 1456384223 158631 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log --template "{desc}\n" conscripts
< 1456384223 981061 :Jakeey802!af216de8@gateway/web/freenode/ip.175.33.109.232 QUIT :Client Quit
< 1456384225 126662 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384236 46245 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` ls conscripts
< 1456384236 536655 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :> 8.21 / (60 / 21) 
< 1456384237 34954 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access conscripts: No such file or directory
< 1456384238 846329 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2.8735000000000004
< 1456384245 471675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's share/conscripts
< 1456384249 460273 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Ah?
< 1456384250 686379 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find -name conscripts
< 1456384260 583569 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: How do I put that in Python?
< 1456384261 575574 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​./share/conscripts
< 1456384262 822961 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I might have put the "if"s in the wrong place
< 1456384262 981017 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log --tempalte "{desc}\n" share/conscripts
< 1456384264 590586 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg log: option --tempalte not recognized \ hg log [OPTION]... [FILE] \  \ show revision history of entire repository or files \  \ options: \  \  -f --follow              follow changeset history, or file history across \                           copies and renames \  -d --date DATE           show revisions matching date spec \  -C --copies       
< 1456384269 599286 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: decorators
< 1456384278 286522 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log -l 512 --template "{desc}\n" share/conscripts
< 1456384279 205224 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Oh?
< 1456384279 447816 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​<hppavilion[1]> list \ <hppavilion[1]> list \ <b_jonas> revert \ <boily> list \ <a`a`a`a`jo7as> list \ <a`a`a`a`jo8as> list \ <a`a`a`a`jo3as> list \ <a`a`a`a`jo6as> list \ <a`a`a`a`jo5as> list \ <a`a`a`a`jo4as> list soon the too many nick changes rule will trigger on freenode \ <a`a`a`a`jo3as> list everypony \ <a`a`a`a`jo2as> list me too \ <a`a`
< 1456384286 982145 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right
< 1456384287 658120 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: You're pinging me a lot
< 1456384289 937122 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :> 8.74 / (21 / 60) 
< 1456384292 867667 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 24.971428571428575
< 1456384293 850057 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: sorry
< 1456384298 955650 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: Tis fine.
< 1456384303 881722 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Just thought I should mention it
< 1456384305 326516 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, it's a side-effect of the list
< 1456384324 330687 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: No, I mean how do I check that that is true? that O, Q...
< 1456384350 836217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: If you use hg log instead of hg log share/conscripts, it'll find other uses of `list
< 1456384361 491729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think part of the spirit of `list is that once you've done it once, it's unescapable.
< 1456384387 625979 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat bin/list
< 1456384388 462662 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :date > share/conscripts; culprits share/conscripts | xargs -n 1 | awk '!x[$0]++' | xargs
< 1456384405 277559 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Damn
< 1456384420 82862 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log -l 512 --template "{desc}\0" share/conscripts | perl -0ne '/^<([^>]*)> list[\s\0]/ and print$1'
< 1456384420 826970 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Forgot about `culprits`
< 1456384421 535298 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1]hppavilion[1]boilya`a`a`a`jo7asa`a`a`a`jo8asa`a`a`a`jo3asa`a`a`a`jo6asa`a`a`a`jo5asa`a`a`a`jo4asa`a`a`a`jo3asa`a`a`a`jo2asa`a`a`a`jo1asa`a`a`a`jonas0a`a`a`alambdabotchicken_jonaschicken_jonaschicken_jonasmynamechicken_jonasboilyboily
< 1456384429 770188 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: the way that Haskell does it is that the theorems and properties are clearly documented, and any time you disobey them, they call it "Unspecified Behaviour" and scare people
< 1456384432 403115 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat -v culprits
< 1456384433 359290 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: culprits: No such file or directory
< 1456384436 594269 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat -v bin/culprits
< 1456384437 455765 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs
< 1456384446 233610 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Ah
< 1456384446 442191 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :scary awk stuff
< 1456384450 993731 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log -l 512 --template "{desc}\0" share/conscripts | perl -0ne '/^<([^>]*)> list[\s\0]/ and print$1'
< 1456384452 247795 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1]hppavilion[1]boilya`a`a`a`jo7asa`a`a`a`jo8asa`a`a`a`jo3asa`a`a`a`jo6asa`a`a`a`jo5asa`a`a`a`jo4asa`a`a`a`jo3asa`a`a`a`jo2asa`a`a`a`jo1asa`a`a`a`jonas0a`a`a`alambdabotchicken_jonaschicken_jonaschicken_jonasmynamechicken_jonasboilyboily
< 1456384458 778547 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log -l 512 --template "{desc}\0" share/conscripts | perl -0ne '/^<([^>]*)> list[\s\0]/ and print"$1 "'
< 1456384460 245613 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] hppavilion[1] boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo3as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas chicken_jonas chicken_jonas myname chicken_jonas boily boily
< 1456384471 348775 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: if you want a system that enforces it, I suggest Coq, and no, that's not sexual
< 1456384476 491824 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :xD
< 1456384479 458968 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I've heard of Coq
< 1456384483 870263 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I'm MAKING a bad Coq
< 1456384488 197987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log -l 512 --template "{desc}\0" share/conscripts | perl -0ne '/^<([^>]*)> list[\s\0]/ and!$t{$1}++and print"$1 "'
< 1456384489 545757 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname
< 1456384494 632605 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Coq means chicken in some language
< 1456384497 284819 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So I just make a Functor class (possibly a subclass of Morphism) that raises an exception if you violate the GRAND PROPERTIES OF FUNCTORS
< 1456384500 109760 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: French.
< 1456384504 686938 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` hg log -l 512 --template "{desc}\0" share/conscripts | perl -0ne '/^<([^>]*)>/ and!$t{$1}++and print"$1 "'
< 1456384505 941066 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname
< 1456384507 424978 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's obviously french.
< 1456384510 956845 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: French, figures
< 1456384575 559874 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I'm just attempting to provide bibliographic references in case you want to write a paper about it
< 1456384606 340806 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: What exactly are you trying to do?
< 1456384620 38258 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :b_j: wut
< 1456384634 335771 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So again, do I implement functors by making the functor class, which throws an exception when you don't functor properly?
< 1456384655 181054 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -e-e($o="bin/culprits-ng") and die; open$O,">",$o or die; print $O qq{#!/bin/sh\n},q{exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and!$t{$1}++and print"$1 "'}; close$O;chmod 0755,$o or die;
< 1456384657 921902 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384660 159167 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, you don't implement these things in Python at all.
< 1456384661 600450 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456384670 499733 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng share/conscripts
< 1456384671 249749 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I do because I'm a rebel
< 1456384671 720846 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname
< 1456384674 802081 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: there's a thing I did to wrap every function everywhere
< 1456384676 145811 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng wisdom/ent
< 1456384677 621147 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :b_jonas
< 1456384680 703776 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: let me see if I can find it
< 1456384695 966520 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng wisdom/oerjan
< 1456384697 395715 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachaf oerjan elliott Bike FreeFull ais523
< 1456384702 179069 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, this works
< 1456384735 951784 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :First-class shebang hth
< 1456384767 253228 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo $PATH
< 1456384768 94540 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin
< 1456384771 70036 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: http://pastie.org/10736764
< 1456384807 363404 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -e-e($o="bin/list-ng") and die; open$O,">",$o or die; print $O "#!/bin/sh\nexec culprits-ng ~/share/conscripts\n"; close$O;chmod 0755,$o or die;
< 1456384808 900680 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Huh? What's that?
< 1456384809 591927 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384826 464985 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo > bin/culprits-ng
< 1456384828 914619 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384836 406361 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng bin/list
< 1456384837 328752 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384838 848659 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, to wrap ALL the functions
< 1456384844 150947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh
< 1456384845 858930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Wait, usually you don't want culprits to uniq
< 1456384849 230773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's only relevant for `list
< 1456384859 797622 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: Are you trying to un`list yourself?
< 1456384861 185860 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: debug_wrap_module() wrapps every function in a module to do something before and after the function, similar to "aspect-oriented programming"
< 1456384871 862778 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ooooh
< 1456384875 205440 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: using "functools" you can probably do something similar
< 1456384875 972319 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -e-e($o="bin/culprits-ng") and die; open$O,">",$o or die; print $O "#!/bin/sh\n",q{exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and!$t{$1}++and print"$1 "'},"\n"; close$O;chmod 0755,$o or die;
< 1456384876 641440 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Died at -e line 1.
< 1456384882 186543 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: it shouldn't uniq? ok
< 1456384888 192422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I don't know.
< 1456384894 369729 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -e($o="bin/culprits-ng"); open$O,">",$o or die; print $O "#!/bin/sh\n",q{exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and!$t{$1}++and print"$1 "'},"\n"; close$O;chmod 0755,$o or die;
< 1456384897 377125 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384899 754396 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng bin/list
< 1456384900 977429 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachaf ais523 oerjan elliott Sgeo Phantom_Hoover tswett boily metasepia Ngevd oklopol nortti monqy Sgeo_ pikhq fungot Taneb cuttlefish Jafet Bike
< 1456384920 95281 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: also, decorators are a great way to do something before and after a function
< 1456384946 259099 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: OK, but this doesn't help me with functors xD
< 1456384968 277001 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -e($o="bin/culprits-ng"); open$O,">",$o or die; print $O "#!/bin/sh\n",q{exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "'},"\n"; close$O;chmod 0755,$o or die;
< 1456384970 292521 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456384976 402143 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng bin/list
< 1456384978 831897 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachaf ais523 oerjan shachaf shachaf elliott Sgeo Phantom_Hoover elliott elliott tswett tswett elliott tswett boily boily metasepia tswett Ngevd oerjan elliott oerjan elliott Sgeo oklopol nortti elliott shachaf elliott Phantom_Hoover Phantom_Hoover Phantom_Hoover Phantom_Hoover monqy elliott Sgeo_ pikhq oerjan shachaf elliott shachaf elliott monqy
< 1456384982 722072 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng wisdom/ent
< 1456384984 122652 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :b_jonas b_jonas b_jonas b_jonas
< 1456384986 91485 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits-ng wisdom/oerjan
< 1456384986 982574 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachaf shachaf oerjan shachaf oerjan shachaf oerjan elliott Bike FreeFull shachaf shachaf ais523 ais523 elliott FreeFull oerjan FreeFull oerjan shachaf
< 1456384995 33060 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I think `list is a fun club you get to be in B|
< 1456385004 9209 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Any chance you could do this in privmsg?
< 1456385012 475096 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sgeo: OH MY GOD YES
< 1456385020 464116 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :gtg
< 1456385023 268215 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I FORGOT ABOUT PRVMSG
< 1456385023 626553 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu
< 1456385027 910109 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Wooooooooooow
< 1456385046 145021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm kind of interested in the EgoHacks.
< 1456385053 974808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I guess it's pretty noisy.
< 1456385066 614033 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm wait
< 1456385069 354396 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Maybe put a zero-width space between every character?
< 1456385078 178124 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it needs to noping them people
< 1456385080 622697 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like culprits does
< 1456385191 421542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :#`perl -e($o="bin/culprits-ng"); open$O,">",$o or die; print $O "#!/bin/sh\n",q{exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne 'if(/^<([^>]*)>/){$n=$1;}'},"\n"; close$O;chmod 0755,$o or die;
< 1456385201 995377 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` chmod 644 bin/culprits-ng
< 1456385204 170121 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll fix it later
< 1456385204 778806 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456385214 968299 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I'll need to implement proper noping for it
< 1456385220 82111 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which is mor than I can do right now
< 1456385241 986944 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you don't want to see it here, I can do it in private message (or some other channel)
< 1456385271 951592 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rm bin/list-ng
< 1456385274 94157 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456385277 29997 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rm bin/list-ng
< 1456385277 893586 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `bin/list-ng': No such file or directory
< 1456385299 284570 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`list
< 1456385308 61472 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname
< 1456385352 307920 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Weird that there's some strange character between 1 and ]
< 1456385473 393750 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: that's because the actual list command does a noping
< 1456385516 532023 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection
< 1456386528 247840 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :so i was looking for an easy way to get the maximum amount of entropy out of a floating point value
< 1456386567 64555 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :right now what i do is divide the float by two until its less or equal to 1 then multiply it by 0xFFFFFFF
< 1456386735 600266 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1456386738 866639 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :so idk if theres anything short of getting the raw mantissa and exponent of it 
< 1456389145 954829 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456389419 935932 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds
< 1456390514 321061 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Gulpo, the Fish who eats Conceps
< 1456390517 291102 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :*Concepts
< 1456390681 619061 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 255 seconds
< 1456393854 40098 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric
< 1456394011 800786 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Sisyphus: The Video Gaem
< 1456394403 592439 :andrew!~andrew@119.137.94.73 QUIT :Remote host closed the connection
< 1456395154 963179 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds
< 1456395639 224216 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1456395820 670374 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric
< 1456396394 43599 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456396655 69977 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds
< 1456396924 82466 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds
< 1456397078 984868 :noncom!~noncom@37.221.200.34 JOIN :#esoteric
< 1456397727 57922 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1456398967 981127 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds
< 1456399509 261656 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Remote host closed the connection
< 1456400043 941555 :boily!~alexandre@96.127.201.149 JOIN :#esoteric
< 1456400272 605096 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL
< 1456400273 597223 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 251131Z 01010KT 2 1/2SM -RA BR OVC003 00/M00 A2912 RMK SF8 -RA INTMT SLP863
< 1456400287 282772 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what was that shachafweathercommand again...
< 1456400292 137040 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? weather
< 1456400299 982934 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? (?metar CYUL) \ (?metar ENVA) \ (?metar ESSB) \ (?metar KOAK)
< 1456400301 614221 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 251131Z 01010KT 2 1/2SM -RA BR OVC003 00/M00 A2912 RMK SF8 -RA INTMT SLP863 \ ENVA 251120Z 32005KT 9999 VCSH FEW015 SCT025CB BKN049 02/00 Q0999 NOSIG RMK WIND 670FT 30006KT \ ESSB 251120Z 24006KT CAVOK 01/M04 Q0998 R30/19//56 \ KOAK 251053Z 32004KT 10SM CLR 13/09 A3011 RMK AO2 SLP195 T01280089
< 1456400325 77714 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :yup. No Cow Weather indeed.
< 1456400883 93191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EGLL
< 1456400884 141143 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 251120Z AUTO 32005KT 290V350 9999 BKN015 04/M01 Q1018
< 1456400886 481132 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EFHK
< 1456400888 143455 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EFHK 251120Z 20014KT 9999 BKN015 02/M01 Q0997 TEMPO BKN014
< 1456400897 970440 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's not a big difference.
< 1456402695 41544 :benderpc_!benderpc@2404:e800:e61a:41d:345e:bfc6:621b:d773 JOIN :#esoteric
< 1456402740 885488 :boily!~alexandre@96.127.201.149 QUIT :Quit: WEEKLY CHICKEN
< 1456402779 612964 :benderpc_!benderpc@2404:e800:e61a:41d:345e:bfc6:621b:d773 QUIT :Changing host
< 1456402779 770725 :benderpc_!benderpc@unaffiliated/bender/x-9459530 JOIN :#esoteric
< 1456402793 777793 :benderpc_!benderpc@unaffiliated/bender/x-9459530 NICK :bender|
< 1456402795 738398 :bender|!benderpc@unaffiliated/bender/x-9459530 NICK :bender
< 1456403483 56233 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric
< 1456404607 149021 :J_Arcane!~chatzilla@37-219-73-55.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds
< 1456405072 735822 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1456405434 176028 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456405692 137994 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds
< 1456406342 730748 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric
< 1456407769 101122 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds
< 1456407839 665122 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds
< 1456408215 230302 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1456410375 981168 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds
< 1456410931 300218 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric
< 1456411595 308257 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar KSFO
< 1456411597 928552 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KSFO 251356Z 00000KT 10SM CLR 11/09 A3012 RMK AO2 SLP200 T01110089 $
< 1456411875 981988 :Treio!~Treio@87.244.233.250 JOIN :#esoteric
< 1456412164 3117 :Treio!~Treio@87.244.233.250 QUIT :Client Quit
< 1456412438 955359 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric
< 1456413815 530276 :llue!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric
< 1456413826 533365 :llue!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host
< 1456413826 691304 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric
< 1456414018 941554 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer
< 1456414019 146976 :Alcest!~alcest@69.64.40.177 QUIT :Ping timeout: 240 seconds
< 1456414413 92229 :bender!benderpc@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 250 seconds
< 1456415273 539556 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1456415736 141441 :jaboja!~jaboja@ejt71.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds
< 1456415833 828693 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye
< 1456418551 620464 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric
< 1456418815 600521 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 255 seconds
< 1456419366 538774 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-swhzfglcoyzyfcqt QUIT :Excess Flood
< 1456419577 442004 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-oxjgaqxsowtosmdi JOIN :#esoteric
< 1456420552 621550 :AlexR42!~textual@95.105.108.154 JOIN :#esoteric
< 1456420919 211788 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`unidecode ༖
< 1456420925 755522 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0F16 TIBETAN LOGOTYPE SIGN LHAG RTAGS]
< 1456421859 884154 :nisstyre_!~yourstrul@li611-52.members.linode.com QUIT :Ping timeout: 248 seconds
< 1456422350 608690 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric
< 1456422456 690336 :erdic!~erdic@unaffiliated/motley QUIT :Quit: leaving
< 1456422557 586064 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric
< 1456423558 455869 :nisstyre_!~yourstrul@li611-52.members.linode.com JOIN :#esoteric
< 1456423560 956059 :lambda-11235!~lambda-11@24.156.46.61 JOIN :#esoteric
< 1456423584 297089 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 276 seconds
< 1456424548 547090 :hppavilion[1]!~DevourerO@74-114-87-64.dynamic.asdk12.org JOIN :#esoteric
< 1456424757 962212 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric
< 1456425184 446845 :hppavilion[1]!~DevourerO@74-114-87-64.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds
< 1456425992 307130 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1456427081 615765 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KOAK
< 1456427083 801511 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 251853Z 24005KT 8SM SCT160 SCT200 16/11 A3017 RMK AO2 SLP215 T01610106
< 1456427084 780154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KSFO
< 1456427085 807194 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KSFO 251856Z 03004KT 9SM BKN200 16/14 A3016 RMK AO2 SLP214 T01560144 $
< 1456427101 726403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KSJC
< 1456427103 824261 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KSJC 251853Z 00000KT 10SM FEW100 SCT130 19/08 A3016 RMK AO2 SLP212 T01890083
< 1456428303 289215 :nisstyre_!~yourstrul@li611-52.members.linode.com QUIT :Ping timeout: 276 seconds
< 1456428316 470975 :hppavilion[wc]!4a725745@gateway/web/freenode/ip.74.114.87.69 JOIN :#esoteric
< 1456428836 200893 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :@metar KBTV
< 1456428838 42514 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KBTV 251854Z 31015G23KT 10SM -RA OVC048 08/02 A2909 RMK AO2 RAB43 SLP853 P0000 T00830017
< 1456429031 113252 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric
< 1456429133 482037 :hppavilion[wc]!4a725745@gateway/web/freenode/ip.74.114.87.69 QUIT :Quit: Page closed
< 1456429430 398857 :hppavilion[1]!~DevourerO@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric
< 1456429959 292047 :nisstyre_!~yourstrul@li611-52.members.linode.com JOIN :#esoteric
< 1456430781 161576 :lambda-11235!~lambda-11@24.156.46.61 QUIT :Read error: Connection reset by peer
< 1456431547 54593 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1456432790 856205 :gde33|2!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric
< 1456432936 684228 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Ping timeout: 255 seconds
< 1456434274 30224 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net QUIT :Ping timeout: 240 seconds
< 1456434303 543006 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net JOIN :#esoteric
< 1456434985 989164 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric
< 1456435205 76101 :I!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1456435228 456392 :I!~atslash@static.231.107.9.5.clients.your-server.de NICK :Guest16721
< 1456435256 441190 :hppavilion[1]!~DevourerO@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Should I include y/// notation in Thoof?
< 1456435330 986204 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 244 seconds
< 1456435339 636023 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Ping timeout: 255 seconds
< 1456435460 923889 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection
< 1456435708 965111 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric
< 1456435784 344671 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode oerjan
< 1456435789 302806 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric
< 1456435795 864751 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+006F LATIN SMALL LETTER O] [U+0065 LATIN SMALL LETTER E] [U+0072 LATIN SMALL LETTER R] [U+006A LATIN SMALL LETTER J] [U+0061 LATIN SMALL LETTER A] [U+006E LATIN SMALL LETTER N]
< 1456435834 605900 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats b_jonas for pinging him all over the logs -----###
< 1456435973 431337 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/culprits-ng
< 1456435974 294466 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "'
< 1456436033 994722 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: don't use that one, it currently doesn't have noping
< 1456436040 874052 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'd like to implement a proper noping, and then add it in
< 1456436057 121244 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: well that's why i swatted you
< 1456436073 925540 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: sorry
< 1456436091 732298 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i just wanted to see if there was some broken attempt at it
< 1456436151 195320 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerja-ng
< 1456436176 60720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: So what does ?A do in linear logic?
< 1456436187 511308 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heck if i know
< 1456436189 819344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think ?A = _|_ & A & A#A & A#A#A & ...
< 1456436196 63335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But now I need to understand #
< 1456436203 873562 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is a superpower only you possess.
< 1456436217 162448 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well, logically that should be true (assuming that's the dual of the obvious !A expansion)
< 1456436248 471506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, wait.
< 1456436255 327146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?A = _|_ + A + A#A + A#A#A + ...
< 1456436258 210540 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: v @ ? .
< 1456436260 995599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :& would make no sense.
< 1456436277 300035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: The obvious !A expansion being !A = 1 & A & AxA & AxAxA + ...?
< 1456436294 918129 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :probably.  assuming 1 is right there
< 1456436310 796897 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which it should be iirc
< 1456436318 342410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's the identity of x
< 1456436323 384449 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :right
< 1456436360 342688 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so with + you don't get to decide which term you get to use
< 1456436407 5275 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so you need to be able to handle any
< 1456436449 409842 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i understand # mostly as wrapping x in de morgan and letting negation be continuations...
< 1456436462 540515 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i hope that's right enough
< 1456436519 579286 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :A -> B was ~A # B, hm
< 1456436552 178068 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :~A was A -> _|_, then...
< 1456436556 347190 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :So if I wrote a noping utility for HackEgo, but its implementation was mildly obfuscated and so hard to understand or maintain, this channel wouldn't consider that a bug, right?
< 1456436572 446230 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: um...
< 1456436576 938323 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Because this is typically the kind of string manipulation stuff where unreadable perl code excels.
< 1456436579 675591 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :MAYBE NOT
< 1456436619 469826 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in any case go ahead
< 1456436656 849381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: It would be as if oerjan taught a class about linear logic, but used a simplified version of one of the unusual connectives to make it easier to understand.
< 1456436666 619791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Which is to say, it would be par for the course.
< 1456436699 178413 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell boily shachaf needs a mapoling hth
< 1456436700 767706 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted.
< 1456436710 170426 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection
< 1456436781 652322 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now, someone needs to explain to me how (A -> _|_) -> _|_ can manage to always be A
< 1456436800 248136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's -o, not ->, hth
< 1456436803 968442 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh
< 1456436807 587650 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well right.
< 1456436823 176479 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*now, someone needs to explain to me how (A -o _|_) -o _|_ can manage to always be A
< 1456436826 528908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A -o B = ~A # B
< 1456436848 669660 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in fact, i think in some sense that _is_ the central question of making sense of # and negation in linear logic
< 1456436855 286534 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :perl -eprint unpack "x*(a*\@0X)*(a*@)*", "hello\n";
< 1456436860 737002 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -eprint unpack "x*(a*\@0X)*(a*@)*", "hello\n";
< 1456436861 876843 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ o \ lo \ llo \ ello \ hello \ ello \ llo \ lo \ o
< 1456436867 746618 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because -o seems perfectly logical, as do &, + and x
< 1456436873 63212 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -eprint unpack "x*(a*\@0X)*", "hello\n";
< 1456436874 442848 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ o \ lo \ llo \ ello
< 1456436877 17174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh oh.
< 1456436881 684213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something is messing up my terminal.
< 1456436884 498548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it b_jonas?
< 1456436884 729390 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -eprint unpack "(a*@)*", "hello\n";
< 1456436885 501423 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello \ ello \ llo \ lo \ o
< 1456436900 824762 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: what? I don't think it was me this time
< 1456436900 982693 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: presumably HackEgo 
< 1456436914 903024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, is b_jonas printing some evil characters?
< 1456436919 321132 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't think so
< 1456436922 697281 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not intentionally at least
< 1456436944 38223 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: whenever HackEgo prints a line starting with a non-alphanum, it inserts the char that bothers shachaf 
< 1456436953 906620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh.
< 1456436958 673273 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :That one simply computes all the suffixes of a string. Pity there's no such easy way to generate all prefixies.
< 1456436975 363691 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :You can still generate all prefixes, but it's much uglier.
< 1456436992 874681 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: which char is that?
< 1456436993 63045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: map reverse . suffixes . reverse hth
< 1456437006 766338 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: yes, that's the basic idea. and you can reverse with unpack IIRC
< 1456437035 306699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how can -o be logical if # isn't logical hth
< 1456437055 445732 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: because the illogicality comes from _|_ or negation
< 1456437065 296435 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: different notation. -o is logical or in find, but it's linear implication in linear logic.
< 1456437081 227465 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :totally different operations, people just happened to name them the same
< 1456437086 162542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good point.
< 1456437103 866664 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's like how ^ can mean logical and, bitwise xor, power
< 1456437123 233065 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait, are you interpreting "logical" as a technical term, bad move
< 1456437128 467272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Logical and is /\
< 1456437128 467313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :              /  \
< 1456437158 537865 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :... I'm waiting for that stick figure bot to print the third line
< 1456437176 495651 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :             /    \o/
< 1456437180 158348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That only happens for LOGICAL CHRISTMAS TREE
< 1456437191 685572 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :don't we have that bot running?
< 1456437206 154494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The "bot" is a person, myndzi, who's been gone for a long time.
< 1456437224 723083 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure, most bots are persons. 
< 1456437230 855532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We need to find a replacement who's as fast a typist.
< 1456437239 317997 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^celebrate
< 1456437239 476017 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :\o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/
< 1456437251 248276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That command should be renamed to ^decapitate
< 1456437284 32532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I think -o might still be odd without _|_ and #
< 1456437321 201222 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: here's yet another experimental newly developped distributed version control system I hadn't heared about before: http://pijul.org/
< 1456437351 464420 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I haven't seen that one either
< 1456437352 846233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION looks
< 1456437370 766197 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't know what it does or whether it's any good
< 1456437390 859388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it looks like a rewrite of darcs
< 1456437393 675464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :using the same principles
< 1456437400 147821 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode > ​ \
< 1456437401 320159 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+003E GREATER-THAN SIGN] [U+0020 SPACE] [U+200B ZERO WIDTH SPACE] [U+0020 SPACE] [U+005C REVERSE SOLIDUS]
< 1456437416 792266 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: that one
< 1456437483 650 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: I see
< 1456437492 319792 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't know why that would mess up shachaf's terminal though
< 1456437503 768479 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: skeptical
< 1456437522 532613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, interesting license choice
< 1456437547 906306 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's AGPL in an attempt to stop someone making a CVCS out of it
< 1456437592 868244 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh? what's "AGPL", as opposed to just GPL 3 (Gnu general public license version 3)? 
< 1456437595 442520 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: well, it does.
< 1456437625 489555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: AGPL is basically GPL with an extra case: if you let people use the software over a network, you have to give them source
< 1456437640 836881 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I see
< 1456437661 236465 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(that one is evil)
< 1456437732 841064 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ah, it says “At the time of this writing (version 0.2), files are all treated as text, and patches are mostly concerned with lines.” – exactly what I don't want from a vcs
< 1456437790 481029 :hppavilion[1]!~DevourerO@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds
< 1456437902 403861 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :1 is the sanest identity, it's basically () from haskell
< 1456438009 663772 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :all the others look impossible to construct or use...
< 1456438016 302937 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, at least one way each
< 1456438095 632146 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm
< 1456438169 623448 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :0 and ^|^ are like Void a bit
< 1456438195 150238 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :0 is the option that the constructor cannot give
< 1456438204 877917 :AlexR42!~textual@95.105.108.154 QUIT :Quit: My Mac has gone to sleep. ZZZzzz…
< 1456438205 381278 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :^|^ is the option that the consumer cannot choose
< 1456438398 429335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :0 is like Void
< 1456438404 114231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+ is a lot more like Either than & is
< 1456438423 471194 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they're continuations of each other
< 1456438487 963199 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is 0 x A = 0 ?
< 1456438586 416911 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently yes.
< 1456438589 852935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://llwiki.ens-lyon.fr/mediawiki/index.php/Sequent_calculus
< 1456438663 50046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, !T = 1 ?
< 1456438680 665781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, makes sense.
< 1456438728 833752 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in
< 1456438856 620817 :hppavilion[1]!~DevourerO@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric
< 1456438959 245999 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like "why not"
< 1456439117 693249 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric
< 1456439122 211722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :myname: because it makes no sense hth
< 1456439152 999413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :potion of confusing
< 1456439246 8269 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?los dos
< 1456439248 284363 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: yow list let docs do
< 1456439259 166380 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: maybe.
< 1456439422 408658 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<shachaf> `? weather <-- fancy
< 1456439461 124851 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection
< 1456439606 667024 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?. ?? ?run var$("(?metar "++).(++") \ ")=<<["CYUL","ENVA","ESSB","KOAK"]
< 1456439607 3360 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `compose' failed with: Unknown command: "??"
< 1456439614 567434 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?. ? run var$("(?metar "++).(++") \ ")=<<["CYUL","ENVA","ESSB","KOAK"]
< 1456439619 18232 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : <hint>:1:28:
< 1456439621 3026 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     lexical error in string/character literal at character '"'
< 1456439622 995247 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 
< 1456439628 556596 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fancy
< 1456439653 80644 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?run var$("(?metar "++).(++") \ ")=<<["CYUL","ENVA","ESSB","KOAK"]
< 1456439657 25312 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : <hint>:1:28:
< 1456439659 43299 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     lexical error in string/character literal at character '"'
< 1456439669 163779 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :possibly that's not quite right
< 1456439732 827928 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?. ? run var$("(?metar "++).(++") \\ ")=<<["CYUL","ENVA","ESSB","KOAK"]
< 1456439739 566450 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 252200Z 26011KT 12SM -SN FEW008 BKN018 OVC030 01/M01 A2915 RMK SF2SF3SC3 SLP875 \ ENVA 252220Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT VRB02KT \ ESSB 252220Z AUTO 26007KT 9999 NCD M01/M06 Q0999 \ KOAK 252153Z 25006KT 10SM FEW160 19/09 A3010 RMK AO2 SLP194 T01940094 \
< 1456439741 544052 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 
< 1456439815 224889 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` echo -n " "; \? weather
< 1456439816 828061 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ lambdabot: ?? (?metar CYUL) \ (?metar ENVA) \ (?metar ESSB) \ (?metar KOAK)
< 1456440163 224623 :hppavilion[1]!~DevourerO@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :The red button panel in http://www.smbc-comics.com/index.php?id=3440 is actually really cool.
< 1456440489 707029 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t fun
< 1456440494 61259 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :FromExpr a => String -> a
< 1456440508 828731 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t op
< 1456440512 63998 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Wrapped s => (Unwrapped s -> s) -> s -> Unwrapped s
< 1456440629 522379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @? @run var$("(?metar "++).(++") \\ ")=<<words @show CYUL ENVA ESSB KOAK
< 1456440636 696191 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 252237Z 26012KT 2 1/2SM -SN BKN010 OVC025 01/M01 A2917 RMK SN3SF4SC1 SLP882 \ ENVA 252220Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT VRB02KT \ ESSB 252220Z AUTO 26007KT 9999 NCD M01/M06 Q0999 \ KOAK 252153Z 25006KT 10SM FEW160 19/09 A3010 RMK AO2 SLP194 T01940094 \
< 1456440685 806017 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sadly a little long
< 1456440806 305333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not as long as @metar KOAK\n...@metar CYUL\n... etc.
< 1456440808 486526 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?metar CYUL ENVA
< 1456440828 526870 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?ping
< 1456440830 992730 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong
< 1456440855 114332 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that looks a little irresponsive
< 1456440866 800821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where test) CYUL KOAK
< 1456440871 117418 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 252237Z 26012KT 2 1/2SM -SN BKN010 OVC025 01/M01 A2917 RMK SN3SF4SC1 SLP882 \ KOAK 252153Z 25006KT 10SM FEW160 19/09 A3010 RMK AO2 SLP194 T01940094 \
< 1456440979 916067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where weather
< 1456440981 889797 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :I know nothing about weather.
< 1456440986 701410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @where+ weather (@where test)
< 1456440987 912114 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : I will remember.
< 1456441040 634749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`le/rn weather/lambdabot: ?? ?? (?where weather) CYUL ENVA ESSB KOAK
< 1456441044 40522 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «weather»
< 1456441046 901277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather
< 1456441049 38334 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?? (?where weather) CYUL ENVA ESSB KOAK
< 1456441075 419193 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where weather
< 1456441076 23211 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :?? ?@ ?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441088 949223 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think you may have overclevered
< 1456441091 81475 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@metar EGBB
< 1456441092 20774 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGBB 252250Z 19003KT 9999 OVC045 03/M02 Q1014
< 1456441107 121859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where weather) CYUL KOAK
< 1456441117 506336 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 252237Z 26012KT 2 1/2SM -SN BKN010 OVC025 01/M01 A2917 RMK SN3SF4SC1 SLP882 \ KOAK 252253Z 27006KT 9SM FEW160 21/09 A3009 RMK AO2 SLP189 T02060094 \
< 1456441118 629790 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@help @
< 1456441120 47711 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : @@ [args].
< 1456441122 34750 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : @@ executes plugin invocations in its arguments, parentheses can be used.
< 1456441124 37351 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The commands are right associative.
< 1456441126 47951 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : For example:    @@ @pl @undo code
< 1456441128 78845 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : is the same as: @@ (@pl (@undo code))
< 1456441156 882386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather
< 1456441158 71887 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?? (?where weather) CYUL ENVA ESSB KOAK
< 1456441170 276964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's going on :'(
< 1456441177 402410 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where weather
< 1456441178 96745 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :?? ?@ ?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441185 585011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan, ais523: Oh, by the way, that bot loop detection the other day was just me doing @part and @join.
< 1456441198 15472 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----###
< 1456441204 319255 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :BOTH TIMES?
< 1456441209 109469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ALl three times, I think.
< 1456441228 2266 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suspected you the first time, but not that much persistence
< 1456441247 225862 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: that's genius
< 1456441250 74461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :MWAHAHAHAHA
< 1456441258 830835 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was a bit suspicious that the timing was different each time
< 1456441269 89790 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but thought it was simply that I hadn't spammed with consistent timing
< 1456441300 975846 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: your punishment is to make lambdabot actually have that feature hth
< 1456441338 875348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I'll implement it by writing a lambdabot watchdog that sends it @part and @join when it detects a loop.
< 1456441353 99966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :More bots are always better.
< 1456441356 695696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdapooch
< 1456441449 978000 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY
< 1456441500 531101 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`where+ weather ???run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441501 142486 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: where+: not found
< 1456441508 341180 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where+ weather ???run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441509 182629 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Good to know.
< 1456441519 14637 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? weather
< 1456441520 978848 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?? (?where weather) CYUL ENVA ESSB KOAK
< 1456441522 610403 :hppavilion[1]!~DevourerO@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds
< 1456441526 244984 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dammit
< 1456441531 165057 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? where weather
< 1456441532 215623 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :where weather? ¯\(°​_o)/¯
< 1456441537 859759 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where weather
< 1456441544 367659 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :???run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441544 367690 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :TOO MANY BOTS
< 1456441559 675150 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops
< 1456441573 840235 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where+ weather ?? ?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441575 192965 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :I will never forget.
< 1456441582 515286 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? weather
< 1456441583 616155 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?? (?where weather) CYUL ENVA ESSB KOAK
< 1456441605 253943 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um needs reconsideration
< 1456441638 219881 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where+ weather ?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441639 222551 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Good to know.
< 1456441657 53528 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait
< 1456441664 687925 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where+ weather ?run var$("(?metar "++).(++") \\ ")=<<words ?show
< 1456441665 227620 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Done.
< 1456441669 302410 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? weather
< 1456441670 269939 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?? (?where weather) CYUL ENVA ESSB KOAK
< 1456441683 922769 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this is stupid
< 1456441696 620541 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm
< 1456441707 226268 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok i see..
< 1456441721 49563 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where+ weather ?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456441723 267280 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Good to know.
< 1456441753 200392 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le/rn weather/lambdabot: ?? ?@ (?where weather) CYUL ENVA ESSB KOAK
< 1456441755 248255 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «weather»
< 1456441758 864073 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? weather
< 1456441760 903205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: spoilsport
< 1456441761 147947 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?@ (?where weather) CYUL ENVA ESSB KOAK
< 1456441771 669882 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: how so?
< 1456441778 834969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, maybe not
< 1456441781 937303 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :WELL IT'S STILL NOT WORKING
< 1456441783 544135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What was wrong with the thing I did above?
< 1456441788 449831 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no f idea
< 1456441804 710012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where test) ENVA KSJC
< 1456441807 421322 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe ?? is too clever about recursion...
< 1456441809 293922 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ENVA 252250Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT 25002KT \ KSJC 252253Z 26003KT 10SM FEW090 SCT150 24/08 A3008 RMK AO2 SLP184 T02440078 \
< 1456441811 320796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot: @@ @@ (@where test) ENVA KSJC
< 1456441815 297051 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ENVA 252250Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT 25002KT \ KSJC 252253Z 26003KT 10SM FEW090 SCT150 24/08 A3008 RMK AO2 SLP184 T02440078 \
< 1456441816 988842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`echo lambdabot: @@ @@ (@where test) ENVA KSJC
< 1456441817 918759 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @@ @@ (@where test) ENVA KSJC
< 1456441834 507376 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh
< 1456441840 387165 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: @@ @@ (@where test) ENVA KSJC
< 1456441846 195196 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ENVA 252250Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT 25002KT \ KSJC 252253Z 26003KT 10SM FEW090 SCT150 24/08 A3008 RMK AO2 SLP184 T02440078 \
< 1456441856 832477 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did HackEgo put a special character in front of that one?
< 1456441866 974877 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it shouldn't
< 1456441881 571207 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`echo lambdabot: @run 2
< 1456441882 178631 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @run 2
< 1456441891 100792 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: @run 2
< 1456441894 245975 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2
< 1456441899 560435 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`echo lambdabot: ?show 2
< 1456441901 314368 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?show 2
< 1456441910 613448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot: ?show 2
< 1456441912 207642 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :"2"
< 1456441945 260509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did int-e add the bot loop protection you asked for?
< 1456441972 970184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot hasn't been restarted...
< 1456442011 244419 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i asked for him to add more spaces in front, that shouldn't affect this...
< 1456442023 801127 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :at least not without breaking it as much for us as for HackEgo 
< 1456442037 5314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ignore - HackEgo
< 1456442037 378478 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm
< 1456442038 274609 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Not enough privileges
< 1456442042 897377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm.
< 1456442054 473119 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :?where weather
< 1456442056 268892 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456442066 177103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ignore - HackEgo
< 1456442071 38293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`echo lambdabot: ?show 2
< 1456442071 696024 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?show 2
< 1456442072 292171 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :"2"
< 1456442078 101649 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather
< 1456442079 75151 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?@ (?where weather) CYUL ENVA ESSB KOAK
< 1456442082 846087 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (@metar CYUL) \ (@metar ENVA) \ (@metar ESSB) \ (@metar KOAK) \
< 1456442086 718660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ignore + HackEgo
< 1456442093 946704 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess someone put HackEgo on the ignore list.
< 1456442104 786354 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :;_;
< 1456442179 568414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, and lambdabot did restart.
< 1456442203 825243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @where+ weather (@where test)
< 1456442204 900576 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Nice!
< 1456442219 95828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @@ (@where weather) KOAK KSJC KSFO
< 1456442224 925213 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : KOAK 252253Z 27006KT 9SM FEW160 21/09 A3009 RMK AO2 SLP189 T02060094 \ KSJC 252253Z 26003KT 10SM FEW090 SCT150 24/08 A3008 RMK AO2 SLP184 T02440078 \ KSFO 252256Z 02005KT 9SM SCT200 18/13 A3009 RMK AO2 SLP188 T01830128 $ \
< 1456442242 731721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's the trailing \ all about
< 1456442243 696249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where weather
< 1456442245 29621 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :?? ?@ ?run var$("(@metar "++).(++") \\ ")=<<words ?show
< 1456442285 842712 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :intercalate is so long
< 1456442441 453401 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell boily <boily> hppavilion[1]: as long as it features ¨ on egregious glyphs, and that multiocular O. <-- ¨ on multiocular O, check
< 1456442444 165019 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted.
< 1456442498 329552 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? madbr
< 1456442499 505772 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :He alternates between making sense, and being logical. He doesn't monetize the brotherhood scheme.
< 1456442516 609413 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` sed -i 's/He/madbr/' wisdom/madbr
< 1456442518 718410 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456442582 801463 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?? ?@ ?run var$intercalate " \\ " . map (\x -> "(@metar "++x++")") . words $ ?show ENVA KOAK
< 1456442588 589540 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ENVA 252250Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT 25002KT \ KOAK 252253Z 27006KT 9SM FEW160 21/09 A3009 RMK AO2 SLP189 T02060094
< 1456442591 511914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where+ weather ?? ?@ ?run var$intercalate " \\ " . map (\x -> "(@metar "++x++")") . words $ ?show
< 1456442594 700590 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Nice!
< 1456442597 173579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather
< 1456442599 248773 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?@ (?where weather) CYUL ENVA ESSB KOAK
< 1456442603 559627 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right.
< 1456442605 18571 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :spacy
< 1456442605 851429 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unicode multiocular o
< 1456442606 635158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ignore - HackEgo
< 1456442608 583038 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+A66E CYRILLIC LETTER MULTIOCULAR O \ UTF-8: ea 99 ae  UTF-16BE: a66e  Decimal: &#42606; \ ꙮ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right)
< 1456442612 181217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather
< 1456442614 230162 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: ?? ?@ (?where weather) CYUL ENVA ESSB KOAK
< 1456442623 244824 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 252300Z 26013KT 2 1/2SM -SN BKN009 OVC014 00/M01 A2919 RMK SN2SF4SF2 SLP887 \ ENVA 252250Z 00000KT 5000 -SN VV009 M00/M01 Q0998 RMK WIND 670FT 25002KT \ ESSB 252250Z AUTO 26008KT 9999 NCD M01/M06 Q0999 \ KOAK 252253Z 27006KT 9SM FEW160 21/09 A3009 RMK AO2 SLP189 T02060094
< 1456442625 609424 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ignore + HackEgo
< 1456442639 716635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is definitely the least noisy way to find out the weather.
< 1456442648 8516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`unicode combining umlaut
< 1456442649 231500 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output.
< 1456442652 465803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm
< 1456442667 331364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`unicode combining diaeresis
< 1456442668 196695 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​̈
< 1456442788 726287 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` echo -n ꙮ;unicode combining diaeresis
< 1456442790 255433 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ꙮU+0308 COMBINING DIAERESIS \ UTF-8: cc 88  UTF-16BE: 0308  Decimal: &#776; \  ̈ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing Mark) \ Combining: 230 (Above) \  \ U+0324 COMBINING DIAERESIS BELOW \ UTF-8: cc a4  UTF-16BE: 0324  Decimal: &#804; \  ̤ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing Mark) \ Combining: 2
< 1456442797 767577 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dammit
< 1456442805 60435 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :why did that happen
< 1456442819 260537 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh
< 1456442825 852350 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` echo -n ꙮ;unicode 'combining diaeresis'
< 1456442826 876172 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ꙮ̈
< 1456442869 606391 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell boily MWꙮ̈Hꙮ̈Hꙮ̈Hꙮ̈
< 1456442871 307166 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted.
< 1456442906 957998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how did we get sidetracked from linear logic tdnh
< 1456442912 798359 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you were about to tell me what _|_ meant
< 1456442927 601981 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :_|_ means i dunno
< 1456442941 33567 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :like a deep, bottomless void
< 1456442958 693897 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://llwiki.ens-lyon.fr/mediawiki/index.php/Intuitionistic_linear_logic
< 1456442973 364311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"The connectives #, _|_ and ? are not available anymore, but the linear implication -o is."
< 1456442977 249751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm guessing you're a fan hth
< 1456442987 296469 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY
< 1456442998 711638 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric
< 1456443028 116780 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i dunno, there's something deeply mysterious about truly self-dual linear logic
< 1456443028 389063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did i misguess
< 1456443036 791752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think the duality is p. important
< 1456443042 38015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :without duality what do you even have
< 1456443043 847096 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe it's the secret of quantum mechanics twh
< 1456443074 834760 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :afk
< 1456443076 912478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh i figured out the secret to the speed of light the other day
< 1456443082 104503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, never mind then
< 1456443243 752795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, http://llwiki.ens-lyon.fr/mediawiki/index.php/Translations_of_classical_logic
< 1456443246 793340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://llwiki.ens-lyon.fr/mediawiki/index.php/Translations_of_intuitionistic_logic
< 1456443778 229412 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm?
< 1456443823 453477 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :WHAT SECRET
< 1456443934 697276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I don't know if it actually makes sense.
< 1456443966 541158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should talk to someone who knows about physics about it.
< 1456443984 433865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's more of an analogy, really.
< 1456443997 365507 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i do know some physics.
< 1456444025 940987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok then can you explain the speed of light twh
< 1456444133 297761 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it's basically the fundamental speed of relativity theory
< 1456444182 606223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway there's this thing called "volume time".
< 1456444226 568900 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :never heard of it
< 1456444227 225845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean in the sense of trading volume. Each time someone buys or sell something the volume time of that thing increases.
< 1456444241 523798 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, in particular, one person buys and the other person sells.
< 1456444253 973924 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric
< 1456444261 556383 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION sees a financial person with a hammer
< 1456444273 386898 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I think teams of scientists should design video game stat systems
< 1456444282 236971 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Thousands upon thousands of variables
< 1456444285 569403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: take that back twh
< 1456444299 258254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This has nothing to do with physics anyway, I was just thinking about volume time.
< 1456444312 769142 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Measuring things in volume time rather than clock time can make all sorts of things more well-behaved.
< 1456444316 727698 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: was it _that_ insulting
< 1456444343 5036 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: what do you mean by a video game stat system, exactly?
< 1456444356 382038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you might say "my position is X, and by volume time T, I want to have position X+D"
< 1456444391 12802 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :For example, the material scientist adds TGH (toughness), HRD (hardness), STR (strength), DUC (ductility), CRS (corrosion resistance), TMB (temperature-based behavior), WRS (wear resistance)
< 1456444395 445995 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: That
< 1456444411 479905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, from time T to time T', you go from position X to position X'
< 1456444416 224367 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So the "volume time" is essentially the number of share-trades that have happened so far?
< 1456444418 157073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So your "speed" -- called "participation rate" -- is (X'-X)/(T'-T)
< 1456444429 817615 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I think we should spend the next hour making science/video game jokes about obscure traits characters could have
< 1456444436 910845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway the interesting thing about this system is that time and position are measured in the same sort of unit.
< 1456444438 263184 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: I like that idea.
< 1456444449 536843 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It never makes sense to have a speed greater than 1. It doesn't matter how fast you trade.
< 1456444460 614047 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: there is a concept in relativity known as "proper time", which is the time a particular object observes.
< 1456444461 48578 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: reminds me of Dwarf Fortress. It's a really really sophisticated simulation.
< 1456444464 965263 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: And, perhaps, loving what we come up with so much that we make a browser game out of it
< 1456444490 977028 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :RAD- radioactivity- how much ambient long-term damage you do to your opponents (comes at a HLTH cost)
< 1456444518 163166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway there does come up some thing in physics where time and position are measured using the same sort of unit, right?
< 1456444539 847817 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Buckminsterfullerene nanostructures.
< 1456444540 528990 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And where in some sense it's nonsensical to talk about changing position faster than the speed 1?
< 1456444559 726672 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :shachaf: yeah, I mean, you just assume that the speed of light is equal to unitless 1.
< 1456444581 556240 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it is common to set the speed of light to 1, which is essentially that
< 1456444583 7016 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think it's still meaningful to talk about changing position faster than 1. It's just that nothing does that.
< 1456444595 234423 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :STN - steinfulness. It determines your, uh...
< 1456444597 122334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, but the idea that you can't change position faster than some speed, no matter how much you try, seems kind of odd given the usual notion of speed.
< 1456444603 912155 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Most people have a steinfulness of 0.
< 1456444606 4806 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But in this volume time context it makes perfect sense.
< 1456444610 373542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So maybe physics is like that.
< 1456444626 718211 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's a certain famous theoretical physicist, now deceased, who had a steinfulness of 1.
< 1456444645 491307 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Goldstein?
< 1456444645 649175 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not aware of anyone who has ever had a steinfulness of 2 or greater.
< 1456444653 344374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it's "meaningful" to talk about going from position 0 to position 100 in volume time 50.
< 1456444667 727979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can't get there by buying.
< 1456444697 831749 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Dr. Zweistein, i presume
< 1456444717 14283 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Also STN- Berenstain: Sensitivity to interuniversal travel
< 1456444723 704600 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Alternatively, MND
< 1456444751 910684 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :TDC - Tardicity. Determines how large the interior is compared to the exterior.
< 1456444760 453126 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Yes.
< 1456444788 804995 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, Wikipedia says you can use transfinite induction to define a function on the ordinal numbers like so.