< 1513728117 57268 :LKoen!~LKoen@2a01:e35:2eed:a430:fc18:f47d:9497:95c9 JOIN :#esoteric
< 1513728632 126953 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric
< 1513728998 105199 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric
< 1513729243 394592 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily
< 1513729329 393589 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer
< 1513729431 503914 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIA!
< 1513729434 72275 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar CYUL
< 1513729434 326319 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 200000Z 26012G18KT 15SM FEW030 BKN042 03/00 A2952 RMK SC1SC6 SLP001
< 1513729437 658163 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar KATL
< 1513729437 838285 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KATL 192352Z 29003KT 10SM -RA BKN020 BKN060 OVC110 16/14 A3014 RMK AO2 RAB51 SLP208 P0000 60000 T01560139 10172 20150 55002
< 1513729447 591753 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :16!%!%??!?!???%&?&(%?&@???@@@@@!!!!!!!!
< 1513729566 959722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EGLL
< 1513729567 197571 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 200020Z AUTO 28003KT 7000 BKN004 OVC010 07/06 Q1035 BECMG 4000 BR
< 1513729571 991717 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it's night now.
< 1513729578 957852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're saying double digits for the holidays.
< 1513729608 320730 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :gnyeh :P
< 1513729618 542003 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ooh, it's cow weather back "home".
< 1513729619 741603 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EFHK
< 1513729619 934561 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EFHK 200020Z 22008KT 9000 -SG BKN003 M00/M00 Q1027 TEMPO 4000
< 1513729630 957571 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The rare double cow.
< 1513729698 774749 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :it's a sign!
< 1513730117 820110 :MrBismuth!~ArcMrBism@2602:306:8325:a300:f91e:94f9:5e23:e251 JOIN :#esoteric
< 1513730133 97138 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`relcome MrBismuth
< 1513730134 357438 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :04MrBismuth: 07Welcome 08to 09the 02international 06hub 13for 04esoteric 07programming 08language 09design 02and 06deployment! 13For 04more 07information, 08check 09out 02our 06wiki: 13. 04(For 07the 08other 09kind 02of 06esoterica, 13try 04#esoteric 07on 08EFnet 09or 02DALnet.)
< 1513730319 392347 :MrBusiness!~ArcMrBism@2602:306:8325:a300:1426:998c:b44b:81fb QUIT :Ping timeout: 265 seconds
< 1513730466 429920 :sparr!~sparr@2604:a880:800:10::103:f001 QUIT :Changing host
< 1513730466 517922 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric
< 1513730705 162418 :MrBismuth!~ArcMrBism@2602:306:8325:a300:f91e:94f9:5e23:e251 QUIT :Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel
< 1513731077 190181 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it brings on many changes
< 1513731092 961604 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and i can take or leave it if i choose
< 1513731115 604479 :LKoen!~LKoen@2a01:e35:2eed:a430:fc18:f47d:9497:95c9 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
< 1513731872 839735 :variable!~variable@freebsd/developer/variable JOIN :#esoteric
< 1513733044 807512 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A
< 1513733057 376393 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Typing: it's hard.
< 1513733090 789512 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was going to say a "Vegi bot" from someone's SEO company is crawling the wiki and little confused about how URIs work.
< 1513733113 516816 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It just tried to fetch "/irc://...", for example.
< 1513733138 223245 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :fizzie: that's not _too_ unreasonable actually
< 1513733164 498761 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :fizzie: given how often people put incorrect links in informal writings that require a bit of creativity to interpret
< 1513733181 412265 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :for a search engine it makes sense to speculatively try to modify a link in case a modified version works
< 1513733195 521924 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :like, you know, trying to remove some punctuation mark from the end
< 1513733284 41108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Actually, not quite sure where we even have an irc:// link, the one on [[Esolang:Community portal]] is a regular HTTP link to webchat.freenode.net.
< 1513733409 29582 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was an earlier crawler which crawled every non-main-namespace page something like 16 times if not more, because it was trying to access something like "/wiki/Esolangs%3AFoo", for which Mediawiki sends a 302 to "/wiki/Esolangs:Foo" (I guess to make the location bar look nicer), but then something inside the crawler re-encoded the : back to %3A before following it.
< 1513733443 267857 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :fizzie: yeah, I remember you said that.
< 1513733481 635945 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wonder what seoagency.com even does with their own crawler.
< 1513733523 605337 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :can you tell a specific url with that irc thing in it?
< 1513733567 73185 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513733580 656427 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It tried three: /irc://irc.freenode.org/esoteric /irc://irc.afternet.org/linc /irc://freenode/DDR,isnick
< 1513733622 17942 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also it used www.esolangs.org for every single request, which just redirect to the non-www. one.)
< 1513733692 973190 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://www.webmasterworld.com/search_engine_spiders/4817453.htm "Despite the proclamation "we follow your robots.txt before crawling" they did not even request robots.txt."
< 1513733695 894871 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Internet is a noisy place.
< 1513733749 285374 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 PRIVMSG #esoteric :fizzie: that's hard to tell. they might have requested robots.txt from another host.
< 1513733780 170171 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's possible. They didn't include the user agent in the request, at least.
< 1513733868 50832 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds
< 1513734218 802518 :zemhill_!bfjoust@selene.zem.fi JOIN :#esoteric
< 1513734312 364316 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric
< 1513734433 364752 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 248 seconds
< 1513734502 189893 :zemhill!bfjoust@selene.zem.fi QUIT :Ping timeout: 264 seconds
< 1513734577 746331 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite
< 1513734661 880492 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1513734742 70299 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds
< 1513736087 70434 :wob_jonas!b03f18f9@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.249 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client
< 1513736225 104183 :adu!~ajr@pool-71-178-160-229.washdc.fios.verizon.net JOIN :#esoteric
< 1513737454 164501 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: CONJOINED CHICKEN
< 1513738978 791719 :adu!~ajr@pool-71-178-160-229.washdc.fios.verizon.net QUIT :Quit: adu
< 1513739743 88929 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513739979 67841 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513740290 62696 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds
< 1513740463 760686 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1513740536 367157 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513740739 660495 :MrBusiness!~ArcMrBism@2602:306:8325:a300:a048:324:3241:a9a4 JOIN :#esoteric
< 1513740777 823539 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1513740850 921368 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513740871 949141 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying...
< 1513741068 71365 :moony!~moony@unaffiliated/moonythedwarf QUIT :Remote host closed the connection
< 1513741097 373327 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric
< 1513741977 336415 :moony!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds
< 1513742159 356528 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513742175 826381 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 248 seconds
< 1513742180 300683 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523
< 1513744232 263261 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION saw the typo "12nd" on a link (used as an ordinal number) and mentally corrected it to "tweldest"
< 1513744247 392826 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :before I realised that that didn't make sense either, although I knew what it meant
< 1513744253 546868 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(presumably the correct correction was "12th")
< 1513744383 977657 :Melvar!~melvar@dslb-146-060-045-173.146.060.pools.vodafone-ip.de QUIT :Ping timeout: 248 seconds
< 1513744479 992088 :Melvar!~melvar@dslb-146-060-045-173.146.060.pools.vodafone-ip.de JOIN :#esoteric
< 1513744687 189847 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513744977 92681 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 263 seconds
< 1513746794 690615 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full
< 1513747450 605746 :variable!~variable@freebsd/developer/variable JOIN :#esoteric
< 1513748689 450841 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513748961 351707 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds
< 1513749136 427842 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 260 seconds
< 1513752878 78244 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection
< 1513753137 777866 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513753407 715456 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds
< 1513754503 345251 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds
< 1513755040 864283 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513755337 901389 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 255 seconds
< 1513756663 441030 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513756925 420298 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds
< 1513759012 442051 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :In what era did anyone introduce themselves with "wa ga na wa"
< 1513759039 282987 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :I love VLC. Its icon changes to a a christmas hat during this time of year
< 1513759070 177494 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :variable: wait what
< 1513759087 867734 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :https://www.dropbox.com/s/csikqo16g4pxp7r/Screenshot%202017-12-20%2000.38.04.png?dl=0
< 1513759096 632389 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :holy shit you're right I just checked
< 1513759112 927158 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :its been doing this for years
< 1513759114 810334 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :still love it
< 1513759584 984429 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513759815 146163 :Melvar!~melvar@dslb-146-060-045-173.146.060.pools.vodafone-ip.de QUIT :Quit: upgrading
< 1513759839 770315 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds
< 1513761823 812451 :Soni!SoniEx2@unaffiliated/soniex2 QUIT :Ping timeout: 248 seconds
< 1513761992 895234 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :silly Q: is it possible to non-deterministic but turing complete?
< 1513762020 222690 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :or is there some version of turing completeness defined for non-deterimistic processes
< 1513762037 842779 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :note: I'm not talking abut a NDTM
< 1513762052 915088 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I... was just about to mention NDTMs
< 1513762063 791960 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :What precisely do you mean by non-deterministic?
< 1513762081 777357 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :a transition between states decided by a random value
< 1513762105 158022 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :or an action to the tape decided by a random value
< 1513762122 915599 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Like Whenever, maybe?
< 1513762135 289376 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :oh https://en.wikipedia.org/wiki/Probabilistic_Turing_machine
< 1513762141 305832 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :that's exactly what I'm looking for
< 1513762153 435927 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :the transition table contains a propability function
< 1513762173 983155 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :I kind of guessed that
< 1513762181 207425 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :what I wasn't sure how we'd defined acceptance
< 1513762274 57118 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513762585 135935 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :Taneb: unrelated - I forgot about whenever
< 1513762585 443588 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :but I really wanted to write a language like it
< 1513762587 53195 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric ::(
< 1513762617 503955 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :may just fork it
< 1513762760 47401 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Remember the two cakes rule
< 1513762783 304199 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :While you might see this amazing esolang that somebody else made that you think is way better than yours
< 1513762803 645852 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :An audience will look at your esolang, and look at the other esolang, and say "Wow! Two esolangs!"
< 1513762891 471765 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :lol
< 1513764505 223367 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero
< 1513764872 838301 :Warrigal!~tswett@192.241.237.138 QUIT :Read error: Connection reset by peer
< 1513764932 772103 :Warrigal!~tswett@192.241.237.138 JOIN :#esoteric
< 1513765132 440473 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection
< 1513765684 368622 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513767189 376521 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :@djinn (((a -> b) -> v) -> v) -> ((a -> v) -> v) -> (b -> v) -> v
< 1513767189 465995 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a b c = b (\ d -> a (\ e -> c (e d)))
< 1513767342 452739 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@. pl djinn (((a -> b) -> v) -> v) -> ((a -> v) -> v) -> (b -> v) -> v
< 1513767342 548813 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f = flip (.) . (. ((. flip id) . (.))) . (.)
< 1513767374 237064 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :It's amazing how easy it is to make lambdabot flip out
< 1513767862 552785 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb
< 1513767881 370519 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1513769171 830467 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric
< 1513769239 5821 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric ::t flip id
< 1513769240 667224 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :b -> (b -> c) -> c
< 1513769261 87289 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric ::t (>>>) . (. ((. (&)) . (.))) . (.)
< 1513769262 484281 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(((a -> b) -> c1) -> c2) -> ((a -> c2) -> c3) -> (b -> c1) -> c3
< 1513769298 359007 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Hmm, does this suggest a type-changing continuation indexed applicative?
< 1513769741 153505 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :@djinn (a -> (b -> j) -> k) -> ((a -> i) -> j) -> (b -> i) -> k
< 1513769741 242048 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized.
< 1513769754 328281 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :OK, so we can't make it into a monad quite
< 1513769764 396417 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :@djinn (a -> (b -> i) -> i) -> ((a -> i) -> i) -> (b -> i) -> i
< 1513769764 443100 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a b c = b (\ d -> a d c)
< 1513769772 353550 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric
< 1513769775 172923 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :@. type djinn (a -> (b -> i) -> i) -> ((a -> i) -> i) -> (b -> i) -> i
< 1513769777 79201 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error:
< 1513769777 125692 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : parse error on input ‘=’
< 1513769777 125730 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you need a 'let' in a 'do' block?
< 1513769787 579061 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :@type \a b c -> b (\d -> a d c)
< 1513769788 239864 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1513769789 148392 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(t1 -> t2 -> t3) -> ((t1 -> t3) -> t4) -> t2 -> t4
< 1513770299 685438 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :Tanelle.
< 1513770326 441557 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :bonjoily
< 1513770347 913588 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :So, conclusion: there is a continuation indexed applicative but not monad
< 1513770713 581018 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Nezt question is, is such a thing useful?
< 1513770759 687955 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Actually, https://gist.github.com/pthariensflame/5716594 has the monad instance I was looking for
< 1513770763 597377 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Why didn't djinn find it?
< 1513771162 425738 :Melvar!~melvar@dslb-146-060-045-173.146.060.pools.vodafone-ip.de JOIN :#esoteric
< 1513771180 399416 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 265 seconds
< 1513771188 43796 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm
< 1513771777 73534 :xkapastel!uid17782@gateway/web/irccloud.com/x-uszylojwveqscrce QUIT :Quit: Connection closed for inactivity
< 1513772463 848900 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: ALTERNATIVE CHICKEN
< 1513774304 38367 :LKoen!~LKoen@2a01:e35:2eed:a430:d8cc:53ad:7e69:f62c JOIN :#esoteric
< 1513774854 72134 :idris-bot!~idris-bot@dslb-146-060-045-173.146.060.pools.vodafone-ip.de JOIN :#esoteric
< 1513774871 722735 :idris-bot!~idris-bot@dslb-146-060-045-173.146.060.pools.vodafone-ip.de QUIT :Client Quit
< 1513774917 770254 :idris-bot!~idris-bot@dslb-146-060-045-173.146.060.pools.vodafone-ip.de JOIN :#esoteric
< 1513775531 647491 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric
< 1513776364 276445 :LKoen!~LKoen@2a01:e35:2eed:a430:d8cc:53ad:7e69:f62c QUIT :Remote host closed the connection
< 1513777095 897763 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm. I think I somehow got an error message in swedish from a program somehow. Strange bug.
< 1513777123 726509 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I closed the window too quickly so I'm not quite sure. I'm trying to reproduce it.
< 1513777172 321198 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(Also was encoded wrong for the terminal.)
< 1513777222 688323 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric
< 1513777821 279227 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection
< 1513778649 128833 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection
< 1513779467 603926 :LKoen!~LKoen@2a01:e35:2eed:a430:2947:6ed1:b7f2:29c5 JOIN :#esoteric
< 1513779491 402371 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513780219 712683 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513780426 858628 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Quit: Leaving.
< 1513780887 40106 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1513781602 463163 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection
< 1513781613 285087 :grumble!~grumble@freenode/staff/grumble QUIT :Remote host closed the connection
< 1513782367 631183 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric
< 1513782545 387983 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric
< 1513782845 794906 :LKoen!~LKoen@2a01:e35:2eed:a430:2947:6ed1:b7f2:29c5 QUIT :Remote host closed the connection
< 1513783591 642285 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: Every way you look at it, you lose.
< 1513783852 419799 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513784110 108418 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric
< 1513784965 385372 :alercah!~alercah@unaffiliated/alercah JOIN :#esoteric
< 1513784989 405211 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: Every way you look at it, you lose.
< 1513785171 24640 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric
< 1513785277 974297 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric
< 1513785689 167071 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric
< 1513785883 395642 :MDude!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net QUIT :Ping timeout: 265 seconds
< 1513786078 106111 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ah you're back
< 1513786204 819695 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I've been thinking and reading a bit more about this cryptography thing, and it's even more complicated than I thought
< 1513786290 445404 :Slereah_!~Slereah@ALille-651-1-259-23.w90-1.abo.wanadoo.fr JOIN :#esoteric
< 1513786377 689799 :Guest6549!~Slereah@ALille-651-1-112-31.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds
< 1513786856 366146 :MDude!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net JOIN :#esoteric
< 1513787303 628725 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1513787375 353237 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1513788295 356374 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric
< 1513788577 416583 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Ping timeout: 248 seconds
< 1513789185 567932 :propumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric
< 1513789265 425968 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 240 seconds
< 1513789594 311021 :propumpkin!~copumpkin@haskell/developer/copumpkin NICK :contrapumpkin
< 1513790821 408553 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513791101 371640 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds
< 1513792208 419989 :LKoen!~LKoen@2a01:e35:2eed:a430:b1cd:1f24:cf21:d89b JOIN :#esoteric
< 1513792468 389002 :LKoen!~LKoen@2a01:e35:2eed:a430:b1cd:1f24:cf21:d89b QUIT :Ping timeout: 240 seconds
< 1513792695 376939 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513794277 806443 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1513794277 893895 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1513794531 979229 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection
< 1513794835 372529 :augur!~augur@2600:380:4772:23b0:88b3:43e0:2824:b6ba JOIN :#esoteric
< 1513796005 87105 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric
< 1513796081 246082 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513796717 327563 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection
< 1513796787 128241 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric
< 1513797550 86989 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric
< 1513797794 571433 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving
< 1513797852 742283 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
< 1513798208 73607 :brandonson!~brandon@208.91.114.4 QUIT :Quit: leaving
< 1513798218 695853 :brandonson!~brandon@208.91.114.4 JOIN :#esoteric
< 1513798282 188364 :brandonson!~brandon@208.91.114.4 QUIT :Client Quit
< 1513798290 455652 :brandonson!~brandon@208.91.114.4 JOIN :#esoteric
< 1513798588 851172 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513798847 800801 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds
< 1513801388 436115 :augur!~augur@2600:380:4772:23b0:88b3:43e0:2824:b6ba QUIT :Ping timeout: 240 seconds
< 1513801514 201310 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513801785 94225 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 265 seconds
< 1513802173 328039 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1513802504 357921 :hkgit03!~hkgit03@ip4d16fe9f.dynamic.kabel-deutschland.de JOIN :#esoteric
< 1513803286 66425 :Herbstkind!~hkgit03@ip4d16fe9f.dynamic.kabel-deutschland.de JOIN :#esoteric
< 1513803286 153993 :Herbstkind!~hkgit03@ip4d16fe9f.dynamic.kabel-deutschland.de NICK :laerling
< 1513803291 171725 :laerling!~hkgit03@ip4d16fe9f.dynamic.kabel-deutschland.de PART :#esoteric
< 1513803437 690495 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513803753 723718 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 268 seconds
< 1513803779 557796 :hkgit03!~hkgit03@ip4d16fe9f.dynamic.kabel-deutschland.de QUIT :Quit: Leaving
< 1513803796 259865 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric
< 1513805243 326431 :brandonson!~brandon@208.91.114.4 QUIT :Quit: leaving
< 1513805277 376416 :brandonson!~brandon@208.91.114.4 JOIN :#esoteric
< 1513805779 207133 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric
< 1513805795 975221 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: ping
< 1513805835 357686 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh wait duh
< 1513805837 194783 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm...
< 1513805985 526445 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving
< 1513806029 639504 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION is trying to find a counterexample to int-e's conjecture that countercall functions are either clamped or total, but had a bit of a brain fart
< 1513806159 727345 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i _do_ seem to find some functions that aren't clamped but don't grow uniformly
< 1513806182 699059 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :like f : -3 g 6; g : -6 f 3
< 1513806220 114161 :Remavas!~Remavas@unaffiliated/remavas JOIN :#esoteric
< 1513806347 501034 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :seems like that works with multiplying it by a constant too
< 1513806469 77591 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric
< 1513806831 120852 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 JOIN :#esoteric
< 1513806895 584833 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 PRIVMSG #esoteric :I just ran into the limitation of FAT32 that it doesn't store files larger than 4 gigabytes. I was trying to copy a large archive to an SD card. I'm recreating the archive split to one gigabyte sized volumes now. Good thing that option still exists, remaining from the days of floppy disks.
< 1513807285 385300 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds
< 1513807389 59178 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep
< 1513807436 833577 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 PRIVMSG #esoteric :Apparently Intercal is mainstream enough that even Donald Knuth has published a program written in it.
< 1513807557 356938 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513807631 152606 :xkapastel!uid17782@gateway/web/irccloud.com/x-dcjafpukegetrlzz JOIN :#esoteric
< 1513807831 337397 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds
< 1513807929 300200 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: i vaguely recall knuth was somehow the impetus to ais523 and esr merging their c-intercal implementations.
< 1513807971 350975 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or something like that. i said it was vague.
< 1513808003 450051 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client
< 1513808067 232629 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :that's awesome
< 1513808371 27684 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 JOIN :#esoteric
< 1513808384 243147 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 PRIVMSG #esoteric :oerjan: I see
< 1513808655 971430 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 QUIT :Client Quit
< 1513808679 752092 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 JOIN :#esoteric
< 1513808694 486046 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 PRIVMSG #esoteric :And yes, Donald Knuth is awesome. His books are probably an important factor in why I like software stuff so much.
< 1513808732 539213 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 PRIVMSG #esoteric :As in, when I was young, they were the most awesome books in the school library, so I tried to read them a lot. Obviously there's a lot that I didn't understand in them.
< 1513809062 761033 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client
< 1513809091 969520 :variable!~variable@freebsd/developer/variable JOIN :#esoteric
< 1513809280 416977 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 JOIN :#esoteric
< 1513809484 353766 :wob_jonas!b03f1805@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.5 QUIT :Client Quit
< 1513809526 71366 :moony!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 272 seconds
< 1513809666 60062 :variable!~variable@freebsd/developer/variable NICK :constant
< 1513809870 381259 :boily!~alexandre@192.222.236.157 JOIN :#esoteric
< 1513810102 92318 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bhelloily
< 1513810122 382045 :boily!~alexandre@192.222.236.157 PRIVMSG #esoteric :bonsϿirjan!
< 1513810232 729690 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513810277 441316 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection
< 1513810319 735813 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric
< 1513810416 75354 :boily!~alexandre@192.222.236.157 PRIVMSG #esoteric :oerjan: how's life in northland?
< 1513810419 82883 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION saw someone named "Kim Jong-hyun" in wikipedia's recent deaths list, and thought "so did he kill another family member?" but it turned out it was some completely unrelated south korean.
< 1513810469 520957 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: i've bought my traditional nutella balls for christmas
< 1513810531 238295 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also the snow has mostly rained away again
< 1513810649 149783 :boily!~alexandre@192.222.236.157 PRIVMSG #esoteric :the infamous nutella balls strike again I see.
< 1513811692 344852 :augur!~augur@192.195.83.130 JOIN :#esoteric
< 1513811788 954504 :Remavas!~Remavas@unaffiliated/remavas QUIT :Remote host closed the connection
< 1513812038 431950 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric
< 1513812105 138043 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric