< 1409529739 119599 :ski_!~ski@remote1.student.chalmers.se JOIN :#esoteric < 1409529757 291329 :newsham_!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1409529767 391438 :yorick_!~yorick@oftn/member/yorick JOIN :#esoteric < 1409529775 214233 :ineiros_!~itniemin@hasturlovelace.cloud.tilaa.com JOIN :#esoteric < 1409529844 744510 :fizzie!fis@unaffiliated/fizzie QUIT :Remote host closed the connection < 1409530059 972697 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Remote host closed the connection < 1409530061 631048 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1409530103 800903 :ski!~ski@remote1.student.chalmers.se QUIT :Remote host closed the connection < 1409530221 300590 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1409530291 157202 :ineiros!~itniemin@hasturlovelace.cloud.tilaa.com QUIT :Ping timeout: 250 seconds < 1409530878 761181 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1409530890 345158 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1409530910 243831 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Client Quit < 1409532387 487084 :newsham_!~chat@udp217044uds.hawaiiantel.net NICK :newsham < 1409532857 821612 :AndoDaan!~Daanando@188.189.71.97 QUIT :Ping timeout: 252 seconds < 1409533024 458182 :rodgort!~rodgort@192.241.198.49 QUIT :Remote host closed the connection < 1409533317 549529 :^4!~notnot^v@2601:4:4500:e15:1cc:2c00:56cf:f803 QUIT :Ping timeout: 240 seconds < 1409533726 209960 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1409534224 350577 :rodgort!~rodgort@192.241.198.49 QUIT :Remote host closed the connection < 1409534539 445513 :AndoDaan!~Daanando@188.188.65.172 JOIN :#esoteric < 1409534575 19098 :rodgort!~rodgort@192.241.198.49 JOIN :#esoteric < 1409534931 24137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Is the antiderivative always the integral? <-- depends how you define each of them. < 1409534961 506255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can have something that has a derivative but the derivative isn't lebesgue integrable < 1409535165 491320 :AndoDaan!~Daanando@188.188.65.172 QUIT :Ping timeout: 240 seconds < 1409535200 624843 :AndoDaan!~Daanando@188.189.84.218 JOIN :#esoteric < 1409535214 200649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but there's an integral definition that corresponds closer, known as Henstock integral < 1409535238 473460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(another student studied those when i was at university) < 1409535317 564263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :just read http://cr.yp.to/papers/calculus.pdf hth < 1409535495 561383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you need restrictions on the function for it to be true that antiderivative = riemann integral < 1409535530 702320 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: yes < 1409535550 416339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's why that pdf uses the integral you mentioned instead, and talks about that in the last paragraph < 1409535557 491167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what, it does? < 1409535600 600593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you cannot expect me to read to the end on something that looks like ordinary first year stuff on a brief glance hth < 1409535630 605905 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :oh luzin, i vaguely remember that < 1409535914 949847 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 240 seconds < 1409536287 205397 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1409536337 894883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i should learn some analysis hth < 1409536479 843807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :twh < 1409536553 312246 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :JetBrains is stil running an ad for an expired contest. Isn't that kind of expensive/ < 1409536647 97419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know who jetbrains is and why anyone cares that they're running an ad < 1409536669 82661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or whether it's expensive < 1409537030 636354 :boily!~alexandre@64.56.253.212 QUIT :Quit: ALFALFALFA CHICKEN < 1409537033 573038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^elikoski < 1409537033 950013 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :eliott elliot eliott eliott elliot elliott eliot elliot eliott elliot elliot eliott eliott elliot eliott eliot elliot elliott eliott elliot eliott eliott elliot elliot eliott eliot elliott eliott elliot eliott eliott elliot elliott eliot elliot eliott eliott elliot elliot eliott elliot elliott eliot elliot elliott eliott e ...too much output! < 1409537048 647710 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um. hi < 1409537052 891395 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hi < 1409537061 366701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show elikoski < 1409537061 522008 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :((io)S(t)~^( )S~:)((e)S(l)~^~:):(S)~^(:SS)~^(*a((((S)~^)~a*^)~a*^~:)~*^~)(:**a((((:SS)~^)~a*^)~a*^~:)~*^~):(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ < 1409537090 815905 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1409537122 113570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i may be having it bad. i got 260 rep and mortarboard yesterday, and am apparently #2 on the monthly haskell rank < 1409537148 948858 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1409537242 979696 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1409538012 275727 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1409539143 429761 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 JOIN :#esoteric < 1409539143 624678 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :heyo < 1409539152 134126 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :heeyo < 1409539171 107042 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :i assume fungbot is doing well < 1409539181 351009 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :*fungot < 1409539181 506553 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ChrisMM: the electronic feel of this crap on another site. its not exactly a classic rendition. it's not a fan! 3 " fuck you", and now your hostile feelings have clouded your past good judgment and you didn't see that one" < 1409539190 712997 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :^style < 1409539190 868276 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube* < 1409539199 566352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well if not politely < 1409539294 288030 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :yah < 1409539534 270631 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :^show < 1409539534 446922 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 backwards output < 1409539546 66634 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :^show srmlebac < 1409539546 221909 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :>2,[>,]<[<]>[.>2]<[>2]<2[.<2] < 1409539713 950047 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :^show celebrate < 1409539714 144653 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :(\o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/)S < 1409539714 441910 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69  | c.c.c |  ¯|¯⌠ `\o/´69   | c.c.c |   `\o/´69  ¯|¯⌠ | c.c.c | < 1409539714 650544 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 /|  c.c /|  /| |   |    /|  c.c  |\    |     |\|/'\ c.c  >\ < 1409539714 937592 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                (_|¯'\                 /`\ < 1409539715 109974 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                     |_)             (_| |_) < 1409539721 627063 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :....huh. < 1409539728 723083 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :^show ha < 1409539728 878340 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :((ha)(ha))(~:^:(. )*S( )~**a~^!a*~:^):^ < 1409539774 573202 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1409540157 872073 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :^style jargon < 1409540158 27788 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: jargon (UNIX-HATERS mailing list archive) < 1409540205 534359 :^4!~notnot^v@2601:4:4500:e15:fdeb:16e9:6a8d:3411 JOIN :#esoteric < 1409540316 409351 :Sorella!~quildreen@oftn/member/Sorella QUIT :Remote host closed the connection < 1409540528 525267 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :in Thue is the string replacement chosen entirely at random? < 1409540568 32847 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :nondeterministically, iirc < 1409540593 971706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :where nondeterministally means "you cannot even count on random" < 1409540606 494024 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :right. < 1409540619 738955 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :because you're 'too good' for pseudorandom numbers < 1409540636 503886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :always taking the first one is perfectly legal :P < 1409540649 383020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well maybe. i haven't actually checked the spec.) < 1409540655 802521 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :one can imagine an optimizing thue implementation that chooses in some deterministic but hard to think about fashion based on the rule contents < 1409540678 440845 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :my problem is on the wiki page it says '...The program outputs bits in an undefined (and quite possibly random) sequence.' < 1409540691 594497 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :where, if the string rewrites were nondeterministic, it WOULD be ENTIRELY random < 1409540695 830819 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :no < 1409540697 665005 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :and it has that (and quite possibly...) in there < 1409540705 7053 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :it /can/ be random, but it doesn't have to be < 1409540709 798807 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :ahh. < 1409540710 908217 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :it could implement all zeroes probably < 1409540730 611788 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :yes. < 1409540742 735918 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I see < 1409540751 735339 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :output, not implement < 1409540789 31742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i had this vague idea of implementing thue in itflabtijtslwi which has no randomness, but because of the implementation idea it wouldn't be easily predictable either < 1409540790 390248 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :catseye's interpreter lets you choose a deterministic rule, if you want < 1409540806 826391 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :but you can also not do that, see. < 1409540861 942463 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :(it has left-to-right and right-to-left, so you could make that program output all zeroes or all ones) < 1409540871 360940 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :mm. I get it < 1409540975 909072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mine would be essentially "do all substitutions in turn globally, but in such a way that you cannot substitute on something that's already been changed this round" < 1409541075 735175 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I'm gonna look into thue now, it seems very nice... < 1409541486 808954 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :c::= < 1409541487 4556 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :b::=~foo < 1409541487 159791 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :b::=~bar < 1409541487 159938 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :b::=~baz < 1409541487 160030 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :b::=~bin < 1409541487 471823 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :ac::=abc < 1409541487 627197 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :::= < 1409541488 444613 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :abccccccccccccccc < 1409541495 300242 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I think that's generating simlish < 1409541514 863568 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :barbinbarfoobaz < 1409541543 894182 :not^v!~notnot^v@2601:4:4500:e15:542:8078:2f0c:a209 JOIN :#esoteric < 1409541579 38303 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :couldn't it wipe out the c's first < 1409541599 707625 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :or well... why do you ahve both the ac::=abc and c::= rules. < 1409541630 350101 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :well I want it to generate them but I also want it to halt < 1409541638 867613 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :if it runs out of c's it'll halt < 1409541650 880409 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :yes, it could wipe out all the c's first. Ya just hope. This isn't a good program. < 1409541652 451711 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Should I privilege the function profunctor in my code? I feel like maybe I shouldn't, since forget is also a profunctor < 1409541657 138666 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :And conceptually a function too < 1409541673 782441 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Although I guess Haskell privileges it < 1409541698 804033 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :(By priviledge I mean not doing a Racket equivalent of a newtype) < 1409541715 664403 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :ChrisMM: if you want a fixed finite output, you could do the b::=~ rules, and then just have ::=bbbbb, no? < 1409541722 64570 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :(to output five, of course) < 1409541741 554882 :^4!~notnot^v@2601:4:4500:e15:fdeb:16e9:6a8d:3411 QUIT :Ping timeout: 240 seconds < 1409541770 92893 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :yeah I just realized v_v < 1409541773 219845 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :>.> < 1409542073 164933 :AndoDaan!~Daanando@188.189.84.218 PRIVMSG #esoteric :Wrote a script to interpret http://esolangs.org/wiki/Verbose. what a chore. < 1409542117 187855 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :the roman numerals must be the most annoying part < 1409542122 949591 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :what programming language has like < 1409542129 121024 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :a roman numeral library < 1409542146 695271 :AndoDaan!~Daanando@188.189.84.218 PRIVMSG #esoteric :Yeah, just looked up the algorithms and translated them to lua. < 1409542167 599746 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :common lisp has a function to print an integer in roman. still not sure why < 1409542326 990142 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :wow < 1409542427 825109 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :ACTION wouldn't be surprised if Factor had something < 1409542443 259529 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :http://docs.factorcode.org/content/article-roman.html < 1409542504 778866 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :"Computes the quotient and remainder of two Roman numerals." < 1409542512 762773 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Hmmm... I can't figure out thue < 1409542517 466245 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I mean i get it but < 1409542526 321597 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I'm trying to figure out how to properly make code < 1409542530 987858 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :hmm hmmhmm < 1409542829 885653 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Roman numeral is not difficult to implement < 1409542969 436687 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :More difficult than brainfuck numerals? < 1409543000 914949 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :optimized brainfuck numerals are uncomputable, so that's probably harder than romans < 1409543012 746389 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The shortest possible program that outputs a given numeric value < 1409543070 165189 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Are you sure it's an uncomputable problem rather than just an infeasible one? < 1409543099 536451 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hmm, halting problem < 1409543100 497303 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :yeah, it's perfect compression < 1409543112 319237 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :which is uncomputable bla bla kolmogorov. < 1409543120 523062 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah, I can see why it'd be uncomputable < 1409543123 60099 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The halting problem < 1409543211 914242 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :. and +. are provably the shortest possible representations < 1409543223 562940 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Bike: What if you add some restriction that ensures halting? < 1409543248 695747 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Kolmogorov_complexity#Uncomputability_of_Kolmogorov_complexity behold < 1409543264 463223 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I mean, it won't be kolmogorov complexity < 1409543269 481644 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And it will become actually computable < 1409543286 503735 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :There may be other restrictions too that might be possible, such as restricted amount of memory use, and maximum number of steps; you don't need necessarily a restriction that ensures halting, although if there is one that will work too. < 1409543405 205509 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :There are ones which ensure halting and allow multiplication < 1409543418 969382 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I'm not sure about how powerful you can go though < 1409543512 6595 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :i think the shortest representations in presburger arithmetic or something are computable in double exponential time < 1409543538 406022 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :oh no that's some other bullshit about presburger. eh. < 1409543576 803523 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'd believe that, given that you can only add numbers < 1409543599 997394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just use system F hth < 1409543793 794874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(someone here managed to do goodstein sequences in it, that's more powerful than peano arithmetic < 1409543796 806578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :) < 1409544532 306400 :axtens!~axtens@r180-216-50-72.cpe.vividwireless.net.au JOIN :#esoteric < 1409544570 261854 :axtens!~axtens@r180-216-50-72.cpe.vividwireless.net.au QUIT :Quit: Leaving. < 1409544837 458250 :not^v!~notnot^v@2601:4:4500:e15:542:8078:2f0c:a209 QUIT :Ping timeout: 240 seconds < 1409544844 271286 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1409545158 350786 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :'http://docs.factorcode.org/content/word-binary-roman-op%2Croman.private.html < 1409545166 211826 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :ACTION runs in the opposite direction < 1409545432 940411 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1409546674 452419 :ChrisMM!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1409546890 500906 :AndoDaan!~Daanando@188.189.84.218 QUIT : < 1409547638 843555 :J_Arcane_!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi JOIN :#esoteric < 1409547717 539956 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1409547721 868182 :J_Arcane_!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi NICK :J_Arcane < 1409548089 289851 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I forgot to save a part of my forget code. < 1409548098 819767 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo_: apparently it works < 1409548352 482904 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I don't know if (provide gen:profunctor) is the proper way to provide a generic < 1409548478 771062 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :So yeah https://github.com/Sgeo/racket-optics/blob/master/profunctors.rkt < 1409548484 998318 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Still a work in progress < 1409548677 496624 :Lorenzo64!~lorenzo@adsl-ull-22-12.42-151.net24.it JOIN :#esoteric < 1409548766 115091 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I definitely wrong dimap's order of arguments that way for a reason: If there's a consistent flow that's easier for me to remember < 1409549176 937608 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :racket is more reliant on reader macros than i thought. < 1409549218 923220 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I don't think #:foo are reader macros < 1409549240 537182 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :oh, are they just symbols < 1409549279 125784 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :They're keywords. I think natively parsed, but every piece of data is surrounded by a macro which by default rejects keywords < 1409549295 854038 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :...surrounded by? < 1409549302 789314 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Well, hmm. (f a b c) where f is a macro, gets a different macro, so hmm < 1409549325 626515 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Well, (f a b c) where f is a macro gets turned into (#%app f a b c). I think something similar happens to bare data < 1409549337 492072 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :erm, where f is a function. < 1409549353 774972 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :(both lines) < 1409550633 120114 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1409550817 973542 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1409552190 148897 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Quit: Leaving... < 1409553266 911452 :TieSoul-mobile!~TieSoul@m193-216-40-105.cust.tele2.nl JOIN :#esoteric < 1409553442 924618 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Ping timeout: 240 seconds < 1409553451 511937 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1409553827 838468 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: ? < 1409554278 877280 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I guess a hypothetical 'sum' is an example of a optics Fold? < 1409554328 91139 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1409554434 660670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sumOf < 1409554435 688670 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => Getting (Endo (Endo a)) s a -> s -> a < 1409554470 90480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: a Fold is something you _can_ take a sum (or any monoidal summary) of. < 1409554512 440803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t foldlOf' < 1409554513 430214 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Getting (Endo (Endo r)) s a -> (r -> a -> r) -> r -> s -> r < 1409554626 270423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t foldrOf < 1409554627 197771 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Profunctor p => Accessing p (Endo r) s a -> p a (r -> r) -> r -> s -> r < 1409554638 822327 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Ok, so a quick test of my code at the REPL failed... and I have no idea if my definitions are wrong or my REPL test is wrong < 1409554660 570720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1409554699 346005 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :REPL code was wrong < 1409555299 553406 :TieSoul-mobile!~TieSoul@m193-216-40-105.cust.tele2.nl QUIT :Read error: Connection reset by peer < 1409557003 635355 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1409557024 305156 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 260 seconds < 1409557544 906233 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1409557652 251871 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1409560013 491231 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409560125 604901 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I notice sometimes the computer screen is getting blurry horizontally when the CPU is busy; does this have anything to do with the fan? < 1409560212 552 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It doesn't seem to give me any problems with any programs though, with the exception of Visual Pinball. < 1409560285 70391 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(Not only is it fuzzy horizontally but also vertically makes scanlines brigher and darker) < 1409560720 342541 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I can think of two things: < 1409560804 80988 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :firstly, if it's a notebook, then it's usually a problem with that the notebook isn't grounded because there is no ground pin in the cable from the power supply to the notebook, and this can cause problems. the solution is usually to replace your power supply, or, < 1409560854 98869 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if it only causes problems with the image on your monitor, not static when you touch the keyboard, and your video card has a DVI or HDMI output, then use an all-digital cable to the monitor. < 1409560856 188938 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It isn't. < 1409560941 451076 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Secondly, if you're using a VGA cable (even on a desktop computer), it could be an inductive interference between a power cable and your VGA cable, or something simliar inside the machine, in which case moving to all digital DVI or HDMI often helps. < 1409560941 784623 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Read error: Connection reset by peer < 1409560973 704973 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ja < 1409560985 613649 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1409560988 695792 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Can I deactivate certain keycombinations in the Dvorak layout < 1409561002 342467 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: Secondly, if you're using a VGA cable (even on a desktop computer), it could be an inductive interference between a power cable and your VGA cable, or something simliar inside the machine, in which case moving to all digital DVI or HDMI often helps. < 1409561005 200958 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Sorry my computer turned off while I was trying to figure out what a power cord was connected to. I wonder if that is the problem? < 1409561006 672753 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Other possibilities are that you have an extra-long VGA cable or a faulty KVM switch or a very old and bad quality monitor, but you probably know if you do that. < 1409561045 998473 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I am not using a KVM switch < 1409561051 970796 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: in that case hope that the power cable was connected losely somewhere and you accidentally moved it, so try to unplug and plug everything. < 1409561053 909041 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I do have a surge protector though. < 1409561080 42891 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It only happens when it is computationally intensive though. < 1409561101 350787 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's also possible that you simply have a faulty motherboard (or possibly power supply or something) which is why the computer sometimes turns off at random times, but that's hard to debug. find someone who is good with hardware. < 1409561123 475088 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: are you using a VGA cable? < 1409561141 578141 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, although it is pretty close to the computer and monitor < 1409561151 497171 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(or a VGA to DVI adapter) < 1409561157 602407 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is a "Certified Data" LCD monitor < 1409561180 590020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: in that case, try to move around the cables a bit, especially try to make sure the VGA cable isn't close to power cables, and check if that makes the image better. < 1409561255 246099 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1409561442 644758 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 245 seconds < 1409562211 617153 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But I wonder if it is really just an effect of a different kind of problem inside of the computer. < 1409562231 446690 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I did have many other problems before but replacing the power supply fixed most of them. < 1409562253 352813 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(The picture is the only thing it did not fix.) < 1409562480 407991 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I hate typing '+space+s for 's < 1409562484 913588 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because '+s gives me ś < 1409562501 74955 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :itś a me, mario < 1409562501 495732 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Disable that function then (or change it) < 1409562505 419 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You should have a separate key for ' and ´ like we do. < 1409562522 584182 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I wanna use Dvorak with support for german Umlauts < 1409562528 111533 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, using separate dead keys would help < 1409562533 265522 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which Dvorak international with deadkeys has < 1409562547 831153 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that Layout also has this silly śáń combination-keys < 1409562584 554466 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I use US International with AltGr deadkeys. < 1409562589 571053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's p. good < 1409562604 673761 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ü < 1409562605 850153 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wow < 1409562608 293634 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's a me < 1409562611 336787 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1409562613 471231 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :neat < 1409562615 569310 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ö < 1409562637 586659 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :üö wheres the third? < 1409562649 457294 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm using the "nodeadkeys" variant of the standard Finnish layout, which is slightly silly in that it has a key for ' and a key for ´ and you can get e.g. á with composing with either one of those, which makes the ´ relatively useless, since I don't think I've ever needed a standalone ´. < 1409562650 67973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :over the q? < 1409562652 221828 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ä < 1409562659 689567 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :äüö < 1409562661 153521 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :k < 1409562664 379012 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :altgr+w < 1409562672 957002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :altgr+w å < 1409562674 199719 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although it's technically , for dvorak < 1409562690 170737 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(dvorak's , is where qwert'z w is) < 1409562741 127034 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The TI-92 uses the 2ND key together with a letter has a prefix to indicate if you want an accented or Greek letter. < 1409562755 70811 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(with the exception of theta, which has its own key.) < 1409563282 773276 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :fizzie: Except now in order to explain its working, but that's only because it has it anyways < 1409563396 163394 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I suppose another way to make typing accented letters would be for example you can push the apostrophe and while holding it down, push the A and the software could be designed to accept that. < 1409563702 42073 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I noticed that a lot of old UNIX programs use a filter interface, although many new programs don't (except for the ones I wrote); why is that, and can we fix this? < 1409563787 596251 :Lorenzo64!~lorenzo@adsl-ull-22-12.42-151.net24.it QUIT :Ping timeout: 245 seconds < 1409564004 385346 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: well, part of that is safety, making sure you don't overwrite files you don't want to, < 1409564037 796662 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and of course some programs allow using either filter or filename-in-command-line interface, and some programs I write take input from a file but output to stdout. < 1409564251 21167 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is really the user's job to figure out which files you want to overwrite and don't; if you are worried about it you can also set permissions/file-attributes, too. < 1409564312 284175 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I know that dvilj4 supports filter but requires that it is explicitly specified by putting - as the filename; if you put nothing at all you get a help message and I think would be better to put the help message in the man page and make it use a filter interface. < 1409564334 271515 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(And, the filter interface by putting - is normally how I use it, too) < 1409564495 176626 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ukjfvatestgdfrkf QUIT :Quit: Connection closed for inactivity < 1409564618 145447 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Something like this, generally: tex abcde; dvilj4 - < abcde.dvi | lp (although generally I would preview first) < 1409565309 606749 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Many other kind of program would be useful to work by filter as well, such as, to capture a picture from a scanner or webcam, to read captions from a TV broadcast, to do OCR or reading barcodes, preprocessors for text (or possibly even binary inputs), conversion from one format to another, and many more, too. This way you can use it with pipes and/or redirect to files. < 1409565329 353658 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Or even just to put the text on the screen, or typed in on the keyboard. < 1409565349 564442 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be JOIN :#esoteric < 1409565453 925180 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Isn't it? < 1409565556 756224 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, maybe. I'm not sure really. < 1409565615 611307 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :of course some programs require at least a seekable input file, and some even require a seekable output file. < 1409565652 162985 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for example, a video encoder like ffmpeg may or may not need to seek the input and output files, depending on the formats and options used. < 1409565655 883669 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes, I am aware of that, but many don't, even if it normally seems like it does, there are often (not always) simple ways around it. < 1409565697 864730 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have also written a program for writing music in Amiga format; it is also working using filters (so far it ignores all command-line parameters as I have had no need to add any; however later I may want to add options for version information, search paths, and extra diagnostic outputs) < 1409565745 872982 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :can you give particular examples of programs that you would like to work as a filter but they don't? < 1409565811 595814 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's one program that I sometimes try to use with the filename in command line but that actually requires the input from stdin always: tr < 1409565859 364016 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it makes sense for avoiding human errors actually because tr takes one or two non-filename arguments, so you could make a mistake where a filename argument is interpreted as a transliteration key or the opposite < 1409565925 8246 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :b_jonas: Well, dvilj4 can, but it doesn't unless you put a minus sign. And of course a lot of GUI programs are such examples too; many could possibly be designed for filter < 1409565991 810807 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it's that I don't use filters too much because I'm overcompensating for how some people try to avoid temporary files at all costs even when temporary files aren't the problem (especially on sane modern operating systems where the files typically don't even have to hit the disk, and when they do have to hit the disk, then they'd better hit the swap even if you don't use a temporary file) < 1409566011 66103 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Programs such as ppMCK also are not a filter. < 1409566041 249676 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: oh, I don't use dvilj4 because I print through postscript or pdf, but I do write the laser jet printer output file with ghostscript to a temp file < 1409566079 767396 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :gui programs are different, there the problem is often that the program is gui-only, and it's very hard to automate them. but I don't meet many of those programs except at work. < 1409566090 897368 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's ppMCK? < 1409566104 148753 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ppMCK is program for writing .NSF musics. < 1409566142 300153 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you know anything about .NSF musics? < 1409566146 124201 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1409566346 954157 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Also is there a way for a pipeline with several programs to redirect its output to the first program's input? In some cases this would be useful for making some kind of programs that could take advantage of this. < 1409566458 454987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: there is, but most often that just leads to deadlocks that you don't discover at first < 1409566471 974608 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which is why that ability should not be well known < 1409566489 643060 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you should do that only if you're certain your program and use case can handle it < 1409566541 109425 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you mean per #esoteric, then yes, you can do that, though I don't know why it helps < 1409566597 534310 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1409566727 720651 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(this seems to be a faq btw, people often want that, even if it's a bad idea.) < 1409566866 885959 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes I know you would have to be careful about such deadlocks and that kind of stuff < 1409566960 521008 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :especially careful about deadlocks if you want the programs to be portable, because the default buffer size for the pipes depends heavily on the OS kernel you're using < 1409567007 48421 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: libbfd is unable to read/write object files from/to streams (it needs a seekable file, which is reasonable, though it could work around that in memory), which makes it slightly more awkward to do things like a script to convert between assembly/hex given on the command line. < 1409567040 331080 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: ok < 1409567097 675495 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I use "echo ... | gcc -x c - -o - -S" reasonably often to check what sort of code gets generated by C constructs, which is nice. < 1409567115 39378 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It may also depend if a program is using nonblocking I/O and may be doing other things at the same time such as internet < 1409567130 624962 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe what we need is more easier and safer syntax in the shell to pass temporary files to programs such that the files are already unlinked before starting the programs and passed as /dev/fd stuff, to ensure they're always cleaned up. < 1409567170 633570 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But I think filters are the best way < 1409567172 807428 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :bash has the starts for this: it has such redirection syntax now that doesn't require you to hardcode file descriptor numbers, instead bash choses them and puts them to a shell variable. < 1409567188 962482 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now we just need a syntax for such redirection that opens an unlinked temp file. < 1409567248 555754 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm.... < 1409567264 523240 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe we already have that? let me ask the bash folks. < 1409567617 78014 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Maybe what might help a bit is a syntax to start a process and pass it as a parameter to another program, so that such other program controls its file descriptors and so on. < 1409567690 392879 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(And, this process it start could actually be a pipeline instead; it shouldn't necessarily have to be a single program) < 1409567701 483050 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: I don't think you can do that. you have to start the process after you open its file descriptors to somewhere. you can make a program that does fancy setup stuff with file descriptors and then starts a program whose command line you pass to it. < 1409567940 18884 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1409568021 533922 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1409568291 664348 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I have no sound on this thing :( < 1409568489 134186 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :unmute the volume control < 1409568503 661821 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, any idea about zzo38's problem with the monitor image? < 1409568503 850810 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas: swiss federal institute of technology. the < 1409568509 234387 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1409568545 347966 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Do you mean they're to blame? < 1409568545 509826 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: the behavior of your modifications of the utmost importance. implementations should be < 1409568570 117108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^style < 1409568570 331627 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon* lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1409568572 758387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh. < 1409568585 505102 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^style europarl < 1409568585 676330 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: europarl (European Parliament speeches during approx. 1996-2006) < 1409568586 940565 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Do you have a statement at this juncture? < 1409568587 367747 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: mr president, mr president-in-office, commissioner, the euro is allowed to go on forever. we condemn attacks on jewish symbols and institutions in the member states in improving nuclear safety. < 1409568591 568268 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: if it were that easy... < 1409568621 198748 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`addquote fizzie: mr president, mr president-in-office, commissioner, the euro is allowed to go on forever. we condemn attacks on jewish symbols and institutions in the member states in improving nuclear safety. < 1409568622 584346 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: madam president, under our proposals for reform, but it is not acceptable either to parliament or any parliament, even if the cost is very high and each project's timescale is measured over many years and decades. but in thinking about and working on this issue was raised by a number of other factors involved and we have to ensure that it is right to raise the issue of preventing and combating drug addiction. i should l < 1409568622 904493 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1217) fizzie: mr president, mr president-in-office, commissioner, the euro is allowed to go on forever. we condemn attacks on jewish symbols and institutions in the member states in improving nuclear safety. < 1409568667 763349 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: I'm pretty sure it's right to raise the issue of preventing drug addiction. Go on. < 1409568668 51985 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: madam president, commissioner, over the past months, i have evidence that this is a very good example when it comes to the presence of certain ingredients for health reasons. < 1409568938 12981 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wonder how much the formalities affect their productivity < 1409568950 980817 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(or possibly, their productivity is zero) < 1409569136 257192 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :IIRC, there's about a 10% chance of fungot in europarl mode starting with something else than one of the customary formalities. < 1409569177 464372 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, the winners of the ICFP 2014 contest will be announced tomorrow. are you excited? < 1409569178 636039 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :b_jonas: mr president, i find it regrettable for them, are extremely harmful? i hope i have replied to all the members who have spoken before in this chamber and that therefore the policies that the commission does share the feelings of my group that we wish to call on all my fellow members that it is important for them to grant their approval or not, whether to work part-time or not, which is being managed so well by my collea < 1409569219 858725 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh. < 1409569255 124460 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ICFP 2014 tagline: "extremely harmful". < 1409569313 9269 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Their victories are regrettable. < 1409570073 585274 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Neat. One of the Racket folks is giving a talk there. < 1409572821 7143 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :b_jonas: Since you were advising on monitor problems, on my netbook, since a while ago, every scanline wiggles left and right independently. < 1409572871 722986 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hey, I'm not a hardware guy really < 1409572889 484262 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, no idea < 1409572930 897652 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Okay. < 1409572987 357142 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I'm not even really a "programmer with a screwdriver". I only do hardware only so much as I'm required for myself so I can work with software, or quick troubleshooting for my mother or things like that.) < 1409573352 586172 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If telling off the lvds ribbon sternly doesn't work, you may need to make veiled threats against the panel. < 1409573402 698967 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot knows how to deal with panels. < 1409573403 370806 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: mr president, this time, aid to afghanistan, i find it extremely harmful should this not produce a single kilo of bananas, requiring a study of possible consequences for a person to have any impact on the banana market and is the first time, has been the subject of enlargement and the accession of a further court judgment will be able to move easily around the european elections, for the council and the commission share < 1409573539 368521 :Lorenzo64!~lorenzo@adsl-ull-22-12.42-151.net24.it JOIN :#esoteric < 1409575302 393820 :Lorenzo64!~lorenzo@adsl-ull-22-12.42-151.net24.it QUIT :Ping timeout: 250 seconds < 1409577166 904619 :boily!~alexandre@dsl-173-206-44-15.tor.primus.ca JOIN :#esoteric < 1409577655 484654 :ski_!~ski@remote1.student.chalmers.se NICK :ski < 1409578270 793325 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Hmm. < 1409578275 730647 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@help djinn < 1409578275 886296 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :djinn . < 1409578275 886465 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Generates Haskell code from a type. < 1409578275 886562 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://darcs.augustsson.net/Darcs/Djinn < 1409578284 173402 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :That doesn’t lead anywhere. < 1409578394 208556 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn a -> a < 1409578394 400861 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a = a < 1409578430 427635 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn (a -> b) -> a -> b < 1409578430 583338 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a = a < 1409578441 719011 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@djinn (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c) < 1409578441 874543 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Class not found: Functor < 1409578468 985950 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't know if it can work with "concrete" types < 1409578474 430384 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn Int -> String < 1409578474 585996 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Undefined type Int < 1409578494 730452 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :No, but these are classes, and AIUI it can use Monad at least. < 1409578506 373251 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@djinn (Monad f, Monad g) => (a -> b -> c) -> f a -> g b -> f (g c) < 1409578506 537164 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :-- f cannot be realized. < 1409578510 838945 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn Integer -> String < 1409578510 995011 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Undefined type Integer < 1409578515 982665 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1409578516 812223 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1409578525 150578 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn Num a => a -> a -> a < 1409578525 312009 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Class not found: Num < 1409578527 957531 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::( < 1409578536 580925 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@djinn Bool -> Bool < 1409578536 736918 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a = a < 1409578569 963416 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn f a -> a < 1409578570 118930 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :-- f cannot be realized. < 1409578570 899791 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Thing is, I would have liked to read on the exact restrictions, but the help link goes nowhere. < 1409578582 742985 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn Functior f => f a -> a < 1409578582 924335 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Class not found: Functior < 1409578587 755856 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn Functor f => f a -> a < 1409578587 930644 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Class not found: Functor < 1409578593 657824 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Maybe is a Functor, right? < 1409578599 355568 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1409578605 508673 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1409578608 483210 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@info Functor < 1409578608 652790 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor < 1409578639 834482 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1409578645 82702 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Functors don't have f a -> a < 1409578652 174233 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1409578672 23659 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn Functor f => (a -> b) -> f a -> f b < 1409578672 178959 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Error: Class not found: Functor < 1409578686 990165 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ah right. It doesn't know Functors at all < 1409578782 888882 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric ::t tabulate < 1409578784 587001 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: ‘tabulate’ < 1409578808 304098 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@hoogle (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c) < 1409578810 944833 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.IntMap.Strict intersectionWith :: (a -> b -> c) -> IntMap a -> IntMap b -> IntMap c < 1409578811 100259 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.IntMap.Lazy intersectionWith :: (a -> b -> c) -> IntMap a -> IntMap b -> IntMap c < 1409578811 100447 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Sequence zipWith :: (a -> b -> c) -> Seq a -> Seq b -> Seq c < 1409578821 72769 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :… < 1409578835 844056 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@let tabulate op rs cs = fmap (\r => fmap (op r) cs) rs < 1409578835 999502 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: Parse error: => < 1409578841 32630 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@let tabulate op rs cs = fmap (\r -> fmap (op r) cs) rs < 1409578843 932610 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1409578941 477229 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric ::t tabulate < 1409578942 805965 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Functor f1, Functor f) => (a -> a1 -> b) -> f a -> f1 a1 -> f (f1 b) < 1409578982 957529 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de QUIT :Quit: WeeChat 0.4.3 < 1409579000 547767 :gyrusbam!~gyrusbam@ec2-54-201-199-156.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1409579000 944350 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1409579146 312579 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@djinn (a -> b -> c) -> (a -> b) -> a -> c < 1409579146 468397 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a b c = a c (b c) < 1409579206 99799 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1409579245 502260 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1409579319 376029 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :*.net *.split < 1409579324 515548 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@djinn (forall a b. (a -> b) -> f a -> f b) -> (forall a b. (a -> b) -> g a -> g b) -> (a -> b -> c) -> f a -> g b -> f (g c) < 1409579324 671090 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :-- f cannot be realized. < 1409579362 3849 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :@djinn (forall a b. (a -> b) -> f a -> f b) -> (forall a b. (a -> b) -> g a -> g b) -> (x -> y -> z) -> f x -> g y -> f (g z) < 1409579362 159633 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :-- f cannot be realized. < 1409579403 483758 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1409579424 937577 :gyrusbam!~gyrusbam@ec2-54-201-199-156.us-west-2.compute.amazonaws.com QUIT :Read error: Connection reset by peer < 1409579628 564564 :TieSoul-AWAAAY!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1409580772 175846 :b_jonas!~x@russell2.math.bme.hu QUIT :Quit: Changing server < 1409581125 501843 :impomatic_!~digital_w@81.174.174.142 QUIT :Ping timeout: 240 seconds < 1409583488 840239 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn (a -> b) -> (b -> c) -> (a -> c) -> Bool < 1409583489 32559 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f _ _ _ = False < 1409583496 988002 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1409583504 119717 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn (a -> b) -> (b -> c) -> (a -> c) -> a -> b -> Bool < 1409583504 277432 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f _ _ _ _ _ = False < 1409583525 826475 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1409583536 482327 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@djinn (a -> c) -> (b -> c) -> a -> b -> Bool < 1409583536 637878 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f _ _ _ _ = False < 1409583547 183086 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how uncreative < 1409583578 976356 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@let apCmp f g a b = (f a) == (g b) < 1409583581 757492 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1409583584 378128 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type apCmp < 1409583585 300333 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Eq a => (t -> a) -> (t1 -> a) -> t -> t1 -> Bool < 1409583588 447774 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@djinn (a -> c) -> (b -> c) -> (c -> c -> d) -> a -> b -> d < 1409583588 603174 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a b c d e = c (a d) (b e) < 1409583602 544609 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: You highlighted me some hours ago? < 1409583626 33658 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Regarding ESOSC and the brainfuck survey < 1409583637 811304 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ah. < 1409583651 722349 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I remember that I wrote a draft based on the survey results < 1409583709 807289 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://eso.mroman.ch/ESOSC/s/2014-3/ESOSC-2014-D3-R1.pdf < 1409583722 944274 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm not sure what the state of that Draft was though < 1409583834 266562 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Could you close the poll and release the results? < 1409583907 856617 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: sure < 1409583917 734776 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Let me just use this "Forgot password" function :D < 1409583980 330770 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1409584087 442757 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: https://de.surveymonkey.com/results/SM-JZ78GR8L/ < 1409584141 813469 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1409584156 364080 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :produce error on leave the tape to the left < 1409584165 42210 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :has just barely won the race < 1409584170 991433 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a while ago it was clearly behind < 1409584239 392080 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think perhaps we should make the standard say that should be implementation defined < 1409584272 876382 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1409584274 87720 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1409584286 597428 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :otherwise we'd ignore the poll if we keep it "unbounded to the left" < 1409584316 669744 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :We *could* recommend to make it unbounded to the left but it's implementation defined in the end < 1409584340 440952 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but < 1409584341 936912 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I mean < 1409584346 268244 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :we'd ignore the poll by that too < 1409584354 810922 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since the poll says it should produce an error < 1409584381 400379 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so the first question is: How seriously do we take the results? < 1409584441 558836 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :We asked for them, so I think we should take them fairly seriously < 1409584464 596790 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although for question 1 I would have rather answered "the cells should be unbounded" < 1409584469 472143 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You could start a poll for that. < 1409584480 819510 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: psst < 1409584569 558199 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well, then leaving the tape to the left is an error < 1409584573 178847 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's what the poll said < 1409584577 605370 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :with a 1% lead or so < 1409584683 938405 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because it was so close, can we add a note that says something to the effect of "Implementations are welcome to expand the tape to the left also, but programs should not depend on this behaviour" < 1409584739 103429 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can always add something like "but your interpreter might offer a language extension that can be enabled to support unbounded cells to the left" as well < 1409584791 595277 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :generally I'd recommend not relying on unbounded memory to the left, yes < 1409584822 371417 :AndoDaan!~Daanando@188.188.77.208 JOIN :#esoteric < 1409584836 912995 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :technically a standard compliant interpreter *has to* produce an error < 1409584841 897786 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :at least in standard compliant mode < 1409584865 241140 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but you could add a switch --non-std or whatever < 1409584879 805295 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'd still prefer "May produce an error or may extend to the left" < 1409584898 612883 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Me too < 1409584955 762742 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but just be aware, that we somehow interpret the close lead differently than a huge lead ;) < 1409584962 944409 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :by doing that < 1409584977 492301 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They're one vote away from parity! < 1409584991 540582 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's closed now ;) < 1409584994 25032 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but ok < 1409585002 258785 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'll vote for "implementation defined" too < 1409585080 457591 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :nortti? < 1409585085 697914 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :When reaching an intersection, you should yield to the left. But it's ok to yield to the right, too. Some drivers may do that. < 1409585091 273133 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :nortti is away < 1409585184 809480 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :gotta catch train < 1409585187 514387 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :until later < 1409585250 364581 :boily!~alexandre@dsl-173-206-44-15.tor.primus.ca QUIT :Quit: VARNISHED CHICKEN < 1409585340 502775 :Ando!~Daanando@188.188.72.21 JOIN :#esoteric < 1409585355 34446 :AndoDaan!~Daanando@188.188.77.208 QUIT :Ping timeout: 255 seconds < 1409586261 670367 :Ando!~Daanando@188.188.72.21 QUIT : < 1409586614 839753 :impomatic_!~chatzilla@81.174.174.142 NICK :impomatic < 1409587458 900443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Will you make yourself standards-compliant now? < 1409587459 687152 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: we have voted ecu 200 billion per year, and is a credit to the substantive improvements which are being presented to this tribunal. i hope that in the neighbouring country of cambodia? this question is vital, and urgent, for the closing-down of sellafield? < 1409587487 852010 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Man, making a brainfuck interpreter is more expensive than I thought. < 1409587553 839004 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I used to have a teddy bear called "Sellafield Bear" < 1409587558 706186 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because he glowed in the dark < 1409587573 491421 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409587773 477076 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 240 seconds < 1409587892 252611 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how do you say: pack an umbrella (eg. for the vacation)? {se bevri punji lo santa}? < 1409587918 963573 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or, um, {se bevri setca lo santa}? < 1409587924 600622 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I feel there must be some better way to say this < 1409587944 427580 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What language is this? < 1409587951 151615 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah, sorry, wrong channel then < 1409587958 534840 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric ::-( < 1409587968 259507 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(it's lojban, and supposed to go to #lojban ) < 1409588290 618449 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :ACTION giggles. < 1409588347 700367 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :I thought for a moment this was #jbopre and Tene had sarcastically commented. < 1409589126 351380 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PART :#esoteric < 1409589787 53380 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :Taneb: I'd say left on cell 0 is an error < 1409589872 34500 :boily!~alexandre@dsl-173-206-44-15.tor.primus.ca JOIN :#esoteric < 1409590177 66168 :DootBot!~cinch@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1409590350 130287 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: The problem with implementation defined is < 1409590361 754887 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that you can't say no more "it will run in any ESOSC-BF compliant interpreter" < 1409590400 901002 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just thought about that in the train < 1409590413 916244 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I've changed my opinion to "it has two be one of those two but not both" < 1409590417 593904 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :either unbounded or error < 1409590420 232807 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but not both < 1409590447 258062 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What again were the reasons for unbounded/error? < 1409590454 93815 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :unbounded because of symmetry to >? < 1409590488 112200 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :error because most BF implementations don't support unbouned-to-left < 1409590510 328637 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I think a great amount of implementations really don't support it, yes < 1409590526 718044 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although some implementations use an array of size N < 1409590535 607305 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and have the pointer initialized to N/2 < 1409590549 653287 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but then the array is of fixed size < 1409590555 560655 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so neither unbounded to the left nor right < 1409590593 916172 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also moving to the left requires a realloc < 1409590607 482119 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :with an extra copy < 1409590620 468991 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(as realloc usually appends more space to the right, and not to the left) < 1409590683 477939 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :regarding that error looks really like a good option < 1409590694 705924 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it's still the leading option in the poll < 1409590716 96351 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also "unbounded to the left but not recommended to rely on" is well.... < 1409590721 329798 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :might as well say it's an error < 1409590729 368276 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :rather than supporting it but not recommending it < 1409590740 587125 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :maybe you could allocate to the right but use even cells as greater than zero and odd as less than zero, or something < 1409590743 813922 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :fuck ur cache < 1409590747 576851 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Implementors are always free to add a command line switch to switch to "unbounded to the left" < 1409590759 853424 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Bike: some implementations do that < 1409590763 456596 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(mine does for example) < 1409590839 118462 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm in favor of error < 1409590916 248181 :MoALTz!~no@user-164-127-9-186.play-internet.pl JOIN :#esoteric < 1409591500 765943 :boily!~alexandre@dsl-173-206-44-15.tor.primus.ca QUIT :Quit: WeeChat 0.4.2 < 1409591734 579017 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/9439 < 1409591820 443724 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :lol. < 1409592123 637078 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :The Factor subreddit is called "Factor wanking" < 1409592145 394603 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I do not know why... and I assume nor does the person who asked about it 3 years ago and received 0 responses < 1409592286 770704 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"Macros akin to those in Common Lisp, but hygienic like Scheme, because if you don’t have variables, you can’t capture them." < 1409592306 915921 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Hmm.... but there's a lexical variable macro... how might other 'macros' interfere with that? < 1409593908 916621 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :How strict are you with respect to the functional style in your own programs? < 1409593918 516516 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :J_Arcane: lazy < 1409593940 208534 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1409594027 597226 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :i only write in snobol, so that would be impractical < 1409594079 819848 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :J_Arcane: I do not quite understand the question. < 1409594097 34446 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Well, when working with Lisps or other functional programming languages. < 1409594122 615052 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know; I have not written a program in Lisp. < 1409594156 682469 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Like, I know we have some Haskellers here, and that always seems to me like it more or less doesn't work any other way, but Lisp is more flexible, and it seems like there's an attitude in the community towards nevertheless programming in the functional style as much as possible. < 1409594162 955703 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :J_Arcane: I always try to adhere to functional style, especially when coding in an imperative language < 1409594196 229025 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Actually I have thought that combining Haskell and Lisp might be good idea < 1409594211 73532 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :i only write lisp as our forfathers intended: with prog < 1409594318 826301 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :zzo38: Well, there have been a number of efforts to introduce monads into various lisps. < 1409594402 274256 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I confess to having no familiarity with them at all yet, so I wouldn't know what to do with them. < 1409594430 352384 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I am not talking about monads < 1409594444 60233 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I mean Haskell with Lisp-like macros < 1409594446 156451 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :monads are just a particular API, if you want "haskell" you're gonna want more like, recursive data whatever < 1409594461 525443 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Ahh. < 1409594535 368239 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Sum types. Sum types are good. < 1409594626 450102 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Monads are just a particular type class; or, in object oriented programming, is like an interface. But there are also comonads and stuff like that too. < 1409594794 624592 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But anyways I meant macros < 1409594982 825399 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 JOIN :#esoteric < 1409594987 462231 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Hey guys. < 1409594998 298772 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Anyone here versed a bit in Python? I need a smidge of help. < 1409595026 168896 :J_Arcane!~JArcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I know a bit of Python. < 1409595041 477511 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Well, I'm not exactly dealing with a low-level problem. < 1409595055 230973 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I'm trying to allow Python to accept inputs from command-line, would that be a sys module? < 1409595056 887487 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :and which one? < 1409595078 3726 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :sys.argv < 1409595090 254959 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Yeah, but < 1409595091 937068 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :not that < 1409595104 74071 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :It's interpreting code in another language < 1409595111 183363 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :once it's interpreted it might prompt the user for input < 1409595120 892147 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :sys.stdin < 1409595128 188144 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :thanks, I'll look up the syntax... < 1409595437 390875 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :This is... horrific < 1409595438 839075 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :agahds. < 1409595828 499033 :Lorenzo64!~lorenzo@adsl-ull-22-12.42-151.net24.it JOIN :#esoteric < 1409596155 880377 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1409596312 310755 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :< nortti> error because most BF implementations don't support unbouned-to-left – Why is that? < 1409596353 276415 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :why most don't support it? < 1409596376 655705 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :probably since it would, in many cases, be harder to implement < 1409597003 855617 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Wahoo! I did it < 1409597075 248798 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Melvar: It's harder to implement, I'd say < 1409597136 366574 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@aks Taneb Can you live with error on leaving left? < 1409597136 524612 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: ask arr < 1409597141 184885 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no < 1409597148 196355 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@ask Taneb Can you live with error on leaving left? < 1409597148 351710 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1409597154 235596 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I didn't mean to aks arr < 1409597157 543746 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :whoever arr is < 1409597161 60899 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@arr < 1409597162 393193 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Keelhaul the swabs! < 1409597166 13431 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :data Tape a = Tape a [a] a [a] < 1409597166 937611 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@arr foo < 1409597167 93150 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Aye < 1409597172 555454 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@arr bar? < 1409597172 711028 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Smartly me lass < 1409597178 697594 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1409597182 538915 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's pirate talk. < 1409597195 355409 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Why does Tape a have two heads? < 1409597203 73820 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Tape [a] a [a]? < 1409597211 238250 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Cork14]]4 10 02http://esolangs.org/w/index.php?diff=40381&oldid=40329 5* 03173.17.62.235 5* (+102) 10 < 1409597216 207711 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :wahoo < 1409597217 398473 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :That's not what Melvar emitted < 1409597224 249708 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah < 1409597229 850384 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I know < 1409597255 47181 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1409597309 811109 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Sgeo_: I decided I wanted to be able to dump the touched portion of the tape, so I made only the touched portion exist. The first a is the value of untouched cells. < 1409597464 220237 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Ah < 1409597540 447617 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :left (Tape z [] m rs) = Tape z [] z (m:rs); left (Tape z (l:ls) m rs) = Tape z ls l (m:rs) < 1409597616 682401 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You're doing it wrong < 1409597632 903029 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Apparently that file is from 2011. < 1409597635 59330 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If it aint Zippers, Functors, Monads you ain't doi'n it wrong. < 1409597642 190455 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn < 1409597648 850051 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you ain't doin' it right < 1409597651 499368 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Which is newer than I thought. < 1409597663 410762 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's got to have at least Zippers < 1409597681 846423 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you should work some lenses in there too < 1409597719 344862 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :I’m pretty sure I had never heard of lenses when I wrote that file. < 1409597725 842876 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1409597734 943471 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :I mean, in programming context. < 1409597739 36974 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Rule of thumb is that if I can understand it you're not using enough fancy stuff < 1409597782 326188 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :branch :: (Boolesy a) => BF a -> BF a – And Boolesy, what silliness that was. < 1409597878 612037 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Apparently I did know what a monad transformer is: type BF a = StateT (Tape a) IO () < 1409597885 645937 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :left <$> inc `app` $>> right `app` dec < 1409597889 268005 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :;) < 1409597916 621771 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type (<$>) < 1409597917 867230 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1409597930 442609 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's just fmap? < 1409597935 6307 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1409597940 382489 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1409597950 590488 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :why did I think <$> is some complicated cattheory stuff < 1409597960 248575 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (+1) <$> Just 5 < 1409597961 775903 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just 6 < 1409598010 981600 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :In Haskell, anyway; one of the traps of Idris is that its (<$>) is Haskell’s (<*>) instead. < 1409598022 508231 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :( :t (<$>) < 1409598022 730166 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Applicative.(<$>) : 12Applicative 13f => 13f (13a -> 13b) -> 13f 13a -> 13f 13b < 1409598022 900954 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :09Effects.(<$>) : 12Eff (13a -> 13b) 13xs (\13v => 13xs) -> 12Eff 13a 13xs (\13v7 => 13xs) -> 12Eff 13b 13xs (\13v8 => 13xs) < 1409598022 901097 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :09BotPrelude.LiftEq.(<$>) : (13f 12= 13g) -> (13x 12= 13y) -> 13f 13x 12= 13g 13y < 1409598029 447232 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type (<*>) < 1409598031 195274 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Applicative f => f (a -> b) -> f a -> f b < 1409598037 773184 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Or, well, one of them. < 1409598043 978248 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1409598060 640112 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Just (\x -> x + 1) <*> Just 6 < 1409598066 398623 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> Just (\x -> x + 1) <*> Just 6 < 1409598068 335798 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Just 7 < 1409598071 961572 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sweet < 1409598107 635021 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :> [(+1), (+6), (*3)] <*> [8, 4, 8, 33] < 1409598108 941384 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : can't find file: L.hs < 1409598112 458290 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1409598115 294907 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :alas < 1409598128 406735 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :i guess [] isn't an applicative probably. < 1409598143 86582 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :> [(+1), (+6), (*3)] <*> [8, 4, 8, 33] < 1409598144 748034 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [9,5,9,34,14,10,14,39,24,12,24,99] < 1409598166 722315 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :lambdabot what'd i ever do to you < 1409598171 596426 :doesthiswork!~Adium@2601:7:2480:1e1:223:12ff:fe1b:3213 JOIN :#esoteric < 1409598249 854808 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :( [(+1), (+6), (*3)] <$> [8, 4, 8, 33] < 1409598250 456495 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:20:When elaborating an application of function 09BotPrelude.LiftEq.<$>: < 1409598250 611876 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric : Can't unify < 1409598250 612015 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric : 12Vect (04S 13n) 13a < 1409598250 612107 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric : with < 1409598250 612193 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric : 13f 12= 13g14↵… < 1409598283 170294 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Aha. I was wondering what the failure mode would be, and it did two failure modes at once. < 1409598289 869959 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1409598300 147535 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :( with List [(+1), (+6), (*3)] <$> [8, 4, 8, 33] < 1409598300 746479 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :04[04904, 04504, 04904, 043404, 041404, 041004, 041404, 043904, 042404, 041204, 042404, 049904] : 12List 12Integer < 1409598379 610041 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :( with Vect [(+1), (+6), (*3)] <$> [8, 4, 8] < 1409598380 137571 :idris-bot!~ircslave@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :04[04904, 041004, 042404] : 12Vect 043 12Integer < 1409598471 853606 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :ha. so what's with do < 1409598532 992919 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :I wonder, is there a name for Monads where for all mx and f, do { x <- mx; y <- mx; f x y } == do { x <- mx; f x x } ? < 1409598556 105438 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :Bike: ? < 1409598567 43570 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :with List, with Vect, wassat < 1409598626 789388 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :“with NS expr” prefers names from namespace NS when elaborating expr, if ambiguity arises. < 1409598754 298598 :AnotherTest!~turingcom@d51A45FF2.access.telenet.be QUIT :Ping timeout: 250 seconds < 1409599742 476473 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 JOIN :#esoteric < 1409599749 807577 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Hey guys < 1409599760 401909 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :fungot, nice to see ya < 1409599760 895299 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Imaginer1: i can confirm that technical measures cannot be allowed to continue, you also welcome the european commission’s argument, as regards the coordination of measures by the international criminal court is going to ask just one question: in this third series of speeches, even though not everything is, apparently, it is unacceptable, since a lot of difficulties with this. < 1409600256 41796 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1409600539 32835 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :NOOOOO < 1409600546 812848 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I JUST WROTE A AWESOME PROGRAM IN THU < 1409600549 185309 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :AGHB < 1409600563 824742 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :AND NOW THE THING FROZE AND I CAN'T SAVE IT OR EVEN COPY IT GAHDSIHG < 1409600586 315762 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :rip < 1409600632 372920 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :it was a tag system emulator < 1409600670 322072 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :for the collatz sequence < 1409600840 231738 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh < 1409600846 201041 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what froze? < 1409600975 318652 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :http://lolwh.at/~amb/thue.html < 1409600978 889469 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :it freezes with infinite loops < 1409600998 992556 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I would add a counter to the javascript to let it prompt you every few hundred loops if you want to continue < 1409601182 536181 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :awesome < 1409601185 387036 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :got it working < 1409601478 297129 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Or don't use a Javascript loop at all? < 1409601635 724471 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1409601881 830242 :drdanmaku!uid17782@gateway/web/irccloud.com/x-nvdzdonskxonjzdm JOIN :#esoteric < 1409601949 96396 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409602458 307337 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 JOIN :#esoteric < 1409602461 39699 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Well, you kinda have to if you're using javascript to run Thue < 1409602491 299715 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :i mean, the idea is 'find replacement -> substitute -> repeat while substitutions exist' < 1409602534 929524 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :^show < 1409602535 85351 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 backwards output < 1409602595 237623 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Underload has no input support and that is soul-crushing < 1409602726 672081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Imaginer1: sorry < 1409602738 659158 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm planning input support with Underlambda < 1409602741 267847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's actually really hard to do < 1409602743 881552 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Also, I have trouble understanding why -any- finite memory machine can be -entirely- turing complete < 1409602753 414286 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :(I understand, ais ^^) < 1409602765 860624 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Imaginer1: it can't be without some sort of access to an external memory store < 1409602777 147577 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :knew it < 1409603179 225716 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1409603604 216469 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is Unison considered good for file sync? < 1409603833 134543 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Thue thing should probably just run a few hundred iterations and then reschedule itself using setTimeout; that way you don't need to prompt, yet you don't make an unresponsive browser (and can provide a "stop working" button somewhere on the page). < 1409603838 372585 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Web Workers would be the fancy HTML5 solution to this.) < 1409604059 263 :barrucadu!~barrucadu@fsf/member/barrucadu JOIN :#esoteric < 1409604319 129214 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Few hundred, instead of every? < 1409604348 104180 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1409604509 415072 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I'm no web developer, but my gut feeling is that there would be overly much overhead with an every-iteration setTimeout. < 1409604527 582928 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Depending, of course, how costly each iteration is. < 1409604747 731579 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :I was remembering RequestAnimationFrame or whatever it’s called but that probably doesn’t work if you’re not animating something. < 1409604908 681869 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There seems to be a fixed 4ms lower bound for setTimeout(..., 0), so that'd give a hard upper limit of 250 replacements/second (if you were to call it on every round), which doesn't sound like very much. < 1409604940 746732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, Web Workers lets you spawn real OS-level background threads so it's clearly superior, if more convoluted. < 1409604946 370018 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: RequestAnimationFrame is basically the web equivalent of vsync < 1409604956 722700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except it isn't literally vsync IIRC, just vaguely similar < 1409605022 210232 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently there's also a very non-standard interface called (silly name) setImmediate: https://developer.mozilla.org/en-US/docs/Web/API/Window.setImmediate < 1409605212 521727 :rollertrump!~rollertru@ec2-54-201-199-156.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1409605419 466956 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1409605706 610135 :Melvar!~melvar@dslb-094-221-215-107.094.221.pools.vodafone-ip.de PRIVMSG #esoteric :ais523: To my understanding, it’s about the browser saying when and how often rendering should happen, such as not at all if none of the window or tab is visible. < 1409606712 1570 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1409606787 469126 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1409607142 935501 :qlkzy!~qlkzy@li559-28.members.linode.com QUIT :Ping timeout: 240 seconds < 1409607148 393612 :impomatic!~chatzilla@81.174.174.142 QUIT :Read error: Connection timed out < 1409607351 327887 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1409607363 69526 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1409607393 18862 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1409607522 97167 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 255 seconds < 1409607528 744521 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1409607719 584549 :qlkzy!~qlkzy@li559-28.members.linode.com JOIN :#esoteric < 1409608685 621453 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 JOIN :#esoteric < 1409608688 236342 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I need help. < 1409608692 522480 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :http://pastebin.com/5UrJNPcP < 1409608695 831371 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :What's wrong with this code/ < 1409608722 644680 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :it stops after what should be the second loo and freezes up < 1409608862 390917 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric : elif cmd in responses.keys(): < 1409608863 656852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric : responses[prevout].append(cmd) < 1409608886 335872 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You test for 'cmd', yet try to look up 'prevout'. < 1409608897 989216 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :aaaah < 1409608905 276936 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :thanks ^^ i knew it would be something dumb < 1409608914 560947 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Same for the other branch.) < 1409609185 425694 :vravn!~vravn@syn.rook.sx JOIN :#esoteric < 1409609237 516197 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Incidentally, foo.setdefault('key', []).append('x') may come in handy: http://sprunge.us/LZHd < 1409609240 572799 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Might be slightly suboptimal w.r.t. creating and discarding the [] every time. < 1409609260 990321 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :thanks! < 1409609568 512134 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :Awesome. < 1409609577 14702 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :I just wanted to demonstrate how I was told Cleverbot worked to a friend. < 1409609586 384553 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :But actually, I think I might mess around with this :D < 1409609605 51958 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 PRIVMSG #esoteric :But for it to be useful I'll add a $(words) that lets you think 'for the computer' < 1409610031 698177 :Imaginer1!ad113eeb@gateway/web/cgi-irc/kiwiirc.com/ip.173.17.62.235 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1409610168 980188 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :$words and $worcery < 1409611303 961974 :Hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Quit: Konversation terminated! < 1409615124 273628 :doesthiswork!~Adium@2601:7:2480:1e1:223:12ff:fe1b:3213 QUIT :Ping timeout: 260 seconds < 1409615149 707053 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1409615532 114608 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :It seems weird that to and from aren't opposites < 1409615552 697034 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1409615795 801910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1409615864 452566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with pure profunctor lenses you can make a much better from < 1409615911 126444 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I know how to write from I think, but what's the name of that profunctor? < 1409615920 757956 :Sgeo_!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Unless you mean make from and to actual opposites < 1409615956 822555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's boring. The inverse of to is view.