> 1377976962 722069 JOIN :#esoteric
< 1377976965 485905 :glogbot!dlopen@libdl.so JOIN :#esoteric
< 1377976965 667388 :EgoBot!dlopen@libdl.so JOIN :#esoteric
< 1377976966 747532 :HackEgo!dlopen@libdl.so JOIN :#esoteric
> 1377976966 812745 JOIN :#esoteric
> 1377976967 327997 JOIN :#esoteric
< 1377976986 51156 :Gregor!dlopen@libdl.so JOIN :#esoteric
< 1377977006 81469 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Gregor: Thank you for fixing it.
< 1377977015 409700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah, i was afraid Gregor had sacrificed himself for the bots
< 1377977058 563034 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like the Imakuni?'s card?
< 1377977109 979465 :glogbackup!~glogbacku@64.31.59.246 JOIN :#esoteric
< 1377977135 335410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just learned of its existence, also i don't play any form of pokemon game.
< 1377977497 150924 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1377977509 87064 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Happy Australian Mailman Mailing List Reminders Day!
< 1377977513 278271 :ais523!~ais523@unaffiliated/ais523 PART :#esoteric
< 1377977514 236527 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yay
< 1377977593 760736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g'day mail
< 1377977614 134694 :nooodl!~nooodl@91.176.171.15 PRIVMSG #esoteric :whhhat
< 1377977789 9800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are you not familiar with this esteemed holiday
< 1377977982 185035 :AnotherTest!~turingcom@94-224-28-191.access.telenet.be QUIT :Ping timeout: 264 seconds
< 1377978320 600166 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Excess Flood
< 1377978544 396090 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Aura of Confusion (a class feature of aberration saver) also wants you to play it as a basic pokemon. However, you can't!!! Too bad!!!
< 1377978627 902057 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com QUIT :Remote host closed the connection
< 1377978682 265087 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric
< 1377978759 730341 :MindlessDrone!~MindlessD@HSI-KBW-134-3-130-100.hsi14.kabel-badenwuerttemberg.de QUIT :Quit: MindlessDrone
< 1377980227 588152 :Sgeo!~quassel@2002:ad03:4ea6:0:5c1a:41ab:b630:530b JOIN :#esoteric
< 1377980506 751035 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com JOIN :#esoteric
< 1377981122 459218 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Now make up your own Pokemon card puzzle!
< 1377981227 111719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Now that HackEgo is back up, you could `danddreclist.
< 1377981252 329615 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I already did (when it wasn't up), but I will do again just in case.
< 1377981256 24875 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :`danddreclist 41
< 1377981257 900699 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :danddreclist 41: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex
< 1377981273 475012 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK it works now.
< 1377981440 739516 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Nothing stops me from using `danddreclist when HackEgo isn't on, although then it won't work perfectly. Anyone who is notified on messages starting with `danddreclist is still notified, though.)
< 1377981466 22133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: If I do that, I'll get double-notified.
< 1377981520 926177 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I am saying, it can be done in place of the other way if you prefer, since that would work even if HackEgo is down.
< 1377981526 980360 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You don't have to.
< 1377981556 644747 :Koen_!~Koen@mar75-2-81-57-225-162.fbx.proxad.net JOIN :#esoteric
< 1377981653 46621 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net QUIT :Quit: leaving
< 1377981983 427003 :nooodl!~nooodl@91.176.171.15 PRIVMSG #esoteric :@tell boily new danddreclist: http://zzo38computer.org/dnd/recording/level20.tex
< 1377981983 647145 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted.
< 1377982491 527029 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there an easy way in UNIX command-line to convert all filenames to lowercase like you can in Windows command-line?
< 1377982581 452161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps: rename 'tr/A-Z/a-z/' *
< 1377982594 897829 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Depends on what "UNIX command-line" is.
< 1377982624 425431 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, I didn't know about that command.
< 1377982650 393760 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :man rename actually has  rename 'y/A-Z/a-z/' * as an example
< 1377982693 862051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :man, it sure does
< 1377982741 24279 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, yes that can work. In Windows it is:   for /f %i in ('dir/l/b') do ren %i %i    or something like that I think.
< 1377982808 511490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course, Windows filesystems aren't case-sensitive.
< 1377982924 85178 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, I know, and such a thing works due to that.
< 1377982993 698763 :doesthiswork!~Adium@98.145.118.186 JOIN :#esoteric
< 1377983018 150912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you have to be careful when your filesystem isn't. What if you have two files, "A" and "a"?
< 1377983089 184307 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Of course then it won't work.
< 1377983112 218432 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Someone has once asked me how to convert all of their filenames into lowercase on a Windows computer and I came up with this command.
< 1377983325 955642 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :shachaf: FWIW Windows *filesystems* are perfectly sane case-wise.
< 1377983343 101200 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :It's just Win32 that's case insensitive.
< 1377983360 28059 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Oh. So NTFS is, but Windows doesn't care?
< 1377983365 547702 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Yes.
< 1377983368 390366 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :That's nice
< 1377983376 108760 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :FAT32 with long file names is the same way.
< 1377983408 300371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I use FAT12.
< 1377983445 476974 :pikhq!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Sorry, FAT with long file names in general.
< 1377983473 263992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :longfi~1
< 1377984325 572378 :Taneb!~nathan@host-92-23-115-247.as13285.net JOIN :#esoteric
< 1377985433 397345 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And if you have any comments/questions/complains about the Dungeons&Dragons game I am recording, you can tell me that too, please.
< 1377986142 21482 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Excess Flood
< 1377986631 851302 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric
< 1377986643 47754 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :Schematic tables are a pretty cool way of handling branching. http://www.subtextual.org/subtext2.html
< 1377986662 112214 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :conditional branching
< 1377986862 261853 :epicmonkey!~epicmonke@188.134.41.114 QUIT :Ping timeout: 256 seconds
< 1377987275 676090 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :so uh i forgot how to use tar. if i have a .tar i should be able to do just 'tar t filename' to get a list of what's in it, right?
< 1377987371 500763 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer
< 1377987424 448864 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :oh, no, i need f. damn.
< 1377987501 284503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why this fear of f's
< 1377987582 711262 :Koen_!~Koen@mar75-2-81-57-225-162.fbx.proxad.net PRIVMSG #esoteric :the bonus question at our final exam was exctracting a file from a corrupted .tar.gz archive
< 1377987585 598412 :Taneb!~nathan@host-92-23-115-247.as13285.net QUIT :Quit: Leaving
< 1377988807 653734 :Sgeo!~quassel@2002:ad03:4ea6:0:5c1a:41ab:b630:530b QUIT :Quit: No Ping reply in 180 seconds.
< 1377988831 961051 :Sgeo!~quassel@2002:ad03:4ea6:0:5c1a:41ab:b630:530b JOIN :#esoteric
< 1377989925 273747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: hm what are some good adjunctions i don't know about
< 1377989994 681891 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :up adjunctions
< 1377990010 806761 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :(analogous to left adjunctions)
< 1377990014 531761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help
< 1377990021 635358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's a left adjunctions
< 1377990031 221105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean left adjoint?
< 1377990057 63428 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :You know damn well what I mean.
< 1377990065 106035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in galois connections people call the left adjoint the "lower adjoint" and the right adjoint the "upper adjoint" hth
< 1377990096 492902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: did you know that quotienting out the commutator is a functor from groups to commutative groups that is adjoint to the inclusion in the reverse direction? (iirc)
< 1377990117 492733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, that sounds good
< 1377990134 55856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :left or right adjoint?
< 1377990141 244374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess left maybe??
< 1377990205 636772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ouch my brain
< 1377990242 347198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :google finds results with "abelian group" when you search for "commutative group"
< 1377990246 437515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thoogle
< 1377990249 654551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right
< 1377990311 906503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe it's a right adjoint
< 1377990313 961630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help
< 1377990326 329254 :variable!root@freebsd/developer/variable NICK :constant
< 1377990336 61162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think my brain is up to figuring out the diagrams at the moment.
< 1377990345 402452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what do i pay you for hth
< 1377990394 516598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's ok i think i found it on wikipedia
< 1377990418 756799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Commutator_subgroup#Abelianization
< 1377990471 8149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so, left adjoint.
< 1377990489 449383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok
< 1377990495 559439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :makes sense
< 1377990506 882834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, sort of
< 1377990511 648964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know anything about groups :'(
< 1377990558 674751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that could be a problem
< 1377990577 283181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how do i become not such an ignoramus twh
< 1377990589 776926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :read a group theory textbook
< 1377990595 485250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which one
< 1377990619 318829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i dunno it's been something like 20 years since i took the course...
< 1377990633 494226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm sure i'll be abel to find one
< 1377990637 904458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes.
< 1377990744 677172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wouldn't be surprised if this adjunction holds more generally for quotients/inclusions between algebras with extra equations added (e.g. xy=yx to get abelian groups)
< 1377990782 918631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is there a nice categorical way of talking about algebras with equations
< 1377990835 548475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... i recall they're related to monads. like the list monad to monoids etc.
< 1377990843 58891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as in T-algebras?
< 1377990859 990433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe, i don't clearly remember that term.
< 1377990865 939785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like http://ncatlab.org/nlab/show/module+over+a+monad ?
< 1377990928 422499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry my brain cannot help you there
< 1377991479 976373 :Sgeo!~quassel@2002:ad03:4ea6:0:5c1a:41ab:b630:530b PRIVMSG #esoteric :`slist 8/31
< 1377991481 765301 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :slist 8/31: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
< 1377992031 805130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what
< 1377992035 58529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :plz include year thx
< 1377992067 153059 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :uh, you're not on the slist, dude. you ain't got right to interfere in slist affairs.
< 1377992091 412195 :Bike!~Glossina@wl-nat100.it.wsu.edu PRIVMSG #esoteric :so sayeth the treaty
< 1377992199 29556 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what treaty
< 1377992200 639746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? treaty
< 1377992202 431288 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :treaty? ¯\(°_o)/¯
< 1377992202 681756 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69             |
< 1377992202 904814 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69           o/`¯º
< 1377992348 308662 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Treaty? It is a suggestion, not a treaty, isn't it?
< 1377993180 657067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo 'The Treaty on `lists treats how to `list our treats.' >wisdom/treaty
< 1377993184 276611 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output.
< 1377993384 503600 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :`hack ego
< 1377993385 717851 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hack: not found
< 1377993396 949892 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :darn.