00:24:11 "oklofok • can no space with a nontrivial fundamental group have uncountably many nonoverlapping embeddings?" oookay wtf was i thinking :D 00:24:28 how about a fucking circle :D 00:24:42 anyway back to sleep 00:25:11 note to self: 8 != 0, _even in shape_ 00:26:50 0 just needs a twist. 00:27:04 (Betht pony) 00:30:32 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:31:22 betht? 00:31:37 also am i sleeping, because i sure hope so? 00:31:43 http://sprunge.us/QFUK I am mad. 00:32:08 can you give a tl;dr version? 00:32:20 It encodes uncompressed PNGs. 00:32:36 hey i wrote one of those 00:32:48 why mad? 00:33:34 did i mention that we programmed this ramsey theoretic function for fun which cannot actually be evaluated for any nontrivial inputs 00:33:44 This is how I intend to do screenshot functionality in cmako. 00:34:05 Also savestate functionality. 00:34:47 an ackermann-like function which explodes beyond comprehension at 3, and is defined for all ordinals up to \omega^\omega^... :P 00:36:06 Wait, you can read in a game from an image? 00:36:22 What sort of game is it? 00:36:31 Wait, I'm assuming it's a game 00:36:35 what's the mako vm? 00:36:53 kmc: Thing a friend of mine came up with. https://github.com/JohnEarnest/Mako 00:37:18 Kinda been fun implementing. 00:37:56 Cool :) 00:38:09 ...the sort of way I talk to my gf is leaking into IRC 00:39:48 it's okay it makes us happy :) 00:41:27 Sgeo: so tell me about this gf 00:43:24 She's doing programming at our college, she likes the Stargate franchise, she's smart (although she seems to not have independently learned CS stuff) 00:44:51 sounds agreeable 00:44:52 She has no physical manifestation, apparently, but then who needs one *shrugs* 00:44:52 She seems to like everything I point her to (in terms of fiction etc.) She now likes The IT Crowd, Homestuck, and ... I don't remember what else 00:45:18 Of course, the meaning of "he" and "she" start to blur when you have no physical manifestation, but again, not really relevant. 00:45:41 Gregor: Incorporeal entities can still self-identify as a gender. 00:46:01 But that's so ... so ... /corporeal/. It's beneath them. 00:46:06 anyone wanna collaborate on a programming project? :x 00:46:19 augur: no, programming sucks. 00:46:23 :( 00:46:36 i suck, iykwim 00:46:37 ;o ;o ;o 00:46:49 well 00:46:52 i have a hunch 00:47:04 due to programming so much 00:47:15 that i've gotten so smart that i got your reference 00:47:23 *having programmed 00:47:28 -!- TeruFSX has joined. 00:47:30 oklofok: augur just uses "programming project" as a euphemism for gay sex. Actually, he uses almost everything as an analogy for gay sex. 00:47:37 oh right 00:47:40 Gregor: alas, right now i mean it literally 00:47:41 sorry, i'm really tired 00:47:42 Errr, *euphemism 00:47:49 augur: then no, for other reasons 00:47:52 *euphonium 00:48:04 *eunoia 00:48:42 *ekljgfbdfg 00:50:19 Gregor: but now you have the wrong article 00:50:27 you're in trouble 00:51:04 oklofok: No, I just switched accents mid-stream. 00:51:52 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:54:59 ah. 00:55:33 my non-native eyes cannot always tell from text 00:57:45 augur: having programming suck my dick would be nice for a change, usually it seems to be the other way around 00:58:17 -!- elliott has quit (Remote host closed the connection). 00:58:21 pikhq: now i've found your github account 00:58:24 and bootstrap-linux 00:58:25 that's cool :) 01:09:59 -!- elliott has joined. 01:13:20 kmc: If you join #musl , you'll see that there's roughly one distribution per channel member, give or take. 01:15:20 :) 01:28:23 Gregor: eeyup. The horror! Okey dokey lokey! Yaaay. Ha ha, the fun has been doubled! NOPE! 01:29:20 what 01:29:40 tswett: What elliott is trying to say is, this kind of talk belongs in #esoteric-ponies 01:29:52 Oh, of course. 01:45:00 -!- DHeadshot has joined. 01:51:08 -!- calamari has joined. 01:51:09 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:06:14 -!- DHeadshot has joined. 02:33:11 -!- pikhq_ has joined. 02:33:26 -!- pikhq has quit (Ping timeout: 256 seconds). 02:43:27 -!- madbr has joined. 02:57:32 -!- david_werecat has quit (Ping timeout: 252 seconds). 03:03:13 -!- pikhq has joined. 03:03:32 -!- pikhq_ has quit (Ping timeout: 244 seconds). 03:05:39 -!- Tod-Autojoined has changed nick to TodPunk. 03:33:01 -!- azaq23 has quit (Quit: Leaving.). 03:41:09 -!- TeruFSX2 has joined. 03:41:09 -!- TeruFSX has quit (Read error: No route to host). 04:13:55 -!- pikhq_ has joined. 04:14:08 -!- pikhq has quit (Ping timeout: 240 seconds). 04:50:33 http://sprunge.us/AfdU 04:51:00 what is that 04:51:06 PNG encoder. 04:51:30 why 04:51:36 Partly for kicks. 04:53:21 Actually, sorry, shouldn't have pastebinned so soon. 04:53:48 Genericising the thing works better when you do so completely. 04:54:08 http://sprunge.us/TaED 04:57:41 pikhq_: describe the interface 04:59:01 coppro: You pass write_png a FILE* to write to, width and height of the image, the image, and a NULL-terminated list of chunk names in char*, chunk lengths in size_t, and chunk data in void*. 04:59:17 ... Waaaait, not quite. XD 04:59:22 I fucked it up slightly, XD. 05:03:12 http://sprunge.us/EKPM 05:21:53 uint8_t (*buf)[w] 05:22:01 GCC THAT IS NOT A VLA ON THE STACK, THAT IS A POINTER TO A VLA 05:29:06 -!- DHeadshot has quit (Ping timeout: 246 seconds). 05:29:55 -!- DHeadshot has joined. 05:34:10 pikhq_: pointer-to-VLA is a vaguely dubious type anyway 05:34:20 is there any particular reason why you can't just use a pointer to the first element? 05:35:08 ais523: Because I want to write foo[i][j] not foo[j + i*stride]; 05:36:00 And I have the reasonable expectation of gcc implementing a 13 year old standard right. 05:38:11 fair enough 05:38:40 hmm, I'm not actually certain offhand that a VLA /of/ VLAs is legal 05:40:21 It really, truly is. 05:42:51 presumably all the inside ones have to have the same length 05:43:20 Well, yes. 05:44:11 hi 05:44:24 05:59 coppro: You pass write_png a FILE* to write to, width and height of the image, the image, and a NULL-terminated list of chunk names in char*, chunk lengths in size_t, and chunk data in void*. 05:44:33 FILE * is a bad interface to use :( 05:45:40 it's the standard one 05:45:58 not really 05:45:59 oh, btw, was it people in here that were complaining that commands buffered their output? or elsewhere? 05:46:14 I wrote a "nobuffer" program that wraps the relevant libc functions to not do buffering 05:46:21 for instance, pikhq_'s encoder can't be used to portably write a png to memory without pain 05:46:46 elliott: Therefore, fuck not-POSIX. 05:46:47 or to a network transport that isn't "bare" (additional headers etc.) 05:47:02 pikhq_: you wouldn't have a fun time doing it on POSIX either 05:47:20 open_memstream says what? 05:47:25 fmemopen is POSIX.1-2008 05:47:35 I said fun time 05:47:48 "Oh no 3 lines aaah" 05:47:51 for instance, those require specifying a size ahead of time 05:48:04 open_memstream doesn't. 05:48:16 ah, indeed 05:48:19 however, see my other objection 05:48:19 yep, open_memstream is the dynamically sized version (also POSIX) 05:48:27 an in-memory string is a special case 05:48:39 all you really want is a simple callback that takes a bunch of bytes 05:48:46 (FILE *) is overspecifying 05:49:07 fopencookie! 05:49:12 in fact 05:49:17 (although that's a GNU extension) 05:49:22 In the meantime, this thing is really, truly not working. 05:49:25 you can just parameterise it on write_chunk (where s/FILE */void */ and bundle a void *) 05:49:26 i.e. 05:49:52 struct sink { void *data; void write-chunk(void *data, char type[4], size_t len, uint8_t *data); } 05:49:54 but, probably: 05:49:57 elliott: OTOH, especially with C not having lambdas, it'd be a pain to write out the callbacks 05:50:14 struct sink { void *closure; void write(void *closure, char *data, size_t len); } 05:50:17 would be easier 05:50:26 ais523: no it wouldn't; most of the time, you'd just say file_sink(my_file_ptr) 05:50:37 where are you getting file_sink from? 05:50:39 write_idat seems to be shoving me a nice, long chunk 0 bytes. 05:50:44 it'd come with the library 05:50:58 and when does it free its data? 05:50:58 yes, it'd be inconvenient to add new outputs 05:51:04 but inconvenient is better than impossible 05:51:05 ais523: huh? 05:51:11 in this case, data would be the FILE * 05:51:19 (closure is a better name) 05:51:21 you're saying "file_sink(my_file_ptr)" 05:51:27 presumably it returns a struct 05:51:32 when does that struct get freed? 05:51:36 or are you breaking thread-safety? 05:52:00 actually, you've answered your own question by contradicting yourself 05:52:06 in lines two and three there 05:52:16 no I haven't 05:52:22 yes 05:52:24 you meant to say: 05:52:28 presumably it returns a pointer to a struct 05:52:46 oh, right, I forgot it was even possible to return entire structs via copying 05:53:01 the struct is just shorthand for passing the closure and function as two separate parameters here 05:53:04 since that would be awkward 05:53:46 Aight, works now. 05:53:52 Erm, no. 05:54:26 How the heck am I getting a giant empty IDAT chunk? 05:54:34 ais523: btw, I won that Crawl Light game 05:56:07 I'm waiting for something before I play crawl light but I forget what it is 05:56:14 monqy: hard mode 05:56:17 you forgot that last time, too 05:56:22 good news: hard mode now actually works! 05:56:38 is it hard though 05:56:54 i hear it was hard enough that he had to turn down the hardness slightly! 05:56:57 for summoned things or something 05:57:11 elliott: you won Crawl Light? neat? 05:57:20 was that with that +23 armour? 05:57:23 ais523: hmm, neat is a question? 05:57:33 and yes, that's basically why I won :) 06:02:46 -!- asiekierka has joined. 06:04:13 monqy: You should play Light, it's like Crawl but easy. 06:04:24 (Under suitably lucky circumstances.) 06:05:10 i dont want easy 06:05:12 !! 06:05:17 i want good 06:05:28 -!- TeruFSX2 has quit (Ping timeout: 245 seconds). 06:05:43 monqy: It's easy if you find +23 cpa. 06:05:52 Also it's not actually easy. 06:06:11 * elliott wants to see the second Pandoora. :'( 06:08:32 monqy: Have you played the bee castle? 06:08:35 Think of what you're missing. 06:08:36 no 06:08:39 i bet it's boring 06:08:39 * pikhq_ is *immensely* confused 06:08:42 bees are boring 06:08:50 Well, it is, admittedly. 06:09:03 But it's also a castle of bees. 06:09:26 vanilla has castles too, light probalby has them too 06:09:27 I'm getting nothing but a giant chunk of 0x00 out here. 06:09:33 monqy: Does it have NetHack's castle? 06:09:38 idk 06:09:50 ais523: Tell monqy about the wonders of the bee castle, man. 06:09:54 lemuel castle is good though, dunno if it's anything like nethack castle 06:09:57 You're an expert on the grounds of adding it to the topic. 06:10:02 *having added 06:11:19 bee castle! 06:11:25 thanks 06:11:42 elliott: I've been spouting "bee castle!" at dtsund every few months since he first brought the subject up 06:11:48 now it exists it's not such a good meme any more :( 06:11:52 monqy: Just imagine! No hunger, no identification, no curses. 06:12:03 Just all that... good... Crawl... fun... uhhh, never mind. 06:12:11 it still has big levels!! 06:12:21 "it's not monqys-crawl" 06:12:23 monqy: But there's less of them! 06:12:30 So you can just imagine one level as being, like, two levels. 06:12:42 And there's an exciting barrier on one of them! 06:13:10 that doesn't help 06:13:23 also it stashing and inventory management and stuff!!! 06:13:40 i haven't decided what to do about inventory management in monqys-crawl but at least there won't be stashing 06:13:50 and there will be fewer items 06:14:05 It's still less annoying than Crawl! 06:14:13 sure 06:14:19 And also, uh... 06:14:38 monqy: Banded mail! 06:14:41 -!- DHeadshot has quit (Read error: Connection reset by peer). 06:14:43 -!- DH____ has joined. 06:14:46 i don't care about banded mail!! 06:14:54 monqy: What kind of a monster are you??? 06:15:22 You are now monqy "waits for hard mode; complains about level size after wards" monqys-surname. :( 06:15:28 *afterwards 06:15:54 that's not the only thing i'm complaining about 06:15:57 I love the idea that monqy's surname actually is monqys-surname 06:15:59 i'm complaining about plenty of other things too 06:16:32 ais523: whois giveth and whois taketh away, Mr. (this is obviously not my real name). 06:16:53 monqy: I think you're just scared of dying without your script!!! 06:17:01 elliott: untrue 06:17:04 meh, I whoised monqy hoping it would list "monqy monqys-surname" as the realname 06:17:08 but it didn't :( 06:17:09 elliott: remember how i got wrapped into that tournament 06:17:12 ais523: That's the taketh away. 06:17:22 elliott: i haven't died yet!!! 06:17:28 monqy: Yeah, but you cast mephitic cloud! 06:17:34 monqy: You just can't play like you used to. 06:17:36 elliott: i cast it because you told me 06:17:39 elliott: to 06:17:42 elliott: !!! 06:17:46 monqy: Oh sure. 06:17:51 You wanted to cast it! 06:17:56 I was just showing you the horror inside of you. 06:18:00 :( 06:18:06 It's okay, some of us are just bad. 06:18:22 You can avoid Light if you want but you cannot avoid your decay!!! 06:18:24 !!!! 06:18:26 !!!!!!!!! 06:18:27 !!!! 06:18:27 hi 06:18:27 ! 06:18:30 -!- elliott has quit (Quit: !). 06:18:46 -!- elliott has joined. 06:19:04 -!- madbr has quit (Ping timeout: 265 seconds). 06:19:11 i'll play light eventually sometime. was hard mode the only thing i was waiting for? 06:19:13 monqy: As I was saying, you should play Light. 06:19:15 ais523: Hi. 06:19:22 I meant that as a threat :) 06:19:36 ais523: "kool" -- monqy monqys-surname, 2012 06:19:37 such a playful sounding threat 06:19:39 monqy: Well, that was the thing you remembered last time. 06:19:45 In #CrawlLight. 06:19:55 well maybe i'll play it 06:19:58 what should I play 06:20:00 The best part is that the hard mode is alpha quality right now, so it'll be just as fun as monqys-crawl! 06:20:10 fun fun 06:20:14 monqy: SEAM 06:20:15 monqy: HaCr 06:20:18 Heeey, it works. 06:20:36 ais523: meh, SEAM isn't even oldwon any more 06:20:50 it was nemelex challenge, I think 06:20:54 which is /why/ it's newwon 06:21:03 oh wait 06:21:03 it's a great combo, not only is it bad, it's not bad /enough/ to run as a challenge 06:21:07 it is oldwon, because AM doesn't exist any more 06:21:22 I think. 06:21:23 oh, bleh, they rereremovedit? 06:21:38 oh 06:21:39 07:20 oldwon[1/2]: CeAr CeAs CeIE CeSt CeTm(Pac) CeWn CeWr DDCj DDMo DDTm DEAK DEAr DEPr DgEn DgSu FeDK FeFi FeNe(mikee) FePr FeWr GhAK GhVM GhWr HaAM HaSu HESt HuAs KoCK KoEn KoFi KoWz MfAE(hyperpivotal) MfAM MfPr MfSu MiSu(coolrobin) SEAM(coolrobin) SEFi SEPr SpAE SpGl VpAs VpEE VpFE VpTm 06:21:49 no, it's just still oldwon-in-progress 06:21:56 AM used to exist, then they removed it, then they unremoved it 06:22:14 and I don't remember it being a nemelex' choice 06:22:16 07:22 The RNG chooses: FeCj. 06:22:20 monqy: play fecj 06:22:23 jokes that 06:22:24 the joke is that crawl light doesn't have felids 06:22:25 ye 06:22:26 s 06:22:26 yes 06:22:27 oops 06:22:30 s/^s$// 06:22:36 ye was perfectly correct on its own 06:22:48 07:22 The RNG chooses: GhAK. 06:22:51 wow too perfect to be true 06:22:54 play ghak 06:22:57 ha 06:22:59 ha 06:23:00 ha 06:23:05 that really happened, I swear 06:23:17 07:22 !rng @badchar 06:23:17 07:22 The RNG chooses: FeCj. 06:23:17 07:22 !rng @badchar 06:23:17 no im laughing at the joke where light doesnt have ghak 06:23:18 07:22 The RNG chooses: GhAK. 06:23:20 yes 06:23:23 me too 06:23:24 but its sitll 06:23:27 ~spookey~ 06:23:31 07:23 The RNG chooses: DEWn. 06:23:33 play dewn 06:23:34 spookey like ghak 06:23:48 ghaks raen't spookey. have you ever seen a crawl ghoule. 06:23:50 they're friendly. 06:23:58 *aern't 06:25:07 07:25 The RNG chooses: HOAs. 06:25:11 monqy: play higher-order abstract syntax 06:25:32 no i dont want to pplay hoas 06:25:57 it's suggested KeWr twice; maybe you should play KeWr 06:26:15 or DDWn or DEDK 06:26:33 or MDPr (its a joke i dont like mountain dwarves) 06:26:40 (but its a joke pandoora came up with not me) 06:27:13 MiEE. VpSk (ha). GhWz (ha). FeWz (ha). DSEn. 06:27:56 so much bot-operating work for monqy. 06:28:01 hm? 06:28:04 i dont have a bot 06:28:10 the bot is pandoora 06:28:15 o 06:28:16 h 06:28:25 you don't have to find something with pandoora, it'll probably suck that way 06:28:33 I want something "actually fun" 06:29:13 why not dddk that sounds fun ! (assuming dks play like they do in monqys-crawl) 06:29:28 Now it works *correctly*. 06:29:47 Did you know that DEFLATE encodes little-endian, while PNG encodes big-endian? 06:29:52 Now I do! 06:30:49 elliott: nope 06:30:53 elliott: lack of divine healing? 06:31:00 ais523: drain life 06:31:05 ais523: zombie shields 06:31:06 also drain life 06:31:09 ah, OK 06:31:18 i was thinking zombie shields though 06:31:43 monqy: mudk? 06:31:49 i don't want to play dk 06:31:52 dkdk 06:31:55 ally herding remember 06:32:00 -!- ais523 has set topic: not tommorow's topic | http://codu.org/logs/_esoteric/. 06:32:07 ais523: tomorrow we'll fix the typo 06:32:23 then the day after we'll reintroduce it! 06:32:28 monqy: MDFi (ha) 06:32:51 ais523: no, then it'll become "not yesterday's topic" 06:32:53 `quote 06:32:55 `quote 06:32:56 `quote 06:32:58 `quote 06:32:59 `quote 06:33:02 ais523: fun fact: it can never become "yesterday's topic" without a falsehood being present in the chain 06:33:16 157) colon is where your ass comes from right 06:33:18 not yeasterday's topic 06:33:20 nor can it become "tomorrow's topic" unless it stays there forever 06:33:23 monqy: are you laughing 06:33:27 419) The interpreter uses an unbounded tape size, but due to technical limitations will stop being unbounded if the tap size reaches 2^63 cells. 06:33:28 724) I'm not biased towards humanity over sentient .txt files. 06:33:30 561) elliott, it is typical of you Vorpal: so are most things I say 06:33:32 495) Phantom_Hoover: it is a hate so pure and... pumpkin seeds? 06:33:54 724 is crappy; 157 is crappier (if you make a joke out of this ill punch your face) 06:34:03 I don't like that sort of joke 06:34:13 it's a bad joke 06:34:14 I actually kind-of like 724 06:34:19 `delquote 157 06:34:22 â€‹*poof* colon is where your ass comes from right 06:34:26 also talking about it as a hypothetical will make me statistically more likely to punch you 06:34:27 I think we're all agreed on that one, anyway 06:34:32 the punches cannot be avoided by any means other than ignorance 06:34:48 monqy: ok how about 06:34:50 meh, I /can't/ make a joke out of that 06:34:52 uhhh let me log in 06:34:53 I just tried 06:34:57 I wouldn't have said it if I did think of it 06:35:01 ais523: the joke is "crappier" 06:35:02 but now I'm disappointed :( 06:35:03 crap ass etc. 06:35:07 elliott: yes, I see the connection 06:35:09 just can't make a joke out of it 06:35:17 I can make a coincidence out of it, but a coincidence is not a joke 06:35:30 ok let me see 06:35:45 joke's on elliott, the joke is actually elliott's parenthetical 06:35:48 monqy: NaBe 06:35:53 i picked that manually 06:35:57 actually 06:36:00 that's probably insufficiently crappy 06:36:13 are you trying to pick something crappy 06:36:13 i didn't bother selecting Na to see which were the good (unrecommended) ones 06:36:16 well 06:36:19 crappy in a very special sense 06:36:27 NaVM 06:36:30 ha 06:36:36 NaVM of Chei 06:36:53 are kenku interesting. i know literally nothing about them 06:36:57 navm is "crappy" in the sense that they have the best poison magic apt in the game but I'm not casting meph 06:37:02 kenku are just tengu but in the past 06:37:07 i know 06:37:09 i know nothing about tengu either 06:37:12