00:01:21 <fizzie> Sent. Should be something titled "Account details on Esolang".
00:01:50 <fizzie> 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 <zzo38> 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 <tslil> fizzie: excellent, thanks again! I believe i have changed my email address :)
00:31:31 <esowiki> [[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 <esowiki> [[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 <tslil> 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 <int-e> trees take time to grow
00:46:15 <shachaf> Speaking of growing, I should get back to that game sometime.
00:47:46 -!- tslil has changed nick to op_4.
00:49:36 <shachaf> int-e: Oh, is resolution even closer to contraction than modus ponens is?
01:06:25 <esowiki> [[Subreal]] https://esolangs.org/w/index.php?diff=82181&oldid=82087 * RocketRace * (+388) Clarify the behavior of subfinite loops
01:06:43 <esowiki> [[Subreal]] M https://esolangs.org/w/index.php?diff=82182&oldid=82181 * RocketRace * (-5) /* Subfinite loops */
01:09:52 <nakilon> "this channel was formative in my life choices and education"
01:10:05 <nakilon> did you chose to become a befunge programmer?
01:11:14 <nakilon> fungot do you speak Russian?
01:11:14 <fungot> 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 <fizzie> 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 <op_4> nakilon: i consider my area of mathematics to be rather close actually
01:43:59 -!- budonyc has quit (Ping timeout: 246 seconds).
01:44:26 <b_jonas> op_4: 10 years ago? that's a long time
01:45:03 <b_jonas> (the scary part is that 10 years ago was in 2011, because we're solidly in the future)
01:47:16 <b_jonas> I wasn't on #esoteric yet 10 years ago
01:57:38 -!- lifthrasiir has quit (Ping timeout: 246 seconds).
01:58:10 -!- lifthrasiir has joined.
02:03:09 * op_4 curses new keyboard
02:03:34 <op_4> b_jonas: yeah, i try not to think that it would take 21 years to get back to the 90's
02:03:50 <op_4> b_jonas: i doubt there's a too late, only generations
02:34:56 <zzo38> 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 <esowiki> [[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 <esowiki> [[TSL]] M https://esolangs.org/w/index.php?diff=82184&oldid=17339 * Hiato * (-6) Corrected an example for RWLR III
03:09:05 <pikhq> shachaf: growing's pretty fun. in some ways it's even more fun when you're older
03:09:51 <pikhq> op_4: oh huh, tslil, i think i recognize that name
03:10:45 <op_4> pikhq: i might recognise you too?
03:11:09 <pikhq> i've been less frequently here than in the past but i've been around since, uh, 2005
03:11:43 <op_4> great, then we definitely met! I think i was here starting around 2007 or so
03:12:29 <op_4> 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:51 <pikhq> oh i didn't realize, i've had that bot muted for aaages xd
03:13:37 <op_4> i hope i didn't make you feel old, it's just that 2007 feels *so long ago*
03:14:08 <pikhq> and yet also so recent
03:14:32 <pikhq> granted some of that is just cause so much of my 20s were less "succeeding" and more "randomly flailing"
03:16:21 <pikhq> just, took a while to get there
03:16:43 <op_4> ah yes, the phase i'm now. momentum had me taking a random walk through highschool -> undergrad -> masters -> phd but now ... ?
03:17:03 <pikhq> i dropped out of college twice and got my bachelors' the third attempt
03:17:05 <pikhq> different flailing
03:17:41 <op_4> different, but honestly i don't know that i've gone forwards in anything but time
03:18:03 <pikhq> understanding of the self, perhaps
03:18:10 <pikhq> i definitely have gone forwards on that
03:18:17 -!- metcalf has quit (Quit: metcalf).
03:18:48 <op_4> that's great, i'm happy to hear it. And anyway congratulations for going back to college and triumphing
03:19:26 <pikhq> i feel like google and then college is the _unusual_ route but hey
03:19:56 <op_4> oh, impressive, i didn't know the context :)
03:20:37 * pikhq damned well earned her math degree, that's for sure
03:21:51 <op_4> that's cool! i'm doing maths too
03:22:25 <op_4> but i suspect i'll end up doing programming for work
03:22:40 <pikhq> yeah, i'm back as a software engineer after that
03:23:08 <pikhq> happier and more successful one than i was before, tho that's partly for other reasons *shrug*
03:23:47 <op_4> 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 <op_4> pikhq: that's what i'm thinking. many of my friends went into tech stuff and they say the same things
03:25:48 <pikhq> honestly kinda hate the industry at large, but i think i feel okay about my current job
03:26:19 <pikhq> and i'm finally starting to feel like i have time for hobby things again :)
03:27:53 <op_4> oh, i'm sorry to hear that. Well at least you're finding time for yourself and ways to grow
03:28:32 <pikhq> got the new job in january, previous job was driving me to burnout
03:30:17 <pikhq> guess it happens tho. wasn't super optimistic about the long-term prospects there when i started, because, y'know, woman in tech :/
03:34:10 <op_4> bleh, that sucks :/
03:34:40 <op_4> are you optimistic about this new one?
03:34:53 <pikhq> So far it's been going very well :)
03:35:11 <shachaf> I started a new job last week and I can't yet make any statement about optimism.
03:35:33 <pikhq> takes at least a few months before you have enough lay of the land to make any concrete statements
03:36:23 <shachaf> Which is particularly bad if your job is in construction.
03:37:27 <esowiki> [[TSL]] M https://esolangs.org/w/index.php?diff=82185&oldid=82184 * Hiato * (+252) added example of addition programme
03:37:33 <op_4> wow that bot is fast
03:37:44 <op_4> anyway, i'm off to bed, see you all around
03:37:50 <pikhq> my job's a healthcare related startup. not the sexiest tech-wise but it's not bad and i like it
03:38:34 <pikhq> 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 <esowiki> [[Toki pi ilo nanpa]] M https://esolangs.org/w/index.php?diff=82186&oldid=82154 * Olus2000 * (-14)
07:17:58 -!- arseniiv_ has joined.
07:24:54 <esowiki> [[Toki pi ilo nanpa]] https://esolangs.org/w/index.php?diff=82187&oldid=82186 * Olus2000 * (+219) Grammar explanation overhaul
07:26:26 <esowiki> [[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 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=82189&oldid=82106 * ColorfulGalaxy (disambiguation) * (-1) /* Aheui */ Reduction
08:15:05 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=82190&oldid=82189 * ColorfulGalaxy (disambiguation) * (+53) /* 4 */
08:29:05 <esowiki> [[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.
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 <esowiki> [[]] M https://esolangs.org/w/index.php?diff=82192&oldid=82139 * Hakerh400 * (-3) /* Logical implication */
14:50:07 <esowiki> [[]] 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 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=82194&oldid=82191 * Strohtaler * (+505) Zirconium
17:36:40 <esowiki> [[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 <esowiki> [[Deskin]] https://esolangs.org/w/index.php?diff=82196&oldid=81926 * Leothetechguy * (-135)
18:23:35 <esowiki> [[Deskin]] M https://esolangs.org/w/index.php?diff=82197&oldid=82196 * Leothetechguy * (+1)
18:26:38 <esowiki> [[Deskin]] https://esolangs.org/w/index.php?diff=82198&oldid=82197 * Leothetechguy * (-2)
18:40:00 <esowiki> [[Deskin]] https://esolangs.org/w/index.php?diff=82199&oldid=82198 * Leothetechguy * (-1)
18:41:02 -!- lauraaah has left.
18:43:17 <esowiki> [[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 <esowiki> [[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 <op_4> (off topic) I don't suppose anyone here is familiar with the gemini protocol
23:08:05 <zzo38> I am familiar with it.
23:09:59 <zzo38> Do you have other questions?
23:11:20 <op_4> Hah, i do, but i'm now realising i could possibly answer this in part for myself.
23:12:11 <op_4> I was wondering why a particular client decided that my page title for my index.gmi page should be "<contents of H1> - <URL>". Specifically i was wondering whether there was something in the spec that specified page titles
23:12:19 <op_4> but i can just look at the spec i suppose
23:12:56 <zzo38> 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 <op_4> Great, thanks. Yeah, for some reason my client does only "<contents of H1>" for some pages, but not others.
23:14:17 <op_4> anyway, this is as good an excuse as any to poke around with server software :)
23:16:36 <zzo38> 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 <zzo38> (This would be an optional feature, of course; but sometimes it might be useful, e.g. for testing purposes.)
23:18:49 <op_4> that's an interesting and reasonable compromise idea
23:46:55 -!- sprock has joined.
23:53:48 <esowiki> [[Project Euler]] N https://esolangs.org/w/index.php?oldid=82202 * ColorfulGalaxy (disambiguation) * (+549) Create