< 1406160014 897203 :drdanmaku!uid17782@gateway/web/irccloud.com/x-tzvfapnxbenqsfrc JOIN :#esoteric < 1406160545 193225 :Burton!Burton@gateway/shell/bouncerstation/x-sarcemfjgkoasget QUIT :Write error: Connection reset by peer < 1406160550 194980 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406161584 785857 :Burton!Burton@gateway/shell/bouncerstation/x-whhdwtykzlprimms JOIN :#esoteric < 1406161724 490416 :^v!~notnot^v@2601:4:4500:e15:6d15:367c:896e:74e4 QUIT :Ping timeout: 240 seconds < 1406161904 425378 :brrr!~brrr@trivialand/emeritus/brrr JOIN :#esoteric < 1406162504 555862 :^v!~notnot^v@2601:4:4500:e15:6d15:367c:896e:74e4 JOIN :#esoteric < 1406163675 860675 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406165795 119192 :idris-bot!~ircslave@dslb-088-078-156-068.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 264 seconds < 1406165867 101883 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net QUIT :Ping timeout: 264 seconds < 1406166719 941336 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406167391 758893 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406168016 194377 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 260 seconds < 1406168139 89130 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406168320 813204 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406169198 382097 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406170724 642312 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406171306 194566 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406171470 802532 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Ribbit, probably < 1406172750 369703 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406172836 957277 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406173106 21765 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406173768 825590 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDream < 1406173797 792202 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net QUIT :Read error: Connection reset by peer < 1406173948 221304 :drlemon!~drlemon@cpe-108-184-244-109.socal.res.rr.com JOIN :#esoteric < 1406174624 194110 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 260 seconds < 1406174947 67907 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406175143 287674 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406175156 204495 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406175372 885184 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406176500 64840 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1406176595 957319 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1406176600 786077 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406177691 893786 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406178608 580383 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1406178852 983955 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406179558 367702 :^v!~notnot^v@2601:4:4500:e15:6d15:367c:896e:74e4 NICK :^8 < 1406180774 672307 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The DNS, it has been changed. < 1406180789 667710 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now we just have to wait for it to PROPAGATE and then we're BACK in BUSINESS. < 1406181058 317278 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::D < 1406181059 572600 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :what DNS? < 1406181114 68108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :esolangs.org. < 1406181116 633695 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::D < 1406181122 172066 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :who did the survey by the way? < 1406181160 404454 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I just finally filled it out < 1406181209 195643 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Who's the new hosting service? < 1406181233 186993 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not new. < 1406181264 251269 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The sleeping beargor woke up and did something; the old server's back up. < 1406181284 321714 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :So, does this make CloudAtCost not terrible? < 1406181329 94682 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Probably not; I mean, it was unavoidably down quite many days. < 1406181363 391023 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hard to say when they fixed it, but the tweets suggest about ten days of average downtime. < 1406181728 378202 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406182812 382807 :tromp_!~tromp@ool-4570a006.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1406183031 54519 :MoALTz_!~no@user-5-173-212-113.play-internet.pl QUIT :Quit: Leaving < 1406183448 217709 :conehead!~conehead@67.10.235.179 JOIN :#esoteric < 1406183448 491784 :conehead!~conehead@67.10.235.179 QUIT :Changing host < 1406183448 491915 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1406183794 633273 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :how am I supposed to survive without hackego :( < 1406183841 954539 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1406183849 199441 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`echo What do you mean? < 1406183849 993077 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :What do you mean? < 1406183868 263752 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::O < 1406183870 742208 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :he's back! < 1406183873 660848 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`help < 1406183873 954088 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1406183884 315311 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's the very same server. < 1406183901 392193 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1406183944 413751 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`mkdir -p /etc/etc/etc/ad\ nauseam < 1406183945 216149 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mkdir: invalid option -- ' ' \ Try `mkdir --help' for more information. < 1406183954 233521 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`mkdir -p "/etc/etc/etc/ad nauseam" < 1406183954 884298 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mkdir: invalid option -- ' ' \ Try `mkdir --help' for more information. < 1406183961 458693 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`mkdir --help < 1406183962 197907 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: mkdir [OPTION]... DIRECTORY... \ Create the DIRECTORY(ies), if they do not already exist. \ \ Mandatory arguments to long options are mandatory for short options too. \ -m, --mode=MODE set file mode (as in chmod), not a=rwx - umask \ -p, --parents no error if existing, make parent directories as needed \ -v, --verbose print < 1406183976 832796 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`mkdir -p "/etc/etc/etc < 1406183977 665479 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mkdir: invalid option -- ' ' \ Try `mkdir --help' for more information. < 1406183979 721028 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`mkdir -p /etc/etc/etc < 1406183980 403374 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mkdir: invalid option -- ' ' \ Try `mkdir --help' for more information. < 1406183983 337307 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I don't get it < 1406184082 11518 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You need to use `run if you have more than one argument. < 1406184092 11270 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Plain ` passes everything after the command as a single argument. < 1406184109 474446 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run mkdir -p "/etc/etc/etc/ad\ nauseam" < 1406184110 380670 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mkdir: cannot create directory `/etc/etc': Permission denied < 1406184112 541815 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric ::( < 1406184122 93523 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run chmod +w /etc < 1406184123 488986 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :chmod: changing permissions of `/etc': Operation not permitted < 1406184126 87044 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's for making things like `addquote Whatever shell metacharacters may be here. to work without having to quote everything. < 1406184126 737465 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run chmod +w / < 1406184127 499782 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :chmod: changing permissions of `/': Operation not permitted < 1406184162 877304 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fine then < 1406184163 865513 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1406184164 877486 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :660) Incest, the enemy of graph theorists everywhere. < 1406184170 922080 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I don't get it. < 1406184187 158172 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott this is all your fault < 1406184192 800921 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`cat wisdom/alise < 1406184193 620651 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: wisdom/alise: No such file or directory < 1406184198 677782 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :this is the worst < 1406184218 509338 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run echo elliott's not hiding over here >alise < 1406184219 309136 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file < 1406184223 6743 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run echo elliott\'s not hiding over here >alise < 1406184226 385075 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406184229 61761 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run echo elliott\'s not hiding over here >/wisdom/alise < 1406184229 808880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: /wisdom/alise: No such file or directory < 1406184238 44941 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run echo elliott\'s not hiding over here >wisdom/alise < 1406184239 624736 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406184241 537311 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`rm alise < 1406184243 170040 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406184252 901754 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run mkdir -p etc/etc/etc/ad\ nauseam < 1406184253 799954 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406184300 876034 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1406184346 601121 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is there some kind of weblist with all the quotes? < 1406184355 760233 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`pastequotes < 1406184358 364442 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.7340 < 1406184374 149198 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :see also wisdom.pdf in the topic < 1406184415 894884 :brrr!~brrr@trivialand/emeritus/brrr QUIT :Quit: Cya! < 1406184462 857289 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run addwep Monoids A monoid is just a subalgebra of the STR algebra, if you squint hard enough. < 1406184464 745692 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406184554 235177 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hmm < 1406184561 345126 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fizzie: where's hackego's current site? < 1406184566 352916 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's not going to codu < 1406185061 187863 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`? urbandictionary < 1406185062 279423 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :urbandictionary? ¯\(°​_o)/¯ < 1406185103 206162 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run addwep urbandictionary "Urban Dictionary is an alternative, inferior wisdom database." < 1406185104 839458 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406185605 340282 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What does "not going to codu" mean? < 1406185689 254449 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`help < 1406185689 682432 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1406185694 59378 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the URL is out of date < 1406185703 420041 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or my cache wasn't clearing < 1406185705 25524 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :one of the two < 1406185713 580550 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :EWORKSFORME < 1406185759 277507 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you want to get technical, the "physical" address is http://www2.codu.org/projects/hackbot/fshg/ < 1406185759 458355 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`run addwep "works for me" "Error: unable to read wisdom database. try again later." < 1406185761 176760 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406186726 148366 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1406187067 732077 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1406187981 855110 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the physical address is probably an IP address hth < 1406189652 146065 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1406189847 369168 :Melvar!~melvar@dslb-088-078-156-068.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1406191180 969468 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1406193090 957272 :drdanmaku!uid17782@gateway/web/irccloud.com/x-tzvfapnxbenqsfrc QUIT :Quit: Connection closed for inactivity < 1406193336 531319 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1406193458 553534 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Goood morning < 1406194011 225867 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: ? < 1406194792 715525 :idris-bot!~ircslave@dslb-088-078-156-068.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1406195450 336170 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`cat bin/addwep < 1406195450 984998 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ echo "$2" > "wisdom/$1" < 1406195944 514481 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1406196037 717171 :idris-bot!~ircslave@dslb-088-078-156-068.088.078.pools.vodafone-ip.de QUIT :Quit: Terminated < 1406196053 922032 :idris-bot!~ircslave@dslb-088-078-156-068.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1406196167 885527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so why do you say e.g. "tiedätko sinä suomea" instead of "sinä tiedatko suomea" < 1406196181 937222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it like the english weirdness where you switch the order of words when you ask a question < 1406196215 949191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(of course "sinä" is optional in the first place, if i understand correctly, but nevertheless) < 1406196253 760948 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because languages are weird? < 1406196257 274348 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That would be "tiedätkö", and I think people would generally say "puhutko", if you're talking about the language. < 1406196271 61165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, yes, that < 1406196300 108682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: i know but i was trying to use a different verb for once because i've been using "puhua"too mcuh :'( < 1406196313 444595 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But yes, it's some sort of "special sentence order for questions" thing. < 1406196354 824354 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The word that denotes it is a question is moved to the front, or some-such. < 1406196387 106919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm, ok < 1406196393 247286 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can sometimes put the interrogative suffix (-ko, -kö) into different words in order to denote emphasis. < 1406196418 109262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like how < 1406196427 430761 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Puhutko sinä suomea?" do you speak Finnish, with no particular special emphasis -- "Suomeako sinä puhut?!" do you speak *Finnish*?! < 1406196459 237415 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In the latter order, it has "out of all possible languages, you're speaking Finnish! what's wrong with you!" connotations. < 1406196477 309073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ah, it's always on one word, but you can choose which one? < 1406196502 228160 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. "Sinäkö puhut suomea?" would also be legal. < 1406196514 292434 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :When you're trying to find the one Finnish speaker in a group, for example. < 1406196541 980162 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As in, "is it you who speaks Finnish < 1406196547 446370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if you want special emphasis on the verb < 1406196653 892107 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by the way, are questions pronounced by raising your voice a little bit toward the end of the sentence, as in english and other languages? < 1406196682 240318 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess the first variant technically emphasizes the verb, it's just that it's the most common/expected so it doesn't feel special. < 1406196722 400425 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And I don't think there's a rising intonation for questions. At least nothing as dramatic. < 1406196741 21065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :isn't even just saying "sinä" a sort of emphasis? < 1406196758 131958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i may have been misled < 1406196767 566116 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, it is, since it's not necessary. < 1406196854 19825 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So you could use "puhutko sinä suomea", possibly with a bit more stress on "sinä", in the aforementioned "trying to find the elusive Finn" scenario; and you'd probably just ask "puhutko suomea?" if you're asking someone in general. < 1406196866 939098 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1406196871 246539 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Language names aren't capitalized, incidentally.) < 1406196872 495027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how do you decide whether to add it in or not < 1406196904 511227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i suppose i can analogize to hebrew except it's not as common there < 1406196921 77620 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you're making what? < 1406196924 754002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, I was wondering about that. < 1406196957 121004 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is capitalized? < 1406197047 310744 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Proper nouns, generally. < 1406197065 358111 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But not many things that English does, like days of the week, or months of the year. < 1406197101 606215 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Names of countries are, but their languages aren't, and the nouns for the peoples aren't either. < 1406197118 549028 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So the country is "Suomi" but the language is "suomi" and a Finn is "suomalainen". < 1406197170 121605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If the language is "suomi", how does one arrive at "suomea"? < 1406197260 521544 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm sure there's some good rule. The final i does turn to an e in all inflected forms of "suomi" I can think of. < 1406197270 657515 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"suomea" would be the partitive case. < 1406197284 128583 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://en.wiktionary.org/wiki/Appendix:Finnish_declension/ovi < 1406197303 424834 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"KOTUS type 7 (ovi): Two-syllable nominals ending with -i; consonant gradation possible. All other cases replace -i with -e-. Partitive ending -a/-ä and genitive plural ending -en. -e- of stem dropped before plural marker -i-." < 1406197440 712214 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not all words that end in -i work that way. There's e.g. http://en.wiktionary.org/wiki/Appendix:Finnish_declension/risti < 1406197456 433698 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Fansdesks 5* 10New user account < 1406197463 596209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Google Translate translates "Do you speak English?" to "Puhutko Englanti?". Should it be "Puhutko englantia?"? < 1406197465 892781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Two-syllable nominals ending with -i; consonant gradation possible. Partitive ending -a/-ä and genitive plural ending -en. -i of stem changes to -e- before plural marker -i-, except in genitive plural, where it is dropped." < 1406197475 207706 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, the latter would be correct. < 1406197478 513123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or maybe "Puhutteko", of course.) < 1406197502 125864 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"puhuttekste", if you're speaking colloquially and in plural. < 1406197512 955395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh well. Google Translate isn't very trustworthy. < 1406197520 915034 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also if you wanted a closer analogue of "do you know Finnish?" it would possibly be "osaatko suomea?" < 1406197539 329661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"puhuttekste"? < 1406197596 858524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"puhuttekste suomee?" or "puhutsä/puhuksä suomee?" would be colloquial/slangy/dialecty/vernacular versions of "puhutteko suomea?" and "puhutko suomea?" < 1406197648 931247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::-( < 1406197650 271294 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As close as I can transcribe, anyway; they're more spoken stuff, though I'm sure some people write like that in chat. < 1406197694 734490 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Kids these days write "onx" for "onko", anyway. Or so I hear. < 1406197784 673519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I still need to figure out what people are talking about when they say "partitive". < 1406197801 782225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Three-year-olds speak Finnish just fine without knowing all that. :-( < 1406197840 154549 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know why we have a partitive case. < 1406197866 754620 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"As an example of the irresultative meaning of the partitive, ammuin karhun (accusative) means "I shot the bear (dead)", whereas ammuin karhua (partitive) means "I shot (at) the bear" without specifying if it was even hit." < 1406198006 27605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you happen to have any other examples? < 1406198044 677445 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was from http://en.wikipedia.org/wiki/Partitive_case which has (single) examples of the various different contexts for the partitive. < 1406198058 261401 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The "used with uncountable nouns" case is the one I'd've thought of first. < 1406198126 732245 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If there's a difference between "saanko lainata kirjaa?" (one of the examples) and "saanko lainata kirjan?", it's a very subtle one. < 1406198162 986387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The "luen kirjaa" / "luen kirjan" pair is more clear. < 1406199148 447112 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Fansdesks14]]4 N10 02http://esolangs.org/w/index.php?oldid=40161 5* 03Fansdesks 5* (+1418) 10Created page with "Hard work is one way to gain an impressive number of followers on Instagram. But there’s another way: Just [http://fansdesk.info/buy-instagram-followers/ Buy Instagram Follo..." < 1406199182 731443 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah wikispam < 1406199234 603052 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Ehird 5* 10deleted "[[02User:Fansdesks10]]": Hard work is one way to gain an impressive number of visits to your website. But there’s another way: Just Spam Web Sites. < 1406199247 655292 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/block14]]4 block10 02 5* 03Ehird 5* 10blocked [[02User:Fansdesks10]] with an expiry time of indefinite (account creation disabled, email disabled, cannot edit own talk page): Spamming links to external sites < 1406199468 470684 :AfkSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1406200148 898058 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1406200314 543941 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1406200784 100082 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1406201572 968117 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 240 seconds < 1406203225 209459 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1406203793 789784 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I kind of wish Haskell wasn't the first language I got really into < 1406203808 334556 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because I always miss a lot of its features in pretty much any other language < 1406203822 552663 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And I try to write programs in other languages as though they were Haskell < 1406203898 853908 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: do you mean you use camelCase instead of underscored_names? < 1406203916 279150 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Among other things < 1406203936 750057 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :some people do that in C++ independently of haskell < 1406203947 969415 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't really like it < 1406204197 440300 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1406204585 456333 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Everybody does it in Java and C#, thanks to the standard libraries doing it. < 1406205239 878330 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1406205502 835852 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think I shall cosplay on Saturday < 1406205519 321409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :will you sinplay instead < 1406205556 407397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Erfplay. < 1406205557 462386 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No, but I may cotplay < 1406206135 756260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/addwep < 1406206136 341699 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ echo "$2" > "wisdom/$1" < 1406206160 25415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls wisdom/*onoi* < 1406206160 683713 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access wisdom/*onoi*: No such file or directory < 1406206170 397613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls wisdom/*onoi* < 1406206171 337316 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/hthmonoid \ wisdom/monoid \ wisdom/monoidal category \ wisdom/monoids \ wisdom/Monoids < 1406206183 718475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: how would i say "i'm talking about finnish"? < 1406206189 94319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wow, wisdom/ is such a mess < 1406206193 474907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? hthmonoid < 1406206194 773337 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ... < 1406206200 752322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: coppro messed it up yesterday < 1406206213 617486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or earlier today < 1406206219 34056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? Monoids < 1406206220 331205 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monoids are the easy version of categories. < 1406206229 485851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`help < 1406206229 766108 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1406206233 977534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cat wisdom/Monoids < 1406206234 642647 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A < 1406206284 762147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What we really need is a version of `learn that lets you specify your own name and splits on the first whitespace. < 1406206295 685026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What I really need is to go to sleep. < 1406206307 762924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well `addwep is obviously a broken attempt at that < 1406206321 174153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1406206335 165407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's no way a program run with `run could ever do it. < 1406206582 725580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? monoid < 1406206583 769666 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monoids are just categories with a single object. < 1406206586 552462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? monoids < 1406206587 325235 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monoids are the easy version of categories. < 1406206590 317897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? Monoids < 1406206591 92832 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monoids are the easy version of categories. < 1406206599 113754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`rm wisdom/Monoids < 1406206600 377465 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406206610 893984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that won't ever be shown by `? anyway < 1406206625 83422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? urbandictionary < 1406206625 821657 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Urban Dictionary is an alternative, inferior wisdom database. < 1406206637 85107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? works for me < 1406206637 802500 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Error: unable to read wisdom database. try again later. < 1406206650 169309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OH NO HE BROKE IT < 1406206799 754931 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: "Puhun suomen kielestä", probably, to make it more explicit (than "puhun suomesta"). < 1406206895 728493 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or "tarkoitan suomea/suomen kieltä" for a different sense of "I'm talking about X". < 1406206975 520035 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :`? monoidal category < 1406206976 377880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monoidal categories are just 2-categories with a single object. < 1406207072 17656 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :icfp contest anyone? < 1406207151 429122 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, what language will you be using? < 1406207163 987131 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: I probably won't be doing anything this year < 1406207180 737646 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll read the task and spend time on it only if it seems very interesting AND if I have time < 1406207195 446387 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I will definitely read the task though, this is a spectator sport < 1406207198 356393 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, I know that I have the time < 1406207204 277640 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :come to #icfp-contest < 1406207207 353964 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :when is it? < 1406207212 493181 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :olsner: tomorrow < 1406207219 693988 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://icfpcontest.org/ < 1406207247 574597 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I would do it with my programmer housemate, but our common languages are Python and C, and I'm not all that great at C and neither of us particularly like Python < 1406207307 809348 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: combine multiple languages then < 1406207324 425381 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :He's a C++ guy and I'm a Haskell guy < 1406207328 621634 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The result may not be pretty < 1406207342 920865 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, that could depend on the task I guess < 1406207349 864579 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :or one of you writes the code in the language of choice, and the other works on analyzing the problem < 1406207371 710603 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :olsner, that may be a better idea < 1406207373 297357 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: have you looked at the background of the http://icfpcontest.org/ webpage, http://icfpcontest.org/images/bkg.png ? < 1406207386 350152 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :based on some earlier icfps there might be separate tasks to work on independently though < 1406207407 166082 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's not solid < 1406207407 379216 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, not in great detail < 1406207426 509894 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it seems to have a pattern made of squares of two different colors < 1406207720 137072 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1406207828 282415 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, and its size isn't even divisible with the size of those squares < 1406207835 849388 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :http://i.imgur.com/jDaoHBg.png < 1406207841 645681 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's it in black and white < 1406207889 445324 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the webpage might come form https://github.com/icfpcontest2014/icfpcontest2014.github.io < 1406207994 427585 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I'm more of a perl and C++ person anyway) < 1406208062 191759 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Looks like I'm teaming up with my housemate < 1406208967 285751 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :hmm, so is the background a hidden message of some sort? < 1406209597 735905 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't think so, but it could be < 1406210066 189779 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1406210486 183973 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1406210548 615671 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 JOIN :#esoteric < 1406212054 408951 :^8!~notnot^v@2601:4:4500:e15:6d15:367c:896e:74e4 NICK :^v < 1406212507 871013 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1406212794 877478 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Read error: Connection reset by peer < 1406213613 985936 :VorpalPhone!~Vorpal@81-224-29-207-no185.bredband.skanova.com JOIN :#esoteric < 1406213619 890321 :VorpalPhone!~Vorpal@81-224-29-207-no185.bredband.skanova.com QUIT :Client Quit < 1406213887 497865 :heroux!~heroux@50708355.static.ziggozakelijk.nl QUIT :Ping timeout: 245 seconds < 1406213888 737317 :nooodl!~nooodl@91.176.151.16 JOIN :#esoteric < 1406213979 933991 :heroux!~heroux@50708355.static.ziggozakelijk.nl JOIN :#esoteric < 1406215878 628134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: yay at the wiki being back < 1406215883 717246 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :any plans to move it still? < 1406216459 725796 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I mean, I'll think about it, but *lazy* < 1406216540 933182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::< < 1406216543 920646 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406216554 145810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how about I move it and you maintain it after that so I can sleep at night? :p < 1406216719 234170 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 256 seconds < 1406217165 857057 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Calm down, it's only ones and zeroes. < 1406217295 521540 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it will be very very dark and I will be eaten by a graue for letting the wiki fall into such bargain basement hosting :( < 1406217367 50347 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :have computers improved to the stage where they can actually run MediaWiki yet? < 1406217369 889050 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1406217400 398603 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: no < 1406217517 262217 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I blame PHP < 1406217535 787896 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SYCPOL14]]4 M10 02http://esolangs.org/w/index.php?diff=40162&oldid=40089 5* 03GermanyBoy 5* (+1) 10/* Character set */ '='-character < 1406219133 481128 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1406219431 301775 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :@djinn ((a -> Void) -> Void) -> a < 1406219431 621200 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :-- f cannot be realized. < 1406219445 638898 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :saw that one in an article talking about the Curry-Howard correspondence < 1406219467 11205 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it's a true statement in most logics, but the article claims (without proof) that it can't be expressed in lambda calculus < 1406219472 604973 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's double-negation elimination. < 1406219477 285281 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :yes < 1406219484 134109 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :intuitionistic type theory corresponds to intuitionistic logic. < 1406219492 689525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :double-negation elimination is equivalent to LEM < 1406219499 569336 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[proof tombstone] < 1406219527 261659 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and the standard lambda calculus type system models intuitionistic logic, presumably < 1406219529 685314 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: if you had that function you could write a term of type (Either a (a -> Void)) < 1406219533 259413 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :wasn't quite sure which logic it corresponded to < 1406219543 90379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :your intuition should be enough to tell you that's impossible without _|_ < 1406219545 689073 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(because parametricity) < 1406219558 574649 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hah hah < 1406219567 684353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think there's a standard lambda calculus type system :) < 1406219598 239279 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :elliott: hmm, perhaps; you can talk about "typed lambda calculus" without people shouting at you, though < 1406219633 273226 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the one I know is identity, weakening, abstraction, application, and the main point of contention is whether contraction should be implicit or explicit < 1406219652 901179 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the STLC is a rather boring logic, at least < 1406219661 400435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: ? < 1406219699 237186 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :elliott: hmm, that (Either a (a -> Void)) type reminds me of the halting problem, in a way < 1406219727 305776 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: because it's a decision procedure for every proposition? < 1406219734 858497 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :yes < 1406219755 805030 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although, there's a different problem < 1406219770 289210 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :which is that given two different Voids, you can't even construct Void1 -> Void2 in Haskell, I don't think < 1406219774 80841 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :perhaps you could with a pattern match < 1406219782 342238 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :you just write let voidconvert v = case v of < 1406219787 573018 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and that's the entire function < 1406219797 556469 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :somehow I don't think that's valid syntax, though < 1406219819 525131 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :dunno, I think I was just laughing at "standard lambda calculus type system" too < 1406219853 553240 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I have problems (at work) with people assuming things are standardised when they actually aren't < 1406219905 548847 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :is it possible to write a pattern match with zero cases in Haskell? < 1406219971 640424 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :TLS certificates are such a pain to deal with :/ < 1406220087 618073 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ais523_ : < 1406220112 205505 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :@djinn Void -> a < 1406220112 400188 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f = void < 1406220152 465809 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :@djinn-add type NotNot a = Not (Not a) < 1406220163 131206 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :@djinn NotNot (Either a (Not a)) < 1406220163 315356 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f a = void (a (Right (\ b -> a (Left b)))) < 1406220188 554073 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :`void' is `void v = case v of {}' < 1406220189 244265 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: void': not found < 1406220211 297510 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :@type either < 1406220212 298299 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> c) -> (b -> c) -> Either a b -> c < 1406220223 1966 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : void :: Void -> a < 1406220317 50794 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: thanks, was just reading that page < 1406220332 804468 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: you can interconvert given absurd :: VoidN -> a < 1406220356 209165 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :elliott: yeah, the point was that the empty case lets you define absurd in the first place < 1406220361 712753 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is implementable for "newtype Void = Void (forall a. a)" and "newtype Void = Void Void" with no extra extensions < 1406220365 758402 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and "data Void" with the empty case extension < 1406220378 69745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(note that the first one requires the RankNTypes extension to state) < 1406220378 252413 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :also, something I learned from that page is that OCaml's "function" keyword doesn't have a Haskell equivalent by default, but GHC implements it as "\case" < 1406220386 514020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :absurd x = x `seq` undefined is also an OK implementation < 1406220394 652204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because you can proof that the _|_ is never reached < 1406220397 505323 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*prove < 1406220399 873602 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(the first one really only requires `PolymorphicComponents') < 1406220421 705323 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :elliott: anyway, I read up about rank N and rank 2 types a bunch because it was relevant to my research < 1406220427 184443 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(even absurd _ = undefined is fine, really, since you have to abandon _|_ inputs anyway) < 1406220432 918797 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ais523_ : yes, it's a bit sad that we had to wait so long for it < 1406220446 188441 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it turns out that type inference for rank 2 types is actually decidable, but ghc doesn't currently infer it < 1406220475 572975 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :in SML, `if foo then bar else baz' is sugar for `case foo of true => bar | false => baz' is sugar for `(fn true => bar | false => baz) foo' < 1406220481 568970 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523_: Would that be a reason to have separate extensions for rank 2 and rank N? < 1406220491 102666 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :zzo38 : it could be < 1406220493 224949 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :zzo38: possibly it would be < 1406220511 17173 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(and currently both exist as separate extensions) < 1406220517 49304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Rank2Types is deprecated I think < 1406220536 505583 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: in OCaml, I'd guess that the primitive would be "match foo with True -> bar | False -> baz" < 1406220551 993359 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :or maybe "(function True -> bar | False -> baz) foo" < 1406220558 933527 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :yes < 1406220566 133231 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so yeah, it's probably the same as SML in that respect < 1406220632 45141 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ais523_ : "something I learned from that page", which page ? < 1406220640 289125 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :btw, a quirk of Reddit I've been noticing: if an article gets a really large number of comments, the best ones are on the second page < 1406220645 51505 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: the one you most recently linked to me < 1406220662 308765 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :some background: I work in type theory research, and don't really use Haskell, but sometimes I use it to test out theories < 1406220664 849722 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ACTION can't see OCaml mentioned at it < 1406220683 312275 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: oh, that's because I know much of OCaml quite well, but not really Haskell < 1406220696 482425 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :oh, i see < 1406220697 333917 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so if I learn something new about the comparison between OCaml and Haskell, it's normally on the Haskell side < 1406220720 786108 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :in Agda2, one'd write `void' differently < 1406220743 778105 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : void : {A : Set} -> Void -> A < 1406220746 425946 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : void () < 1406220758 279055 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :`()' is an absurd pattern < 1406220758 922699 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ()': not found < 1406220773 177268 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(and if you use it, you don't need a definiens) < 1406220812 663956 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(actually, imo, it could make more sense to allow a definiens here) < 1406220837 754636 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ACTION idly wonders which part of type theory ais523_ works on < 1406220841 595623 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: Agda2 has explicit foralls? < 1406220855 315288 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: finite-state type theory, especially affine logics < 1406220858 92852 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :what do you mean by "explicit foralls" ? < 1406220871 237210 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the System F style where you have a type parameter to functions < 1406220887 315772 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :rather than the OCaml style where you write 'a and it implies a type parameter for 'a < 1406220892 624930 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :well, it's just dependent functions < 1406220905 393586 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :however, Agda2 (and Agda1) has implicit arguments < 1406220919 656460 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :with explicit arguments, the above would just look like < 1406220929 237034 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : void : (A : Set) -> Void -> A < 1406220931 524857 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : void A () < 1406220963 567419 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :you can also say stuff like < 1406220967 544824 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1406220995 717340 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :right, in a dependent type system, there's no difference between a lowercase (value) lambda and an uppercase (type) lambda, because values and types are combined < 1406220996 152838 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : _++_ : {A : Set} -> {m : Nat} -> {n : Nat} -> Vector A m -> Vector A n -> Vector (m + n) < 1406220999 676450 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :where < 1406221003 834071 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : _+_ : Nat -> Nat -> Nat < 1406221010 687155 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :and < 1406221018 925688 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric : Vector : Set -> Nat -> Set < 1406221032 237411 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ACTION nods < 1406221065 643018 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :in `_++_', the `m' and `n' natural length arguments are implicit < 1406221097 258916 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(since usually when you use `_++_', you apply it to arguments so that `m' and `n' can be inferred) < 1406221136 542310 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :i've not heard the name "finite-state type theory" before < 1406221160 354178 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :is it like a version of "of course", indexed with a natural number expressing how many times you may use the resource ? < 1406221166 424144 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ais523_ ^ < 1406221167 764543 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :well it's a pretty small niche, because it's sub-TC by definition < 1406221174 65095 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: that's "bounded contraction", which is part of it < 1406221182 674518 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :a whole chapter of my thesis is on the subject < 1406221194 128933 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :where I argue that there's a design error in all the bounded contraction type systems I'm aware of < 1406221201 60325 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :err, the non-dependently-typed ones, that is < 1406221205 849070 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :sounds interesting < 1406221215 783199 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(are there any dependently-typed ones ?) < 1406221228 365337 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :yes, but they're massively complex and I don't really understand them < 1406221243 713268 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :they noticed the same error I did, and worked around it using a hideously complex dependent typing variant < 1406221254 834020 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :whereas I'm working around it with intersection types < 1406221268 484780 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :mhm, ok < 1406221291 613290 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the basic problem's to do with the fact that the contraction bounds aren't properly polymorphic < 1406221303 304965 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this sounds scary < 1406221307 281011 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :i only recall seeing some notes by Pfenning that didn't treat the quantifiers in a substructural way, iirc < 1406221344 912396 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :b_jonas: it's not that bad, being sub-TC is sort-of a magic fix for half the problems in type theory < 1406221350 641044 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :because all of a sudden, you can solve problems by brute force < 1406221366 750225 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um :/ < 1406221368 685629 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe I should try to ask this channel about non-eso theoretic problems < 1406221372 889599 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that said, one of my major results is that SCC (and similar type systems) have decidable type inference < 1406221374 78306 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe a small half :) < 1406221374 901149 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :"sub-TC" means substructural variants of Type Theory, yes ? < 1406221385 732962 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should try that < 1406221413 821992 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: well, in this case, I just mean that with relatively normal semantics, programs in the type systems in question have decidable inference < 1406221420 265029 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :*decidable equivalence < 1406221430 813644 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :which implies that the languages can't be Turing-complete < 1406221450 412857 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ok < 1406221454 574775 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1406221500 548897 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :finite-state languages are those in which the semantics of any program can be represented as a state machine < 1406221520 580751 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ski: total functional programming languages don't necessarily need substructural type systems... < 1406221528 916838 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Agda and Coq aren't considered subtructural, are they? < 1406221537 407226 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that said, I am using substructural type systems < 1406221540 400362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, this gets back to how ambiguous "TC" is :/ < 1406221542 871725 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :elliott: do Agda and Coq have decidable equivalence? < 1406221551 285151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I'm pretty sure you can model brainfuck in a substructural type system too < 1406221557 15600 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :oh, I guess you have to define what equivalence is < 1406221562 611324 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :because in a total language, all programs halt < 1406221572 279141 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :thus the halt status of any two programs is the same for any given input < 1406221578 797056 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so the "normal" definition isn't going to work < 1406221583 923068 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :elliott : i know. i was just initially thinking "sub" here was short for "substructural" < 1406221593 216934 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah < 1406221619 106626 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ah right, "sub-TC" means "does not live up to (is below) the status of Turing Completeness" < 1406221636 597507 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :(hm, for some strange reason i was seeing "TT" instead of "TC") < 1406221645 618940 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :which is quite common in esolangs by new designers which are not BF derivatives < 1406221669 952276 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :(actually some of the BF derivatives are sub-TC too, which should be really embarrassing for the designers unless that was intentional) < 1406221680 42710 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1406221704 953216 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, do you mean that variant that takes the program as unary? < 1406221711 226292 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, that's still TC < 1406221725 820884 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :dunno then < 1406221734 96848 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :hm, the world needs a dependently typed turing tar pit esolang < 1406221761 135667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523_: I like the implication that TC is high-status. < 1406221802 347264 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :incidentally, New Scientist was busy talking about apparently serious efforts to construct a super-Turing computer < 1406221816 605574 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :the researchers wanted to create an analog computer that processed arbitrary-precision reals, I think < 1406221826 762458 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :somehow I don't think they'll succeed < 1406221832 156779 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :although it would be great if they did < 1406221840 515437 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :ski: I wonder what that would look like < 1406221863 344992 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I guess it'd either be dependently typed lambda calculus, or something unlambda-style with combinators < 1406221876 285558 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :(normally I'd explain combinators but based on your nick, I don't think there's a need) < 1406221925 746803 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :AfkSoul < 1406222051 386935 :AfkSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1406222086 985411 :mshock_!~mshock@172.56.6.240 JOIN :#esoteric < 1406222087 821398 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Did you know that? One reason I try to write my own Famicom emulator is because I don't like hash checking and I don't like the method of loading FDS programs that most emulators use. < 1406222135 205819 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 264 seconds < 1406222223 917856 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 240 seconds < 1406223354 723798 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1406223652 986865 :mshock_!~mshock@172.56.6.240 QUIT :Ping timeout: 240 seconds < 1406224284 575282 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Read error: Connection reset by peer < 1406225241 95844 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03JuliannCoffin 5* 10New user account < 1406225295 150326 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1406225460 833759 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406226100 985905 :rgbMode!~rgbMode@c-68-80-253-127.hsd1.pa.comcast.net JOIN :#esoteric < 1406226903 5638 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :is the wiki back? < 1406226904 976664 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :IS IT? < 1406226913 326155 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :The message isn't showing anymore < 1406226950 797830 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :TieSoul: I've seen occasional edits < 1406226955 25716 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :so it's not read-only any more < 1406226960 825987 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :YES < 1406226980 977669 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :I have two languages that aren't on there < 1406226988 803014 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric ::P < 1406226992 545628 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :yet < 1406227116 138025 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03TieSoul 5* 10New user account < 1406227144 827881 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :yay I'm now a user < 1406227175 529392 :rgbMode!~rgbMode@c-68-80-253-127.hsd1.pa.comcast.net PART #esoteric :"Leaving" < 1406227316 517899 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:TieSoul14]]4 N10 02http://esolangs.org/w/index.php?oldid=40163 5* 03TieSoul 5* (+93) 10Created page with "List of languages created by TieSoul, in chronological order: * [[Befunk]] * [[Replacefuck]]" < 1406227318 633281 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ais523_ :) < 1406227329 568590 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1406227467 649841 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :ACTION . o O ( Iä ! ) < 1406227705 185594 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :smale's cool. imo read his problems < 1406229015 208957 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :AfkSoul < 1406229027 260666 :AfkSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl NICK :TieSoul < 1406230106 953915 :nooodl_!~nooodl@91.176.151.16 JOIN :#esoteric < 1406230136 161488 :nooodl_!~nooodl@91.176.151.16 QUIT :Client Quit < 1406230391 790083 :MoALTz!~no@user-188-33-30-21.play-internet.pl JOIN :#esoteric < 1406230536 198460 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1406230875 749567 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1406231375 119085 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1406231537 506054 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1406232066 797963 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Ping timeout: 260 seconds < 1406232272 934220 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/upload14]]4 upload10 02 5* 03TieSoul 5* 10uploaded "[[02File:Befunk-euler1.png10]]": Project Euler problem 1 in Befunk. < 1406232438 811691 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1406232504 606326 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunk14]]4 N10 02http://esolangs.org/w/index.php?oldid=40165 5* 03TieSoul 5* (+6031) 10Created the page. < 1406233039 162408 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 256 seconds < 1406233138 324462 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1406233392 701714 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 245 seconds < 1406233467 765092 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1406233550 873609 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 260 seconds < 1406234220 905228 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406234278 101308 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :`quote use !tell < 1406234278 982371 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1406234291 373429 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :`quote use @tell < 1406234292 379819 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :498) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell < 1406234402 343499 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1406234500 274640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I still can't fucking believe that < 1406234559 507743 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :nor can I < 1406234576 717766 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :actually, we missed a trick < 1406234583 605591 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :should have waited for them to leave and then sent the message again < 1406234589 85554 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :@tell CakeProfit you use @tell < 1406234589 265938 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1406234597 630475 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :hopefully in a few years we can set a new record < 1406234605 914645 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :bleh, misspelled it < 1406234610 307691 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :@tell CakeProphet you use @tell < 1406234610 488524 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1406234610 684707 :not^v!~notnot^v@198.109.114.66 NICK :^4 < 1406234623 806954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he uses different nicks these days. < 1406234689 36985 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :good, that'll increase the timeframe before it happens again < 1406234705 549058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :possibly to forever, yes < 1406234742 97306 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it's just the "possibly" I care about < 1406234747 269280 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I don't really mind if it never happens < 1406234943 273656 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1406235736 609466 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1406235771 779424 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :profit, prophet ... Dogma was a nice movie. < 1406236107 44018 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Today I found out that one of the lecturers here, his research seems to include Eodermdrome < 1406236139 945714 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that... huh < 1406236160 127728 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :well I don't lecture you (at least, not in person physically), so presumably other people have been picking up my esolang without me being aware of it < 1406236185 478548 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523_, I don't mean the language specifically, but certainly something resembling it quite closely < 1406236192 433691 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Detlef Plump, if the name is familiar < 1406236280 117268 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :not familiar to me < 1406236281 625486 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :graph rewriting is a serious research topic < 1406236294 73883 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and yes, graph rewriting is not just me, I've seen it elsewhere < 1406236334 951547 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It was just described to me by someone who had attended a seminar about a language based on replacing subgraphs with a shape similar to a given one < 1406236346 244487 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which in my head immediately rang bells < 1406236415 653068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :detlef plump is a great name < 1406236468 645941 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :huh, for me, esolangs.org is showing the "read-only" notice and has no CSS < 1406236488 546108 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric : Login error There is no user by the name "ais523". Usernames are case sensitive. Check your spelling, or create a new account. < 1406236504 781543 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :must be that the DNS hasn't propagated < 1406236516 543744 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :because it's mentioning fail.esolangs.org in the retrieved pages < 1406236533 989570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Did you try reloading with all kinds of modifier keys already? < 1406236617 332527 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523_, could you have a gander at http://www.cs.york.ac.uk/plasma/publications/pdf/Plump.CAI.09.pdf ? < 1406236629 141281 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :fizzie: I tried control-shift-R < 1406236634 989552 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :my guess is that it's DNS-related < 1406236678 966212 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it can be both. But also the esolangs.org DNS records have pretty long TTLs. < 1406236684 894226 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Taneb: it's much more complex than eodermdrome < 1406236688 229340 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :e.g. it has flow control < 1406236702 679227 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think the core is the same < 1406236704 358467 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I had to shift-reload for Chrome to pick up a new DNS entry; they've got their own resolver, I guess it has a cache too.) < 1406236752 385774 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Now I wish I knew this lecturer so I could tell him about Eodermdrome < 1406236758 100858 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Taneb: not really, the core's more general by being more complex, I think < 1406236786 30102 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :it allows combinations of "must have an edge" and "can't have an edge" that don't exist in Eodermdrome < 1406236790 25962 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :If you tell the proper IP address then maybe you can manually override it temporarily. < 1406236791 380832 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :but apart from that it's quite similar < 1406236807 637242 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :I think the difference is that that language is designed for working on existing graphs < 1406236814 326433 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :that aren't designed specifically to work with it < 1406236823 837226 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :whereas in Eodermdrome, you use the graph for data storage and flow control and everything < 1406236860 383471 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :Taneb: tell him about it anyway, I might end up getting a citation :-) < 1406236888 355460 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm afraid I've never met him. < 1406236895 699969 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think I have him next term for something < 1406236898 885674 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :oh, the other really big difference < 1406236904 403032 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :is that the nodes are labelled in that language < 1406236908 769747 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :and they all look the same in Eodermdrome < 1406237017 193089 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 256 seconds < 1406237067 573676 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But if I get talking to him I promise I'll mention it! < 1406237129 882307 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :fair enough < 1406237410 55959 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1406237632 232604 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 272 seconds < 1406237882 689467 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 QUIT :Quit: Page closed < 1406238720 920502 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1406239256 995049 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406240009 201534 :not^v!~notnot^v@150.198.1.2 JOIN :#esoteric < 1406240152 732452 :^4!~notnot^v@198.109.114.66 QUIT :Ping timeout: 250 seconds < 1406240411 666740 :brrr!~brrr@trivialand/emeritus/brrr JOIN :#esoteric < 1406241051 529620 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :El canal que se pregunta por qué los usuarios de Canaima vienen aquí, a pesar de que no hablamos español. | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1406241094 765495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if someone understands spanish they might fix the grammar (i only managed to fix hablamos) < 1406241190 773037 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I am not Spanish, so I don't know. < 1406241212 308437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i did not expect you to be < 1406241229 197488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Most Spanish speakers aren't Spanish. < 1406241240 841566 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know how many spanish speakers there are in british columbia. < 1406241256 416453 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know either, but probably there are some. < 1406241307 189767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Olen suomalainen, mutta en puhu suomea. :-( < 1406241349 889058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION guessed right what that meant < 1406241374 209465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i must have absorbed some from all the discussions here < 1406241916 149204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (and currently both exist as separate extensions) <-- i vaguely recall Rank2Types is just a (deprecated) synonym for RankNTypes nowadays. < 1406242114 9101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask ais523 btw, a quirk of Reddit I've been noticing: if an article gets a really large number of comments, the best ones are on the second page <-- wait how do you read reddit comments such that it's divided into pages < 1406242114 604323 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1406242173 57182 :Melvar!~melvar@dslb-088-078-156-068.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :I seem to have missed a talking about dependent types in here, and they didn’t even use idris-bot. < 1406242188 624434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1406242403 118589 :not^v!~notnot^v@150.198.1.2 QUIT :Ping timeout: 264 seconds < 1406242648 323522 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1406242856 953672 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1406242974 22775 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1406243135 132926 :MoALTz!~no@user-188-33-30-21.play-internet.pl QUIT :Quit: Leaving < 1406243302 963710 :not^v!~notnot^v@198.109.114.66 QUIT :Ping timeout: 240 seconds < 1406244700 288541 :Melvar!~melvar@dslb-088-078-156-068.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 272 seconds < 1406244723 958414 :idris-bot!~ircslave@dslb-088-078-156-068.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1406245053 883100 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 240 seconds < 1406245341 650025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode 1d40 < 1406245342 560177 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ᵀ < 1406245357 577230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ᵀ < 1406245358 546047 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+1D40 MODIFIER LETTER CAPITAL T] < 1406245372 677296 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :1d40 < 1406245372 857769 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Taneb: 36 < 1406245376 945887 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Nice roll < 1406245393 280477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno it's a bit square < 1406245414 925079 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1406245918 801649 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1406246209 26152 :Melvar!~melvar@dslb-088-078-156-068.088.078.pools.vodafone-ip.de JOIN :#esoteric