00:01:21 Sent. Should be something titled "Account details on Esolang". 00:01:50 I am reminded by that one prisoner who freed himself by having a friend fax a convincing-looking letter from a copy shop, though. 00:03:05 Using digital signatures might help, if you added your public key to your user page from that user account, but if not, then that won't help. 00:08:28 -!- delta23 has joined. 00:21:55 fizzie: excellent, thanks again! I believe i have changed my email address :) 00:31:31 [[User:Hiato]] https://esolangs.org/w/index.php?diff=82179&oldid=25996 * Hiato * (+104) 00:33:38 -!- arseniiv_ has quit (Ping timeout: 240 seconds). 00:36:05 [[Tree]] https://esolangs.org/w/index.php?diff=82180&oldid=78380 * Hiato * (+194) 12 years later the second ``example'' becomes an example in earnest 00:36:45 and there we have it, Tree finally has a control flow example, that i didn't write, 12 years after the fact :p 00:37:13 trees take time to grow 00:37:18 haha 00:46:15 Speaking of growing, I should get back to that game sometime. 00:47:46 -!- tslil has changed nick to op_4. 00:49:36 int-e: Oh, is resolution even closer to contraction than modus ponens is? 01:06:25 [[Subreal]] https://esolangs.org/w/index.php?diff=82181&oldid=82087 * RocketRace * (+388) Clarify the behavior of subfinite loops 01:06:43 [[Subreal]] M https://esolangs.org/w/index.php?diff=82182&oldid=82181 * RocketRace * (-5) /* Subfinite loops */ 01:09:52 "this channel was formative in my life choices and education" 01:10:05 did you chose to become a befunge programmer? 01:11:14 fungot do you speak Russian? 01:11:14 nakilon: essentials of programming languages' in the new iteration can you use ' all yall'? that ' a' 01:16:16 -!- spruit11 has joined. 01:28:42 Based on a quick grep of a few Cyrillic characters, I think the wp style's the only one that might have some Russian words in it. (And I don't know if even that does, necessarily.) 01:30:30 nakilon: i consider my area of mathematics to be rather close actually 01:30:51 (i'm tslil) 01:43:59 -!- budonyc has quit (Ping timeout: 246 seconds). 01:44:26 op_4: 10 years ago? that's a long time 01:45:03 (the scary part is that 10 years ago was in 2011, because we're solidly in the future) 01:47:16 I wasn't on #esoteric yet 10 years ago 01:49:10 I arrived here too late 01:55:06 (in 2013 apparently) 01:57:38 -!- lifthrasiir has quit (Ping timeout: 246 seconds). 01:58:10 -!- lifthrasiir has joined. 02:02:56 b 02:03:00 b 02:03:04 b 02:03:09 * op_4 curses new keyboard 02:03:34 b_jonas: yeah, i try not to think that it would take 21 years to get back to the 90's 02:03:50 b_jonas: i doubt there's a too late, only generations 02:34:56 I have another idea of Magic: the Gathering card: {?} World Enchantment ;; Attacking creatures have flanking. ;; Blocking creatures have first strike. ;; When ~ dies, target creature gains haste and gets -2/-1 until end of turn. 02:36:37 [[Duocentehexaquinquagesimal]] M https://esolangs.org/w/index.php?diff=82183&oldid=82177 * Makonede * (+3) 02:56:51 -!- metcalf has joined. 02:58:45 -!- metcalf has quit (Client Quit). 02:59:00 -!- metcalf has joined. 03:09:02 [[TSL]] M https://esolangs.org/w/index.php?diff=82184&oldid=17339 * Hiato * (-6) Corrected an example for RWLR III 03:09:05 shachaf: growing's pretty fun. in some ways it's even more fun when you're older 03:09:51 op_4: oh huh, tslil, i think i recognize that name 03:10:45 pikhq: i might recognise you too? 03:10:49 hmm 03:11:09 i've been less frequently here than in the past but i've been around since, uh, 2005 03:11:43 great, then we definitely met! I think i was here starting around 2007 or so 03:11:50 * op_4 feels old 03:11:50 oh cool 03:11:54 * pikhq too 03:12:20 i'm 31, whee 03:12:29 interesting that minor edits are also picked up by the bot, is there no way to avoid spamming the channel? 03:12:36 * op_4 is now embarrassed 03:12:43 i'm 29 03:12:51 oh i didn't realize, i've had that bot muted for aaages xd 03:13:37 i hope i didn't make you feel old, it's just that 2007 feels *so long ago* 03:13:57 it does 03:14:08 and yet also so recent 03:14:17 indeed 03:14:32 granted some of that is just cause so much of my 20s were less "succeeding" and more "randomly flailing" 03:15:48 not all bad mind 03:16:21 just, took a while to get there 03:16:43 ah yes, the phase i'm now. momentum had me taking a random walk through highschool -> undergrad -> masters -> phd but now ... ? 03:17:03 i dropped out of college twice and got my bachelors' the third attempt 03:17:05 different flailing 03:17:41 different, but honestly i don't know that i've gone forwards in anything but time 03:18:03 understanding of the self, perhaps 03:18:10 i definitely have gone forwards on that 03:18:17 -!- metcalf has quit (Quit: metcalf). 03:18:48 that's great, i'm happy to hear it. And anyway congratulations for going back to college and triumphing 03:19:26 i feel like google and then college is the _unusual_ route but hey 03:19:56 oh, impressive, i didn't know the context :) 03:20:37 * pikhq damned well earned her math degree, that's for sure 03:21:36 :D 03:21:51 that's cool! i'm doing maths too 03:22:00 nice :) 03:22:25 but i suspect i'll end up doing programming for work 03:22:40 yeah, i'm back as a software engineer after that 03:23:08 happier and more successful one than i was before, tho that's partly for other reasons *shrug* 03:23:47 i like research, but i just don't think i can continue teaching undergraduate courses. At least, the undergrads at my present institution and the courses i've TAd/taught have left me feeling burnt out on that 03:24:12 pikhq: that's what i'm thinking. many of my friends went into tech stuff and they say the same things 03:25:48 honestly kinda hate the industry at large, but i think i feel okay about my current job 03:26:19 and i'm finally starting to feel like i have time for hobby things again :) 03:27:53 oh, i'm sorry to hear that. Well at least you're finding time for yourself and ways to grow 03:28:32 got the new job in january, previous job was driving me to burnout 03:28:43 okay, well past 03:30:17 guess it happens tho. wasn't super optimistic about the long-term prospects there when i started, because, y'know, woman in tech :/ 03:32:31 c'est la vie 03:34:10 bleh, that sucks :/ 03:34:40 are you optimistic about this new one? 03:34:53 So far it's been going very well :) 03:34:57 and yeah 03:35:11 I started a new job last week and I can't yet make any statement about optimism. 03:35:17 that's fair 03:35:33 takes at least a few months before you have enough lay of the land to make any concrete statements 03:36:23 Which is particularly bad if your job is in construction. 03:36:28 lol 03:37:05 haha 03:37:27 [[TSL]] M https://esolangs.org/w/index.php?diff=82185&oldid=82184 * Hiato * (+252) added example of addition programme 03:37:33 wow that bot is fast 03:37:44 anyway, i'm off to bed, see you all around 03:37:50 my job's a healthcare related startup. not the sexiest tech-wise but it's not bad and i like it 03:37:52 night 03:38:34 i'll probably do the same 03:38:47 * pikhq suspects her wife is gonna be up for a bit *shrug* 05:24:06 -!- spruit11 has quit (Ping timeout: 240 seconds). 05:26:05 -!- spruit11 has joined. 05:45:04 -!- imode has quit (Ping timeout: 252 seconds). 05:50:59 [[Toki pi ilo nanpa]] M https://esolangs.org/w/index.php?diff=82186&oldid=82154 * Olus2000 * (-14) 05:59:50 a 06:00:03 toki ilo tan toki pona 07:17:58 -!- arseniiv_ has joined. 07:24:54 [[Toki pi ilo nanpa]] https://esolangs.org/w/index.php?diff=82187&oldid=82186 * Olus2000 * (+219) Grammar explanation overhaul 07:26:26 [[Toki pi ilo nanpa]] M https://esolangs.org/w/index.php?diff=82188&oldid=82187 * Olus2000 * (-9) /* Verb sentences */ 07:42:02 -!- Sgeo has quit (Read error: Connection reset by peer). 08:07:20 -!- hendursa1 has joined. 08:10:21 -!- hendursaga has quit (Ping timeout: 240 seconds). 08:11:54 [[Truth-machine]] https://esolangs.org/w/index.php?diff=82189&oldid=82106 * ColorfulGalaxy (disambiguation) * (-1) /* Aheui */ Reduction 08:15:05 [[Truth-machine]] https://esolangs.org/w/index.php?diff=82190&oldid=82189 * ColorfulGalaxy (disambiguation) * (+53) /* 4 */ 08:29:05 [[Truth-machine]] https://esolangs.org/w/index.php?diff=82191&oldid=82190 * ColorfulGalaxy (disambiguation) * (+348) /* Shakespeare */ 08:37:01 -!- LKoen has joined. 08:38:29 -!- lauraaah has joined. 08:40:49 Hi 09:32:46 -!- Alchemist__ has joined. 09:35:48 -!- Alchemist__ has changed nick to mithridates. 09:35:53 -!- mithridates has left ("Leaving"). 10:19:45 -!- delta23 has quit (Quit: zzz). 10:23:51 -!- LKoen has quit (Remote host closed the connection). 10:47:40 -!- LKoen has joined. 11:03:12 -!- LKoen has quit (Remote host closed the connection). 11:51:59 -!- LKoen has joined. 11:52:53 -!- budonyc has joined. 12:28:07 -!- xkapastel has joined. 13:35:14 -!- lauraaah has quit (Quit: Connection closed for inactivity). 13:47:41 -!- metcalf has joined. 14:02:46 -!- metcalf has quit (Quit: metcalf). 14:03:04 -!- metcalf has joined. 14:07:18 -!- metcalf has quit (Client Quit). 14:07:31 -!- metcalf has joined. 14:09:34 -!- Sgeo has joined. 14:14:29 -!- LKoen has quit (Remote host closed the connection). 14:18:54 -!- LKoen has joined. 14:44:50 [[]] M https://esolangs.org/w/index.php?diff=82192&oldid=82139 * Hakerh400 * (-3) /* Logical implication */ 14:50:07 [[]] https://esolangs.org/w/index.php?diff=82193&oldid=82192 * Hakerh400 * (+89) /* Division */ 15:23:59 -!- lauraaah has joined. 15:36:59 -!- LKoen_ has joined. 15:39:12 -!- LKoen has quit (Ping timeout: 240 seconds). 16:10:56 -!- metcalf has quit (Ping timeout: 260 seconds). 16:30:37 -!- imode has joined. 16:38:04 -!- metcalf has joined. 16:42:18 -!- metcalf has quit (Client Quit). 16:42:35 -!- metcalf has joined. 17:12:30 -!- Sgeo_ has joined. 17:14:06 -!- Sgeo has quit (Ping timeout: 265 seconds). 17:21:57 -!- hendursa1 has quit (Ping timeout: 240 seconds). 17:23:14 -!- hendursa1 has joined. 17:34:55 [[Truth-machine]] https://esolangs.org/w/index.php?diff=82194&oldid=82191 * Strohtaler * (+505) Zirconium 17:36:40 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=82195&oldid=82194 * Strohtaler * (+5) /* Zirconium */ 17:55:41 -!- Sgeo_ has quit (Read error: Connection reset by peer). 17:56:27 -!- Sgeo has joined. 17:58:42 -!- S_Gautam has joined. 18:23:16 [[Deskin]] https://esolangs.org/w/index.php?diff=82196&oldid=81926 * Leothetechguy * (-135) 18:23:35 [[Deskin]] M https://esolangs.org/w/index.php?diff=82197&oldid=82196 * Leothetechguy * (+1) 18:26:38 [[Deskin]] https://esolangs.org/w/index.php?diff=82198&oldid=82197 * Leothetechguy * (-2) 18:40:00 [[Deskin]] https://esolangs.org/w/index.php?diff=82199&oldid=82198 * Leothetechguy * (-1) 18:41:02 -!- lauraaah has left. 18:43:17 [[Deskin]] https://esolangs.org/w/index.php?diff=82200&oldid=82199 * Leothetechguy * (+4) 19:00:22 -!- sebbu has quit (Read error: Connection reset by peer). 19:13:41 [[Deskin]] https://esolangs.org/w/index.php?diff=82201&oldid=82200 * Leothetechguy * (-9) 19:52:54 -!- Lord_of_Life_ has joined. 19:56:04 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 19:56:08 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 20:28:22 -!- user24 has joined. 20:48:21 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 21:05:28 -!- LKoen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 21:47:11 -!- delta23 has joined. 22:00:16 -!- xelxebar_ has joined. 22:01:09 -!- xelxebar has quit (Ping timeout: 240 seconds). 22:27:18 -!- user24 has quit (Quit: We must know, we will know). 22:46:32 -!- sebbu has joined. 23:03:16 (off topic) I don't suppose anyone here is familiar with the gemini protocol 23:08:05 I am familiar with it. 23:09:59 Do you have other questions? 23:11:20 Hah, i do, but i'm now realising i could possibly answer this in part for myself. 23:12:11 I was wondering why a particular client decided that my page title for my index.gmi page should be " - ". Specifically i was wondering whether there was something in the spec that specified page titles 23:12:19 but i can just look at the spec i suppose 23:12:56 I believe the specification recommends that. However, a client could be implemented differently (e.g. using only the H1 title or only the URL). 23:13:34 Great, thanks. Yeah, for some reason my client does only "" for some pages, but not others. 23:14:17 anyway, this is as good an excuse as any to poke around with server software :) 23:16:36 I dislike that it requires TLS. My suggestion is to add a new URI scheme for the insecure version, perhaps "insecure-gemini://" can be used. Error codes that specify that a client certificate is required is not allowed in this case; if a client certificate is required, then the secure version must be used. 23:17:47 (This would be an optional feature, of course; but sometimes it might be useful, e.g. for testing purposes.) 23:18:49 that's an interesting and reasonable compromise idea 23:46:55 -!- sprock has joined. 23:53:48 [[Project Euler]] N https://esolangs.org/w/index.php?oldid=82202 * ColorfulGalaxy (disambiguation) * (+549) Create