< 1476144131 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : How are you supposed to tell the files apart? <-- well-known bug? maybe one could make a \NUL separating version? < 1476144132 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp/wdiff/wdiff-1.2.2/; ./configure < 1476144164 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476144174 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp/wdiff/wdiff-1.2.2/; ls Make* < 1476144175 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Makefile.am \ Makefile.in < 1476144187 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`1 cd tmp/wdiff/wdiff-1.2.2/; ls < 1476144188 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/1:ABOUT-NLS \ aclocal.m4 \ AUTHORS \ BACKLOG \ build-aux \ ChangeLog \ confdefs.h \ config.h.in \ config.log \ configure \ configure.ac \ COPYING \ doc \ GNUmakefile \ INSTALL \ lib \ m4 \ maint.mk \ Makefile.am \ Makefile.in \ man \ NEWS \ po \ README \ src \ tests \ THANKS \ TODO < 1476144194 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`1 cd tmp/wdiff/wdiff-1.2.2/; make < 1476144196 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/1:make: -n: Command not found \ There seems to be no Makefile in this directory. \ You must run ./configure before running 'make'. \ make: *** [abort-due-to-no-makefile] Error 1 < 1476144203 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1476144219 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`1 cd tmp/wdiff/wdiff-1.2.2/; ls src < 1476144220 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/1:Makefile.am \ Makefile.in \ mdiff.c \ pipes.c \ unify.c \ wdiff2.c \ wdiff.c \ wdiff.h < 1476144243 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`1 cd tmp/wdiff/wdiff-1.2.2/; gcc -o test src/*.c -I src/ < 1476144247 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/3:In file included from src/mdiff.c:20:0: \ src/wdiff.h:19:20: fatal error: config.h: No such file or directory \ compilation terminated. \ In file included from src/pipes.c:20:0: \ src/wdiff.h:19:20: fatal error: config.h: No such file or directory \ compilation terminated. \ In file included from src/unify.c:23:0: \ src/wdiff.h: < 1476144256 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds like a mess. < 1476144263 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`1 cd tmp/wdiff/wdiff-1.2.2/; ./configure < 1476144276 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If we define 'lying' as 'saying something that you do not believe to be true', then it seems 'I\'m lying' ceases to be a paradox < 1476144296 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"paradox" is kind of meaningless, so it doesn't. < 1476144301 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476144311 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: But if paradox is meaningless then... oh, wait, that's logically consistent < 1476144350 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i answer hard acrostics, i've a pretty taste for paradox < 1476144380 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(That particular definition is important- you have to not believe it to be true (not the same as- but containing if you're consistent- believing it to be false), that doesn't mean your belief has to be correct) < 1476144441 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's no excuse for a program this simple not being buildable within the constraints. < 1476144538 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Quick definition: ZF is Zermelo-Fraenkel explicitly excluding the Axiom of Choice, ZFC is including it, and ZF* covers both ZF and ZFC, for when the Axiom of Choice isn't needed here) < 1476144912 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Does the part of ZF* that bans a universal set (a set containing itself) only ban sets directly containing themselves (that is, S ∈ S), or does it ban it recursively (which is defined as v ∈∈ S iff v ∈ S ∨ ∃s:[s ∈ S](v ∈∈ S) )? < 1476144919 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(I hope that that's legible) < 1476144952 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1476144987 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: there is no explicit ban. it simply does not give a means of constructing such a set. < 1476144994 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1476144999 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :That's even more evil xD < 1476145029 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I want to be able to quantify over all sets (or a subset of all sets satisfying a property), and Russell ruined it for me :,( < 1476145029 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ZF doesn't exclude the axiom of choice. < 1476145032 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, the axioms of regularity might be considered a ban, but it's optional. < 1476145053 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*axiom < 1476145079 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(it says, in one of its equivalent formulations, that there is no infinitely descending chain of sets.) < 1476145081 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I seem to remember that the C in ZFC means "ZF with the Axiom of Choice", which presumably means ZF is just ZF (and doesn't have the axiom of choice) < 1476145088 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1476145095 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't have its negation either. < 1476145100 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Well yeah < 1476145111 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Any theorem of ZF is a theorem of ZFC. < 1476145118 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Oh, whoops, I meant "exclude" as in "doesn't include" < 1476145119 0 :Froox!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476145130 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, but the thing you called ZF* is just ZF. < 1476145153 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: OK, then how do I say "ZF, explicitly without taking the Axiom of Choice" < 1476145163 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: also i cannot read your fancy math symbols in this putty terminal. < 1476145174 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I felt that may be a problem < 1476145177 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the difference? < 1476145214 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Formally, nothing. The distinction is just so you can say "this is true without the axiom of choice" < 1476145219 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I suppose it isn't necessary < 1476145226 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You say it's true in ZF. < 1476145235 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But then again, you don't need a symbol for and and or; you can do it all with nor < 1476145236 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or provable or something. < 1476145240 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But we have that symbol anyway < 1476145252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1476145274 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Strictly speaking, you don't need a symbol that means AND or a symbol that means OR in logic < 1476145283 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: We could do with nothing but a symbol for NOR < 1476145290 0 :Froox!~Frooxius@194.108.5.201 QUIT :Client Quit < 1476145295 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But we have those symbols anyway because it makes everything easier to understand < 1476145297 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does that have to do with anything? < 1476145314 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Well I figured that was a good reason to have ZF*, but I concede that you have a good poitn < 1476145315 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*point < 1476145316 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Ping timeout: 260 seconds < 1476145327 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't see any distinction here. < 1476145341 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I'm saying that you win. < 1476145369 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Because you're right < 1476145393 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net QUIT :Ping timeout: 260 seconds < 1476145415 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : didn't oerjan invent Tanebventions? <-- pretty sure i didn't. < 1476145456 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` dowg tanebvention | tac < 1476145458 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2013-01-31 mv wisdom/tanebventions wisdom/tanebvention \ 2013-02-13 revert 3 \ 2013-02-13 revert 87c64ef250a0 \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 cp wisdom/tanebventions wisdom/tanebvention \ 2013-11-30 sed -i \'s/torus,/torus, Stephen Wolfram,/\' wisdom/tanebvention \ 2013 < 1476145465 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` dowg tanebventions | tac < 1476145467 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2013-01-31 learn Tanebventions include D-modules and automatic squirrel feeders \ 2013-01-31 mv wisdom/tanebventions wisdom/tanebvention \ 2013-08-27 learn Tanebventions include D-modules, automatic squirrel feeders, and Go \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 learn Tanebventions includ < 1476145500 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i get a sense you're a bit slow on the uptake < 1476145538 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476145563 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` dowg tanebventions | tac | tail -4 < 1476145565 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2013-08-27 learn Tanebventions include D-modules, automatic squirrel feeders, and Go \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 learn Tanebventions include D-modules, automatic squirrel feeders, the torus, and Go. \ 2013-08-28 rm wisdom/tanebventions < 1476145590 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`1 dowg tanebventions | tac < 1476145592 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:2013-01-31 learn Tanebventions include D-modules and automatic squirrel feeders \ 2013-01-31 mv wisdom/tanebventions wisdom/tanebvention \ 2013-08-27 learn Tanebventions include D-modules, automatic squirrel feeders, and Go \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 learn < 1476145598 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`spam < 1476145603 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:Tanebventions include D-modules, automatic squirrel feeders, the torus, and Go. \ 2013-08-28 rm wisdom/tanebventions < 1476145609 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1476145980 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : shachaf: Perhaps we could go with "every open set contains an open set homeomorphic to R^n" <-- seems to me that you want a covering by them. < 1476146011 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` dowg d-module | tac < 1476146012 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2013-01-24 fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules \ 2013-01-24 sed -i -e \'1N\' -e \'s/\\n//\' wisdom/d-module \ 2013-02-13 revert 3 \ 2013-02-13 revert 87c64ef250a0 \ 2013-04-14  >>wisdom/d-module echo \' Possibly they are also a torus.\' \ 2013-04-14 revert < 1476146019 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` dowg d-modules | tac < 1476146021 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2013-01-24 learn D-modules are just modules over the ring of differential operators. \ 2013-01-24 echo >>wisdom/d-modules " Taneb invented them." \ 2013-01-24 fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules \ 2013-01-24 learn D-Modules are simply modules in the ring of differential < 1476146036 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aha, Phantom_Hoover invented Tanebventions. < 1476146065 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :AHA < 1476146155 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? tanebvention < 1476146156 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. < 1476146164 0 :centrinia!~centrinia@107.208.218.105 JOIN :#esoteric < 1476146185 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd tanebventions//s#Tanebventions, ## < 1476146186 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Rosebud! < 1476146200 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd tanebvention//s#Tanebventions, ## < 1476146202 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. < 1476146226 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb is trying to take credit for something he didn't invent. < 1476146239 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :more like Taneblagiarism < 1476146282 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd tanebventions//s#and#the Oxford comma, and# < 1476146282 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Rosebud! < 1476146294 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ugh < 1476146304 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I keep rememering that it's not the one I expect it to be. < 1476146306 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd tanebvention//s#and#the Oxford comma, and# < 1476146308 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, persistence, the BBC, progress, the Oxford comma, and this sentence. See also tanebventions: math. He never invents anything involving sex. < 1476146326 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? this sentence < 1476146328 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :This sentence was invented by shachaf. Taneb invented it. < 1476146360 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd this sentence//s#[^\.]+#This sentence is just# < 1476146361 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/this sentence//This sentence was invented by shachaf. Taneb invented it. < 1476146370 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd this sentence//s#[^\.]\+#This sentence is just# < 1476146373 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/this sentence//This sentence is just. Taneb invented it. < 1476146390 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cat bin/slwd < 1476146391 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sled "wisdom/$1" < 1476146461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/slwd//s/$/ | sed 's/^Rosebud!$/Roswbud!/' < 1476146462 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed: -e expression #1, char 15: unknown option to `s' < 1476146486 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/slwd//s,$, | sed 's/^Rosebud!$/Roswbud!/', < 1476146488 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/slwd//sled "wisdom/$1" | sed 's/^Rosebud!$/Roswbud!/' < 1476146544 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd testations//hi < 1476146546 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Roswbud! < 1476146594 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1476146612 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's not foolproof is it. < 1476146648 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/slwd//s,s/,1s/, < 1476146650 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/slwd//sled "wisdom/$1" | sed '1s/^Rosebud!$/Roswbud!/' < 1476146790 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` echo 'test' > "$(echo 'Rosebud!')" < 1476146792 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476146803 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`ls < 1476146805 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ quines \ quotes \ Rosebud! \ share \ src \ test \ tmflry \ tmp \ wdiff-latest.tar.gz \ wisdom \ wisdom.pdf < 1476146829 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat bin/sled < 1476146830 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls Rose* < 1476146831 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || { echo 'Rosebud!'; exit 1; }; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } < 1476146832 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Rosebud! < 1476146839 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls Rose*;echo hi < 1476146840 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Rosebud! \ hi < 1476146846 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Maybe use exit status instead? < 1476146856 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh it does have that < 1476146862 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1476146889 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :except how do you do that and handle output < 1476146913 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the perils of confusing user interfaces and apis < 1476146915 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rm Ros* < 1476146918 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476146943 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it'd require someone making a very special file, anyway. < 1476146948 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so i guess it's fine enough. < 1476146954 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(and outside wisdom/) < 1476146962 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Make it even more special by requiring ^Rosebud!$ < 1476146991 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd ../test//1ahi < 1476146993 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/../test//huh \ hi < 1476146997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1476147016 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it doesn't even work then. i think it's good enough. < 1476147047 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the output will always start with wisdom/ < 1476147103 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tmux locked up in that bad mode again. and killing the oldest one fixed it, again. < 1476147131 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it seems to happen after network errors. < 1476147262 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(or potentially, with usage, which works just as well.) < 1476147390 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Looks like my suggestion has gotten into some of the more prominent unicode people's heads. horray < 1476147451 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hyrra < 1476147508 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Not that surprised. Unicode seems like it'll add anything that's faintly reasonable to encode. < 1476147613 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? censorship < 1476147615 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :censorship? ¯\(°​_o)/¯ < 1476147674 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`le/rn censorship/The worst part of censorship is that it kills humor, thus preventing us from ironically redacting this wisdum. < 1476147677 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «censorship» < 1476147693 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :What's the word for a single entry into the wisdom database? < 1476147701 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I used 'wisdum', but I don't know what's best < 1476147703 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\: Can you please get play/pause/fast forward/rewind/etc. into the Unicode people's heads? < 1476147725 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Best would be to delete that wisdom entry. < 1476147737 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I seem to remember Unicode already having it... < 1476147746 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: it has them < 1476147748 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`rm wisdom/censorship < 1476147751 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since when? < 1476147751 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476147756 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? censorship < 1476147757 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :censorship? ¯\(°​_o)/¯ < 1476147761 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :`? test < 1476147762 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test failed. HackEgo-JUnit is not available. < 1476147847 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i dunno. but my font has them  < 1476147855 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: And yet they don't have question comma or any of Brah's stuff... < 1476147879 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*Brahm < 1476147890 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What code points? < 1476147908 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, no, I mean Hervé Bazin < 1476147942 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the characters for some reason can't be pasted into this terminal?A??A < 1476147980 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or perhaps can't be copied? < 1476147999 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :⍿ < 1476148000 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :⌜⌝⌞⌟ < 1476148003 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :WTF < 1476148036 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x23E4 0x23E8 < 1476148038 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⏤⏥⏦⏧⏨ < 1476148040 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ψ̣ is a decent approximation of his sarcasm mark < 1476148072 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unicode Character 'STRAIGHTNESS' (U+23E4) < 1476148094 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :⏤(Alan Turing) = 0 < 1476148114 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x23F4 0x23F8 < 1476148115 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⏴⏵⏶⏷⏸ < 1476148119 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :WAT < 1476148135 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: wat wat? < 1476148142 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That is not a play or pause button. < 1476148152 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I see play and pause < 1476148153 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a triangle and a double vertical bar. < 1476148164 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :something is terribly worng < 1476148191 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :at least on my end, apparently hppavilion[1] it is working < 1476148218 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x23F4 0x23FA < 1476148218 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⏴⏵⏶⏷⏸⏹⏺ < 1476148231 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Never mind fast forward and rewind and everything. < 1476148250 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: they should be showing up < 1476148273 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: anyway, they are here http://unicode-table.com/en/blocks/miscellaneous-technical/ < 1476148281 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :at the end of that block < 1476148310 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, so they are ish < 1476148323 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Fast forward: ⏵⏵; rewind: ⏴⏴ < 1476148324 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not sure why I didn't find them when I was doing http://slbkbs.org/jsgif/ < 1476148335 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe I did find them but they didn't render properly. < 1476148385 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, and I have no idea why they, of all the characters, show up online but not in my terminal < 1476148668 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I think tmux may be screwing with them < 1476148693 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I shall be very pissed if that is so < 1476148723 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my tmux sees them fine < 1476148752 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :well, your tmux might not be the newest version < 1476148772 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :2.1 < 1476148791 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i wouldn't know < 1476148801 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that's the newest < 1476148815 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I shall investigate < 1476148822 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it has at least one other annoying bug, as mentioned above < 1476149081 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Ok, never mind, it is ultimately caused by whatever morons wrote the wchar.h on my system < 1476149174 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :moronis mutandis < 1476149192 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476149446 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Which libc you using? < 1476149586 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :not sure < 1476149595 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I think it must be glibc < 1476149620 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :shachaf: jsgif doesn't work on the example given. HTH. < 1476149893 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :glibc 2.19 it seems < 1476149929 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :we are 5 versions behind therefore < 1476149944 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` ldd -version < 1476149944 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ldd: unrecognized option `-version' \ Try `ldd --help' for more information. < 1476149949 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` ldd --version < 1476149950 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ldd (Debian EGLIBC 2.13-38) 2.13 \ Copyright (C) 2011 Free Software Foundation, Inc. \ This is free software; see the source for copying conditions. There is NO \ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. \ Written by Roland McGrath and Ulrich Drepper. < 1476149964 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but hackego is even further behind < 1476150009 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I think I'll just modify tmux to use a custom wcswidth function < 1476150038 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Aaaah, yes, you're using a version of glibc with an old wcwidth table. < 1476150038 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :instead of figuring out how to install a newer libc on my computer < 1476150080 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :which, for some reason, assumes that invalid characters have zero width < 1476150089 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or something? < 1476150098 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Yup, it does exactly that. < 1476150104 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :FUUUUUUUUUUU < 1476150131 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yah, I'm modifying it to have block-based assumptions < 1476150168 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :2.22 up do just that. < 1476150180 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :e.g. it's probable that any character added to the supplementary ideographic plane is wide < 1476150225 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or maybe i'll grab the new libc's wcwidth < 1476150234 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and jam it in there < 1476150280 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :If you download http://ftp.gnu.org/gnu/glibc/glibc-2.22.tar.xz , gzip localedata/charmaps/UTF-8 into /usr/share/i18n/charmaps/UTF-8.gz , and copy localedata/locales/i18n to /usr/share/i18n/locales/i18n , and rerun locale-gen, you'll have it updated. < 1476150324 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :(this is because glibc uses a stupidly generic locale system and doesn't have it compiled into libc at all. Which means it can handle arbitrary charsets.) < 1476150418 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If we were to encounter advanced alien life < 1476150438 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :That, through the roll of the dice, happens to reproduce sexually in a way similar to humans < 1476150452 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Would it still be meaningful to sort "male" and "female"? < 1476150464 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ooh, let's try that < 1476150485 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION . o O ( cotriangle) < 1476150554 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`quørjan < 1476150555 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :920) <ørjan> maybe i was violated by a pole once \ 18) IN AN ALTERNATE UNIVERSE: <ørjan> In an alternate universe, I would say "In an alternate universe, ehird has taste" \ 302) ørjan you're swedish, right? \ 357) <ørjan> i never meta turing. he died before i was born. \ 362) <ørjan> as i was filled with zzo38 mystery at the moment i < 1476150606 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...why is there a command for that? < 1476150626 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: I think the tradition is that the big reproductive cells are considered female and the little reproductive cells are considered male. < 1476150627 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, did oerjan formerly actually use ørjan as a nick? < 1476150632 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What are those called? Gametes? < 1476150641 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Haploids? < 1476150645 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: no, I think the command replaces all occurrences of "oe" with "ø". < 1476150652 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Gametes, yes. < 1476150653 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1476150661 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :They are haploid cells. < 1476150665 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: And gametes are typically haploids < 1476150673 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course, you can't tell which gametes are bigger without a microscope. < 1476150696 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Apparently there's also "rules" for how to handle the case when the two reproductive cells are identical in size. < 1476150711 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I seem to be spending a lot of time thinking about bags < 1476150718 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :... Namely, you pick one arbitrarily. < 1476150742 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Though typically they're classed as "+" and "-" rather than "male" and "female". < 1476150745 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: What if they're also identical in everything else? That is, sexual reproduction with only 1 mating type < 1476150762 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Shut up, it could happen) < 1476150777 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...well then you don't have to distinguish, do you? < 1476150785 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Would that still be called sexual? < 1476150790 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, I think it would be. < 1476150793 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION grabs the spare mapole and commits harikari < 1476150804 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? harikari < 1476150806 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :harikari? ¯\(°​_o)/¯ < 1476150808 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :tswett: If it's a sharing of genetic material between two individuals, it would be. < 1476150812 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes, sexual reproduction is just "exchange and mix DNA" < 1476150815 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :hppavilion[1]: You wouldn't have to distinguish. < 1476150823 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This reminds me of my... < 1476150824 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :pikhq: ...yeah, I figured that out < 1476150832 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, it's probably not appropriate for this channel. < 1476150850 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :First, I'm heirarchizing the various types of set the same way as numbers < 1476150854 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That alien race I fantasized one day. < 1476150861 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I call them the "Musaro". < 1476150868 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: ...should I ask? < 1476150871 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Black, fuzzy, no eyes. < 1476150891 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(So a bag (aka multiset) isn't similar-to-but-different-from a set; a set is just a special case of a bag) < 1476150905 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :They're genderless, or all the same gender or whatever. < 1476150918 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Should you ask? I'll let you use your own judgement. < 1476150924 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: You can say genderless, because the gender flag is 0 bits < 1476150945 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :Quit: Lost terminal < 1476150946 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: ? < 1476150954 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How not? < 1476150968 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(that's why a HUMAN can't be truly genderless; they still identify as *something*, even if it's just abstaining- they're like atheists) < 1476150986 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :shachaf: It can't parse the GIF, apparently < 1476151008 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Atheism isn't a religion, but if you were to ask their religion they'd say "Atheist" (or more likely "none", which is equivalent)) < 1476151051 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So the relation between sets and bags is like the relation between integers and rationals; rationals aren't a distinct object with similarities to integers, they're a strict superset < 1476151070 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Oh, d'oh! I have Chrome's "data saver" on, which is serving me something other than a GIF. < 1476151090 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Also, the reciprocal of an ibag (integral bag; multiplicity can be negative) is the same BUT with all multiplicities negated < 1476151098 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Wait, did oerjan formerly actually use ørjan as a nick? <-- that isn't technically possible on freenode < 1476151107 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I didn't think so < 1476151166 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: What? < 1476151170 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which browser? < 1476151188 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476151191 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1476151203 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Which is nice for, for example, positive rational numbers; since any number >= 1 can be represented as a unique product of primes, you can represent a number as its prime factorization- with negative powers for the denominator- in the form of a bag with items in the factorization with multiplicity of its power) < 1476151213 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Yup, it's because the data saver transcodes GIF to WebP. < 1476151229 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :And jsgif *clearly* doesn't do jack with a WebP. < 1476151239 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It should, though. < 1476151243 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually it should be scrapped. < 1476151252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It has the most inefficient LZW algorithm imaginable. < 1476151262 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something like O(n^2) space, I think it was? < 1476151264 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :And if you take the reciprocal of such an ibag as defined, it represents the reciprocal of the rational number the original ibag represents < 1476151270 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, Theta(n^2) < 1476151278 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Which leads me to fuzzy bags...) < 1476151359 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Θ(n^2)? < 1476151369 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That one. < 1476151375 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unless that one is a phi. I don't know Greek. < 1476151384 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :No, it's theta < 1476151387 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(THETA) < 1476151389 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The point is, it's awful. < 1476151394 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Phi is Φ < 1476151403 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know Scientology either. < 1476151443 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is it considered better practice to transcribe Greek symbols into plain Latin by writing the names of capitals in FULL CAPS or just Capitalizing the first letter? < 1476151448 0 :fizzie!?@? PRIVMSG #esoteric :I saw a Scientology bus in Mountain View once. < 1476151485 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :fizzie: Where I live, Mountain View is the name of the bad part of town, so every time I see it referring to Google I get confused < 1476151486 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: I think just the first letter is generally the way to done? < 1476151503 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :zzo38: That's what I've seen and usually do, but it's also pretty subtle; < 1476151518 0 :centrinia!~centrinia@107.208.218.105 QUIT :Quit: Leaving < 1476151527 0 :fizzie!?@? PRIVMSG #esoteric :It was downtown Mountain View, which isn't all that Google. < 1476151565 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: They used to have a, uh, place on Castro St. < 1476151570 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn Harikari is the act of comitting suicide because you've mangled a word in an honor-destroying way. < 1476151573 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'harikari': Harikari is the act of comitting suicide because you've mangled a word in an honor-destroying way. < 1476151588 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :If I capitalize the first letter of one for no apparent reason in the middle of a sentence, then you might not even notice (you do fairly often, but not 100%- and it's much harder when it's just a Standalone name in an expression) < 1476151602 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :BUT IF I WRITE IN FULL CAPS, YOU'RE REALLY GOING TO NOTICE < 1476151625 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I drop one in the middle of a sentence, you'll probably notice. < 1476151644 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: But less often if it's in a mathematical expression < 1476151663 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :theta(x)+Theta(y)+theta(z) could VERY easily be read as theta(x+y+z) < 1476151674 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If You write like Shubshub, I'll almost certainly Notice. < 1476151701 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That individual has A Very distinctive mode Of writing. < 1476151707 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Oh, theta is multiplicative function by the way for no reason) < 1476151723 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Other than that I didn't want to rewrite theta(x)+theta(y)+theta(z)) < 1476151724 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not even managing to replicate it. < 1476151751 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you weren't duly impressed by addition under atanh earlier imo < 1476151772 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I wasn't? < 1476151777 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Allow me to check what it was < 1476151793 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should give it a name. < 1476151807 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I had to leave school. < 1476151812 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Wait, give what a name?) < 1476151830 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a (+) b = (a+b)/(1+ab) < 1476151840 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Very useful operation, I guess. < 1476151844 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Never seen that, but OK < 1476151849 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually it already has a name. < 1476151881 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: What I was talking about earlier was a(+)b = 1/((1/a)+(1/b)) < 1476151888 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Which is just harmonic sum < 1476151896 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's called parallel sum by this one person on Wikipedia. < 1476151899 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whose page I linked to. < 1476151905 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes < 1476151954 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ooooh < 1476151959 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So they're equivalent < 1476152028 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's a link to http://www.ellerman.org/wp-content/uploads/2012/12/IntellectualTrespassingBook.pdf < 1476152030 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(If this is parallel sum, does that make + perpendicular sum?) < 1476152031 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd harikari//s/comi/commi/ < 1476152033 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/harikari//Harikari is the act of committing suicide because you've mangled a word in an honor-destroying way. < 1476152110 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's called series sum on the page I linked to. < 1476152136 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :In fact, general sum: a(+_k)b = (a^k+b^k)^(1/k) < 1476152167 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you mean -k < 1476152177 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Why -k? < 1476152178 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : you weren't duly impressed by addition under atanh earlier imo <-- was he at least relatively impressed? < 1476152186 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I meant 1/k < 1476152200 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, I don't mean -k < 1476152205 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Sum is k = 1, harmonic sum is k = -1 < 1476152237 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I feel there's a pun there, but I don't see what... < 1476152253 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is there some part of math where 'due' and 'relative' are related concepts? < 1476152254 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: well, you're no einstein hth < 1476152261 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm, that can come across as rude < 1476152274 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: In what part in particular < 1476152285 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coming up with a non-rude pun is left as an exercise < 1476152300 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: It is weird that that could sound rude... the entire POINT of Einstein is that he's probably smarter than you < 1476152304 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(for generic you) < 1476152316 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`quote ais.*obscure < 1476152317 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1243) (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing) < 1476152325 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The joke is: (a+b)/(1+1/ab) is how you add velocities in special relativity. < 1476152339 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Aaaah < 1476152347 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Velocities from 0 to 1, where 1 is the speed of light.) < 1476152361 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Makes sense < 1476152392 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And also, (a+b)/(1+1/ab) = tanh(atanh(a) + atanh(b)) < 1476152399 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ooooh < 1476152408 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(that's 'oo', not 'oh') < 1476152469 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1476152480 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The old-fashioned way to add velocities is a+b. < 1476152493 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Yeah, but the math doesn't work ;-; < 1476152507 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you explain this analogy please: < 1476152525 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I tried refreshing the UTF8.gz thing. didn't work. so now I'm compiling a costom tmux with my own char width fucntion < 1476152525 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think you mangled the formula this time < 1476152542 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Which time? < 1476152610 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the last one < 1476152621 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK, implemented gsum < 1476152643 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: a+b? < 1476152644 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :The 0.5-sum of 3 and 5 is... 15.745966692414834 < 1476152649 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :Client Quit < 1476152649 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> tanh(atanh 0.5 + atanh 0.5) < 1476152651 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.8 < 1476152663 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :2-sum is 5.830951894845301 < 1476152685 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> (0.5 + 0.5)/(1 + 1/(0.5+0.5)) < 1476152687 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.5 < 1476152689 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :How do you define in lambdabot again? < 1476152693 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is it @let? < 1476152695 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :argh < 1476152699 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@let ooga = 5 < 1476152699 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> (0.5 + 0.5)/(1 + 1/(0.5*0.5)) < 1476152700 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1476152702 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.2 < 1476152702 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :> ooga < 1476152703 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: please see https://en.wikipedia.org/wiki/Lp_space#The_p-norm_in_finite_dimensions hth < 1476152705 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5 < 1476152708 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :OK, good < 1476152710 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> (0.5 + 0.5)/(1 + (0.5*0.5)) < 1476152712 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.8 < 1476152725 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no nested division < 1476152726 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1476152736 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :now I'll try again < 1476152738 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@type (^) < 1476152740 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Num a, Integral b) => a -> b -> a < 1476152745 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@type (^^) < 1476152747 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Integral b, Fractional a) => a -> b -> a < 1476152752 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@type (**) < 1476152753 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Floating a => a -> a -> a < 1476152754 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Oh, did I add 1/? < 1476152759 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I did. < 1476152774 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`u8tbl 0x23f4 0x23fA < 1476152775 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⏴⏵⏶⏷⏸⏹⏺ < 1476152777 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course I mean (a+b)/(1+ab) < 1476152787 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :YAAAAAAAY < 1476152787 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@let gsum g a b = ((a^^g)+(b^^g))**(1/g) < 1476152789 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1476152794 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@gsum 1 3 5 < 1476152794 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1476152802 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :> gsum 1 3 5 < 1476152805 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1476152805 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Ambiguous type variable ‘a0’ arising from a use of ‘show_M352684250960... < 1476152805 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : prevents the constraint ‘(Show a0)’ from being solved. < 1476152809 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...wait, what? < 1476152817 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :now, i think this will work too? ⏴⏵⏶⏷⏸⏹⏺ horray! < 1476152825 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're using both ^^ and ** < 1476152828 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oh? < 1476152831 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course it's confused. < 1476152836 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@let gsum g a b = ((a^^g)+(b^^g))^^(1/g) < 1476152838 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:164:1: warning: [-Woverlapping-patterns] < 1476152838 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Pattern match is redundant < 1476152838 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In an equation for ‘gsum’: gsum g a b = ... < 1476152845 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(...right, dammit) < 1476152852 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@let gsum' g a b = ((a^^g)+(b^^g))^^(1/g) < 1476152854 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1476152858 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :> gsum' 1 3 5 < 1476152861 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1476152861 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Could not deduce (Fractional b0) arising from a use of ‘gsum'’ < 1476152861 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : from the context: Fractional a < 1476152869 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...I'm going to leave now < 1476152875 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Quit: Leaving < 1476152891 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, so I was saying: < 1476152896 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I replaced the call to wcwidth with a call to u8chrwid from http://orenwatson.be/u8.c.htm < 1476152919 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In this one computer game, I have a bunch of things, and they generate resources. < 1476152929 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :which is a rough and ready character width estimation < 1476152932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say I have thing X that generates 60% of my resources. < 1476152946 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I make X twice as efficient. It doesn't generate 120% of my resources, of course. < 1476152960 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It generates (0.6+0.6)/(1+0.6) of them. < 1476152967 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (0.6+0.6)/(1+0.6) < 1476152969 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.7499999999999999 < 1476152980 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :74.99999999999999% < 1476153018 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So this seems kind of similar to the velocity addition thing, except that that would say, if you "double" your velocity from 0.6, you get (0.6+0.6)/(1+0.6*0.6) < 1476153024 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (0.6+0.6)/(1+0.6*0.6) < 1476153027 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.8823529411764707 < 1476153034 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So what's that about? < 1476153043 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does the analogy work or not? < 1476153044 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I should probably work on making it less rough and ready though < 1476153099 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :less rough, more ready? < 1476153181 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1476153249 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but seriously it is total shit that I had to put in such a havk just to get a stupid play an pause buttons to show up. < 1476153250 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :«For fractions, the series sum is the usual addition expressed by the annoyingly asymmetrical rule: "Find the common denominator and then add the numerators." The parallel sum of fractions restores symmetry since it is defined in the dual fashion: "Find the common numerator and then (series) add the denominators."» < 1476153256 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is pretty good. < 1476153285 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: if X generates proportion p of your resources, and you make X twice as efficient, it now generates (p+p)/(1+p) = 1/(1/(p+p)+p/(p+p)) = 1/(1/2p + 1/2) = 2p (+) 2 of your resources < 1476153305 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not immediately obvious how this generalizes < 1476153323 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Well, I was trying to make an analogy to the velocity addition thing. < 1476153330 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: which is (+) < 1476153334 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was expressing it in terms of that < 1476153337 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it does look simpler < 1476153347 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but is also confusing as it's not clear why it has that form specifically < 1476153361 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, isn't that (+) parallel sum? < 1476153363 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, let's do it like this < 1476153365 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: yes < 1476153376 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let X become n times as efficient; and let q = (1-p) < 1476153387 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How is that related to velocity addition? < 1476153387 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(btw, "q = 1-p" should be the standard definition of q, IMO) < 1476153407 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`addquote (btw, "q = 1-p" should be the standard definition of q, IMO) < 1476153416 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1290) (btw, "q = 1-p" should be the standard definition of q, IMO) < 1476153419 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`doag quotes < 1476153420 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2016-10-11 addquote (btw, "q = 1-p" should be the standard definition of q, IMO) \ 2016-10-09 sled quotes//82s/[[]/ [/ \ 2016-10-09 sled quotes//82s/ \\.\\.\\. /[...]/ \ 2016-09-25 revert 942e964c81c1 \ 2016-09-25 ` chmod 777 / -R \ 2016-09-24 sled quotes//1289s/ // \ 2016-09- < 1476153460 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :shachaf: Not that you likely *care*, there is a workaround to make gifjs still work in the face of transforming proxies like that. Add a quick .setRequestHeader("Cache-Control", "no-transform") to your XMLHttpRequest. < 1476153476 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: TG < 1476153485 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :TG = ? < 1476153488 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too good < 1476153497 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Alas. < 1476153507 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm pretty far removed from that code, though. < 1476153518 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :ACTION assumed so < 1476153519 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Apparently Buzzfeed forked it and made it into a nice library or something. < 1476153531 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is why it has all those stars on Github. < 1476153539 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't even find out about it until recently. < 1476153547 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :X previously generated p/(p+q); now it generates np/(np+q) = np / (1 + (n-1)p) = 1/(1/np + (n-1)p/np) = np (+) np/(n-1)p = np (+) n/(n-1) < 1476153558 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Maybe I'll just send them a patch if they care. :) < 1476153598 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Though it's pretty possible they already did that. < 1476153599 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: what does "that code" refer to? < 1476153609 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The jsgif code. < 1476153631 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also apparently between the time I wrote it (summer 2010) and the time I released it, someone else released another library with the same name. < 1476153634 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh well. < 1476153639 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That'll teach me to release any code. < 1476153668 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: OK, let me read what you said. < 1476153685 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it doesn't really come out as neatly as I expected < 1476153688 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was trying to connect it to the velocity addition thing but I think it's unrelated. < 1476153691 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's still fairly neat < 1476153703 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, I don't think there's a connection either, just a nice formula < 1476153707 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :can someone try to break my wcwidth code? < 1476153708 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 250 seconds < 1476153721 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :like, find a character that breaks it < 1476153727 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I did enough maths when I was younger that I can appreciate a neat formula even if it doesn't solve my original problem < 1476153732 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oren: does it return -1 for backspace? < 1476153733 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, I think there probably is a connection. < 1476153750 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I was just saying that I'll appreciate your formula even if it isn't connected. < 1476153775 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ais523: no. returns 0. but it doesn't seem to use wcwidth to handle backspace anyway < 1476153777 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Were you here when I talked about volume time? It's also related. < 1476153794 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: no (or if I was, I wasn't paying attention) < 1476153815 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's this thing on stock exchanges called volume time, which measures time using volume instead of a clock. < 1476153836 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Also other exchanges.) < 1476153839 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I didn't actually look up what the specifications for wcwidth I just sort of pasted some old code of mine into tmux and compiled < 1476153841 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Every time one person buys N things from someone else, the volume is increased by N. < 1476153846 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: ah right < 1476153848 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :shachaf: Welp, they definitely don't have the cache-control set like that. :) < 1476153854 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is like valgrind measuring time by counting CPU instructions < 1476153860 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Now do I care enough to hand 'em an issue... < 1476153870 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or massif measuring time in megabytes < 1476153872 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are a lot of things that work out nicely when you use volume time instead of clock time. < 1476153909 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can measure your trading speed in terms of volume time, e.g. "buy 10000 shares, and be 20% of the total volume" < 1476153925 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which means that over the next 50000 volume time, you want to have been 10000 of it. < 1476153938 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It means you can treat things that trade frequently and infrequently in a similar way. < 1476153958 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, 100% is the speed limit for trading, is the point. < 1476153968 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1476153988 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you're 100% of the volume, you can't get your volume time speed, no matter how much faster you trade. < 1476153992 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is like the reverse of the lightspeed limit < 1476154001 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you go faster, time speeds up to compensate < 1476154021 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The interesting thing there is that time and position are measured in the same units. < 1476154035 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which I guess is true for spacetime too. < 1476154066 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So how does "velocity addition" work in this world? < 1476154097 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kind-of like relativity I think < 1476154098 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi copumpkin < 1476154102 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe you know < 1476154118 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, would be great if it were exactly like relativity < 1476154137 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in this world, things going at the speed of light go at the speed of light from any viewpoint, don't they? < 1476154137 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what I said! < 1476154153 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, this global volume time ticker is kind of annoying. < 1476154177 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :basically, velocities don't add linearly < 1476154179 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm not sure what you mean by viewpoint. < 1476154179 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was taught about relativity in school but can hardly remember the details at this point < 1476154189 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: nor am I < 1476154201 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but however it's defined it doesn't seem capable of changing the speed of light, so maybe it doesn't matter < 1476154223 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :instead rapidities add linearly < 1476154243 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's also annoying that stocks and volume are discrete. But we can probably ignore that. < 1476154277 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :stocks don't have any mathematical reason to be discrete < 1476154278 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that is, if a bullet is shot at speed v forward on a train going at speed w, < 1476154282 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's just the wayt he stock market is set up < 1476154298 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1476154303 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, that's not quite true. < 1476154334 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prices also have a reason to be discrete, and there's a real trade-off between finer and coarser prices. < 1476154340 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the speed of the bullet relative to the ground is c*tanh(arctanh(v/c)+arctanh(w/c)) < 1476154344 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(But that's not related to any of this, anyway.) < 1476154353 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what a share in a company gives you is: a) voting power on the company's decisions (typically only used to elect a board who handle the day-to-day decisions); b) a proportion of dividends < 1476154360 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :neither of those have a reason to be discrete < 1476154382 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ais523: https://en.wikipedia.org/wiki/Rapidity < 1476154428 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, maybe shares don't need to be discrete. < 1476154439 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But prices should be. < 1476154445 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At least the way markets work right now. < 1476154515 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I've had a mental image of high frequency trading bots coming up with prices that are so precise they need to be expressed as computable rals < 1476154516 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*reals < 1476154527 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the stock market taking hours just to figure out what the price of the trade actually is < 1476154555 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Why restrict prices to the computables? >:D < 1476154570 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, figuring out prices is one of the main purposes of the stock market. < 1476154577 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I don't mind if it takes hours. < 1476154592 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it's so volatile anyway, the extra precision probably wouldn't get you much in most cases. < 1476154626 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: one big advantage of a computable real over an uncomputable real is that it's possible to communicate it to someone else < 1476154642 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :having a price that you can't describe or name in any way is useless for actually making trades < 1476154661 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :*shrug* < 1476154669 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it could be describable but not computable. < 1476154670 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Some people have no imagination < 1476154680 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : (btw, "q = 1-p" should be the standard definition of q, IMO) <-- except in L^p theory you want 1/q = 1 - 1/p instead hth < 1476154707 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, I just realised that q and p are even mirror images in most fonts < 1476154707 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I was going to suggest q = 1/p < 1476154722 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(they aren't in my handwriting, which probably explains why I didn't notice this before) < 1476154747 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how did you write those inverted d and b? < 1476154749 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it's been a while since I did probability calculations using algebra, and back then I was mostly using paper rather than computers) < 1476154772 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are websites you can use to turn your text upside-down < 1476154797 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it makes it so much easier to write < 1476154862 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Anyway, this volume time thing seems more analogous to the resource thing I said before. < 1476154917 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say I'm buying at 60% of the volume. I double my buying speed. Now I'm (0.6 + 0.6)/(1 + 0.6) of the volume. < 1476154929 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or am I? I should figure out what I mean by double. < 1476154971 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ugh, now I'm reminded of the question of a plane on a treadmill < 1476154976 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I mean I'm measuring everything in clock time. < 1476155002 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1476155014 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the question is "if you place an aeroplane on a giant treadmill, and make the treadmill spin backwards to counteract the plane's motion and keep it steady in the x axis, can the plane take off?" < 1476155066 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So if 60% participation is 60 shares/minute, that means other people are trading at 40 shares/minute. I "double" my speed by trading at 120 shares/minute, so that's 120/160 = 75% < 1476155082 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is the reason I brought up the resource thing in analogy to the speed of light in the first place. < 1476155096 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1476155125 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : hmm, would be great if it were exactly like relativity <-- . o O ( what if this world is an emergent property of a stock exchange somewhere ) < 1476155183 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: oh, i get it, stackexchange.com is a pun on "stock exchange" < 1476155185 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: what do you think of the theory that there is only one electron in existence, but it's capable of time travel < 1476155187 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't realize until now. < 1476155212 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and manages to do the jobs of every electron in the universe via looping through time < 1476155212 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: What do you think of the theory that there's only one soul/consciousness in existence, but it moves between everyone's minds zillions of times a second? < 1476155236 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I think it's very hard to disprove, and may not be well-defined < 1476155252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that too. < 1476155263 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I read it in a book by Raymond Smullyan, where he maybe put it better than I did. < 1476155465 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I didn't realize until now. <-- eek me neither < 1476155540 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/User:Paulproteus/List_of_puns_that_took_Asheesh_more_than_a_year_to_get < 1476155540 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523> oerjan: what do you think of the theory that there is only one electron in existence, but it's capable of time travel <-- i vaguely there was some argument against that idea. < 1476155709 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you know Raymond Smullyan's secret to immortality? < 1476155713 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It comes in two parts. < 1476155727 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :1. Always tell the truth. Never say something that isn't true. < 1476155741 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2. Say "I will repeat this sentence tomorrow". < 1476156054 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :hah. < 1476156084 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: 1. is probably impossible, it requires you to be accurate < 1476156095 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, 1 is the hard part. < 1476156100 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and if you were actually accurate, then 1 and 2 would likely contradict each other < 1476156108 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1476156121 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually you could work around it by getting rid of the sun or something. < 1476156204 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :stating you'll do something on a nonexistent day is a false statement, isn't it? < 1476156223 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, maybe. < 1476156422 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1476156716 0 :encodingcollecto!~encodingc@c-73-189-255-150.hsd1.ca.comcast.net QUIT :Remote host closed the connection < 1476156889 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :something something closed world assumption. < 1476156919 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Ah, http://www.ellerman.org/wp-content/uploads/2012/12/IntellectualTrespassingBook.pdf talks about this maybe. < 1476156931 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"In high school algebra, parallel sums occur in the computation of completion times when activities are run in parallel. If pump A can fill a reservoir in a hours and pump B can fill the same reservoir in b hours, then running the two pumps simultaneously will fill the reservoir in a:b hours." < 1476156936 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Where : is parallel sum.) < 1476157089 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :damnit. I need to either handle only signed numbers or find two symbols to represent a signed comparison. < 1476157164 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: Verity uses +< and +> for signed less-than and signed greater-than < 1476157188 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :ais523: needs to be single-char. < 1476157188 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com QUIT :Ping timeout: 260 seconds < 1476157204 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :(just an artificial constraint I set.) < 1476157297 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the plane on a treadmill can take off easily, because the wheels aren't pushing the plane < 1476157334 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: ≺ and ≻ perhaps? although those make more sense as unsigned with < and > as signed < 1476157346 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that is, the plane doesn't push the treadmill at all, so the treadmill doen't move < 1476157368 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :ais523: unicode? < 1476157375 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :doesn't display well on my terminal. < 1476157377 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: well there aren't many possibilities in ASCII! < 1476157383 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I know D: < 1476157385 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :damn this charset! < 1476157387 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're \prec and \succ in LaTeX < 1476157389 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :and this keyboard. < 1476157403 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :need more symbols and less latin letters. < 1476157419 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :imode: try a better font < 1476157429 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in ASCII about the best you'll do is [ and ] I think < 1476157439 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :[ and ] are reserved for loops. < 1476157439 0 :ffj-bot!eldis4@firefly.xen.prgmr.com PRIVMSG #esoteric :imode: |spelling error < 1476157439 0 :ffj-bot!eldis4@firefly.xen.prgmr.com PRIVMSG #esoteric :imode: | and ] are reserved for loops. < 1476157439 0 :ffj-bot!eldis4@firefly.xen.prgmr.com PRIVMSG #esoteric :imode: | ^ < 1476157443 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :oh man. < 1476157450 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://orenwatson.be/fontdemo.htm <- like this one < 1476157460 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :oh god that font. < 1476157470 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :no thanks. < 1476157505 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it has almost every math symbol you can imagine < 1476157533 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :jsut having the font on your system is enough since characters not found in any other font witll use it < 1476157556 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you could also use gnu unifont < 1476157558 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: that font probably wants to be a vector font rather than a pixel font < 1476157563 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :^ < 1476157576 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.unifoundry.com/unifont.html < 1476157580 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :and, I'm good. the characters display and everything, it's just that they're a tiny bit aliased.. < 1476157606 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I haven't checked, but from the description, it looks like a pixel font) < 1476157606 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*oren: < 1476157628 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it is a pixel font on purpose in order to prevent aliasing < 1476157637 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :because I hate cleartype < 1476157737 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I dig that font. < 1476157873 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the things I have against gnu unifont that led me to make my own font are: I don;t like gnu unifont's style, gnu unifont doen't have accurate widths for its characters especially symbols, and its style differs from language to language < 1476157893 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I just use Dina. 6pt font. < 1476157933 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah I prefer a bigger font these days < 1476158041 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :alhough soon I might need glasses so maybe that's part of why < 1476158048 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :ACTION isn't too fond of the style on that font either < 1476158090 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :pikhq: which one, gnu unifont, Dina, or neoletters? < 1476158096 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Neoletters < 1476158110 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Though unifont ain't exactly attractive either. < 1476158120 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :And at least neoletters is stylistically consistent. < 1476158366 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I happen to prefer Fixed, although I would want a UTCE version of it (possibly in addition to the existing Unicode version) < 1476158596 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The main problem I've had using gnu unifont wasn't the style though. it was that certain characters have the wrong width in the font, causing roguelikes that use unicode to look all messed up < 1476158839 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :←↑→↓↔↕ for example were all shown as wide < 1476158953 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I think they have now fixed that, but there are still hundreds of characters shown as wide that should be one space < 1476159039 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :such as ➊➋➌➍➎➏➐➑➒➓ < 1476160419 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Weird, they're not following the Unicode width table? < 1476160475 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :That's just bizarre. < 1476160688 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :Quit: leaving < 1476162042 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1476162052 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok it turned out my crappy wcwidth was too crappy < 1476162079 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and caused a crash somehow < 1476162105 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so I copied this one, which seems to work better http://www.cl.cam.ac.uk/~mgk25/ucs/wcwidth.c < 1476162201 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :oren: Is that up-to-date though? IIRC some of the blocks which had characters added later than 5.0 have a width of 2, not 1. < 1476162226 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm, I'll have to fix it up then! < 1476162263 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I invented UTCE in order to avoid those problems with the width < 1476162274 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :although,the supplementary ideographic plane is all just blocked out as width two in that function < 1476162290 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Yup, it's missing 1 block I know of: the Miscellaneous Symbols and Pictographs block has a width of 2. < 1476162316 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :(which is not in the ideographic plane) < 1476162395 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok, I'll figure thta out too < 1476162417 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net PRIVMSG #esoteric :Should be simple enough to fix though. < 1476163235 0 :`^_^v!~nycs@139.193.9.12 JOIN :#esoteric < 1476163423 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :*.net *.split < 1476163459 0 :powerOfTwo!~powerOfTw@181.90.174.224 JOIN :#esoteric < 1476163478 0 :powerOfTwo!~powerOfTw@181.90.174.224 QUIT :Remote host closed the connection < 1476163502 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1476163598 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1476163903 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :Quit: leaving < 1476164197 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1476165687 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1476165813 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476166761 0 :jeffl35!?@? NICK :jeffl36 < 1476166763 0 :jeffl36!?@? NICK :jeffl35 < 1476167698 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476167713 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476168534 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1476168765 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric ::( c2.com is still down... that wiki was awesome. < 1476168958 0 :Sgeo__!~Sgeo@ool-43500d4c.dyn.optonline.net JOIN :#esoteric < 1476169148 0 :Sgeo_!~Sgeo@ool-43500d4c.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1476170044 0 :`^_^v!~nycs@139.193.9.12 QUIT :Quit: This computer has gone to sleep < 1476170666 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg6j7v27zybs2d6.ip6.access.telenet.be JOIN :#esoteric < 1476170984 0 :augur!~augur@2601:645:8100:c347:9558:c2cc:7f11:4ac3 JOIN :#esoteric < 1476171069 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg6j7v27zybs2d6.ip6.access.telenet.be QUIT :Ping timeout: 260 seconds < 1476171908 0 :Sgeo__!~Sgeo@ool-43500d4c.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1476171960 0 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 250 seconds < 1476171997 0 :augur!~augur@2601:645:8100:c347:9558:c2cc:7f11:4ac3 QUIT :Read error: Connection timed out < 1476171997 0 :Sgeo__!~Sgeo@ool-43500d4c.dyn.optonline.net JOIN :#esoteric < 1476172040 0 :augur!~augur@c-24-7-90-158.hsd1.ca.comcast.net JOIN :#esoteric < 1476172889 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net JOIN :#esoteric < 1476172945 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1476173184 0 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1476173286 0 :`^_^v!~nycs@139.193.9.12 JOIN :#esoteric < 1476173996 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Quit: Leaving < 1476174044 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1476174063 0 :dolphinmaster!558e101a@gateway/web/freenode/ip.85.142.16.26 JOIN :#esoteric < 1476174076 0 :dolphinmaster!558e101a@gateway/web/freenode/ip.85.142.16.26 PART #esoteric : < 1476174334 0 :Sgeo_!~Sgeo@ool-43500d4c.dyn.optonline.net JOIN :#esoteric < 1476174482 0 :Sgeo__!~Sgeo@ool-43500d4c.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1476175158 0 :pikhq!~pikhq@71-219-215-239.clsp.qwest.net QUIT :Ping timeout: 250 seconds < 1476175278 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net JOIN :#esoteric < 1476175924 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1476176389 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1476176561 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Apparently the person Trump is talking to on that tape is Billy Bush < 1476176565 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :...one of the Bushes... < 1476176566 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wow... < 1476178217 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476178580 0 :ski!~ski@remote11.chalmers.se QUIT :Ping timeout: 260 seconds < 1476178584 0 :scoofy_!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1476178603 0 :jix_!~jix@jixco.de JOIN :#esoteric < 1476178660 0 :nycs!~nycs@139.193.9.12 JOIN :#esoteric < 1476178819 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Someone just contributed a brilliant simpler proof for the chameleon game problem. < 1476178882 0 :imode!~imode@unaffiliated/imode QUIT :*.net *.split < 1476178882 0 :`^_^v!~nycs@139.193.9.12 QUIT :*.net *.split < 1476178883 0 :deltab_!~deltab@fpc1-king9-2-0-cust1.perr.static.cable.virginm.net QUIT :*.net *.split < 1476178884 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-lzgrhmabyjgugmvv QUIT :*.net *.split < 1476178884 0 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :*.net *.split < 1476178885 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-rjfdvhqjzvhpcgyk QUIT :*.net *.split < 1476178885 0 :xfix!~xfix@unaffiliated/xfix QUIT :*.net *.split < 1476178885 0 :gniourf!~gniourf@pdm-l03.insa-lyon.fr QUIT :*.net *.split < 1476178885 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue QUIT :*.net *.split < 1476178885 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1476178885 0 :Tiktailk!~tiktalik@2607:fcd0:daaa:1400:f::4 QUIT :*.net *.split < 1476178885 0 :jix!~jix@jixco.de QUIT :*.net *.split < 1476178965 0 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1476179044 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1476179391 0 :deltab_!~deltab@fpc1-king9-2-0-cust1.perr.static.cable.virginm.net JOIN :#esoteric < 1476179391 0 :gniourf!~gniourf@pdm-l03.insa-lyon.fr JOIN :#esoteric < 1476179391 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-lzgrhmabyjgugmvv JOIN :#esoteric < 1476179391 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-rjfdvhqjzvhpcgyk JOIN :#esoteric < 1476179391 0 :xfix!~xfix@unaffiliated/xfix JOIN :#esoteric < 1476179391 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue JOIN :#esoteric < 1476179391 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1476179391 0 :Tiktailk!~tiktalik@2607:fcd0:daaa:1400:f::4 JOIN :#esoteric < 1476179577 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-rjfdvhqjzvhpcgyk QUIT :Ping timeout: 256 seconds < 1476179884 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-avwsvpaarnibzwbr JOIN :#esoteric < 1476179951 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that was three months ago... < 1476179966 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Wat? < 1476179982 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: ...care to share the link again? < 1476180208 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net QUIT :Ping timeout: 260 seconds < 1476180411 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: I don't have a link to the logs, because I don't remember when exactly it was < 1476180419 0 :carado!~carado@bea44-1-78-193-226-57.fbxo.proxad.net JOIN :#esoteric < 1476180419 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't have a copy of the logs < 1476180429 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, can HackEgo search the archives? < 1476180601 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :https://twitter.com/lachlan/status/785595392385687552 < 1476180729 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`` cat bin/log < 1476180730 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ cd /var/irclogs/_esoteric \ if [ "$1" ]; then \ grep -P -i -- "$1" ????-??-??.txt | shuf -n 1 \ else \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(shuf -n 1 $file)" \ fi < 1476180747 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`` /bin/ls /var/irclogs/_esoteric < 1476180748 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin/ls: cannot access /var/irclogs/_esoteric: No such file or directory < 1476180751 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :doesn't actually exist < 1476180794 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :does HackEgo have the logs now? < 1476180846 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ARGH! < 1476181739 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 268 seconds < 1476182427 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, HackEgo *had* the logs in the past < 1476182449 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: so where did this contribution happen then < 1476182517 0 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 248 seconds < 1476182578 0 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1476183643 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: http://www.komal.hu/forum/forum.cgi?a=to&tid=309&st=25&dr=1 , post [19] and [21] < 1476183691 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://www.komal.hu/forum/forum.cgi?a=to&tid=309&st=25&dr=1#28505 < 1476183695 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it has anchors now? < 1476183707 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I totally assumed there were no anchors earlier! < 1476185711 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1476185974 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :according to linkedin one of the people i may know is "Gmane Authorizer" < 1476186208 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :izellove. what's a gmane authorizer? < 1476186427 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the thing you use to authorize your gmanes < 1476186538 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :... < 1476186640 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what else would you use it for? < 1476186933 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh < 1476186977 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so I'm trying to make something take less disk space by deleting unnecessary files from it, and as a temporary state during this, I'm about to have almost six copies of the whole damn thing on my hard disk < 1476188015 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :btw, https://johncarlosbaez.wordpress.com/2016/10/07/kosterlitz-thouless-transition/ can be worth a read < 1476188494 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1476188897 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: MOUSSE CHICKEN < 1476188898 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1476191565 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1476191654 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I've just been bitten by escaping rules. < 1476191839 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What were the rules escaping from < 1476192041 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: perl regex inside windows cmd shell < 1476192061 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My commiserations < 1476192072 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I put the regex command-line argument in quotes, and wanted to match a literal backslash as the last character < 1476192083 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: cmd's escaping rules are outright bizarre < 1476192099 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could probably make the Perl oneliner prompt for the regex interactively < 1476192103 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to avoid having to escape it at all < 1476192107 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the reasonable thing to write would have been "foobar\x5c" or "foobar\\(?:)" but I wrote "foobar\\" and that's wrong and produces a strange error message < 1476192160 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, they're bizarre and hard to use. I had to learn about them for some script I made, but that doesn't mean I have it as a finger reflex to know how many backspaces to type < 1476192182 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me tell the story of that < 1476192250 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I have some batch files that are thin wrappers around a program, just invoking it and passing all the command-line arguments, possibly prefixing or suffixing some more command-line arguments < 1476192298 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Those are easy to write, you just have to put @"C:\Program Files\Some Path\someprogram.exe" %* into the batch file < 1476192340 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It _mostly_ works. Only mostly, because when you invoke it then interrupt the program with control-c, you need an additional control-c or something like that to exit. < 1476192356 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But there are at least two hard cases. < 1476192390 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Namely, I want a wrapper around a program such that it sets some environment variables, but only for running that program, not for the rest of the shell session. < 1476192412 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :Ping timeout: 260 seconds < 1476192418 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I absolutely can't figure out how to do that in pure cmd. I tried experiments with CALL and SET and stuff, but nothing worked. < 1476192467 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :So I wrote a batch file with a very ugly perl script that sets an environment variable and then calls another program < 1476192491 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But the easiest way to spawn a program from perl involves going through the shell (you'd need some windows-specific module otherwise, and that might be worth investigating), < 1476192504 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so I made the perl script try to quote the parameters of the program for the shell. < 1476192509 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :That mostly works. Only mostyl. < 1476192523 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It can fail if the command-line parameters are strange or if the program handles them in a strange way, < 1476192547 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: have you seen the command line quoting argument on CPAN? < 1476192549 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it works when there's only a couple of double quotes, backslashes, carets and ampersands and pipes and angle brackets involved. < 1476192551 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the way it handles Windows is very weird < 1476192564 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: no < 1476192568 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :AFAICT the Windows escaping rules for a string depend on the content of the string < 1476192578 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Here's an example of such a script: < 1476192584 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@"C:\Perl64\bin\perl.exe" -M-lib=. -e "use 5.016; $ENV{PATH} = qq(C:\x5cWin-builds\x5cbin;$ENV{PATH}); say my$c = qq(\x22) . join(qq(\x22 \x22), map s/(\x5c*(\x22|\z))/\Q$1/gr, qw(g++ -march=core2 -mavx -Wall -O), @ARGV) . qq(\x22); exit system $c;" -- %* < 1476192585 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1476192588 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it has to add a few useless characters which cancel each other out in order to force a particular escaping method < 1476192603 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :lambdabot doesn't know Perl? < 1476192624 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`perl-e print sub { $_[0] + 1}; < 1476192624 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :CODE(0x626c78) < 1476192628 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Perl has lambdas < 1476192649 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: it knows perl. it just doesn't have the particular g++ executable for which that works. < 1476192668 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it can't find the g++ command < 1476192707 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not sure what happens if any command-line argument contains percent signs or newlines by the way < 1476192859 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: the problem with windows shell quoting is that it's sort of rigid. contents of double-quoted strings must be escaped by putting excatly the backslashes that regex puts in them. if you try to put any other backslash escape, you end up with the wrong result. < 1476192886 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you allow exitting the double quote, then there might be more ways < 1476192921 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, I have no fucking idea how percent escapes work, or if they work at all < 1476192930 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :their syntax seems completely random < 1476192940 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so if your command has percent signs, you're probably screwed < 1476192946 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and many commands I type do have percent signs < 1476192960 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I have absolutely no idea how to escape them properly < 1476193014 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :doesn't cmd have caret escapes too? < 1476193026 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I don't know. < 1476193037 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't know how cmd works, and I probably shouldn't even do this stuff < 1476193060 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should use a perl module that lets me execute a program on windows without using the shell, or some other solution < 1476193065 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :rather than trying to beat cmd into submission < 1476193094 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Or if a perl module is not convenient, just write something new in C++ using the windows api or whatever. < 1476193119 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I put that batch file stuff down when it started to more or less work < 1476193142 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm sure it escapes backslashes and double quotes properly, but there are more problems with batch file stuff than that. < 1476193914 0 :BooK!~book@klonk.bruhat-souche.net PRIVMSG #esoteric :system and exec in Perl behave differently when handed a single argument < 1476193986 0 :nycs!~nycs@139.193.9.12 QUIT :Quit: This computer has gone to sleep < 1476193987 0 :BooK!~book@klonk.bruhat-souche.net PRIVMSG #esoteric :`perldoc -f exec` and `perldoc -f system` have more details < 1476193988 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :You need to install the perl-doc package to use this program. < 1476193998 0 :BooK!~book@klonk.bruhat-souche.net PRIVMSG #esoteric :perl's useless without its docs < 1476194005 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :presumably powershell has less esoteric quoting rules < 1476194022 0 :BooK!~book@klonk.bruhat-souche.net PRIVMSG #esoteric :it's only a few hundred man pages, last time I counted :-) < 1476194072 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :perldoc is probably larger than some fungot corpora < 1476194073 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: not sure exactly what you want? perl exists already, and there are < 1476194366 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : hmm, I just remembered that I was formally trained to tune harps < 1476194370 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^ b_jonas asked me to repost that here < 1476194372 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 260 seconds < 1476194381 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`addquote ais523 hmm, I just remembered that I was formally trained to tune harps < 1476194383 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1291) ais523 hmm, I just remembered that I was formally trained to tune harps < 1476194389 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is that how I use addquote? < 1476194392 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`quote ais523 < 1476194393 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :24) after all, what are DVD players for? \ 69) so a.b.c.d.e.f.g.h.i.j.k.com might be self-relative, but a.b.c.d.e.f.g.h.i.j.k.l.com always means a.b.c.d.e.f.g.h.i.j.k.l.com.? \ 70) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 77) (still, w < 1476194399 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, you have to format it properly < 1476194400 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`delquote 1291 < 1476194402 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1476194403 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​*poof* ais523 hmm, I just remembered that I was formally trained to tune harps < 1476194406 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? quoteformat < 1476194407 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :quoteformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two. < 1476194411 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476194421 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`addquote hmm, I just remembered that I was formally trained to tune harps < 1476194423 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1291) hmm, I just remembered that I was formally trained to tune harps < 1476194429 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`quote harps < 1476194429 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1291) hmm, I just remembered that I was formally trained to tune harps < 1476194434 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`quote ais523 < 1476194435 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :24) after all, what are DVD players for? \ 69) so a.b.c.d.e.f.g.h.i.j.k.com might be self-relative, but a.b.c.d.e.f.g.h.i.j.k.l.com always means a.b.c.d.e.f.g.h.i.j.k.l.com.? \ 70) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 77) (still, w < 1476194436 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`countquote ais523 < 1476194437 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: countquote: not found < 1476194439 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have a lot of skills; some are more useful than others < 1476194445 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf JOIN :#esoteric < 1476194447 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :moo < 1476194896 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I just stumbled across the standard ISO 16 < 1476194931 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what's it for < 1476194932 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is one page long, and not publicly available, although you can purchase it for 38 swiss francs; it does not seem to be available in other currencies < 1476194942 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it defines the A above middle C as being 440 Hz < 1476194971 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's the date for that standard? < 1476194987 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :below middle C, hopefully < 1476195001 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: that's 220 Hz < 1476195012 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: Jan 1 1975 < 1476195016 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :oops < 1476195039 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: does that standard also define a particular tuning scale for pianos? < 1476195056 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I don't think you could fit that into one page < 1476195064 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1476195088 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I can't tell from the publicly available information, but it seems very unlikely < 1476195110 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"Jan 1 1975" -- hehe, suddenly I imagine musicians suddenly retuning their instruments at the end of a New Year concert when the clock chimes midnight and the standard goes into effect < 1476195142 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I doubt many performers strive to be ISO 16 compliant < 1476195194 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Obviously that wouldn't happen. The M:tG rules changes always specifically state that the modified rules are applied to contests that start after the time when the modification goes to effect. Similarly, a tuning standard would only apply to a whole concert, not change between. < 1476195205 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Still, it was a funny image. < 1476195223 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :couldn't they just re-tune their instruments at midnight? < 1476195239 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, that's what you said < 1476195243 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I misread it as "returning" < 1476195247 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it's a much more common word < 1476195325 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I did the same < 1476195367 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :Same-o < 1476195394 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :throw new MisreadError() < 1476195607 0 :trn!jhj@trnsz.com JOIN :#esoteric < 1476195885 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :note that piano (and harp?) strings are not tuned to the ideal frequencies: http://physics.stackexchange.com/a/268635 < 1476196201 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They use 2/3 somewhere where they shouldn't, right? < 1476196276 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Jafet: combinations like, say, F sharp and G flat are not identical on a harp < 1476196290 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they have different inputs < 1476196321 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the way harps work is that they have seven strings per octave which can each be set to natural, flat, or sharp < 1476196321 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(C flat is not the same as B, although they're very close) < 1476197174 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1476197212 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1476198053 0 :`^_^v!~nycs@139.193.9.12 JOIN :#esoteric < 1476198274 0 :moonythedwarf!?@? NICK :death-moon < 1476198343 0 :`^_^v!~nycs@139.193.9.12 PRIVMSG #esoteric :wb death-moon < 1476198354 0 :death-moon!?@? NICK :moonythedwarf < 1476198357 0 :moonythedwarf!~ubuntu@unaffiliated/moonythedwarf PRIVMSG #esoteric :ohai < 1476198593 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1476198863 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg5v0nyp5ijow56.ip6.access.telenet.be JOIN :#esoteric < 1476199008 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl QUIT :Quit: Leaving < 1476199628 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1476201165 0 :otherbot!?@? NICK :otterbot < 1476202171 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com JOIN :#esoteric < 1476202915 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1476203374 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : :( c2.com is still down... that wiki was awesome. <-- aw. not just that, it's the _first_ wiki. < 1476204149 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Ping timeout: 248 seconds < 1476204588 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmmm. "An error occurred processing your request. The host is currently unavailable. Please try again later" < 1476204616 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Someone just contributed a brilliant simpler proof for the chameleon game problem. <-- which problem? the one with 3 colors i'm finding is already trivial with modulo arithmetic... or is that a new proof? < 1476204644 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :leftabot < 1476204876 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: no, a different chameleon problem < 1476204901 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which one < 1476204905 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I'm glad I solved that unicode problem in my tmux < 1476204909 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the 3 color one is very old, the one I'm talking about is newer and has more colors < 1476205018 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :now I can have ☕ in the ☔ and watch the ☄ when the ★s come out < 1476205027 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION maybe should read the rest of the logs before complaining < 1476205042 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :without having some of those characters be missing < 1476205053 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oren: yay i can read two of those! < 1476205094 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ☕☔☄★ < 1476205096 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2615 HOT BEVERAGE] [U+2614 UMBRELLA WITH RAIN DROPS] [U+2604 COMET] [U+2605 BLACK STAR] < 1476205110 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is there a comet? < 1476205131 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I heard there was a shooting star the other day over toronto < 1476205184 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think i saw a shooting star the other night. < 1476205225 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :assuming they look like small lights flashing quickly over the sky < 1476205280 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION briefly googled to see if he was missing a song reference but found nothing < 1476205290 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :no song reference < 1476205642 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Of course, the main problem was with ⏩⏪⏫⏬⏭⏮⏯⏴⏵⏶⏷⏸⏹⏺ whcih for some reason are still a little glitchy. < 1476205685 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: wait.... < 1476205692 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :are you thinner by some backslashes? < 1476205713 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oops < 1476205732 0 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah I had to restart my irssi so I could restart tmux < 1476205739 0 :oren!?@? NICK :\oren\ < 1476205751 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :⏻⏼⏽⏾ were also buggy < 1476205813 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: that's the problem, it's somewhere in the logs months back from now, but I don't know where < 1476205823 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't have a cpoy of the logs, and nor does HackEgo, so I can't search < 1476206036 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1476206183 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and tunes.org excludes web spiders :( < 1476206226 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :while codu hasn't updated for months. < 1476206247 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1476206344 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie seems idle, but i believe he keeps comprehensive private logs < 1476206512 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :how much loging could he posibly be doing? < 1476206516 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: can you search your logs for the date b_jonas discussed the chameleon problem? < 1476206530 0 :otterbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476206536 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: well all of #esoteric, since he idles here... < 1476206547 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: if it was really important, I could crawl the logs too, but I don't feel like it's important now < 1476206565 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heaven knows, I've downloaded larger irc logs for stuff like this (years of #haskell logs once) < 1476206667 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476206684 0 :otherbot!?@? NICK :otterbot < 1476206809 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :otterly ridiculous < 1476206827 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :oerjan: what < 1476206857 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :otterbot: help < 1476206864 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :jeffl35: your bot seems a bit fishy. < 1476206907 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :fungot? < 1476206907 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :\oren\: what's the macro?' < 1476206939 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungot knows all, but can only describe it confusingly. < 1476206940 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: where are those made? trying to find procedures in scheme that would make valid brainfuck code from a forth compiler < 1476206941 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: the macro is #define if if(0)if < 1476206941 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :\oren\: and threads is bad?" < 1476206958 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :veyr bad < 1476206975 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :oerjan: lol < 1476206976 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungot: you seem unusually succinct today < 1476206976 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: i'm not opposing object-oriented thinking as such < 1476207078 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: 2016-07-11 in my time zone. < 1476207145 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay < 1476207152 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :http://tunes.org/~nef/logs/esoteric/16.07.11 < 1476207158 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :#define if if(0)if // now that's evil < 1476207182 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like it < 1476207803 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :#define if if(rand()&1)if < 1476207842 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: is the expected number of steps independent of strategy regardless of star... oh, it'll have to be. < 1476207884 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because otherwise you could change the expectation for the usual starting position by adjusting when you get to the other position < 1476207927 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so it's a function of current state. < 1476208081 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(my idea here is that by assuming the conclusion, we can find the function explicitly, and then use it to prove the conclusion.) < 1476208099 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, the lambdabot vps actually crashed, 40 minutes uptime now. < 1476208131 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I'm happy that it came back by itself :) < 1476208486 0 :TuxCrafting!50d7ea63@gateway/web/freenode/ip.80.215.234.99 JOIN :#esoteric < 1476208492 0 :TuxCrafting!50d7ea63@gateway/web/freenode/ip.80.215.234.99 PRIVMSG #esoteric :Hello < 1476208957 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca QUIT :Remote host closed the connection < 1476209091 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1476209278 0 :trn!jhj@trnsz.com QUIT :K-Lined < 1476209721 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes, for any starting position the expected number of remaining steps is independent of the strategy < 1476210849 0 :TuxCrafting!50d7ea63@gateway/web/freenode/ip.80.215.234.99 QUIT :Quit: Page closed < 1476211566 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1476211766 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1476211902 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wouldn't if(1){}else if be better than if(0)if? < 1476212113 0 :otterbot!?@? NICK :otterbot_ < 1476212124 0 :otterbot_!?@? NICK :otterbot < 1476212139 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :int-e: that wouldn't mess up elses, would it? < 1476212149 0 :moonythedwarf!?@? NICK :moony < 1476212445 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :I made it to mornington crescent! \o/ < 1476212451 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :`? logical induction < 1476212455 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :logical induction? ¯\(°​_o)/¯ < 1476212465 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :lol < 1476212474 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :`? /hackenv/bin/? < 1476212475 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/?? ¯\(°​_o)/¯ < 1476212481 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :`` which ? < 1476212483 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/? < 1476212488 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :darn < 1476212494 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :they *fixed it* :( < 1476212941 0 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1476213168 0 :otterbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476214186 0 :moony!?@? NICK :jbot-42 < 1476214190 0 :jbot-42!?@? NICK :moony < 1476214452 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1476214786 0 :jeffl35!jeffl@unaffiliated/jeffl35 PRIVMSG #esoteric :(sorry about that) < 1476214815 0 :otterbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476214933 0 :`^_^v!~nycs@139.193.9.12 QUIT :Ping timeout: 248 seconds < 1476215004 0 :`^_^v!~nycs@103.47.133.79 JOIN :#esoteric < 1476215478 0 :otterbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Quit: Quit requested by jeffl35: update ircbot.js < 1476215504 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476215573 0 :otherbot!?@? NICK :otterbot < 1476215633 0 :otterbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Client Quit < 1476215661 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476215707 0 :otherbot!?@? NICK :otterbot < 1476215901 0 :`^_^v!~nycs@103.47.133.79 QUIT :Quit: This computer has gone to sleep < 1476216134 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org QUIT :Ping timeout: 250 seconds < 1476216362 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1476216749 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :hey < 1476216752 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i need help < 1476216776 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :to test a thing < 1476216799 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's an example of a program that reads input and processes it and prints something out? < 1476216807 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it must be simple to write < 1476216819 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but not too trivial so the compiler can't just optimize the whole thing away to a cat program < 1476216862 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Is there a proper name for f(a, b) = 1-(1-a)*(1-b), where 0 ≤ a, b ≤ 1 ? < 1476216912 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i'll go with rot13 < 1476217042 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :how about sort < 1476217045 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or grep < 1476217065 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or rainbow < 1476217071 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's rainbow? < 1476217091 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` rainbow <<<"this is rainbow" < 1476217098 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​4t8h9i11s12 13i4s8 9r11a12i13n4b8o9w11 < 1476217127 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`paste bin/rainbow < 1476217128 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/rainbow < 1476217141 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well that wasn't helpful < 1476217151 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's the probability of either of two things happening. < 1476217156 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it's written in C anyway < 1476217157 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, independent things, I guess? < 1476217168 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`cat bin/pikhqbow < 1476217169 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ELF............>.....d@.....@.......° ..........@.8..@.........@.......@.@.....@.@.....À.......À................. ...........@......@............................................@.......@.....4......4........ ............8......8`.....8`.....H......X........ ...........P......P`.....P`.....à.......à.............. .. < 1476217172 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :fuck < 1476217186 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`ls tmp/orenbow.c < 1476217187 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access tmp/orenbow.c: No such file or directory < 1476217197 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`ls tmp/pikhqbow.c < 1476217198 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access tmp/pikhqbow.c: No such file or directory < 1476217211 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net PRIVMSG #esoteric :Alas. It's probably in the logs somewhere, but I'unno. < 1476217238 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` find -name '*pikhq*' < 1476217242 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is it just printing ^C and a random color before each letter? < 1476217250 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​./bin/pikhqbow \ ./.hg/store/data/bin/pikhqbow.i \ ./.hg/store/data/src/pikhqbow.c.i \ ./src/pikhqbow.c < 1476217252 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :s/color/number/ < 1476217260 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat src/pikhqbow.c < 1476217261 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#include \ #include \ #include \ int main(){wint_t c;int a=0;setlocale(LC_ALL,"C.UTF-8");b:c=fgetwc(stdin);if(c==EOF) return 0;printf("\x03%d%lc%s",(int[]){4,8,9,11,12,13}[a],c,c==L','?"\x0f":"",c);if(++a==6)a=0;goto b;} < 1476217270 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remember that now. < 1476217276 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so glad astyle exists < 1476217280 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`ls src/orenbow.c < 1476217280 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :src/orenbow.c < 1476217285 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`cat src/orenbow.c < 1476217286 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#include \ int main(){printf("\e[1m");int a,c=0;b:a=getchar();if(a==EOF)return 0;if(!(a&128)||(a&64))printf("\e[%dm","\37! $\"#"[c]),c=c+1-6*(c>4);putchar(a);goto b;} < 1476217302 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :mine was shorter but crazier < 1476217303 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :wait what < 1476217309 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :those are terminal colors < 1476217313 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1476217316 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :not irc colors < 1476217321 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1476217324 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net PRIVMSG #esoteric :Yes, most IRC clients accept both mIRC and ANSI color escapes. < 1476217326 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ah i see, pikhq's are irc < 1476217338 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i thought the server stripped terminal escapes < 1476217345 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :nope < 1476217360 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net PRIVMSG #esoteric :No, they're treated as equally valid to mIRC color escapes. < 1476217375 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :good to know < 1476218318 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org QUIT :Ping timeout: 250 seconds < 1476218440 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl QUIT :Quit: Leaving < 1476218837 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1476219446 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :testing < 1476219451 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1476219626 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test two will it work? < 1476219655 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric : testing testing 1 2 3 < 1476219690 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :seems the basic ansi escapes only work, the 9x and 10x colors don't < 1476219702 0 :ybden!ybden@unaffiliated/ybden PRIVMSG #esoteric :Oh my < 1476219711 0 :ybden!ybden@unaffiliated/ybden PRIVMSG #esoteric :my terminal has flashing elfs < 1476219756 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but I think this will work < 1476219758 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1476219806 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :how about this < 1476219843 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric : test < 1476219918 0 :ybden!ybden@unaffiliated/ybden PRIVMSG #esoteric :^Itest < 1476219920 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ab < 1476219925 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ab < 1476219929 0 :ybden!ybden@unaffiliated/ybden PRIVMSG #esoteric :I think you get those at an ^Optician < 1476219935 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :I've translated Tie-Dye into Deutsch: Zim Farbstoff < 1476219982 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :(But I did it by interpreting Tie as 'TIE'- as in Star wars- expanded it into "Twin Ion Engine", translated each word, taking the first letters, forming an acronym, and putting it before German for "Dye") < 1476220000 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220015 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220092 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220098 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220104 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220111 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220119 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220126 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220137 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220140 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220147 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220164 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220200 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220205 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220212 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220215 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220327 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220335 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :test < 1476220354 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok, done with that crap < 1476220816 0 :otterbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476220852 0 :Froox!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476220958 0 :otherbot!~yaybot@35.45.148.146.bc.googleusercontent.com JOIN :#esoteric < 1476220959 0 :otherbot!~yaybot@35.45.148.146.bc.googleusercontent.com QUIT :Changing host < 1476220959 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476220966 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :It seems that GNU unifont never actually had width correctness as a goal < 1476220966 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1476220986 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476221004 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Ping timeout: 260 seconds < 1476221035 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they intended to have each character take up 8 x 16 or 16 x 16 pixels, but never had an intent to make the widths correct outside of the typical repertory used in terminal applicatiobs < 1476221157 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I see some bugs and discussions about particular characters where someone complained that the width was wrong and they fixed it, but no intent to have the problem completely eliminated < 1476221210 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Nearly all natural languages have words for color, but do any have words for discussing gradients in an elegant, uniform way? < 1476221281 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Quit: Caught SIGINT < 1476221316 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net PRIVMSG #esoteric :\oren\: Well that's just braindamaged. < 1476221320 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net PRIVMSG #esoteric :Well, for terminal use, at least. < 1476221343 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot JOIN :#esoteric < 1476221371 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :ACTION does not like proportional font that make 1 I | and l indisguishable < 1476221379 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :fonts* < 1476221468 0 :Froo!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476221478 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Limit average of a function: avg_(s -> e) f(x) = lim_(k -> 0) amean({f(x) : x \in [s, e], k | x}) < 1476221514 0 :Froox!~Frooxius@194.108.5.201 QUIT :Ping timeout: 268 seconds < 1476221597 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :pikhq: yeah, I'm trying to figure out who to email to tell them how brain damaged it is < 1476221756 0 :hppavilion[1]!~Doslowdow@74-114-87-79.dynamic.asdk12.org QUIT :Ping timeout: 260 seconds < 1476221815 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm, I guess I can try the mailing list unifont at gnu org? < 1476221828 0 :Froo!~Frooxius@194.108.5.201 QUIT :Ping timeout: 250 seconds < 1476221842 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476221928 0 :pikhq!~pikhq@71-219-214-218.clsp.qwest.net PRIVMSG #esoteric :"So who do you envision using your terminal-incompatible fixed width font?" < 1476222019 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1476222051 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :using that < 1476222057 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :excellent < 1476222402 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Hopefully, I can anger them enough that they will fix the problem < 1476222464 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"If this is the intended behaviour, who do you envision using your terminal-incompatible fixed width font?" < 1476222492 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"I ask because from the look of things, many, many characters have been drawn in full width 16 x 16 pixels, when they have narrow wcwidth, and terminals display them in one 8 x 16 character space. This leads to an unacceptable appearance, with characters either overlapping, (in xterm and similar terminals) or being squashed horizontally (in PIEtty)." < 1476222627 0 :Froox!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476222772 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Ping timeout: 268 seconds < 1476223212 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esoteric programming language14]]4 M10 02https://esolangs.org/w/index.php?diff=49929&oldid=47084 5* 03Dlosc 5* (+0) 10Fixed GolfScript link < 1476223866 0 :Froox!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1476223886 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1476223973 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg5v0nyp5ijow56.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1476224508 0 :PocketKiller!?@? NICK :DeadPerson < 1476224776 0 :DeadPerson!PocketKill@codebottle.io/user/pocketkiller PRIVMSG #esoteric :I'm dead < 1476224860 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :ACTION duly issues an death certificate. < 1476225808 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah I still don't knwo whose ass I have to kick to get the people behind unifont to take notice < 1476225912 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07EsoInterpreters14]]4 10 02https://esolangs.org/w/index.php?diff=49930&oldid=49720 5* 03Nthern 5* (-2253) 10Removed BCL < 1476226119 0 :moonythedwarf_!~IceChat9@unaffiliated/moonythedwarf JOIN :#esoteric < 1476227425 0 :moony!~ubuntu@unaffiliated/moonythedwarf QUIT :Disconnected by services < 1476227427 0 :moonythedwarf_!?@? NICK :moony < 1476227452 0 :ubuntu!~ubuntu@221.96.197.104.bc.googleusercontent.com JOIN :#esoteric < 1476227475 0 :ubuntu!?@? NICK :Guest17008 < 1476227536 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1476228007 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Furozo 5* 10New user account < 1476228086 0 :Cale!~cale@cpe-67-250-60-129.nyc.res.rr.com QUIT :Remote host closed the connection < 1476228360 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1476228429 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1476228453 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :@tell quintopia QUINTHELLOPIA. i have the paper thing to go fetch the thing at the place to fetch things. tomorrow night it will be fetched. < 1476228453 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1476228457 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellørjan! < 1476228487 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helloily! < 1476228529 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :コンボアリハ < 1476228552 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: darn this destroys my theory that you and quintopia are living in different realities only connected via internet < 1476228560 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1476228567 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(which, admittedly, i just made up.) < 1476228599 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` welcome shachaf | zalgo | rainwords < 1476228602 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13s̀ͥh̢̀a̡̙c̨̚h̡ͣä̦f͇̙:̓ͧ 04̸͌W̸͞e̫̦l̵͈c̩̰o͍҉m͙͋e͈͈ 07̴͑t̓̄o̘͔ 08̣̆t͕̟hͮͨe̷̢ 09ͤ͝i̞̹n͖͑t͑͜ḛ͇r̄̒ń̜å͞t̓͝i̔͡ơ̮nͯͣa̸̧l̪̓ 02͏ͤh̅͞u̒̚b̔ͨ 06̸̜f̙̿ȏ͔rͧ͟ 13͇̾è̗s̄̊o͉̔t͙̆ȩ͕r̷͔ì̭c͐͘ 04̜҉p̘͠r̛̙o͊͑g͋̄r̻ͣá͜m̍̿m̩͆įͣ < 1476228622 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA < 1476228625 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that was maybe a little too much to hope for < 1476228645 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` orenbow <<<"AAAAAAAAAAAAAAAAAAAAAAAAAA" < 1476228647 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​AAAAAAAAAAAAAAAAAAAAAAAAAA < 1476228660 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`doag bin/orenbow < 1476228662 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2016-09-25 revert 58b9ee8f97a7 \ 2016-09-25 ` rm --no-preserve-root -rfv / # testing, plz no ban \ 2016-07-05 <\oren\> ` gcc src/orenbow.c -o bin/orenbow \ 2016-07-05 ` gcc src/orenbow.c -Os -s -o bin/orenbow \ 2016-07-05 ` gcc src/orenbow.c -Os -g -o bin/orenbow \ 2016-07-05 ` gcc src/orenbow.c -Os < 1476228684 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rainbow AAAAAAAAAAAAAAAAAAAAAAAAA < 1476228685 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​4A8A9A11A12A13A4A8A9A11A12A13A4A8A9A11A12A13A4A8A9A11A12A13A4A8 < 1476228699 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: you seem redundant tdnh < 1476228725 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: well they differ < 1476228732 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1476228739 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the rainbow command does < 1476228749 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` cat src/pikhqbow.c < 1476228749 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#include \ #include \ #include \ int main(){wint_t c;int a=0;setlocale(LC_ALL,"C.UTF-8");b:c=fgetwc(stdin);if(c==EOF) return 0;printf("\x03%d%lc%s",(int[]){4,8,9,11,12,13}[a],c,c==L','?"\x0f":"",c);if(++a==6)a=0;goto b;} < 1476228755 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` cat src/orenbow.c < 1476228756 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#include \ int main(){printf("\e[1m");int a,c=0;b:a=getchar();if(a==EOF)return 0;if(!(a&128)||(a&64))printf("\e[%dm","\37! $\"#"[c]),c=c+1-6*(c>4);putchar(a);goto b;} < 1476228767 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` file bin/rainbow < 1476228768 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`file bin/rainbow < 1476228768 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/rainbow: ASCII text < 1476228768 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/rainbow: ASCII text < 1476228776 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat bin/rainbow < 1476228776 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :print_args_or_input "$@" | pikhqbow < 1476228779 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aha < 1476228782 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :he\\oren\. don't panic, this is #esoteric. the worse that can happen to you is an unshackled fungot bent on sentiencing you. < 1476228782 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: not that the code it's connected to all of this... if i had to write a < 1476228806 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :oerjan: we're also postally connected hth < 1476228818 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hellochaf. < 1476228818 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\: they seemed to give identical output on that input, anyway. < 1476228835 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: except you missed one A hth < 1476228840 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: the output differs invisibly < 1476228854 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :\oren\: I think it would be worth to put a selection of the hangul characters in a new section in the main demo page of your font http://www.orenwatson.be/fontdemo.htm , < 1476228860 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm let's check for unicode < 1476228868 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if a program strips off irc colors from a message, would it be called rainstern? < 1476228875 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`rainbow hallå i'm ørjan < 1476228876 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​4h8a9l11l12å13 4i8'9m11 12ø13r4j8a9n11 < 1476228894 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` orenbow <<<'hallå i'm ørjan' < 1476228895 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `'' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file < 1476228904 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you need to use "" hth < 1476228904 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` orenbow <<<"hallå i'm ørjan" < 1476228905 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​hallå i'm ørjan < 1476228918 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :still no visible difference < 1476228922 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :specifically for each of initial, medial, final, and for each size the jamo in that place can have in your font, choose a nice representative of the rest of the character that results in that size, and put a sequence of hangul where you change that part to all values and keep the rest fixed. < 1476228955 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that would demonstrate how hangul look in your font in a similar way the sequences of all characters demonstrates it for other scripts, but without showing too many characters. < 1476228972 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` mv bin/orenbow{,.raw}; mkx 'bin/orenbow//print_args_or_input "$@" | orenbow' < 1476228974 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/orenbow < 1476228980 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1476228990 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :\oren\: does what I said make sense/ < 1476228997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/orenbow//s/$/.raw/ < 1476228999 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/orenbow//print_args_or_input "$@" | orenbow.raw < 1476229001 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :wob_jonas: yeah I can do that < 1476229008 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :thanks < 1476229014 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`orenbow hallå i'm ørjan < 1476229015 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​hallå i'm ørjan < 1476229040 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :(I'm still sort of proud of that font because of the early feedback I gave, and admire it for the large amount of characters it has.) < 1476229042 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's a way of doing that inline but it only works for scripts. < 1476229060 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` orenbow AAAAA >tmp/aaaaa < 1476229063 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476229084 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` rainbow AAAAA | diff - tmp/aaaaa < 1476229086 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1c1 \ < 4A8A9A11A12A13 \ --- \ > AAAAA < 1476229105 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` orenbow AAAAA >tmp/aaaaa; rainbow AAAAA | diff - tmp/aaaaa < 1476229106 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1c1 \ < 4A8A9A11A12A13 \ --- \ > AAAAA < 1476229123 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1476229126 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why are you polluting tmp/ tdnh < 1476229128 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` ls /tmp < 1476229129 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1476229138 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Me? < 1476229148 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not everything is about you. < 1476229158 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that PDF talking about parallel sum was pretty good. < 1476229159 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: tmp hgets deleteted after every qery anywa < 1476229169 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I was polluting tmp/ the other day and I thought you might have noticed < 1476229173 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/tmp does. tmp/ doesn't, which is the point of tmp/. < 1476229191 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAa < 1476229198 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Well, I was putting things in tmp/ the other day, at least) < 1476229199 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : if a program strips off irc colors from a message, would it be called rainstern? < 1476229202 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :whyyyyyyyyyyyyyyyyyy < 1476229209 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` ls tmp < 1476229210 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1padfile \ ${$1}padfile \ aaaaa \ args \ at \ foo \ fruit \ linetest \ sh \ spline \ spout \ tempcmd \ testcmd \ tmp_jonas \ wdiff \ wegians < 1476229223 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :thanks, i was wondering what the word for a ship's front was the other day < 1476229239 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: https://en.wikipedia.org/wiki/List_of_ship_directions < 1476229241 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1476229245 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` rainbow A | od < 1476229245 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0000000 032003 001501 005070 \ 0000006 < 1476229251 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` rainbow A | od -c < 1476229251 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0000000 003 4 A 003 8 \n \ 0000006 < 1476229257 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` orenbow A | od -c < 1476229257 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0000000 033 [ 1 m 033 [ 3 1 m A 033 [ 3 3 m \n \ 0000020 < 1476229265 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that's the diference < 1476229266 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: seems that ships naturally live in 20-dimensional space hth < 1476229310 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` orenbow AAAAA | od -c < 1476229310 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0000000 033 [ 1 m 033 [ 3 1 m A 033 [ 3 3 m A \ 0000020 033 [ 3 2 m A 033 [ 3 6 m A 033 [ 3 4 \ 0000040 m A 033 [ 3 5 m \n \ 0000050 < 1476229316 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`` rainbow AAAAA | od -c < 1476229317 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0000000 003 4 A 003 8 A 003 9 A 003 1 1 A 003 1 2 \ 0000020 A 003 1 3 \n \ 0000025 < 1476229324 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :List of ship directions: {slash, lesbian, het, threesome}, {competitive, romance, tragic, impossible} < 1476229325 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Etc. < 1476229336 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bow (or stem): front of a ship (opposite of "stern")[1] < 1476229351 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are "stern" and "stem" really opposites? < 1476229358 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :bow, port, stern, starboard < 1476229358 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :stem and stern is just begging for serious keming problems. < 1476229370 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :front, back, writing hand, other hand. < 1476229372 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: keming being the opposite of kerning < 1476229420 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Yes. Prates hate kerning < 1476229432 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, whoops < 1476229442 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I accidentally switched to Dvorak for some reason < 1476229442 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: figures < 1476229447 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :boily: yes, and "starboard" is called like that because "board" and "port" sounds too similar so they added a random syllable to one of them < 1476229451 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :*Pṙates hate kerning < 1476229465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you learn about parallel sum yet? < 1476229483 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(The joke, for the Unicode challenged, is that the 'r' has a combining dot above to look vaguely like an 'ir') < 1476229497 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You parallel-add fractions by adding the denominators after establishing a common numerator. < 1476229500 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(It doesn't do it very well, but it was the only kerning joke I could find in the word 'Pirates') < 1476229506 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Oooh, fancy < 1476229519 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hppavilion[1]: is that really a combining dot, rather than a precomposed character? I can't see the difference from sight. < 1476229527 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a/b : a/c = a/(b+c) < 1476229528 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: Yes, it is < 1476229540 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: :? (+). < 1476229553 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :wob_jonas: really? < 1476229555 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :: is parallel sum. a:b = 1/(1/a + 1/b) < 1476229560 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://i.reddituploads.com/5bd3f1bf2f094941ba73d76063331293?fit=max&h=1536&w=1536&s=f20f29280bc95eba374db96d96762c82 < 1476229568 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I feel I should make a quick fraction-reducer (etc) program < 1476229579 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :HAM DECLARES STATE OF EMERGENCY < 1476229580 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a/c : b/c = (a:b)/c < 1476229583 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :That allows you to find gcds, lcms, reduce fractions, etc. < 1476229586 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Wait, really? < 1476229593 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :boily: well, it would show up as a precomposed character if such is in the font regardless of how you encode it. I could examine the bytes that went through irc, but I'm lazy. < 1476229595 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is this a joke or was it terrorists? < 1476229613 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, Hati. < 1476229615 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I see. < 1476229624 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Terrific kerning. < 1476229631 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :HAITI -> HAM < 1476229636 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I saw < 1476229703 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but even if there's no precomposed character in this font (which is quite possible, r with a dot is one of those practically nonexistant characters that's added to unicode for some rarely written african languages or rarely used transcription modes of asian languages), I wouldn't be able to tell from sight whether it's a precomposed glyph in the fo < 1476229703 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :nt or one synthetized right now < 1476229707 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Wait, do you parallel-add the denominators after finding a common numerator or just normal-add? < 1476229752 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :You said "add", but then- oh, I see < 1476229758 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I see what happened, that was different math < 1476229805 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :wob_jonas: Probably because they're identical in most fonts < 1476229855 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I'm pretty sure that combining diacritics can be automatically placed by default, but that common ones can be overridden to use a more aesthetically-pleasing one (which will usually be identical to a builtin one) < 1476229877 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know, look at the PDF. < 1476229943 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"In high school algebra, parallel sums occur in the computation of completion times when activities are run in parallel. If pump A can fill a reservoir in a hours and pump B can fill the same reservoir in b hours, then running the two pumps simultaneously will fill the reservoir in a:b hours." < 1476229974 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: OK, what PDF? I only see one PDF- or any link at all- from you in my scrollback, and it definitely isn't the one you're reading < 1476230062 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.ellerman.org/wp-content/uploads/2012/12/IntellectualTrespassingBook.pdf < 1476230072 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: ...wait, really? That's it? < 1476230085 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :That's the one I found, and it didn't really look like it was what you found < 1476230086 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :But OK < 1476230148 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's chapter 10. < 1476230159 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can use the search functionality of your PDF reader. < 1476230175 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION . o O ( Are there any easy-to-teach by-hand algorithms for harmonic sum? Like the write-the-numbers, add-columns, carry method for (serial) sum ) < 1476230202 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :In other news, my younger sister was apparently never taught long division. They wanted her to use it for school and she had no clue what they meant. < 1476230207 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :So I'll have to teach her that. < 1476230217 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What you should do is invent a way to construct the rationals or something that uses parallel sum instead of regular sum. < 1476230220 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Unless #esoteric has a strategy that is just OBJECTIVELY better) < 1476230236 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the trouble is, you can't define parallel sum on the integers. < 1476230241 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1476230250 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you have to start with an algebraic structure of some sort that has parallel sum defined. < 1476230254 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that's not so bad. < 1476230272 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: You mean like Peano arithmetic, but with parallel/harmonic successor (which is presumably equal to x(+)1) < 1476230279 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, not Peano. < 1476230294 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, the other issue is that parallel sum doesn't have an identity. < 1476230298 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Not Peano, but similar, with the successor function < 1476230300 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or rather that its identity is infinity. < 1476230312 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, yes, that would be a problem < 1476230330 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can extend the positive reals with 0 on one side and infinity on the other side, as outlined in that PDF. < 1476230337 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :(Maybe you'd just have to define infinity with "There's a value called infinity because fuck you that's why") < 1476230339 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And it more or less works, very symmetrical and all. < 1476230351 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But 0 * infinity is undefined. < 1476230359 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(But division by zero is fine.) < 1476230369 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think?