19:22:42 -!- esowiki has joined. 19:22:45 -!- glogbot has joined. 19:22:45 -!- EgoBot has joined. 19:22:46 -!- HackEgo has joined. 19:22:46 -!- esowiki has joined. 19:22:47 -!- esowiki has joined. 19:23:06 -!- Gregor has joined. 19:23:26 Gregor: Thank you for fixing it. 19:23:35 ah, i was afraid Gregor had sacrificed himself for the bots 19:24:18 Do you like the Imakuni?'s card? 19:25:09 -!- glogbackup has joined. 19:25:35 i just learned of its existence, also i don't play any form of pokemon game. 19:31:37 -!- ais523 has joined. 19:31:49 Happy Australian Mailman Mailing List Reminders Day! 19:31:53 -!- ais523 has left. 19:31:54 yay 19:33:13 g'day mail 19:33:34 whhhat 19:36:29 are you not familiar with this esteemed holiday 19:39:42 -!- AnotherTest has quit (Ping timeout: 264 seconds). 19:45:20 -!- SirCmpwn has quit (Excess Flood). 19:49:04 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!!! 19:50:27 -!- pikhq has quit (Remote host closed the connection). 19:51:22 -!- SirCmpwn has joined. 19:52:39 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:17:07 -!- Sgeo has joined. 20:21:46 -!- pikhq has joined. 20:32:02 Now make up your own Pokemon card puzzle! 20:33:47 zzo38: Now that HackEgo is back up, you could `danddreclist. 20:34:12 I already did (when it wasn't up), but I will do again just in case. 20:34:16 `danddreclist 41 20:34:17 danddreclist 41: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 20:34:33 OK it works now. 20:37:20 (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.) 20:37:46 zzo38: If I do that, I'll get double-notified. 20:38:40 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. 20:38:46 You don't have to. 20:39:16 -!- Koen_ has joined. 20:40:53 -!- dessos has quit (Quit: leaving). 20:46:23 @tell boily new danddreclist: http://zzo38computer.org/dnd/recording/level20.tex 20:46:23 Consider it noted. 20:54:51 Is there an easy way in UNIX command-line to convert all filenames to lowercase like you can in Windows command-line? 20:56:21 Perhaps: rename 'tr/A-Z/a-z/' * 20:56:34 Depends on what "UNIX command-line" is. 20:57:04 O, I didn't know about that command. 20:57:30 man rename actually has rename 'y/A-Z/a-z/' * as an example 20:58:13 man, it sure does 20:59:01 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. 21:00:08 Of course, Windows filesystems aren't case-sensitive. 21:02:04 Yes, I know, and such a thing works due to that. 21:03:13 -!- doesthiswork has joined. 21:03:38 But you have to be careful when your filesystem isn't. What if you have two files, "A" and "a"? 21:04:49 Of course then it won't work. 21:05:12 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. 21:08:45 shachaf: FWIW Windows *filesystems* are perfectly sane case-wise. 21:09:03 It's just Win32 that's case insensitive. 21:09:20 Oh. So NTFS is, but Windows doesn't care? 21:09:25 Yes. 21:09:28 That's nice 21:09:36 FAT32 with long file names is the same way. 21:10:08 But I use FAT12. 21:10:45 Sorry, FAT with long file names in general. 21:11:13 longfi~1 21:25:25 -!- Taneb has joined. 21:43:53 And if you have any comments/questions/complains about the Dungeons&Dragons game I am recording, you can tell me that too, please. 21:55:42 -!- SirCmpwn has quit (Excess Flood). 22:03:51 -!- SirCmpwn has joined. 22:04:03 Schematic tables are a pretty cool way of handling branching. http://www.subtextual.org/subtext2.html 22:04:22 conditional branching 22:07:42 -!- epicmonkey has quit (Ping timeout: 256 seconds). 22:14:35 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? 22:16:11 -!- yorick has quit (Read error: Connection reset by peer). 22:17:04 oh, no, i need f. damn. 22:18:21 why this fear of f's 22:19:42 the bonus question at our final exam was exctracting a file from a corrupted .tar.gz archive 22:19:45 -!- Taneb has quit (Quit: Leaving). 22:40:07 -!- Sgeo has quit (Quit: No Ping reply in 180 seconds.). 22:40:31 -!- Sgeo has joined. 22:58:45 Bike: hm what are some good adjunctions i don't know about 22:59:54 up adjunctions 23:00:10 (analogous to left adjunctions) 23:00:14 help 23:00:21 what's a left adjunctions 23:00:31 You mean left adjoint? 23:00:57 You know damn well what I mean. 23:01:05 in galois connections people call the left adjoint the "lower adjoint" and the right adjoint the "upper adjoint" hth 23:01:36 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) 23:01:57 oh, that sounds good 23:02:14 left or right adjoint? 23:02:21 i guess left maybe?? 23:03:25 ouch my brain 23:04:02 google finds results with "abelian group" when you search for "commutative group" 23:04:06 thoogle 23:04:09 oh right 23:05:11 maybe it's a right adjoint 23:05:13 help 23:05:26 -!- variable has changed nick to constant. 23:05:36 i don't think my brain is up to figuring out the diagrams at the moment. 23:05:45 oerjan: what do i pay you for hth 23:06:34 it's ok i think i found it on wikipedia 23:06:58 https://en.wikipedia.org/wiki/Commutator_subgroup#Abelianization 23:07:51 so, left adjoint. 23:08:09 ok 23:08:15 makes sense 23:08:26 well, sort of 23:08:31 i don't know anything about groups :'( 23:09:18 that could be a problem 23:09:37 how do i become not such an ignoramus twh 23:09:49 read a group theory textbook 23:09:55 which one 23:10:19 i dunno it's been something like 20 years since i took the course... 23:10:33 i'm sure i'll be abel to find one 23:10:37 yes. 23:12:24 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) 23:13:02 is there a nice categorical way of talking about algebras with equations 23:13:55 hm... i recall they're related to monads. like the list monad to monoids etc. 23:14:03 as in T-algebras? 23:14:19 maybe, i don't clearly remember that term. 23:14:25 like http://ncatlab.org/nlab/show/module+over+a+monad ? 23:15:28 sorry my brain cannot help you there 23:24:39 `slist 8/31 23:24:41 slist 8/31: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 23:33:51 what 23:33:55 plz include year thx 23:34:27 uh, you're not on the slist, dude. you ain't got right to interfere in slist affairs. 23:34:51 so sayeth the treaty 23:36:39 what treaty 23:36:40 `? treaty 23:36:42 treaty? ¯\(°_o)/¯ 23:36:42 | 23:36:42 o/`¯º 23:39:08 Treaty? It is a suggestion, not a treaty, isn't it? 23:53:00 `run echo 'The Treaty on `lists treats how to `list our treats.' >wisdom/treaty 23:53:04 No output. 23:56:24 `hack ego 23:56:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hack: not found 23:56:36 darn.