< 1477958750 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1477958778 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1477958798 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1477958994 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 265 seconds < 1477959358 0 :pumpklynn!?@? NICK :lynn < 1477959654 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue QUIT :Excess Flood < 1477959664 0 :zemhill__!bfjoust@selene.zem.fi JOIN :#esoteric < 1477959667 0 :Hoolootwo!~Hoolootwo@sorunome.de JOIN :#esoteric < 1477959684 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 < 1477959976 0 :zemhill_!bfjoust@selene.zem.fi QUIT :Ping timeout: 247 seconds < 1477959985 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 268 seconds < 1477960953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1477960981 0 :moonheart08!~luxon@unaffiliated/moonythedwarf JOIN :#esoteric < 1477960987 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :you thought i died? < 1477960994 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :nope. i havent even got the disk to boot right >_> < 1477961047 0 :moonheart08!~luxon@unaffiliated/moonythedwarf PRIVMSG #esoteric :
ACTION is messing with the partitions
< 1477961101 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1477961101 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :boily said 13h 57m 33s ago: hellørjan. you really did special case sed -i. bleh! flblblblblbl! :Þ < 1477961129 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell boily would i lie to you? unless it somehow involved a horrible pun, that is. < 1477961129 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1477961325 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: wow, I believe the karma/more interaction was lost in March 2012 < 1477961604 0 :moonheart08!~luxon@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds < 1477961722 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: now i'm wondering how much of the geisterdamen language is nonsense and how much the foglios have actually assigned meaning to... in any case, clearly Eotain now considers this Personal. < 1477961813 0 :ais523!?@? NICK :callforjudgement < 1477961815 0 :callforjudgement!?@? NICK :ais523 < 1477961836 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was, somehow, a consequence of letting an extra finger brush on my touchpad < 1477961840 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Konversation is weird < 1477961873 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the keys are like right next to each other < 1477961939 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I gave each kid about 500 grams of candy < 1477961946 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: believe it or not, I have not gotten around to GG yet < 1477961953 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: shocking < 1477961963 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I had important game to play ;) < 1477961981 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and now I'm looking at this stupid bot < 1477961997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :meanwhile, i haven't got any further than GG. somehow after not getting more than 6-7 hours of sleep for several days, today my body wanted 13. < 1477962112 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i considered making it @quit yesterday instead, but i was too curious how long it would take... < 1477962164 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :3 hours... but apparently it discards messages to channels that it has left < 1477962192 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: well it seemed to get through them slowly nevertheless. < 1477962228 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: it was sending despite not being in the channel < 1477962236 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I did a mode -n for a few seconds to check < 1477962243 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh right it did < 1477962253 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh. < 1477962270 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bug upon bug < 1477962378 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: otoh the last time i got many @tells at once, i was positively surprised that it _didn't_ drop any (although maybe asking for them in public was a bad move), if that's related it would be nice to keep. < 1477962417 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, that's unrelated < 1477962441 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because i remember it used to do so. < 1477962629 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: https://github.com/lambdabot/lambdabot/commit/d695bbf4b2d805d508107f23dbeb4382f07f9b5a ... you've been very quick to notice ;) < 1477962664 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway I really suspect the karma thing has been broken for several years... but it's hard to be certain. < 1477962694 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :depends when someone last tried that command... i remember it being used before... < 1477962701 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(too many indirections in the code for effective archaeology) < 1477962709 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and it would be strange if no one did for 4 years. < 1477962750 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: is it possible that it always bypassed @more, but that there used to be a _different_ cutoff mechanism that caught it? < 1477962783 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i.e. i think you reorganized that sort of stuff at one point < 1477962812 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: No, I linked to some logs that had @more for @karma-all in Dec 2012 < 1477962834 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://codu.org/logs/log/_esoteric/2012-12-29#191333oerjan < 1477962851 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(that's why i'm asking about the @tells ... if that was the sort of thing that happened, they could have been changed by the same thing.) < 1477962896 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but i guess your github link makes that unlikely. < 1477962930 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: 2012 _was_ several years ago hth < 1477962942 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :has really no one used the command in between? < 1477962951 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: see also http://codu.org/logs/log/_esoteric/2013-04-14 < 1477963011 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: oh, note http://codu.org/logs/log/_esoteric/2012-12-29#191156lambdabot , that eventually timed out too < 1477963015 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, but see #haskell on 2013-07-11 < 1477963016 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Timeout. < 1477963029 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: LINK < 1477963044 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: tunes.org took down the old logs htdnh < 1477963059 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think they're archived somewhere? < 1477963067 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can download http://tunes.org/~nef/logs/old/haskell-13.zip if you really want to. < 1477963085 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I bet ircbrowse.net has them. < 1477963100 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://ircbrowse.net/browse/haskell?id=16059990×tamp=1373543230#t1373543230 hth < 1477963140 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay < 1477963172 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so the command amassed two separate flaws < 1477963197 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I kind of want to exploit this bug while it's still around. < 1477963204 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the only way to do it is to annoy people. < 1477963208 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I guess I won't. < 1477963232 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed. i noticed it also slows down lambdabot at large < 1477963249 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so maybe we should have @quit it < 1477963252 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :slambdabot < 1477963260 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Does lambdabot auto-restart on @quit? < 1477963272 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also you should add me to the admin list. < 1477963338 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it does unless you do it twice in quick succession < 1477963388 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not entirely sure how quick < 1477963815 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :5 minutes, apparently < 1477964299 0 :jeff-the-killer!jeffl@unaffiliated/jeffl35 QUIT :Quit: jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit ... < 1477964343 0 :jeffl35!jeffl@unaffiliated/jeffl35 JOIN :#esoteric < 1477964344 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: bad karma < 1477964480 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1477964498 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Quick, is the syntax for Unefunge the same as for Befunge? < 1477964520 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :yes < 1477964586 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there may be a certain lack of ^ and v < 1477964596 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION doesn't actually know
< 1477964624 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1477964643 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@karma-all < 1477964648 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : blah 31337 < 1477964654 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : egrep 31337 < 1477964664 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : nobody 2000 < 1477964670 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : C/C 1712 < 1477964676 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[5855 @more lines] < 1477964678 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what happened to zgrep < 1477964700 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`which zgrep < 1477964707 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin/zgrep < 1477964713 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: still there hth < 1477964718 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :good question... some sort of internal timeout? I don't know, and it's really too late to figure that out. < 1477964724 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@karma zgrep < 1477964728 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :zgrep has a karma of 31337 < 1477964742 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1477964779 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@karma-all < 1477964780 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : blah 31337 < 1477964780 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : egrep 31337 < 1477964780 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : zgrep 31337 < 1477964780 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : nobody 2000 < 1477964780 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : C/C 1712 < 1477964782 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[5855 @more lines] < 1477964790 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, no timeout logged though < 1477964797 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, oops < 1477964800 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Interesting that it still generated the line, which is why @more cut it off after 4 lines. < 1477964803 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there it is: [ERROR] : Main: caught (and ignoring) <> < 1477964806 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was wondering about that. < 1477964896 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but anyway... this fix should hold for now < 1477964898 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :does @tell ignore timeouts too? < 1477964910 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because it did take some time i recall < 1477964916 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and longer than that < 1477964924 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in which case it might have the same problem < 1477964950 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :er @messages etc, i guess < 1477965156 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, @messages is different, I believe < 1477965169 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I really can't think straight anymore, need sleep, see yoyu < 1477965175 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good night < 1477965178 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that hello world in seed is pretty fun < 1477965875 0 :godel!~gonzalo@96-251-231-201.fibertel.com.ar JOIN :#esoteric < 1477966275 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 268 seconds < 1477966314 0 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1477966327 0 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Changing host < 1477966328 0 :nisstyre!~yourstrul@oftn/oswg-member/Nisstyre JOIN :#esoteric < 1477967330 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1477967516 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1477967898 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Target player sacrifices a nontoken nonland permanent of your choice. Choose a nonland permanent card from the sacrificed permanent's owner's graveyard and put that card onto the battlefield under the control of the sacrificed permanent's controller. < 1477967937 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1477967951 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, the set of all sets that do not contain themselves is just the set of all sets < 1477967956 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Because no sets contain themselves :P < 1477967962 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :uh < 1477967974 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :under what axioms? < 1477967977 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: I think in some theories sets can contain themself < 1477967987 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: Shhhh < 1477968007 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :quintopia: Various axioms, most importantly the "sets never contain themselves" axiom? < 1477968017 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boring < 1477968019 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :S \union {S} = S, I guess? < 1477968019 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that an attempt at humour < 1477968026 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Not even an attempt < 1477968031 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Just sadness < 1477968061 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It's an attempt at humor like being bald is a hair color, like abstinence is a sex act, etc. < 1477968076 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION . o O ( Did he-who-shall-be-named invent abstinence? )
< 1477968147 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :It has been said that like atheist to be religion is like being bald is hair color. < 1477968174 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Yes, that's where I got those < 1477968195 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It's weird to me that people reject blackboard bold as distinct from bold, and advise that normal bold be used in typeset works < 1477968235 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Blackboard bold is more distinct anyways isn't it? < 1477968239 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It seems like it'd be better to use BB exclusively, because it's more visually distinct from normal letters than CB (which is just "the same letter, but thicker") < 1477968243 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Yes, exactly < 1477968285 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :But it depend what is being written, what kind of format is appropriate for it. < 1477968352 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :At the very least, BB should be used for |Reals, |Naturals, |Zintegers, and |Qationals because that's what we all recognize < 1477968373 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fraktur 4 ever < 1477968374 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And maybe also |Complexes and |Primes < 1477968385 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :In those cases yes you should use the blackboard bold < 1477968390 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Fraktur is nice too, to indicate separate things < 1477968408 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :𝕭𝖑𝖆𝖍𝖇𝖔𝖗𝖊𝖉 𝕭𝖔𝖑𝖉 < 1477968449 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Isn't that more like Anciente ſcriptur Boulde? < 1477968463 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: I think of BB as indicating certain "ubersets"- the big, important ones; like reals, naturals, integers, and primes < 1477968480 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :The standard Computer Modern fonts do not have blackboard bold, but does include calligraphic letters < 1477968494 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :So they should *definitely* be used for those, and for non-universal things they should be limited to the VERY important sets < 1477968497 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :So, you can add extra fonts if you want blackboard bold or fraktur fonts < 1477968517 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Though, for the set of boolean values I like to write a T+F amalgamation :D < 1477968534 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :("set of boolean values") < 1477968571 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :There should also be a standard symbol for irrational numbers, IMO < 1477968584 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :subobject classifers are no joke, yo < 1477968610 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I've seen J| used, by analogy that Q is 10 from the end of the English alphabet and J is 10 after the beginning, and |Q and J| are disjoint < 1477968644 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :How are you going to write a T+F amalgamation; you can add it into a font by use of METAFONT if you like to do so, though. < 1477968665 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :R\Q is fine < 1477968679 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fairbairn threshold, yo < 1477968706 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: ?? < 1477968724 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google fairbairn threshold < 1477968725 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.haskell.org/pipermail/libraries/2012-February/017548.html < 1477968727 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Are you asking what a T+F amalgamation looks like or how I plan to put it in a computer? < 1477968743 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Both < 1477968743 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :google.com is one of the ""hidden gems"" of the internet < 1477968781 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: It looks like a T with a shorter tick on the left coming from the middle, like in the letter "F" (but with the other side of the "hat") < 1477968806 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :But, by use of METAFONT you can make fonts out of whatever shapes you want. < 1477968812 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: I didn't know whether it was a real thing, or even a pun < 1477968813 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Ah, OK < 1477968856 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :what's a good name for a data structure which encodes proofs of correctness? < 1477968863 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :like a map that does this is a ? map < 1477968891 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elaborate twh < 1477968905 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :alercah: I do not understand. Is it like a... yeah, no idea < 1477968922 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I was going to say "Bloom filter", but that's not what you're asking < 1477968937 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :so like, a normal map provides you with guarantees like "if you insert (k, v), then (k, v) is in the map" < 1477968955 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :I'm writing an interface for maps that provide proofs of such properties in Idris < 1477968969 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :alercah: You might like something like "JuryMap" ("jury" because it's proven correct) < 1477968975 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hah < 1477968999 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :"Jury" could be replaced with "Judge" depending on whether this is Japan < 1477969014 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(In Japan, cases are decided by the judge; no jury is present. Like fascists.) < 1477969076 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :alercah: Not a joke though. That's actually pretty good; you'd have to leave a comment to say what it does, obviously, but after that people will immediately make the connection and it will be easy to remember < 1477969127 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alercah: "certified" is the usual adjective, I believe < 1477969132 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: thank you < 1477969145 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. a certified compiler is a compiler that's been proven to implement the language it claims to implement < 1477969161 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :s/i\.e\./e.g./ < 1477969168 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :hppavilion[1]: Japan recently added a system of lay judges... < 1477969184 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :some European nations have judge-alone trials, no? < 1477969186 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: Oh? Haven't heard about that < 1477969188 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(need the backslashes, otherwise if the s/// is interpreted as global we'd have a compe.g.) < 1477969194 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :alercah: They're like fascists too < 1477969213 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alercah: the UK does if the stakes are sufficiently low < 1477969216 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :For severe crimes *now* in Japan, you are tried before 6 members of the lay population and 3 professional judges. < 1477969218 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: here too < 1477969227 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :ais523: but I think the entire system in e.g. Italy is judge-alone < 1477969230 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :since it's not adversarial < 1477969237 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :To be found guilty you need to be found guilty by a majority of the judges. < 1477969252 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :(also, Japan does not have an adversarial court system) < 1477969268 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Ah, yes, of course judge-only is OK for REALLY minor things (e.g. parking tickets) < 1477969271 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the reason behind adversarial is that it's hard to trust people to present the case in an unbiased way, so you ask two people to present it with opposite biases < 1477969288 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :That's the idea. < 1477969295 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :uh < 1477969301 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :I accidentally opened the clock in tmux < 1477969305 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Yes, but then the moment there's a third way of looking at it... < 1477969309 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :how do I quit it? < 1477969318 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"I'll be judge, I'll be jury," Said cunning old Fury: "I'll try the whole cause, and condemn you to death." < 1477969328 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hppavilion[1]: here the right to a jury trial applies only when the maximum punishment is above 2 years < 1477969351 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :shachaf: is Fury a church? < 1477969360 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Yes, exactly < 1477969373 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :alercah: No, he's Samuel L. Jackson hth < 1477969374 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :alercah: Apparently Fury is a pooch. < 1477969377 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't know that. < 1477969935 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Is this good: Zeux Agem's Evil Clone {BGR} Legendary Creature - Bat Wizard (1/1) ;; Flying, Protection from legendary, Bands with other legendary creatures ;; {6}, {T}: Destroy target permanent. ;; [["You eat with your left hand!" - Zeux Agem to his evil clone]] < 1477969955 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :`unidecode λ < 1477969956 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+03BB GREEK SMALL LETTER LAMDA] < 1477969966 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :duhn... Duhn... DUHHHHN < 1477970172 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :? < 1477970179 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: I'm trying to work it out < 1477970197 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my guess is that the lack of haste makes it nonviable in most formats < 1477970207 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as it can't do anything the turn you play it, and has no protection against removal < 1477970235 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also you need to play it alongside large legendary creatures, or have 6+ mana, to have any real benefit < 1477970245 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :You are correct about those things at least < 1477970250 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that card is mega xuez < 1477970253 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, the tap ability is very powerful if the game goes long < 1477970269 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it stays in play somehow < 1477970278 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just can't figure out what sort of decks you'd be able to pull that off /against/ < 1477970298 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aggro decks will win first, and most other decks will have a bunch of spot removal or counterspells < 1477970314 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(combo decks will win first, have spot removal, /and/ have counterspells) < 1477970320 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I can change it of course if needed < 1477970326 0 :navet!~harvey@APuteaux-551-1-121-30.w92-132.abo.wanadoo.fr JOIN :#esoteric < 1477970327 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and don't care much about having their permanents destroyed or being attacked by a 1/1) < 1477970372 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, banding doesn't help much against a combo deck because they don't like to block anyway < 1477970375 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Zeux Agem has the same converted mana cost (but different colors; should it be the same?), supertype, type, subtype, and converted mana cost as this card. < 1477970455 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, Evil Twin is UB colours < 1477970461 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`card-by-name Evil Twin < 1477970462 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Evil Twin \ 2UB \ Creature -- Shapeshifter \ 0/0 \ You may have Evil Twin enter the battlefield as a copy of any creature on the battlefield except it gains "{U}{B}, {T}: Destroy target creature with the same name as this creature." \ ISD-R < 1477970502 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Ah. OK < 1477970535 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think banding is probably out of colour, it's nearly always white < 1477970547 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Yes, that I believe < 1477970563 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :protection from legendary is blue under what the color pie rules are stated as (however, that rule was never actually used, because Wizards stopped using protection before they ever created such a card) < 1477970580 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :flying is normally blue but can also be white or black (or on very large creatures, red) < 1477970588 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Maybe it should be the same {1WU} as the original I don't know? < 1477970589 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :destroying a permanent is BG or BW < 1477970612 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's sometimes seen on colourless cards at a very high cost < 1477970891 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Is 6 enough? < 1477970934 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, but I've only seen that when the card itself is also colourless < 1477970944 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if you can do that on a coloured card or not < 1477971016 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are there British MTG cards that spell "color" with a u? < 1477971029 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no < 1477971060 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I don't really care about that, because I am not WotC. But changes could still be made to what I wrote if it would help to improve it, anyways. < 1477971105 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :So, your ideas can help anyways. < 1477971200 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :What is an operation supposed to be called if f(x);f(y) and f(x+y) are going to be the same operation? < 1477971211 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is ;? < 1477971217 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :flip (.)? < 1477971226 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, that doesn't make sense. < 1477971232 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sequential composition, I guess? < 1477971233 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :No, it is like in C < 1477971236 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1477971255 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :It is an impure operation < 1477971265 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: in this case, the argument to f is a repeat count, I think? I don't think it can be anything else < 1477971278 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can make it pure by adding a state argument. < 1477971288 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f(x, f(y, s)) = f(x+y, s) < 1477971293 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So f is a monoid action or something. < 1477971294 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :shachaf: Yes, you can have that < 1477971297 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, because following these defintiions, f(3) = f(1); f(1); f(1) < 1477971376 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :ais523: But depending on the operation it might not require natural numbers; they may work with any nonnegative real numbers, with any real numbers, or with any complex numbers, even. And they might do more than just to increment a counter. < 1477971413 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :(For example, if f is a function that is supposed to be called to specify that a given amount of time has passed; the amount of time might not necessarily be an integer.) < 1477971421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can f be self-modifying? < 1477971432 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that doesn't matter, given that it modifies arbitrary state anyway. < 1477971481 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( is there a UB card that makes demons fly out of your nose? ) < 1477971511 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Probably not; are you going to make a UB card with demons in your nose? < 1477971530 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I like that idea I can add that to uncards.txt < 1477971623 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay < 1477971720 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :gah did i accidentally press end in the log window - now where was i... < 1477971757 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :Demons In Your Nose {UB} Instant ;; If there are any Demons in your nose, you may cast them. Each of those spells gains flying. < 1477971962 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=50069&oldid=50066 5* 03Oerjan 5* (+52) 10Order, I said! Or was that another page... < 1477971971 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :apparently i was editing. < 1477972013 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's disappointing seeing so many people failing to follow the instructions < 1477972023 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but we have to draw the line between humans and spambots somewhere < 1477972214 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I now have a 4-letter word generator < 1477972258 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Sometimes, a human is- for the purposes of the internet- basically a spambot < 1477972297 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: I think the correct template is "Each of those cards gains flying as you cast it" < 1477972319 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not 100% sure, though, you might need to say "spells" rather than "cards" < 1477972432 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=50070&oldid=50069 5* 03Oerjan 5* (+6) 10This obviously needs bolding too < 1477972453 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I have generated a list of every English 4-letter word of the form CVCC, CCVC, CVVC, CVCV, VCVC, or VCCV < 1477972473 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :someone just failed 5 times in a row at that particular point < 1477972495 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Now to choose new curse words < 1477972502 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And add some inflection & honorifics < 1477972563 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: eventually the whole instruction will be bold, and we can cycle back hth < 1477972586 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was wondering about that < 1477972605 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I fear for the future of the Internet at the point when bots become better at CAPTCHAs than humans do < 1477972621 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: That's already happened, iirc < 1477972654 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I had a vision of a company that you can pay money for accounts on, then use those accounts to sign into other services, and it's up to you whether you connect them or not < 1477972675 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the payment of money is used in lieu of a captcha, if someone's found to be spamming through an account than it can be cancelled < 1477972686 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I'm pretty sure we have those, and they don't require money- oh, the money, I see < 1477972691 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :many large websites (e.g. google, yahoo) are using cellphone numbers for the same purpose < 1477972697 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it's when they become better than humans at following instructions we've got problems < 1477972704 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: They already are hth < 1477972706 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :computers are already better than humans at following instructions < 1477972710 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(clearly they already beat _some_ humans) < 1477972713 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :That's what computers do < 1477972715 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, humans are better than computers at /understanding/ instructions < 1477972722 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1477972730 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :following them, however, is the entire purpose of a computer < 1477972736 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :computers can't /not/ follow instructions, it's what they're for < 1477972746 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Yes, exactly. Computers are the best instruction-followers, humans are the best at figuring out what the instructions *are* (and in some cases, giving them to the computer) < 1477972761 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: The cell phones are annoying for me, because I don't have a cell phone < 1477972763 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and the normal way to attack/exclude a computer is to find a loophole in the instructions it was given) < 1477972767 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Computers can not follow instructions, for example with hardware errors. < 1477972782 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: I don't have a cellphone but my router does < 1477972792 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: The difference in english (at least logically) between "can not" and "cannot" has always bugged me < 1477972796 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there an esoteric language based on hardware errors? < 1477972805 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think so < 1477972806 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know about https://www.cs.princeton.edu/~appel/papers/memerr.pdf , which is pretty neat. < 1477972809 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you should call it rowhammer < 1477972815 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :after the exploit < 1477972816 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I feel like we should have "cant" as one word, rather than "can't" contracting "cannot" < 1477972832 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I think it is a different word < 1477972834 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"cant"'s already a word, but it means something else and is pronounced differently < 1477972856 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They write a JVM program that gets compiled into code which is very likely to violate the sandbox constraints if a single bit is flipped. < 1477972873 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then they heat up the computer (which is supposed to be a secure computer of some sort) until a bit is flipped. < 1477972881 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something like that, I don't remembe the details. < 1477972944 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: So any bit, not just one particular bit? < 1477973019 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're aiming for one particular bit, I think < 1477973166 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :iirc it's one particular bit in an object, but they have _many_ of those objects. < 1477973179 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :to increase the probability. < 1477973259 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :making those bits as large a fraction of memory as possible. < 1477973307 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also when i read about it it may only have worked at memories without error correction? < 1477973312 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*with < 1477973324 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*s/at/with/ < 1477973420 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Ah < 1477973443 0 :jeffl35!?@? NICK :jeff-the-killer < 1477973487 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: But that leads to an issue where, assuming the rest of the object code is more than a bit long, it's much more likely for an important bit to be flipped than that important one, is it not? < 1477973494 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh we do have a halloween topic < 1477973498 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I mean, it COULD be an error, especially on something Googly < 1477973502 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Yes. You're welcome. < 1477973573 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it is likely to just crash, indeed. i don't remember how clever they were about reducing that. < 1477973615 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it may be that they actually could flip nearly any bit in that object. not sure. < 1477973633 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :shachaf: This sounds like a much less practical version of Rowhammer. < 1477973640 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1477973674 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: It's probably that it just only needs to work once, and you run it on a million servers so that loln makes one work and then you win < 1477973698 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION should look at that pdf instead of guessing
< 1477973771 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: hm the intro says the exploit has about 70% chance of working < 1477973791 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: ¡Lies! < 1477973811 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i mean the abstract < 1477973815 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: Well, it's older. < 1477973870 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :Sure, and probably also a bit less hardware-specific. < 1477973904 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :Something tells me that sort of bit flipping trick more has to do with the properties of DRAM in general. < 1477974205 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it's in fact any bit of most of the objects, see page 2. the object fields are nearly all pointers, and as long as the changed pointer is anywhere within nearly any of them, they can exploit it. < 1477974282 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... S is a set where |ℕ| < |S| < |ℝ|. Provide either (a) an example of S or (b) a proof that S is impossible < 1477974287 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Wow. < 1477974298 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Ooooh, I see why < 1477974329 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ℕℝ < 1477974330 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2115 DOUBLE-STRUCK CAPITAL N] [U+211D DOUBLE-STRUCK CAPITAL R] < 1477974359 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Naturals and Reals; I couldn't do the standard |N and |R in this context because it wouldn't parse right < 1477974367 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(either for a computer OR a human reader) < 1477974379 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: https://en.wikipedia.org/wiki/Continuum_hypothesis hth < 1477974386 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh, rihgt < 1477974392 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you could just write N and R like everyone else instead of trying to show off hth < 1477974405 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: I wasn't trying to show off < 1477974412 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :am i being too nasty < 1477974414 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I tried to use Unicode for labels in my CALESYTA language < 1477974415 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :probably < 1477974419 0 :shachaf!~shachaf@unaffiliated/shachaf PART #esoteric : < 1477974422 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the interp handles it fine, unfortunately the editor doesn't < 1477974443 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: double-struck N and R is nailed into my mind; using normal N and R just looks wrong, like they shouldn't be representing something so important < 1477974464 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :I think most of us read TeX here. < 1477974477 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: Ah, yes, that works too < 1477974499 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Huh, I seem to have remembered that being that cardc = Aleph_1, which is COMPLETELY different < 1477974518 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(...they're equivalent in some bizarre way, aren't they?) < 1477974534 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :What. N and similar set symbols aren't in normal TeX. < 1477974546 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: Yeah, because Knuth is a dick < 1477974549 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :amsfonts fixes it, at least. < 1477974560 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :$\mathbb{N}$ < 1477974565 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: Yes, but only for N, Z, R, and maybe Q iirc < 1477974566 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :(gag) < 1477974580 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :PWNZIQRC. < 1477974591 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: I forget, what's W? < 1477974592 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :$\left\|\mathbb{N}\right\|$ < 1477974634 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: I usually just type \bb{string} to indicate what it is without actually making a whole system < 1477974635 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :hppavilion[1]: Uh, $\mathbb{N}_{>0}$ < 1477974658 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: ...really? we use- oh, right, "whole" < 1477974663 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: aleph-1 = 2 to the power of the number of integers, by definition; it's also very easy to prove it's equal to the number of reals < 1477974678 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: "But N doesn't contain 0 anyway" :P < 1477974700 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(err, this is to what extent "=" is defined on infinities) < 1477974707 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(it does. I was trying to explain countable vs. uncountable infinity to an 11 year old earlier today, and that came up. Somehow) < 1477974750 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Really, I feel like blackboard bold shouldn't be in unicode, it should just be a font (within a typeface) < 1477974786 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :So I can have a blackboard bold ſ (long s) or ð (eth) or @ (at sign) >:D. < 1477974872 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: you recall incorrectly, what you are describing is beth-1. < 1477974890 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(or possibly you read from a wrong source, i believe those exist) < 1477974897 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I thought that beth-1 was the second-smallest infinity < 1477974904 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no. the other way around. < 1477974907 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is possible that I was taught backwards < 1477974908 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :Apparently the rationale was to permit maintaining symbol distinctions in mathematic notation in plain text. < 1477974942 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :i.e. it was viewed that the symbol variants here were *semantic*, not just style variants. < 1477974961 0 :pikhq!~pikhq@75-163-220-128.clsp.qwest.net PRIVMSG #esoteric :So we've got the opposite of CJK unification because of the same rules. < 1477974965 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: well after that thing i read in the logs it's good to get out of my "don't be stupid, ais523 is always right" vibe ;) < 1477975046 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, being educated when I'm wrong is helpful < 1477975107 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm although i'm wondering if they're still equivalent with AoC. it might be that there could be no cardinality strictly between |N| and |R|, without the latter being aleph-1 because R isn't well-orderable. < 1477975132 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Wikipedia says that many textbooks assume the continuum hypothesis < 1477975135 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(aleph-1 is the second-smallest infinite _well-orderable_ cardinal, by definition) < 1477975150 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in which case aleph-1 and beth-1 are interchangeable; that'd explain the amount of misinformation going around < 1477975183 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :some might even assume the generalized CH, in which case all alephs are beths < 1477975277 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> cos 208341 < 1477975278 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: anyway, if you have AoC, then every infinite cardinality is an aleph, and alephs are always well ordered so aleph-1 is the next after aleph-0=|N| < 1477975280 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : -0.9999999999670789 < 1477975280 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : < 1477975285 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1477975335 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and therefore there is nothing between aleph-0 and aleph-1, but something between aleph-0 and anything larger than aleph-1. < 1477975352 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: I've also considered writing |N as NN or \NN, |R as RR or \RR, etc. < 1477975385 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Also interesting, apparently 2^|N has the same cardinality as |R, so there's a weird bijection here somewhere that I must find < 1477975396 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: does the axiom of choice imply that infinities are well-ordered? I'm guessing not < 1477975420 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, it wouldn't surprise me if there were at least countably infinitely many well-ordered infinities before they started becoming badly odered < 1477975423 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*ordered < 1477975686 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : > cos 208341 <-- * briefly wonders if that's somehow a clue to ais523's hello world program < 1477975696 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: If you have too many well-ordered infinities in one place, it starts to smell bad hth < 1477975699 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nah, I was reading random PPCG pages again < 1477975724 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it was intended for a programming language in which "cos" was implemented as a single byte < 1477975740 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the point being that deleting any byte makes the output longer than "-1" < 1477975758 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: yes it does imply that. AoC ~ "every set can be well ordered". < 1477975788 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: oh, I didn't just mean the ability to put them in an order < 1477975790 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: hint: binary expansions < 1477975798 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean the ability to compare them too, i.e. put them in /sorted/ order < 1477975809 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: I had a feeling that was going to be related < 1477975820 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :infinities strike me as the sort of things that are sometimes incomparable < 1477975825 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: the class of well-orderings is well ordered. you don't even need AoC for that. < 1477975865 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :s/well-orderings/ordinals/ < 1477975886 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1477975893 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I should have guessed that < 1477975966 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I actually haven't been working on my hello world < 1477975982 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because of wanting to clear my mind for an upcoming NetHack tournament < 1477976000 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: you can easily get _injections_ between |R and 2^|N, both ways, just by looking at binary expansion. a bijection requires some more care, or you can use the sledgehammer of the schröder-bernstein theorem. < 1477976007 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my current thinking is that I might not be able to get the apparently simpler O(n²) version to work, so I'm going to have to go for the more complex O(n log n) version < 1477976046 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Ah, theorems < 1477976080 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :incidentally, in machine code, hello world is O(n log n) because the longer your string gets, the larger the word size of the system has to be in order to allow for all the addresses in the string < 1477976090 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :meaning that you need to give a longer address to the function that does the printing < 1477976090 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :The other day, I decided to prove change-of-base in my precalc class. My teacher had apparently never proven it (or possibly even seen a proof) herself. I was sad. < 1477976111 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(independently of that, it's O(n log n) if you're storing the length of the string rather than using a null terminator) < 1477976119 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, no < 1477976122 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's O(n + log n) < 1477976130 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless you're using a loop < 1477976136 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus just O(n) < 1477976153 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: my favourite proof that I worked out myself in a maths lesson < 1477976177 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: btw AoC is also equivalent to "all cardinalities are comparable", this follows easily from the fact that for any set, there exists an ordinal not smaller than it. < 1477976193 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :was the proof that sum(1..n)² = sum(1³...n³) < 1477976217 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I was not aware that was a thing. Oh my god please tell me it's a thing and that you didn't just mess something up < 1477976224 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I found a proof that not only proves that that's true, but explains why < 1477976240 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Wait, don't all proofs do that? < 1477976241 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: the proof of the schröder-bernstein theorem is actually quite pretty and not that hard hth < 1477976253 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: nah, often the result comes out but you don't quite understand how you got there < 1477976273 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: imagine a times table, like a primary school times table; the value in cell (x,y) is x×y < 1477976290 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Of course... < 1477976309 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if we assume the thing is square (they usually are), the sum of all the elements in the table is sum(1…n)² < 1477976324 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you get the times table if you multiply the sum out < 1477976335 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, yes < 1477976353 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now consider the l-shaped rows you get if you read along the kth row and kth column until they intersect < 1477976368 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Writing sum(1..n) got boring at some point, so now I usually write "the sum of all integers between a and b (inclusive)" as a(+ with umlaut)b) < 1477976369 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. with k=3, we have 1×3, 2×3, 3×3, 3×2, 3×1 < 1477976398 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: OK... < 1477976399 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :every element of the table belongs to one of those L shapes < 1477976411 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(you take the maximum of the coordinates, that's the shape it belongs to) < 1477976422 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we can rearrange this as 3×(1+2+3+2+1) < 1477976449 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and likewise, in general, the sum of the kth L shape is k×(sum(1..k..1)) < 1477976475 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then if you imagine a k by k square, and pick a particular direction of diagonal < 1477976486 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then the diagonals have lengths 1 up to k then back down to 1, and each element's on exactly one diagonal < 1477976504 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus sum(1..k..1) is k², and k×(sum(1..k..1)) is thus k³ < 1477976524 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like it? :-D < 1477976540 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :...Yes? I'll have to reread a few times xD < 1477976560 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I'm aware other people have proved this too, but I came up with this proof by myself and think it's really pretty; I'm not sure what proofs other people used) < 1477976813 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I prefer to do all my proofs in über-dense notation with minimal use of language, with the idea being that as long as you understand the more basic parts of notation, you understand the math < 1477976828 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Which is why I'm annoyed when there are phrases with no symbolic equivalent) < 1477977025 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i think your proof aesthetic is rather the opposite of most :P < 1477977044 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: yes xD < 1477977115 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: If a computer couldn't read and verify it given adequate description of its form (which should be, at its basis, as simple as possible), it doesn't count < 1477977123 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: i vaguely recall there's an even more geometric proof of that... < 1477977147 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :would be great if it involved volume somehow but I don't immediately see how it can < 1477977159 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the number of dimensions doesn't add up < 1477977167 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it might be 4-dimensional. < 1477977211 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :build a four-dimensional pyramid with cube layers < 1477977226 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and then there might be another way to slice it < 1477977302 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you know how you can form a rectangle from two lines at right angles to each other? < 1477977320 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um sort of? < 1477977323 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you should be able to form a 4-dimensional hypersolid from two two-dimensional shapes at right angles to each other < 1477977335 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :make those both triangles, and I think you have your proof? < 1477977337 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes. that's what i was thinking of, in fact. < 1477977339 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's hard to visualise < 1477977348 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it has more dimensions than people are used to working with < 1477977369 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, you can write it as a set of 4-tuples < 1477977391 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, the jokes SMBC makes in this stretch about physicists where small values can be ignored are kind of flawed < 1477977403 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :He should really be going for... that one equation < 1477977404 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :{(x,y,z,w) | x<=y, w<=z, 1 <= x,y,w,z <= n} < 1477977409 0 :Sgeo!~Sgeo@ool-18e4354b.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1477977420 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :something like that < 1477977434 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :What was it, (exp . abs . log)? Yeah, that looks right < 1477977471 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION tends to read SMBC in large batches
< 1477977476 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Same here < 1477977477 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's the only comic i do that with < 1477977498 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: "this stretch" happened 3 years ago, so... < 1477977506 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1477977510 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, this one came out 2 days before my birthday < 1477977511 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well not that large :P < 1477977525 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it may be a month since last time, perhaps even less. < 1477977534 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also i haven't read it all from the start. < 1477977535 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It's only negligible if its shaval (occasionally EML) is close to 1 < 1477977551 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which may also be unusual for me and webcomics < 1477977556 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(well, depending on where it's used...) < 1477977597 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Multiplicatively, shaval is used for smallness; additively, you just use |x| < 1477977609 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :did i say w<=z i meant z<=w. not that it really matters. < 1477977624 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now to find the cubes in that. < 1477977669 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, a better equation here would be \x -> (sgn x) * (exp . abs . log . abs) x, so negative values are defined < 1477977712 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I'm not sure how you can even distinguish the z coordinate from the w coordinate, given that a) I don't think 4D space has defined axes yet and b) even if it did, nothing specified what orientation the hyperpyramid had < 1477977776 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: well you usually choose some order :P < 1477977785 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's isomorphic any way < 1477977792 0 :godel!~gonzalo@96-251-231-201.fibertel.com.ar QUIT :Ping timeout: 260 seconds < 1477977916 0 :otherbot!~yaybot@unaffiliated/jeffl35/bot/jeffbot QUIT :Remote host closed the connection < 1477978771 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1477978782 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd testing//testing etc. < 1477978783 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin/sed: can't find label for jump to `esting' < 1477978790 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd testing//1ctesting etc. < 1477978792 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/testing//testing etc. < 1477978797 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ic < 1477978804 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/slwd < 1477978804 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sled "wisdom/$1" | sed '1s/^Rosebud!$/Roswbud!/' < 1477978851 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`mkx bin/slwd//cd wisdom; sled "$1" | sed '1s/^Rosebud!$/Roswbud!/' < 1477978852 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/slwd < 1477978871 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd testing//1ctesting again < 1477978873 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :testing//testing again < 1477978882 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? testing < 1477978883 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :testing again < 1477978895 0 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1477978903 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, what's the (A(A)) in panel 3 of http://www.smbc-comics.com/comic/2014-01-01 ? < 1477978904 0 :augur!~augur@2601:640:8001:4222:81ed:d572:1f87:c739 JOIN :#esoteric < 1477978924 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i guess it actually did that before. well, looks nicer. < 1477978932 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1477979594 0 :Sgeo!~Sgeo@ool-18e4354b.dyn.optonline.net JOIN :#esoteric < 1477980070 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :The votey in http://www.smbc-comics.com/comic/2013-03-11 is just e=0 < 1477980165 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : it'll be ok <-- huh, i didn't see that before my recent change, but that fixes it. < 1477980339 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/now < 1477980339 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; done < 1477980351 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`cat bin/lastfiles < 1477980351 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg log --removed -l 1 --template "{files}\n" -- "$@" < 1477980378 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` mk 'test1//hi'; mk 'test2//ho' < 1477980381 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test1 \ test2 < 1477980383 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`lastfiles < 1477980384 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test1 test2 < 1477980702 0 :augur!~augur@2601:640:8001:4222:81ed:d572:1f87:c739 QUIT :Remote host closed the connection < 1477980755 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log ----removed -l 1 --template "{join(files),"//"}" < 1477980756 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg log: option ----removed not recognized \ hg log [OPTION]... [FILE] \ \ show revision history of entire repository or files \ \ options: \ \ -f --follow follow changeset history, or file history across \ copies and renames \ -d --date DATE show revisions matching date spec \ -C --copies < 1477980766 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{join(files),"//"}" < 1477980767 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg: parse error at 13: syntax error < 1477980774 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1477980784 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template '{join(files),"//"}' < 1477980785 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg: parse error: unknown method 'list' < 1477980803 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template '{join(files,"//")}' < 1477980804 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​** unknown exception encountered, please report by visiting \ ** http://mercurial.selenic.com/wiki/BugTracker \ ** Python 2.7.3 (default, Jan 2 2013, 13:56:14) [GCC 4.7.2] \ ** Mercurial Distributed SCM (version 2.2.2) \ ** Extensions loaded: \ Traceback (most recent call last): \ File "/usr/bin/hg", line 38, in \ mercurial.dis < 1477980898 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{join(files,'//')}" < 1477980900 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​** unknown exception encountered, please report by visiting \ ** http://mercurial.selenic.com/wiki/BugTracker \ ** Python 2.7.3 (default, Jan 2 2013, 13:56:14) [GCC 4.7.2] \ ** Mercurial Distributed SCM (version 2.2.2) \ ** Extensions loaded: \ Traceback (most recent call last): \ File "/usr/bin/hg", line 38, in \ mercurial.dis < 1477980907 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*sigh* < 1477980911 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`lastfiles < 1477980912 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test1 test2 < 1477980925 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess HackEgo's hg is too old :/ < 1477980980 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files}" < 1477980980 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test1 test2 < 1477981057 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files|addbreaks}" < 1477981058 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​** unknown exception encountered, please report by visiting \ ** http://mercurial.selenic.com/wiki/BugTracker \ ** Python 2.7.3 (default, Jan 2 2013, 13:56:14) [GCC 4.7.2] \ ** Mercurial Distributed SCM (version 2.2.2) \ ** Extensions loaded: \ Traceback (most recent call last): \ File "/usr/bin/hg", line 38, in \ mercurial.dis < 1477981084 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files|count}" < 1477981085 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg: parse error: unknown function 'count' < 1477981101 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh that's weird < 1477981132 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files|firstline}" < 1477981133 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​** unknown exception encountered, please report by visiting \ ** http://mercurial.selenic.com/wiki/BugTracker \ ** Python 2.7.3 (default, Jan 2 2013, 13:56:14) [GCC 4.7.2] \ ** Mercurial Distributed SCM (version 2.2.2) \ ** Extensions loaded: \ Traceback (most recent call last): \ File "/usr/bin/hg", line 38, in \ mercurial.dis < 1477981149 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files|firstline}" | paste < 1477981153 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​** unknown exception encountered, please report by visiting \ ** http://mercurial.selenic.com/wiki/BugTracker \ ** Python 2.7.3 (default, Jan 2 2013, 13:56:14) [GCC 4.7.2] \ ** Mercurial Distributed SCM (version 2.2.2) \ ** Extensions loaded: \ Traceback (most recent call last): \ File "/usr/bin/hg", line 38, in \ mercurial.dis < 1477981180 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` mk 'test1//ho'; mk 'test2//hi' < 1477981183 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test1 \ test2 < 1477981186 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files|firstline}" &| paste < 1477981187 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/`: eval: line 4: syntax error near unexpected token `|' \ /hackenv/bin/`: eval: line 4: `hg log --removed -l 1 --template "{files|firstline}" &| paste' < 1477981219 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{files|firstline}" 2>&1 | paste < 1477981222 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.26792 < 1477981334 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` mk 'test1//hi'; mk 'test2//ho' < 1477981336 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test1 \ test2 < 1477981354 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` hg log --removed -l 1 --template "{join(files,'//')}" 2>&1 | paste < 1477981357 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.7448 < 1477981510 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lousy < 1477981770 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : BF's the most popular <-- also featured on the wiki for 3 years straight hth < 1477981782 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :One part of a book I have mentions if a charged capacitor can discharge through an inductive circuit, that it decays exponentially with time, and the decay can be monotonic or oscillatory depending on if the solutions to the quadratic equation are real or complex. < 1477981783 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a good default < 1477981787 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unless you're volunteering to feature a new one :-P < 1477981794 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe we can feature the CALESYTA winner once it wins < 1477981806 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :assuming someone writes a sufficiently good article < 1477981816 0 :zzo38!~zzo38@24-207-15-88.eastlink.ca PRIVMSG #esoteric :I have also noticed before that a low pass filter with a complex coefficient will also oscillate. Is it related at all? < 1477981833 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: if you win, will you write the blurb? ;P < 1477981842 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sure < 1477982340 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Wait, why did you do that to slwd? < 1477982375 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well originally i was just confusing myself into thinking that it had been affect by my bin/sed < 1477982399 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then after i realized it wasn't i thought it's ok < 1477982413 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it makes it slightly shorter < 1477982436 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it can make sense. < 1477982448 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :slwd '1rotherwisdom' < 1477982462 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh < 1477982508 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :except you still cannot get sed to do anything useful on a non-existing or empty file. < 1477982861 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe we should switch from sed to perl or something. < 1477982898 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but that's longer to type < 1477982921 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` ls tmp < 1477982923 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access tmp: No such file or directory < 1477982928 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :! < 1477982932 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1477982942 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can't even doag it. < 1477982949 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat .hgignore < 1477982949 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​^tmp/ < 1477982952 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`mkdir tmp < 1477982953 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1477982964 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp; sled 'a//wa' < 1477982964 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Rosebud! < 1477982986 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp; sed -i 'wa' a < 1477982987 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :a// < 1477983000 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1477983013 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat tmp/a < 1477983014 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1477983033 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat bin/sled < 1477983034 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" ; < 1477983055 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp; sled 'a//wa' < 1477983055 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :a// < 1477983073 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`rm tmp/a < 1477983074 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1477983078 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp; sled 'a//wa' < 1477983079 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Rosebud! < 1477983082 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`ls tmp < 1477983084 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1477983087 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you confused < 1477983092 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd tmp; sed -i 'wa' a < 1477983093 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :a// < 1477983100 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` which sed < 1477983101 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/sed < 1477983109 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` file /hackenv/bin/sed < 1477983110 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/sed: Bourne-Again shell script, ASCII text executable < 1477983114 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat bin/sed < 1477983114 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ /bin/sed "$@" && if [[ $# == "3" && "/$1" == "/-i" ]]; then echo -n "$3//"; cat "$3"; fi < 1477983119 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`doag bin/sed < 1477983121 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :9512:2016-10-29 sled bin/sed//3d \ 9510:2016-10-29 ` mv bin/sed2 bin/sed \ 9502:2016-10-29 ` mv bin/sed bin/sed2 \ 9501:2016-10-29 sled bin/sed//2c/bin/sed "$@" && if [[ $* == "3" -a "$1" == "-i" ]]; then echo -n "$3//"; cat "$3"; fi \ 9499:2016-10-29 sled bin/sed//1i#!/bin/bash \ 9497:2016-10- < 1477983124 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION waves
< 1477983131 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's all this tdnh < 1477983160 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: boily insisted on using `` sed -i to edit wisdom. i got annoyed hth < 1477983209 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it basically makes it write the result for sed -i